commit caebf204c6be34d54d98e724715fcf1d99fe7510
author Patrik Flykt <patrik.flykt@intel.com> Thu Mar 07 16:39:56 2019 -0700
committer Kumar Gala <kumar.gala@gmail.com> Thu Mar 28 17:15:58 2019 -0500
tree 7b83177d950e5a754f6a0c76224fb20e737f5872
parent f7e7f0f55eb74812bab159ecdb50698c47168ca0

scripts/coccinelle: Update Coccinelle script for unsigned values

Update the script to detect and update more instances of unsigned
variable assignments when using all four simple rules of arithmetics.

Signed-off-by: Patrik Flykt <patrik.flykt@intel.com>

scripts/coccinelle/unsigned_suffix.cocci

diff --git a/scripts/coccinelle/unsigned_suffix.cocci b/scripts/coccinelle/unsigned_suffix.cocci
index 1e762d5..f63e288 100644
--- a/scripts/coccinelle/unsigned_suffix.cocci
+++ b/scripts/coccinelle/unsigned_suffix.cocci
@@ -15,7 +15,29 @@
 position p;
 @@
 
+(
   v = C@p
+|
+  v == C@p
+|
+  v != C@p
+|
+  v <= C@p
+|
+  v >= C@p
+|
+  v += C@p
+|
+  v -= C@p
+|
+  v * C@p
+|
+  v / C@p
+|
+  v *= C@p
+|
+  v /= C@p
+)
 
 @script:python r_rewrite@
 C << r_unsigned.C;
@@ -33,9 +55,67 @@
 identifier r_rewrite.z;
 @@
 
+(
   v =
 - C
 + z
+|
+  v ==
+- C
++ z
+|
+  v !=
+- C
++ z
+|
+  v <=
+- C
++ z
+|
+  v >=
+- C
++ z
+|
+  v +=
+- C
++ z
+|
+  v -=
+- C
++ z
+|
+  v +
+- C
++ z
+|
+  v -
+- C
++ z
+|
+  v +=
+- C
++ z
+|
+  v -=
+- C
++ z
+|
+  v *
+- C
++ z
+|
+  v /
+- C
++ z
+|
+  v *=
+- C
++ z
+|
+  v /=
+- C
++ z
+)
 
 @script: python depends on report@
 p << r_unsigned.p;