X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/5e211f69ddc6240f0db9af54a57134d237401d37..51bc6ecce8b6e9877dccd8bda2cf220b47e6929c:/test/preds.expect

diff --git a/test/preds.expect b/test/preds.expect
index c02a08c..a1f1576 100644
--- a/test/preds.expect
+++ b/test/preds.expect
@@ -1,25 +1,25 @@
 
 preds.c: (in function f)
 preds.c:10:7: Test expression for if not bool, type int: *p
-  Test expression type is not boolean or int. (-predboolint will suppress
-  message)
+  Test expression type is not boolean or int. (Use -predboolint to inhibit
+  warning)
 preds.c:15:8: Operand of ! is non-boolean (int): !(*p)
   The operand of a boolean operator is not a boolean. Use +ptrnegate to allow !
-  to be used on pointers. (-boolops will suppress message)
+  to be used on pointers. (Use -boolops to inhibit warning)
 preds.c:20:7: Test expression for if is assignment expression: b1 = b2
   The condition test is an assignment expression. Probably, you mean to use ==
   instead of =. If an assignment is intended, add an extra parentheses nesting
-  (e.g., if ((a = b)) ...) to suppress this message. (-predassign will suppress
-  message)
+  (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
+  inhibit warning)
 preds.c:25:7: Test expression for if not bool, type char: (c = 'a')
-  Test expression type is not boolean. (-predboolothers will suppress message)
+  Test expression type is not boolean. (Use -predboolothers to inhibit warning)
 preds.c:30:7: Use of == with bool variables (risks inconsistency because of
                  multiple true values): b1 == b2
   Two bool values are compared directly using a C primitive. This may produce
-  unexpected results since all non-zero values are considered TRUE, so
-  different TRUE values may not be equal. The file bool.h (included in
-  splint/lib) provides bool_equal for safe bool comparisons. (-boolcompare will
-  suppress message)
+  unexpected results since all non-zero values are considered true, so
+  different true values may not be equal. The file bool.h (included in
+  splint/lib) provides bool_equal for safe bool comparisons. (Use -boolcompare
+  to inhibit warning)
 preds.c:35:7: Test expression for if not bool, type char: c
 
 Finished checking --- 6 code warnings, as expected
@@ -28,42 +28,42 @@ preds.c: (in function f)
 preds.c:20:7: Test expression for if is assignment expression: b1 = b2
   The condition test is an assignment expression. Probably, you mean to use ==
   instead of =. If an assignment is intended, add an extra parentheses nesting
-  (e.g., if ((a = b)) ...) to suppress this message. (-predassign will suppress
-  message)
+  (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
+  inhibit warning)
 
 Finished checking --- 1 code warning, as expected
 
+bool.h:11:25: Constant exported, but not specified: FALSE
+  A constant is exported, but not specified. (Use -exportconst to inhibit
+  warning)
+bool.h:16:25: Constant exported, but not specified: TRUE
 preds.c: (in function f)
 preds.c:5:8: Operand of ! is non-boolean (int *): !p
-  The operand of ! operator is a pointer. (+ptrnegate will suppress message)
+  The operand of ! operator is a pointer. (Use +ptrnegate to inhibit warning)
 preds.c:10:7: Test expression for if not bool, type int: *p
-  Test expression type is not boolean or int. (-predboolint will suppress
-  message)
+  Test expression type is not boolean or int. (Use -predboolint to inhibit
+  warning)
 preds.c:15:8: Operand of ! is non-boolean (int): !(*p)
   The operand of a boolean operator is not a boolean. Use +ptrnegate to allow !
-  to be used on pointers. (-boolops will suppress message)
+  to be used on pointers. (Use -boolops to inhibit warning)
 preds.c:20:7: Test expression for if is assignment expression: b1 = b2
   The condition test is an assignment expression. Probably, you mean to use ==
   instead of =. If an assignment is intended, add an extra parentheses nesting
-  (e.g., if ((a = b)) ...) to suppress this message. (-predassign will suppress
-  message)
+  (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
+  inhibit warning)
 preds.c:25:7: Test expression for if not bool, type char: (c = 'a')
-  Test expression type is not boolean. (-predboolothers will suppress message)
+  Test expression type is not boolean. (Use -predboolothers to inhibit warning)
 preds.c:30:7: Use of == with bool variables (risks inconsistency because of
                  multiple true values): b1 == b2
   Two bool values are compared directly using a C primitive. This may produce
-  unexpected results since all non-zero values are considered TRUE, so
-  different TRUE values may not be equal. The file bool.h (included in
-  splint/lib) provides bool_equal for safe bool comparisons. (-boolcompare will
-  suppress message)
+  unexpected results since all non-zero values are considered true, so
+  different true values may not be equal. The file bool.h (included in
+  splint/lib) provides bool_equal for safe bool comparisons. (Use -boolcompare
+  to inhibit warning)
 preds.c:35:7: Test expression for if not bool, type char: c
-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
+  A function is declared but not used. Use /*@unused@*/ in front of function
+  header to suppress message. (Use -fcnuse to inhibit warning)
    preds.c:41:1: Definition of f
 
-Finished checking --- 12 code warnings, as expected
+Finished checking --- 10 code warnings, as expected