diff options
Diffstat (limited to 'coccinelle/not_in_set.cocci')
| -rw-r--r-- | coccinelle/not_in_set.cocci | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/coccinelle/not_in_set.cocci b/coccinelle/not_in_set.cocci new file mode 100644 index 0000000..7cf9850 --- /dev/null +++ b/coccinelle/not_in_set.cocci @@ -0,0 +1,54 @@ +@@ +expression e; +constant n0, n1, n2, n3, n4, n5, n6, n7, n8, n9; +@@ +- e != n0 && e != n1 && e != n2 && e != n3 && e != n4 && e != n5 && e != n6 && e != n7 && e != n8 && e != n9 ++ !IN_SET(e, n0, n1, n2, n3, n4, n5, n6, n7, n8, n9) +@@ +expression e; +constant n0, n1, n2, n3, n4, n5, n6, n7, n8; +@@ +- e != n0 && e != n1 && e != n2 && e != n3 && e != n4 && e != n5 && e != n6 && e != n7 && e != n8 ++ !IN_SET(e, n0, n1, n2, n3, n4, n5, n6, n7, n8) +@@ +expression e; +constant n0, n1, n2, n3, n4, n5, n6, n7; +@@ +- e != n0 && e != n1 && e != n2 && e != n3 && e != n4 && e != n5 && e != n6 && e != n7 ++ !IN_SET(e, n0, n1, n2, n3, n4, n5, n6, n7) +@@ +expression e; +constant n0, n1, n2, n3, n4, n5, n6; +@@ +- e != n0 && e != n1 && e != n2 && e != n3 && e != n4 && e != n5 && e != n6 ++ !IN_SET(e, n0, n1, n2, n3, n4, n5, n6) +@@ +expression e; +constant n0, n1, n2, n3, n4, n5; +@@ +- e != n0 && e != n1 && e != n2 && e != n3 && e != n4 && e != n5 ++ !IN_SET(e, n0, n1, n2, n3, n4, n5) +@@ +expression e; +constant n0, n1, n2, n3, n4; +@@ +- e != n0 && e != n1 && e != n2 && e != n3 && e != n4 ++ !IN_SET(e, n0, n1, n2, n3, n4) +@@ +expression e; +constant n0, n1, n2, n3; +@@ +- e != n0 && e != n1 && e != n2 && e != n3 ++ !IN_SET(e, n0, n1, n2, n3) +@@ +expression e; +constant n0, n1, n2; +@@ +- e != n0 && e != n1 && e != n2 ++ !IN_SET(e, n0, n1, n2) +@@ +expression e; +constant n0, n1; +@@ +- e != n0 && e != n1 ++ !IN_SET(e, n0, n1) |