]> andersk Git - splint.git/blobdiff - test/oldstyle.out
*** empty log message ***
[splint.git] / test / oldstyle.out
diff --git a/test/oldstyle.out b/test/oldstyle.out
deleted file mode 100644 (file)
index 0af2ab8..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-
-oldstyle.c: (in function f1)
-oldstyle.c:5:8: Dereference of non-pointer (int): *y
-oldstyle.c:10:5: Function f2 declared with 1 arg, specified with 2
-   oldstyle.lcl:2: Specification of f2
-oldstyle.c:15:12: Parameter 2, y, of function f3 has inconsistent type:
-                     declared char, specified char *
-   oldstyle.lcl:4:1: Specification of y: char *
-
-Finished checking --- 3 code warnings, as expected
This page took 0.04244 seconds and 4 git commands to generate.