test/sizeoftest.out

   1
   2 sizeof.c: (in function main)
   3 sizeof.c:6:2: Possible out-of-bounds store.  Unable to resolve constraint:
   4     requires 2 >= 3
   5      needed to satisfy precondition:
   6     requires maxSet(x @ sizeof.c:6:2) >= 3
   7
   8 Finished LCLint checking --- 1 code error found