Simple modification to tests.

[splint.git] / test / simplebufferConstraintTests.expect

m.c: (in function t)
m.c:9:1: Index of possibly null pointer f: f
   m.c:8:5: Storage f may become null
sizeof.c: (in function f)
sizeof.c:17:1: Unresolved constraint:
    Lclint is unable to resolve Requires: :
    ( 2 )   >=  ( 3 )  needed to satisfy Requires: : MAXSET ((x @ sizeof.c:17:1
    ) )  >=  ( 3 ) 
test3.c:2:6: Function t defined more than once
   m.c:11:1: Previous definition of t
test3.c: (in function t)
test3.c:9:3: Unresolved constraint:
    Lclint is unable to resolve Requires: :
    ( 99 )   >=  ( 101 )  needed to satisfy Requires: : MAXSET ((g @
    test3.c:9:3 ) )  >=  ( 101 ) 
test7.c:2:6: Function t defined more than once
   m.c:11:1: Previous definition of t
test7.c: (in function t)
test7.c:8:3: Unresolved constraint:
    Lclint is unable to resolve Requires: : MAXSET ((j @ test7.c:8:3 ) )  >=  (
    0 )  needed to satisfy Requires: : MAXSET ((j @ test7.c:8:3 ) )  >=  ( 0 ) 
test7.c:6:3: Unresolved constraint:
    Lclint is unable to resolve Requires: : MAXSET ((g @ test7.c:4:3 ) )  >=  (
    4 )  needed to satisfy Requires: : MAXSET ((g @ test7.c:6:3 ) )  >=  ( 2 ) 

Finished LCLint checking --- 7 code errors found