]>
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 | |
4 | Test expression type is not boolean or int. (-predboolint will suppress | |
5 | message) | |
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. (-boolops will suppress message) | |
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. (-predassign will suppress | |
13 | message) | |
14 | preds.c:25:7: Test expression for if not bool, type char: (c = 'a') | |
15 | Test expression type is not boolean. (-predboolothers will suppress message) | |
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 | lclint/lib) provides bool_equal for safe bool comparisons. (-boolcompare will | |
22 | suppress message) | |
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 | |
31 | (e.g., if ((a = b)) ...) to suppress this message. (-predassign will suppress | |
32 | message) | |
33 | ||
11db3170 | 34 | Finished checking --- 1 code warning, as expected |
885824d3 | 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. (+ptrnegate will suppress message) | |
39 | preds.c:10:7: Test expression for if not bool, type int: *p | |
40 | Test expression type is not boolean or int. (-predboolint will suppress | |
41 | message) | |
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. (-boolops will suppress message) | |
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. (-predassign will suppress | |
49 | message) | |
50 | preds.c:25:7: Test expression for if not bool, type char: (c = 'a') | |
51 | Test expression type is not boolean. (-predboolothers will suppress message) | |
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 | lclint/lib) provides bool_equal for safe bool comparisons. (-boolcompare will | |
58 | suppress message) | |
59 | preds.c:35:7: Test expression for if not bool, type char: c | |
efd360a3 | 60 | bool.h:21:13: Function bool_initMod declared but not used |
885824d3 | 61 | A function is declared but not used. Use /*@unused@*/ in front of function |
62 | header to suppress message. (-fcnuse will suppress message) | |
efd360a3 | 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 | |
885824d3 | 67 | preds.c:41:1: Definition of f |
68 | ||
11db3170 | 69 | Finished checking --- 12 code warnings, as expected |