suppress message)
preds.c:35:7: Test expression for if not bool, type char: c
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
preds.c: (in function f)
preds.c:20:7: Test expression for if is assignment expression: b1 = b2
(e.g., if ((a = b)) ...) to suppress this message. (-predassign will suppress
message)
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
preds.c: (in function f)
preds.c:5:8: Operand of ! is non-boolean (int *): !p
lclint/lib) provides bool_equal for safe bool comparisons. (-boolcompare will
suppress message)
preds.c:35:7: Test expression for if not bool, type char: c
-preds.c:3:5: Function f declared but not used
+bool.h:21:13: Function bool_initMod declared but not used
A function is declared but not used. Use /*@unused@*/ in front of function
header to suppress message. (-fcnuse will suppress message)
+bool.h:24:29: Function bool_unparse declared but not used
+bool.h:27:13: Function bool_not declared but not used
+bool.h:30:13: Function bool_equal declared but not used
+preds.c:3:5: Function f declared but not used
preds.c:41:1: Definition of f
-Finished LCLint checking --- 8 code errors found, as expected
+Finished checking --- 12 code warnings, as expected