Messages in this thread | | | Subject | Re: floppy: fix usercopy direction | From | Markus Elfring <> | Date | Mon, 12 Aug 2019 12:00:45 +0200 |
| |
> …, 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
| |