]> andersk Git - splint.git/blame - test/sizeoftest.out
REmoved non-working test from make file and changed .expects to reflect the new messa...
[splint.git] / test / sizeoftest.out
CommitLineData
e4c9f289 1
2sizeof.c: (in function main)
03d670b6 3sizeof.c:6:2: Possible out-of-bounds store. Unable to resolve constraint:
4109ede4 4 requires 2 >= 3
03d670b6 5 needed to satisfy precondition:
4109ede4 6 requires maxSet(x @ sizeof.c:6:2) >= 3
e4c9f289 7
8Finished LCLint checking --- 1 code error found
This page took 0.079416 seconds and 5 git commands to generate.