> …, 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
