]> andersk Git - splint.git/blobdiff - test/argorder.out
Made some additional changes to the makefile. Now it builds correctly.
[splint.git] / test / argorder.out
index 7fae137a9dc195349008979088f4250158fe6730..640d516d33df4b5ec2a191413ada56eab5b9a1ca 100644 (file)
@@ -1,7 +1,9 @@
+gmake[3]: Entering directory `/tmp/LCLintDev/test'
 
+Cannot find standard library: ansi.lcd
+     Check LARCH_PATH environment variable.
 argorder.c: (in function f)
-argorder.c:8:20: Argument 2 modifies z, used by argument 3 (order of evaluation
-                    of actual parameters is undefined): printf("%d %d", z++, z)
+argorder.c:6:3: Unrecognized identifier: printf
 argorder.c:10:13: Argument 1 modifies i, used by argument 2 (order of
     evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j)
 argorder.c:10:13: Argument 1 modifies j, used by argument 3 (order of
@@ -11,76 +13,11 @@ argorder.c:10:25: Argument 2 modifies i, used by argument 1 (order of
 
 Finished LCLint checking --- 4 code errors found, as expected
 
-argorder2.c: (in function g)
-argorder2.c:16:12: Argument 1 modifies i, used by argument 2 (order of
-    evaluation of actual parameters is undefined): f(f(1, 2), f(1, 2))
-argorder2.c:16:21: Argument 2 modifies i, used by argument 1 (order of
-    evaluation of actual parameters is undefined): f(f(1, 2), f(1, 2))
-argorder2.c:17:12: Argument 1 modifies i, used by argument 2 (order of
-    evaluation of actual parameters is undefined): f(f(1, 2), h())
-argorder2.c:18:12: Argument 1 modifies i, used by argument 2 (order of
-    evaluation of actual parameters is undefined): f(f(1, 2), i)
-argorder2.c:19:14: Argument 1 modifies i, used by argument 2 (order of
-                      evaluation of actual parameters is undefined): f(i++, i)
-
-Finished LCLint checking --- 5 code errors found, as expected
-
-argorder3.c: (in function f)
-argorder3.c:7:8: Expression has undefined behavior (value of left operand i is
-                    modified by right operand i++): i = i++
-argorder3.c:8:11: Expression has undefined behavior (left operand uses i,
-                     modified by right operand): a[i] = i++
-argorder3.c:9:12: Expression has undefined behavior (value of right operand
-                     modified by left operand): a[i++] = i
-argorder3.c:10:13: Expression has undefined behavior (value of right operand
-                      modified by left operand): i++ * i
-argorder3.c:11:12: Expression has undefined behavior (value of left operand i
-                      is modified by right operand i++): i * i++
-argorder3.c:12:14: Expression has undefined behavior (left operand uses i,
-                      modified by right operand): --i * ++i
-argorder3.c:12:14: Expression has undefined behavior (left operand modifies i,
-                      used by right operand): --i * ++i
-argorder3.c:13:2: Path with no return in function declared to return int
-
-Finished LCLint checking --- 8 code errors found, as expected
-
-argorder4.c: (in function h)
-argorder4.c:19:21: Expression has undefined behavior (left operand uses glob,
-                      modified by right operand): f() + g()
-argorder4.c:25:18: Expression has undefined behavior (left operand uses glob,
-                      modified by right operand): f() + (++glob)
-argorder4.c:29:18: Expression has undefined behavior (left operand uses glob,
-                      modified by right operand): g() + h()
-argorder4.c:29:18: Expression has undefined behavior (left operand modifies
-                      glob, used by right operand): g() + h()
-argorder4.c:35:16: Argument 1 modifies file system state, used by argument 2
-    (order of evaluation of actual parameters is undefined):
-    add((printf("hullo"), 3), (printf("goodbye"), 4))
-argorder4.c:35:16: Argument 1 modifies *stdout, set by argument 2 (order of
-    evaluation of actual parameters is undefined):
-    add((printf("hullo"), 3), (printf("goodbye"), 4))
-argorder4.c:35:38: Argument 2 modifies file system state, used by argument 1
-    (order of evaluation of actual parameters is undefined):
-    add((printf("hullo"), 3), (printf("goodbye"), 4))
-argorder4.c:35:38: Argument 2 modifies *stdout, set by argument 1 (order of
-    evaluation of actual parameters is undefined):
-    add((printf("hullo"), 3), (printf("goodbye"), 4))
-argorder4.c:35:10: Unreachable code: return (add((pri...
-
-Finished LCLint checking --- 9 code errors found, as expected
-
-argorder4.c: (in function h)
-argorder4.c:35:10: Unreachable code: return (add((pri...
-
-Finished LCLint checking --- 1 code error found, as expected
-
-argorder5.c: (in function f)
-argorder5.c:8:9: Variable name used after being released
-   argorder5.c:8:17: Storage name released
-argorder5.c:9:19: Variable name used after being released
-   argorder5.c:9:12: Storage name released
-argorder5.c:10:28: Argument 2 modifies *name, used by argument 1 (order of
-    evaluation of actual parameters is undefined):
-    test2(copystring(name), f(name))
-
-Finished LCLint checking --- 3 code errors found, as expected
+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.
+gmake[3]: *** [argorder] Error 1
+gmake[3]: Leaving directory `/tmp/LCLintDev/test'
This page took 0.038916 seconds and 4 git commands to generate.