test/bufferTest.expect

   1
   2 test4.c: (in function t)
   3 test4.c:6:3: Variable g used before definition
   4 test4.c:6:3: Possible out-of-bounds store:
   5     Unable to resolve constraint:
   6     requires maxSet(g @ test4.c:6:3) >= 100
   7      needed to satisfy precondition:
   8     requires maxSet(g @ test4.c:6:3) >= 100
   9 test6.c:2:6: Function t defined more than once
  10    test4.c:15:1: Previous definition of t
  11 test6.c: (in function t)
  12 test6.c:5:4: Variable g used before definition
  13 test6.c:6:3: Possible out-of-bounds store:
  14     Unable to resolve constraint:
  15     requires maxSet(g @ test6.c:5:4) >= 1
  16      needed to satisfy precondition:
  17     requires maxSet(g @ test6.c:6:3) >= 0
  18 test6.c:6:10: Possible out-of-bounds read:
  19     Unable to resolve constraint:
  20     requires maxRead(g @ test6.c:5:4) >= 2
  21      needed to satisfy precondition:
  22     requires maxRead(g @ test6.c:6:10) >= 1
  23
  24 Finished LCLint checking --- 6 code errors found