coccinelle: misc: minmax: suppress patch generation for err returns
authorDenis Efremov <efremov@linux.com>
Wed, 28 Apr 2021 06:03:50 +0000 (09:03 +0300)
committerJulia Lawall <Julia.Lawall@inria.fr>
Sat, 1 May 2021 19:27:10 +0000 (21:27 +0200)
There is a standard idiom for "if 'ret' holds an error, return it":
return ret < 0 ? ret : 0;

Developers prefer to keep the things as they are because stylistic
change to "return min(ret, 0);" breaks readability.

Let's suppress automatic generation for this type of patches.

Signed-off-by: Denis Efremov <efremov@linux.com>
scripts/coccinelle/misc/minmax.cocci

index eccdd3e..fcf908b 100644 (file)
@@ -116,16 +116,32 @@ func(...)
        ...>
 }
 
+// Don't generate patches for errcode returns.
+@errcode depends on patch@
+position p;
+identifier func;
+expression x;
+binary operator cmp = {<, <=};
+@@
+
+func(...)
+{
+       <...
+       return ((x) cmp@p 0 ? (x) : 0);
+       ...>
+}
+
 @pmin depends on patch@
 identifier func;
 expression x, y;
 binary operator cmp = {<=, <};
+position p != errcode.p;
 @@
 
 func(...)
 {
        <...
--      ((x) cmp (y) ? (x) : (y))
+-      ((x) cmp@p (y) ? (x) : (y))
 +      min(x, y)
        ...>
 }