]> git.puffer.fish Git - matthieu/frr.git/commitdiff
tools: Add coccinelle script to check if bool functions return bool type
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Wed, 4 Mar 2020 13:02:23 +0000 (15:02 +0200)
committerDonatas Abraitis <donatas.abraitis@gmail.com>
Wed, 4 Mar 2020 13:02:23 +0000 (15:02 +0200)
Signed-off-by: Donatas Abraitis <donatas.abraitis@gmail.com>
scripts/coccinelle/bool_function.cocci [new file with mode: 0644]

diff --git a/scripts/coccinelle/bool_function.cocci b/scripts/coccinelle/bool_function.cocci
new file mode 100644 (file)
index 0000000..0328ecf
--- /dev/null
@@ -0,0 +1,21 @@
+@@
+identifier fn;
+typedef bool;
+symbol false;
+symbol true;
+@@
+
+bool fn ( ... )
+{
+<...
+return
+(
+- 0
++ false
+|
+- 1
++ true
+)
+  ;
+...>
+}