]> git.puffer.fish Git - matthieu/frr.git/commitdiff
tools: Catch argv_find() cases when testing only the index
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Thu, 2 Jul 2020 08:39:29 +0000 (11:39 +0300)
committerDonatas Abraitis <donatas.abraitis@gmail.com>
Thu, 2 Jul 2020 08:39:29 +0000 (11:39 +0300)
Signed-off-by: Donatas Abraitis <donatas.abraitis@gmail.com>
tools/coccinelle/argv_find.cocci [new file with mode: 0644]

diff --git a/tools/coccinelle/argv_find.cocci b/tools/coccinelle/argv_find.cocci
new file mode 100644 (file)
index 0000000..f13b035
--- /dev/null
@@ -0,0 +1,16 @@
+@@
+identifier idx;
+identifier argv;
+identifier argc;
+expression e1;
+expression e2;
+@@
+
+- argv_find(argv, argc, e1, &idx);
+  if (
+-   idx
++   argv_find(argv, argc, e1, &idx)
+  )
+  {
+    e2;
+  }