]> andersk Git - splint.git/blob - test/shifts.expect
Pushed back constraintResolve.c to the previous version.
[splint.git] / test / shifts.expect
1
2 shifts.c: (in function f)
3 shifts.c:12:14: Right operand of << may be negative (int): u1 << i1
4 shifts.c:13:14: Right operand of << may be negative (int): i1 << i1
5 shifts.c:13:8: Left operand of << may be negative (int): i1 << i1
6 shifts.c:17:14: Right operand of << may be negative (int): u2 << BAD_CONST
7
8 Finished checking --- 4 code warnings, as expected
9
10 shifts.c: (in function f)
11 shifts.c:12:14: Right operand of << may be negative (int): u1 << i1
12 shifts.c:13:14: Right operand of << may be negative (int): i1 << i1
13 shifts.c:17:14: Right operand of << may be negative (int): u2 << BAD_CONST
14
15 Finished checking --- 3 code warnings, as expected
16
17 shifts.c: (in function f)
18 shifts.c:13:8: Left operand of << may be negative (int): i1 << i1
19
20 Finished checking --- 1 code warning, as expected
This page took 0.288011 seconds and 5 git commands to generate.