home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / preds.expect < prev    next >
Text File  |  2002-02-13  |  4KB  |  70 lines
  1.  
  2. preds.c: (in function f)
  3. preds.c:10:7: Test expression for if not bool, type int: *p
  4.   Test expression type is not boolean or int. (Use -predboolint to inhibit
  5.   warning)
  6. preds.c:15:8: Operand of ! is non-boolean (int): !(*p)
  7.   The operand of a boolean operator is not a boolean. Use +ptrnegate to allow !
  8.   to be used on pointers. (Use -boolops to inhibit warning)
  9. preds.c:20:7: Test expression for if is assignment expression: b1 = b2
  10.   The condition test is an assignment expression. Probably, you mean to use ==
  11.   instead of =. If an assignment is intended, add an extra parentheses nesting
  12.   (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
  13.   inhibit warning)
  14. preds.c:25:7: Test expression for if not bool, type char: (c = 'a')
  15.   Test expression type is not boolean. (Use -predboolothers to inhibit warning)
  16. preds.c:30:7: Use of == with bool variables (risks inconsistency because of
  17.                  multiple true values): b1 == b2
  18.   Two bool values are compared directly using a C primitive. This may produce
  19.   unexpected results since all non-zero values are considered TRUE, so
  20.   different TRUE values may not be equal. The file bool.h (included in
  21.   splint/lib) provides bool_equal for safe bool comparisons. (Use -boolcompare
  22.   to inhibit warning)
  23. preds.c:35:7: Test expression for if not bool, type char: c
  24.  
  25. Finished checking --- 6 code warnings, as expected
  26.  
  27. preds.c: (in function f)
  28. preds.c:20:7: Test expression for if is assignment expression: b1 = b2
  29.   The condition test is an assignment expression. Probably, you mean to use ==
  30.   instead of =. If an assignment is intended, add an extra parentheses nesting
  31.   (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
  32.   inhibit warning)
  33.  
  34. Finished checking --- 1 code warning, as expected
  35.  
  36. preds.c: (in function f)
  37. preds.c:5:8: Operand of ! is non-boolean (int *): !p
  38.   The operand of ! operator is a pointer. (Use +ptrnegate to inhibit warning)
  39. preds.c:10:7: Test expression for if not bool, type int: *p
  40.   Test expression type is not boolean or int. (Use -predboolint to inhibit
  41.   warning)
  42. preds.c:15:8: Operand of ! is non-boolean (int): !(*p)
  43.   The operand of a boolean operator is not a boolean. Use +ptrnegate to allow !
  44.   to be used on pointers. (Use -boolops to inhibit warning)
  45. preds.c:20:7: Test expression for if is assignment expression: b1 = b2
  46.   The condition test is an assignment expression. Probably, you mean to use ==
  47.   instead of =. If an assignment is intended, add an extra parentheses nesting
  48.   (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to
  49.   inhibit warning)
  50. preds.c:25:7: Test expression for if not bool, type char: (c = 'a')
  51.   Test expression type is not boolean. (Use -predboolothers to inhibit warning)
  52. preds.c:30:7: Use of == with bool variables (risks inconsistency because of
  53.                  multiple true values): b1 == b2
  54.   Two bool values are compared directly using a C primitive. This may produce
  55.   unexpected results since all non-zero values are considered TRUE, so
  56.   different TRUE values may not be equal. The file bool.h (included in
  57.   splint/lib) provides bool_equal for safe bool comparisons. (Use -boolcompare
  58.   to inhibit warning)
  59. preds.c:35:7: Test expression for if not bool, type char: c
  60. bool.h:21:13: Function bool_initMod declared but not used
  61.   A function is declared but not used. Use /*@unused@*/ in front of function
  62.   header to suppress message. (Use -fcnuse to inhibit warning)
  63. bool.h:24:29: Function bool_unparse declared but not used
  64. bool.h:27:13: Function bool_not declared but not used
  65. bool.h:30:13: Function bool_equal declared but not used
  66. preds.c:3:5: Function f declared but not used
  67.    preds.c:41:1: Definition of f
  68.  
  69. Finished checking --- 12 code warnings, as expected
  70.