]> andersk Git - splint.git/blob - test/sizeoftest.out
7282421a370ec360eb51b9820471d2ba19abd039
[splint.git] / test / sizeoftest.out
1
2 sizeof.c: (in function main)
3 sizeof.c:6:2: Possible out-of-bounds store:
4     Unable to resolve constraint:
5     requires 2 >= 3
6      needed to satisfy precondition:
7     requires maxSet(x @ sizeof.c:6:2) >= 3
8
9 Finished LCLint checking --- 1 code error found
This page took 0.022368 seconds and 3 git commands to generate.