home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / sizeof.expect < prev    next >
Text File  |  2001-12-29  |  259b  |  10 lines
  1.  
  2. sizeof.c: (in function main)
  3. sizeof.c:6:3: Possible out-of-bounds store:
  4.     Unable to resolve constraint:
  5.     requires 2 >= 3
  6.      needed to satisfy precondition:
  7.     requires maxSet(x @ sizeof.c:6:3) >= 3
  8.  
  9. Finished checking --- 1 code warning, as expected
  10.