]> andersk Git - splint.git/commitdiff
Fixed sizeoftest test.
authordrl7x <drl7x>
Thu, 19 Dec 2002 00:28:12 +0000 (00:28 +0000)
committerdrl7x <drl7x>
Thu, 19 Dec 2002 00:28:12 +0000 (00:28 +0000)
Fixed some bugs in src/Makefile.am

test/sizeoftest.expect

index e7cd00ad71ad05b8f242508604f189b5bc638ef0..7f183efb899207e542473cea20a49f9ff1cd274b 100644 (file)
@@ -7,4 +7,4 @@ sizeof.c:6:2: Possible out-of-bounds store:
      needed to satisfy precondition:
     requires maxSet(x @ sizeof.c:6:2) >= 3
 
-Finished checking --- 1 code warning
+Finished checking --- 1 code warning, as expected
This page took 0.054806 seconds and 5 git commands to generate.