From: drl7x Date: Mon, 16 Sep 2002 21:47:04 +0000 (+0000) Subject: Removed .lh .lcs .lcd files in test directory from distribution tar ball as suggested... X-Git-Tag: splint-3_1_0~95 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/5e3bf5adeb20d1059cd86654645288c3406af20d Removed .lh .lcs .lcd files in test directory from distribution tar ball as suggested by Brian Foster. Also set make clean to delete these files. --- diff --git a/test/Makefile.am b/test/Makefile.am index 4cdebe2..e1049f2 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -103,6 +103,8 @@ help: .PHONY: clean-local clean-local: -rm -f *~ #*# *.o *.lcs a.out + -rm -f *.out + -rm *.lcd *.lh -cd db1; $(MAKE) clean -cd db2; $(MAKE) clean -cd db3; $(MAKE) clean @@ -933,10 +935,10 @@ $(SUBDIRTESTS): cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)" #drl 11/29/2001 This is a very ugly hack to get make dist to work -EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ - ./abstptr.lcl ./abstptr.lcs \ - ./alias.lcl ./alias.lcs \ - ./alias2.lcl ./alias2.lcs \ +EXTRA_DIST = ./abst_t.lcl \ + ./abstptr.lcl \ + ./alias.lcl \ + ./alias2.lcl \ ./alias3.lcl \ ./db1/erc.lcl \ ./db1/bool.lcl \ @@ -945,42 +947,22 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./db1/empset.lcl \ ./db1/eref.lcl \ ./db1/ereftab.lcl \ - ./alias3.lcs \ - ./alias3.lh \ ./alias4.lcl \ - ./alias4.lcs \ - ./alias4.lh \ ./alias5.lcl \ - ./alias5.lcs \ - ./alias5.lh \ ./argorder2.lcl \ - ./argorder2.lcs \ ./argorder4.lcl \ - ./argorder4.lcs \ ./args.lcl \ - ./args.lcs \ ./cast.lcl \ - ./cast.lcs \ ./decl2.lcl \ - ./decl2.lcs \ ./empty.lcl \ ./enum.lcl \ - ./enum.lcs \ ./glob.lcl \ - ./glob.lcs \ ./impabstract.lcl \ - ./impabstract.lcs \ ./iter.lcl \ - ./iter.lcs \ ./macros.lcl \ - ./macros.lcs \ ./macrosef.lcl \ - ./macrosef.lcs \ ./modtest.lcl \ - ./modtest.lcs \ ./mut.lcl \ - ./mut.lcs \ - ./mut.lh \ ./mut.lh.expect \ ./db2/dbase.lcl \ ./db2/employee.lcl \ @@ -989,27 +971,18 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./db2/eref.lcl \ ./db2/ereftab.lcl \ ./db2/etest.lcl \ - ./null6.lcd \ ./null6.lcl \ - ./null6.lcs \ ./observer.lcl \ - ./observer.lcs \ ./oldstyle.lcl \ - ./oldstyle.lcs \ ./outglob.lcl \ - ./outglob.lcs \ ./outparam.lcl \ - ./outparam.lcs \ ./rc1.splintrc \ ./rc2.splintrc \ ./rc3.splintrc \ ./rc3.splintrc.os2 \ ./repexpose.lcl \ - ./repexpose.lcs \ - ./repexpose.lh \ ./repexpose.lh.expect \ ./special.lcl \ - ./special.lcs \ ./db3/.splintrc \ ./db3/bool.lcl \ ./db3/check.lcl \ @@ -1020,23 +993,13 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./db3/eref.lcl \ ./db3/ereftab.lcl \ ./tq.lcl \ - ./tq.lcs \ ./ud2.lcl \ - ./ud2.lcs \ ./for/.splintrc \ ./globalbufferannotation/.splintrc \ ./maxset/.splintrc \ ./strchr/.splintrc \ ./tests2.2/bool.lcl \ - ./tests2.2/bool.lcs \ - ./tests2.2/libraries.lcd \ - ./tests2.2/obsolete.lcd \ - ./tests2.2/oldversion.lcd \ ./tests2.4/subdir/main.lcl \ - ./tests2.4/subdir/main.lcs \ - ./tests2.5/newlint.lcd \ - ./warnuse/warnuse.lcd \ - ./empty.lcs \ ./abstptr.c \ ./alias.c \ ./alias2.c \ @@ -1569,7 +1532,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ utypes.expect widestrings.expect widestrings.c \ functionmacro.expect functionmacro.c info.c info.expect \ loopexec.c looptesteffect.c mergenull.c shifts.c \ - sizesigns.c sizesigns.expect \ + sizesigns.c sizesigns.expect \ manual.expect ./manual/Makefile \ ./manual/annotglobs.c ./manual/bool.c ./manual/bool.h ./manual/clauses.c ./manual/employee.h ./manual/exposure.c ./manual/globals.c ./manual/ignore.c ./manual/implicit.c ./manual/intSet.h ./manual/list.c ./manual/loop.c ./manual/macros.c ./manual/modify.c ./manual/mstring.c ./manual/mstring.h ./manual/mstringnn.c ./manual/multiError.c ./manual/names.c ./manual/noeffect.c ./manual/null.c ./manual/only.c ./manual/order.c ./manual/palindrome.c ./manual/palindrome.h ./manual/refs.c ./manual/returned.c ./manual/rgb.c ./manual/rstring.c ./manual/rstring.h ./manual/sample.c ./manual/setChar.c ./manual/setname.c ./manual/setname.h ./manual/special.c ./manual/stack.c ./manual/sumsquares.c ./manual/switch.c ./manual/testpal.c ./manual/types.c ./manual/unique.c ./manual/usedef.c ./manual/bounds.c \ arraydims.expect arraydims.c \ diff --git a/test/Makefile.in b/test/Makefile.in index fd5610b..83152e3 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -128,7 +128,7 @@ UNITTESTS = \ macros macrosef merge mergenull modifies modtest moduncon \ mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \ parentype postnotnull preds prefixes printflike rc refcounts release repexpose \ - returned sharing shifts slovaknames \ + returned sharing shifts sizesigns slovaknames \ specclauses \ special stack staticarray strings \ stringliteral \ @@ -165,10 +165,10 @@ CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^mak CheckSystemDir = (pwd | grep -q "/usr" && echo "Warning tests which not run correctly when splint is built in /usr or a subdirectory under /usr. Build splint in a different directory or disregard test failures." ) #drl 11/29/2001 This is a very ugly hack to get make dist to work -EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ - ./abstptr.lcl ./abstptr.lcs \ - ./alias.lcl ./alias.lcs \ - ./alias2.lcl ./alias2.lcs \ +EXTRA_DIST = ./abst_t.lcl \ + ./abstptr.lcl \ + ./alias.lcl \ + ./alias2.lcl \ ./alias3.lcl \ ./db1/erc.lcl \ ./db1/bool.lcl \ @@ -177,42 +177,22 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./db1/empset.lcl \ ./db1/eref.lcl \ ./db1/ereftab.lcl \ - ./alias3.lcs \ - ./alias3.lh \ ./alias4.lcl \ - ./alias4.lcs \ - ./alias4.lh \ ./alias5.lcl \ - ./alias5.lcs \ - ./alias5.lh \ ./argorder2.lcl \ - ./argorder2.lcs \ ./argorder4.lcl \ - ./argorder4.lcs \ ./args.lcl \ - ./args.lcs \ ./cast.lcl \ - ./cast.lcs \ ./decl2.lcl \ - ./decl2.lcs \ ./empty.lcl \ ./enum.lcl \ - ./enum.lcs \ ./glob.lcl \ - ./glob.lcs \ ./impabstract.lcl \ - ./impabstract.lcs \ ./iter.lcl \ - ./iter.lcs \ ./macros.lcl \ - ./macros.lcs \ ./macrosef.lcl \ - ./macrosef.lcs \ ./modtest.lcl \ - ./modtest.lcs \ ./mut.lcl \ - ./mut.lcs \ - ./mut.lh \ ./mut.lh.expect \ ./db2/dbase.lcl \ ./db2/employee.lcl \ @@ -221,27 +201,18 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./db2/eref.lcl \ ./db2/ereftab.lcl \ ./db2/etest.lcl \ - ./null6.lcd \ ./null6.lcl \ - ./null6.lcs \ ./observer.lcl \ - ./observer.lcs \ ./oldstyle.lcl \ - ./oldstyle.lcs \ ./outglob.lcl \ - ./outglob.lcs \ ./outparam.lcl \ - ./outparam.lcs \ ./rc1.splintrc \ ./rc2.splintrc \ ./rc3.splintrc \ ./rc3.splintrc.os2 \ ./repexpose.lcl \ - ./repexpose.lcs \ - ./repexpose.lh \ ./repexpose.lh.expect \ ./special.lcl \ - ./special.lcs \ ./db3/.splintrc \ ./db3/bool.lcl \ ./db3/check.lcl \ @@ -252,23 +223,13 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./db3/eref.lcl \ ./db3/ereftab.lcl \ ./tq.lcl \ - ./tq.lcs \ ./ud2.lcl \ - ./ud2.lcs \ ./for/.splintrc \ ./globalbufferannotation/.splintrc \ ./maxset/.splintrc \ ./strchr/.splintrc \ ./tests2.2/bool.lcl \ - ./tests2.2/bool.lcs \ - ./tests2.2/libraries.lcd \ - ./tests2.2/obsolete.lcd \ - ./tests2.2/oldversion.lcd \ ./tests2.4/subdir/main.lcl \ - ./tests2.4/subdir/main.lcs \ - ./tests2.5/newlint.lcd \ - ./warnuse/warnuse.lcd \ - ./empty.lcs \ ./abstptr.c \ ./alias.c \ ./alias2.c \ @@ -801,6 +762,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ utypes.expect widestrings.expect widestrings.c \ functionmacro.expect functionmacro.c info.c info.expect \ loopexec.c looptesteffect.c mergenull.c shifts.c \ + sizesigns.c sizesigns.expect \ manual.expect ./manual/Makefile \ ./manual/annotglobs.c ./manual/bool.c ./manual/bool.h ./manual/clauses.c ./manual/employee.h ./manual/exposure.c ./manual/globals.c ./manual/ignore.c ./manual/implicit.c ./manual/intSet.h ./manual/list.c ./manual/loop.c ./manual/macros.c ./manual/modify.c ./manual/mstring.c ./manual/mstring.h ./manual/mstringnn.c ./manual/multiError.c ./manual/names.c ./manual/noeffect.c ./manual/null.c ./manual/only.c ./manual/order.c ./manual/palindrome.c ./manual/palindrome.h ./manual/refs.c ./manual/returned.c ./manual/rgb.c ./manual/rstring.c ./manual/rstring.h ./manual/sample.c ./manual/setChar.c ./manual/setname.c ./manual/setname.h ./manual/special.c ./manual/stack.c ./manual/sumsquares.c ./manual/switch.c ./manual/testpal.c ./manual/types.c ./manual/unique.c ./manual/usedef.c ./manual/bounds.c \ arraydims.expect arraydims.c \ @@ -956,6 +918,8 @@ help: .PHONY: clean-local clean-local: -rm -f *~ #*# *.o *.lcs a.out + -rm -f *.out + -rm *.lcd *.lh -cd db1; $(MAKE) clean -cd db2; $(MAKE) clean -cd db3; $(MAKE) clean @@ -1547,6 +1511,13 @@ shifts: -$(SPLINTR) shifts.c -shiftimplementation -expect 3 -$(SPLINTR) shifts.c -shiftnegative -expect 1 +### evans - added 2002-08-17: check warnings with arbitrary integral types +sizesigns: + -$(SPLINTR) +strict sizesigns.c + -$(SPLINTR) +strict +ignoresigns sizesigns.c + -$(SPLINTR) +strict +matcharbitraryintegral sizesigns.c + -$(SPLINTR) +strict +matcharbitraryintegral +ignoresignz sizesigns.c + .PHONY: slovaknames slovaknames: -$(SPLINTR) +hints slovaknames.c -expect 1