splint now tried to define a symbol based on the current processor type.

[splint.git] / test / modtest.out

diff --git a/test/modtest.out b/test/modtest.out
index d6c6a1579a28ae81e051c2ab774695b0756d2f96..7b213a6aa9aefc2275dc8ece5bbcc632381f7f19 100644 (file)
--- a/test/modtest.out
+++ b/test/modtest.out
@@ -1,7 +1,59 @@
 
-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.
+modtest.c: (in function g)
+modtest.lcl:15: Global x listed but not used
+modtest.lcl:15: Global y listed but not used
+modtest.c:9:12: Parameter a not used
+modtest.c:9:22: Parameter p not used
+modtest.c: (in function f)
+modtest.c:16:3: Undocumented modification of i[3]: i[3] = y
+modtest.c:17:3: Undocumented modification of j[2]: j[2] = x
+modtest.c:22:3: Undocumented modification of y: y++
+modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6
+modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i)
+modtest.c:26:3: Return value (type int) ignored: g(j, i)
+
+Finished checking --- 10 code warnings, as expected
+
+modtest.c: (in function g)
+modtest.lcl:15: Global x listed but not used
+modtest.lcl:15: Global y listed but not used
+modtest.c:9:12: Parameter a not used
+modtest.c:9:22: Parameter p not used
+modtest.c: (in function f)
+modtest.c:16:3: Undocumented modification of i[3]: i[3] = y
+modtest.c:17:3: Undocumented modification of j[2]: j[2] = x
+modtest.c:22:3: Undocumented modification of y: y++
+modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6
+modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i)
+modtest.c:26:3: Return value (type int) ignored: g(j, i)
+modtest.c: (in function h)
+modtest.c:33:3: Undocumented modification of y: y++
+modtest.c:34:10: Undocumented modification of x possible from call to g:
+                    g(a, &x)
+modtest.c:34:10: Undocumented modification of y possible from call to g:
+                    g(a, &x)
+
+Finished checking --- 13 code warnings, as expected
+
+modtest.c: (in function g)
+modtest.lcl:15: Global x listed but not used
+modtest.lcl:15: Global y listed but not used
+modtest.c:12:1: Suspect object listed in modifies of g not modified: x
+   modtest.lcl:15: Specification of g
+modtest.c:12:1: Suspect object listed in modifies of g not modified: y
+   modtest.lcl:15: Specification of g
+modtest.c:9:12: Parameter a not used
+modtest.c:9:22: Parameter p not used
+modtest.c: (in function f)
+modtest.c:16:3: Undocumented modification of i[3]: i[3] = y
+modtest.c:17:3: Undocumented modification of j[2]: j[2] = x
+modtest.c:22:3: Undocumented modification of y: y++
+modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6
+modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i)
+modtest.c:26:3: Return value (type int) ignored: g(j, i)
+modtest.c:29:1: Suspect object listed in modifies of f not modified: ai[6]
+   modtest.lcl:8: Specification of f
+modtest.c:29:1: Suspect object listed in modifies of f not modified: tstp->a
+   modtest.lcl:8: Specification of f
+
+Finished checking --- 14 code warnings, as expected