Re: floppy: fix usercopy direction

Markus Elfring
2019-08-12T10:01:40Z

> …, I see `exists` allows to drop `<+ +>`, right?

I would interpret the combination of such SmPL specifications in a different way.

> It turned out that sparse already can find these bugs.

This is generally nice, isn't it?

> Is this rule useful anyway?

I hope so.

Can scripts for the semantic patch language help any more?

> If so, I can prepare a patch.

Would you like to take corresponding adjustments into account?

Regards,
Markus