Added doc/Makefile.am to get make dist to work.

[splint.git] / test / ud.out

diff --git a/test/ud.out b/test/ud.out
index 43be36262348fa7361abb40a671c1b9655452620..20c5141869e17baaaf051ac261be7e149e879179 100644 (file)
--- a/test/ud.out
+++ b/test/ud.out
@@ -1,6 +1,4 @@
 
-Cannot find standard library: ansi.lcd
-     Check LARCH_PATH environment variable.
 ud.c: (in function f)
 ud.c:8:7: Variable y used before definition
 ud.c:10:7: Variable z used before definition
@@ -12,11 +10,12 @@ ud.c:49:6: Variable i used before definition
 ud.c:50:6: Variable z5 used before definition
 ud.c:56:7: Variable z5 used before definition
 
-Finished LCLint checking --- 9 code errors found, as expected
+Finished checking --- 9 code warnings, 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.
+ud2.c: (in function g)
+ud2.c:9:6: Unallocated storage y passed as out parameter to f1: y
+ud2.c: (in function h)
+ud2.c:20:7: Passed storage &x not completely defined: f2 (&x)
+ud2.c:23:7: Variable y used before definition
+
+Finished checking --- 3 code warnings, as expected