test/sizeoftest.out

   1
   2 constraintResolve.c:695 [sizeof.c:9:2]: >> Doing Range CHECK ( 2 )  and ( 2 )
   3 constraintResolve.c:695 [sizeof.c:9:2]: >> Doing Range CHECK ( 3 )  and ( 2 )
   4 sizeof.c: (in function main)
   5 sizeof.c:6:2: Unresolved constraint:
   6     Lclint is unable to resolve Requires: :
   7     ( 2 )   >=  ( 3 )  needed to satisfy Requires: : MAXSET ((x @ sizeof.c:6:2
   8     ) )  >=  ( 3 )
   9
  10 Finished LCLint checking --- 1 code error found