Some code may overall use 0 and 1, so don't introduce occasional
uses of true and false in these cases.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
virtual org
virtual report
virtual org
virtual report
+@boolok@
+symbol true,false;
+@@
+(
+true
+|
+false
+)
+
@depends on patch@
bool t;
@depends on patch@
bool t;
-symbol true;
-symbol false;
+@depends on patch && boolok@
+@r3 depends on !patch && boolok@
-position p1,p2;
-constant c;
@@
(
*b@p1 = 0
|
*b@p1 = 1
@@
(
*b@p1 = 0
|
*b@p1 = 1
+@r4 depends on !patch@
+bool b;
+position p2;
+constant c != {0,1};
+@@
+*b@p2 = c
+
@script:python depends on org@
p << r1.p;
@@
@script:python depends on org@
p << r1.p;
@@
cocci.print_main("WARNING: Assignment of bool to 0/1",p1)
@script:python depends on org@
cocci.print_main("WARNING: Assignment of bool to 0/1",p1)
@script:python depends on org@
@@
cocci.print_main("ERROR: Assignment of bool to non-0/1 constant",p2)
@@
cocci.print_main("ERROR: Assignment of bool to non-0/1 constant",p2)
coccilib.report.print_report(p1[0],"WARNING: Assignment of bool to 0/1")
@script:python depends on report@
coccilib.report.print_report(p1[0],"WARNING: Assignment of bool to 0/1")
@script:python depends on report@
@@
coccilib.report.print_report(p2[0],"ERROR: Assignment of bool to non-0/1 constant")
@@
coccilib.report.print_report(p2[0],"ERROR: Assignment of bool to non-0/1 constant")