]> andersk Git - splint.git/commitdiff
Added sizesigns.c and sizesigns.expect. I can't actually make them now
authorevans1629 <evans1629>
Thu, 12 Dec 2002 15:52:04 +0000 (15:52 +0000)
committerevans1629 <evans1629>
Thu, 12 Dec 2002 15:52:04 +0000 (15:52 +0000)
because of the configure problems.

test/Makefile.am
test/sizesigns.c [new file with mode: 0644]
test/sizesigns.expect [new file with mode: 0644]

index 8b5b85b3217e36694861b9c5a2dc7ffa5e0bb374..af72308cfdf41c5f4c4a9ac89f0a114cf61c663d 100644 (file)
@@ -733,11 +733,11 @@ shifts:
 #drl comment this out until sizesigns is added to cvs
 
 ### evans - added 2002-08-17: check warnings with arbitrary integral types
-#sizesigns:
-#      -$(SPLINTR) +strict sizesigns.c
-#      -$(SPLINTR) +strict +ignoresigns sizesigns.c
-#      -$(SPLINTR) +strict +matcharbitraryintegral sizesigns.c
-#      -$(SPLINTR) +strict +matcharbitraryintegral +ignoresignz sizesigns.c
+sizesigns:
+       -$(SPLINTR) +strict sizesigns.c
+       -$(SPLINTR) +strict +ignoresigns sizesigns.c
+       -$(SPLINTR) +strict +matcharbitraryintegral sizesigns.c
+       -$(SPLINTR) +strict +matcharbitraryintegral +ignoresigns sizesigns.c
 
 .PHONY: slovaknames
 slovaknames:
diff --git a/test/sizesigns.c b/test/sizesigns.c
new file mode 100644 (file)
index 0000000..d574ae1
--- /dev/null
@@ -0,0 +1,10 @@
+#include <stdlib.h>
+
+int foo (size_t z)
+{
+    if (z / sizeof(z) == 10)   
+        return 1;
+    else
+        return 0;
+}
+
diff --git a/test/sizesigns.expect b/test/sizesigns.expect
new file mode 100644 (file)
index 0000000..e69de29
This page took 0.083739 seconds and 5 git commands to generate.