]> andersk Git - splint.git/blobdiff - test/sizesigns.expect
ADded numabstract types.
[splint.git] / test / sizesigns.expect
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..4c1526b337b252ee2e6b687a5c5504474398e3ce 100644 (file)
@@ -0,0 +1,26 @@
+
+Command Line: Setting mode strict after setting mode flags will override set
+                 values of flags: exportlocal
+sizesigns.c: (in function foo)
+sizesigns.c:5:7: Operands of == have incompatible types (arbitrary unsigned
+                    integral type, int): z / sizeof((z)) == 10
+sizesigns.c:6:12: Body of if clause of if statement is not a block: return 1
+sizesigns.c:8:12: Body of else clause of if statement is not a block: return 0
+sizesigns.c:3:5: Function foo declared but not used
+   sizesigns.c:9:1: Definition of foo
+sizesigns.c:3:5: Function foo exported but not declared in header file
+   sizesigns.c:9:1: Definition of foo
+
+Finished checking --- 5 code warnings, as expected
+
+Command Line: Setting mode strict after setting mode flags will override set
+                 values of flags: exportlocal
+sizesigns.c: (in function foo)
+sizesigns.c:6:12: Body of if clause of if statement is not a block: return 1
+sizesigns.c:8:12: Body of else clause of if statement is not a block: return 0
+sizesigns.c:3:5: Function foo declared but not used
+   sizesigns.c:9:1: Definition of foo
+sizesigns.c:3:5: Function foo exported but not declared in header file
+   sizesigns.c:9:1: Definition of foo
+
+Finished checking --- 4 code warnings, as expected
This page took 0.043847 seconds and 4 git commands to generate.