]> andersk Git - splint.git/blobdiff - test/iter.out
Added mtgrammar.c.der
[splint.git] / test / iter.out
index d6c6a1579a28ae81e051c2ab774695b0756d2f96..65d4e3802c689b15f8f523ffdc6d6e5101ab4750 100644 (file)
@@ -1,7 +1,52 @@
 
-Cannot find standard library: ansi.lcd
-     Check LARCH_PATH environment variable.
-Continuing without LCL init file: lclinit.lci
-Continuing without LSL init file: lslinit.lsi
-Unable to find CTrait.syms or CTrait.lsl.  Check LARCH_PATH environment
-variable.
+iter.lcl:3:6: Iterator has no yield parameters: noYield
+iter.c: (in function test)
+iter.c:9:14: Unrecognized identifier: x
+iter.c:14:16: Yield parameter shadows local declaration: i
+   iter.c:6:7: Declaration of i
+iter.c:18:8: Iter intFor not balanced with end_intFor
+iter.c:14:12: Iter intFor expects arg 2 to be int gets char: c
+iter.c:20:20: Variable i used before definition
+iter.c:20:20: Yield parameter is not simple identifier: i + 3
+iter.c:24:24: Iter intFor not balanced with end_intFor: end_arrayElements
+iter.h: (in iter intFor)
+iter.h:1:27: Parameter ___x name is not consistent with macro variable
+                namespace prefix "m_"
+iter.h: (in iter arrayElements)
+iter.h:7:31: Parameter ___x name is not consistent with macro variable
+                namespace prefix "m_"
+iter.h:7:43: Variable ___c name is not consistent with macro variable namespace
+                prefix "m_"
+iter.h:7:55: Variable ___b name is not consistent with macro variable namespace
+                prefix "m_"
+iter.h:8:1: Macro parameter j used in conditionally executed code (may or may
+               not be evaluated exactly once) (in post loop test)
+iter.lcl:3:6: Iterator noYield specified but not defined
+iter.lcl:3:6: Iterator finalizer end_noYield specified but not defined
+
+Finished LCLint checking --- 1 spec error found, as expected
+       14 code errors found, as expected
+
+iter2.c: (in function test)
+iter2.c:9:14: Unrecognized identifier: x
+iter2.c:14:16: Yield parameter shadows local declaration: i
+   iter2.c:6:7: Declaration of i
+iter2.c:17:8: Iter intFor not balanced with end_intFor
+iter2.c:14:12: Iter intFor expects arg 2 to be int gets char: c
+iter2.c:19:17: Variable i used before definition
+iter2.c:19:17: Yield parameter is not simple identifier: i + 3
+iter2.c:22:24: Iter intFor not balanced with end_intFor: end_arrayElements
+iter2.h: (in iter intFor)
+iter2.h:2:27: Parameter ___x name is not consistent with macro variable
+                 namespace prefix "m_"
+iter2.h: (in iter arrayElements)
+iter2.h:8:31: Parameter ___x name is not consistent with macro variable
+                 namespace prefix "m_"
+iter2.h:8:43: Variable ___c name is not consistent with macro variable
+                 namespace prefix "m_"
+iter2.h:8:55: Variable ___b name is not consistent with macro variable
+                 namespace prefix "m_"
+iter2.h:9:1: Macro parameter j used in conditionally executed code (may or may
+                not be evaluated exactly once) (in post loop test)
+
+Finished LCLint checking --- 12 code errors found, as expected
This page took 0.034876 seconds and 4 git commands to generate.