]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | preds.c: (in function f) | |
3 | preds.c:10:7: Test expression for if not bool, type int: *p | |
2e127cb8 | 4 | Test expression type is not boolean or int. (Use -predboolint to inhibit |
5 | warning) | |
885824d3 | 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 ! | |
2e127cb8 | 8 | to be used on pointers. (Use -boolops to inhibit warning) |
885824d3 | 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 | |
2e127cb8 | 12 | (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to |
13 | inhibit warning) | |
885824d3 | 14 | preds.c:25:7: Test expression for if not bool, type char: (c = 'a') |
2e127cb8 | 15 | Test expression type is not boolean. (Use -predboolothers to inhibit warning) |
885824d3 | 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 | |
4caf866b | 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 | |
2e127cb8 | 21 | splint/lib) provides bool_equal for safe bool comparisons. (Use -boolcompare |
22 | to inhibit warning) | |
885824d3 | 23 | preds.c:35:7: Test expression for if not bool, type char: c |
24 | ||
11db3170 | 25 | Finished checking --- 6 code warnings, as expected |
885824d3 | 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 | |
2e127cb8 | 31 | (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to |
32 | inhibit warning) | |
885824d3 | 33 | |
11db3170 | 34 | Finished checking --- 1 code warning, as expected |
885824d3 | 35 | |
0bd4c301 | 36 | bool.h:11:25: Constant exported, but not specified: FALSE |
37 | A constant is exported, but not specified. (Use -exportconst to inhibit | |
38 | warning) | |
39 | bool.h:16:25: Constant exported, but not specified: TRUE | |
885824d3 | 40 | preds.c: (in function f) |
41 | preds.c:5:8: Operand of ! is non-boolean (int *): !p | |
2e127cb8 | 42 | The operand of ! operator is a pointer. (Use +ptrnegate to inhibit warning) |
885824d3 | 43 | preds.c:10:7: Test expression for if not bool, type int: *p |
2e127cb8 | 44 | Test expression type is not boolean or int. (Use -predboolint to inhibit |
45 | warning) | |
885824d3 | 46 | preds.c:15:8: Operand of ! is non-boolean (int): !(*p) |
47 | The operand of a boolean operator is not a boolean. Use +ptrnegate to allow ! | |
2e127cb8 | 48 | to be used on pointers. (Use -boolops to inhibit warning) |
885824d3 | 49 | preds.c:20:7: Test expression for if is assignment expression: b1 = b2 |
50 | The condition test is an assignment expression. Probably, you mean to use == | |
51 | instead of =. If an assignment is intended, add an extra parentheses nesting | |
2e127cb8 | 52 | (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to |
53 | inhibit warning) | |
885824d3 | 54 | preds.c:25:7: Test expression for if not bool, type char: (c = 'a') |
2e127cb8 | 55 | Test expression type is not boolean. (Use -predboolothers to inhibit warning) |
885824d3 | 56 | preds.c:30:7: Use of == with bool variables (risks inconsistency because of |
57 | multiple true values): b1 == b2 | |
58 | Two bool values are compared directly using a C primitive. This may produce | |
4caf866b | 59 | unexpected results since all non-zero values are considered true, so |
60 | different true values may not be equal. The file bool.h (included in | |
2e127cb8 | 61 | splint/lib) provides bool_equal for safe bool comparisons. (Use -boolcompare |
62 | to inhibit warning) | |
885824d3 | 63 | preds.c:35:7: Test expression for if not bool, type char: c |
0bd4c301 | 64 | preds.c:3:5: Function f declared but not used |
885824d3 | 65 | A function is declared but not used. Use /*@unused@*/ in front of function |
2e127cb8 | 66 | header to suppress message. (Use -fcnuse to inhibit warning) |
885824d3 | 67 | preds.c:41:1: Definition of f |
68 | ||
0bd4c301 | 69 | Finished checking --- 10 code warnings, as expected |