test/simplebufferConstraintTests.expect

   1
   2 m.c: (in function t)
   3 m.c:9:1: Index of possibly null pointer f: f
   4    m.c:8:5: Storage f may become null
   5 sizeof.c: (in function f)
   6 sizeof.c:17:1: Unresolved constraint:
   7     Lclint is unable to resolve Requires: :
   8     ( 2 )   >=  ( 3 )  needed to satisfy Requires: : MAXSET ((x @ sizeof.c:17:1
   9     ) )  >=  ( 3 )
  10 test3.c:2:6: Function t defined more than once
  11    m.c:11:1: Previous definition of t
  12 test3.c: (in function t)
  13 test3.c:9:3: Unresolved constraint:
  14     Lclint is unable to resolve Requires: :
  15     ( 99 )   >=  ( 101 )  needed to satisfy Requires: : MAXSET ((g @
  16     test3.c:9:3 ) )  >=  ( 101 )
  17 test7.c:2:6: Function t defined more than once
  18    m.c:11:1: Previous definition of t
  19 test7.c: (in function t)
  20 test7.c:8:3: Unresolved constraint:
  21     Lclint is unable to resolve Requires: : MAXSET ((j @ test7.c:8:3 ) )  >=  (
  22     0 )  needed to satisfy Requires: : MAXSET ((j @ test7.c:8:3 ) )  >=  ( 0 )
  23 test7.c:6:3: Unresolved constraint:
  24     Lclint is unable to resolve Requires: : MAXSET ((g @ test7.c:4:3 ) )  >=  (
  25     4 )  needed to satisfy Requires: : MAXSET ((g @ test7.c:6:3 ) )  >=  ( 2 )
  26
  27 Finished LCLint checking --- 7 code errors found