coccinelle: misc: minmax: Suppress reports for err returns
authorRicardo Ribalda <ribalda@chromium.org>
Mon, 15 Apr 2024 21:15:18 +0000 (21:15 +0000)
committerJulia Lawall <Julia.Lawall@inria.fr>
Mon, 20 May 2024 19:31:20 +0000 (21:31 +0200)
Most of the people prefer:

return ret < 0 ? ret: 0;

than:

return min(ret, 0);

Let's tweak the cocci file to ignore those lines completely.

Signed-off-by: Ricardo Ribalda <ribalda@chromium.org>
Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
scripts/coccinelle/misc/minmax.cocci

index fcf908b34f2728371f0cc53f62eb7462ae026519..ca4830ae3042013946665f047ca8d4004b83f888 100644 (file)
@@ -50,11 +50,26 @@ func(...)
        ...>
 }
 
+// Ignore errcode returns.
+@errcode@
+position p;
+identifier func;
+expression x;
+binary operator cmp = {<, <=};
+@@
+
+func(...)
+{
+       <...
+       return ((x) cmp@p 0 ? (x) : 0);
+       ...>
+}
+
 @rmin depends on !patch@
 identifier func;
 expression x, y;
 binary operator cmp = {<, <=};
-position p;
+position p != errcode.p;
 @@
 
 func(...)
@@ -116,21 +131,6 @@ 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;