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