From: evans1629 <evans1629>
Date: Fri, 5 Jul 2002 17:39:43 +0000 (+0000)
Subject: Update test results.
X-Git-Tag: splint-3_1_0~104
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700

Update test results.
---

diff --git a/test/Makefile.in b/test/Makefile.in
index e5476c2..6f793f4 100644
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -118,7 +118,7 @@ SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint
 UNITTESTS = \
   help \
   abstptr abstract alias alttypes ansireserved argorder \
-  args arraydims arrayinit arraylit blocks break cases cast charlit clauses commentchar compdestroy \
+  args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \
   compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \
   decl divzero enum enumtag exports external fields flags forbody format freearray \
   funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \
@@ -299,6 +299,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs  \
               ./cases2.c \
               ./cast.c \
               ./cast2.c \
+              ./chararraylit.c \
               ./charlit.c \
               ./clauses.c \
               ./clauses2.c \
@@ -618,6 +619,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs  \
               buffertest.expect \
               cases.expect \
               cast.expect \
+              chararraylit.expect \
               charlit.expect \
               clauses.expect \
               commentchar.expect \
@@ -1088,6 +1090,10 @@ cast:
 	-$(SPLINTR) cast -accessmodule -expect 20
 	-$(SPLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3
 
+.PHONY: chararraylit
+chararraylit:
+	-$(SPLINTR) chararraylit.c -expect 2
+
 ### Two addition errors detected with 2.5 with -numliteral.
 
 .PHONY: charlit
diff --git a/test/chararraylit.expect b/test/chararraylit.expect
index e69de29..ec76a4e 100644
--- a/test/chararraylit.expect
+++ b/test/chararraylit.expect
@@ -0,0 +1,7 @@
+
+chararraylit.c: (in function f)
+chararraylit.c:8:16: String literal with 4 characters is assigned to char [3]
+                        (no room for null terminator): "abc"
+chararraylit.c:13:3: Suspect modification of observer p: *p = 'c'
+
+Finished checking --- 2 code warnings, as expected
diff --git a/test/external.expect b/test/external.expect
index b69d78d..ecdcf74 100644
--- a/test/external.expect
+++ b/test/external.expect
@@ -42,11 +42,11 @@ external.c:5:5: External identifier small2 is not distinguishable from small1
    external.c:4:5: Declaration of small1
 external.c:7:5: External identifier longfunction1 is not distinguishable from
     LONG_MAX in the first 3 characters because alphabetical case is ignored
-   load file standard.lcd:786:1: Specification of LONG_MAX
+   load file standard.lcd:951:1: Specification of LONG_MAX
    One or more additional indistinguishable external names not reported
 external.c:8:5: External identifier longfunction2 is not distinguishable from
     LONG_MAX in the first 3 characters because alphabetical case is ignored
-   load file standard.lcd:786:1: Specification of LONG_MAX
+   load file standard.lcd:951:1: Specification of LONG_MAX
    One or more additional indistinguishable external names not reported
 
 Finished checking --- 4 code warnings, as expected