X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e5081f8c08424e4511d50a3b1fc187666c95852c..b05949b6920ce15fd7063643b59cce2f34528854:/test/Makefile.am diff --git a/test/Makefile.am b/test/Makefile.am index cff0f86..eb8d008 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -42,14 +42,14 @@ UNITTESTS = \ help \ abstptr abstract alias alttypes ansireserved argorder \ args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \ - compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \ + compoundliterals compoundstmt condifomit 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 \ + funcpointer functionmacro glob globals impabstract info init innerarray inparam internal iter keep libs \ linked lintcomments list longint loopexec looptesteffect \ - macros macrosef merge mergenull modifies modtest moduncon \ + macros macrosef malloc merge mergenull modifies modtest moduncon \ mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \ parentype postnotnull preds prefixes printflike rc refcounts release repexpose \ - returned sharing shifts sizesigns slovaknames \ + returned russian sharing shifts sizesigns slovaknames \ specclauses \ special stack staticarray strings \ stringliteral \ @@ -83,13 +83,11 @@ version: help: -@$(SPLINT) - -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl -@$(SPLINT) -help -@$(SPLINTP) -asdf -@$(SPLINTP) +boolint +boolint -@$(SPLINT) -help flags alpha - #commenting these out for the release because they will almost always fail #since the default will only fit one system #Don't want to panic the user... @@ -302,12 +300,16 @@ controldepth: -$(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2 -$(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2 +### +### 1 extra warning reported for +strict now because of out-of-bounds read +### + .PHONY: compdestroy compdestroy: -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1 -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2 -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3 - -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3 + -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 4 .PHONY: compoundliterals compoundliterals: @@ -317,6 +319,11 @@ compoundliterals: compoundstmt: ${SPLINTRN} compoundstmt.c -expect 3 +.PHONY: condifomit +condifomit: + ${SPLINTRN} -gnuextensions condifomit.c -expect 4 + ${SPLINTRN} +gnuextensions condifomit.c -expect 1 + .PHONY: constannot constannot: ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2 @@ -370,7 +377,7 @@ deadparam: .PHONY: decl decl: -$(SPLINTR) decl.c -expect 2 - -$(SPLINTRN) decl.c +strict -exportlocal -expect 5 + -$(SPLINTRN) decl.c +strict -exportlocal -expect 6 -$(SPLINTR) decl2 -expect 4 .PHONY: divzero @@ -469,6 +476,12 @@ init: -$(SPLINTR) init.c -expect 14 -$(SPLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17 +### evans 2003-09-16 +.PHONY: innerarray +innerarray: + -$(SPLINTR) innerarray.c -expect 10 + + .PHONY: inparam inparam: @@ -557,6 +570,10 @@ macrosef: -$(SPLINTR) macrosef.c +allmacros -expect 3 -$(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4 +.PHONY: malloc +malloc: + -$(SPLINTRN) malloc.c +bounds -exportlocal -expect 7 + .PHONY: merge merge: -$(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3 @@ -578,7 +595,7 @@ modtest: .PHONY: moduncon moduncon: -$(SPLINTR) moduncon.c +moduncon -memchecks -expect 4 - -$(SPLINTRN) moduncon.c +strict -exportlocal -expect 22 + -$(SPLINTRN) moduncon.c +strict +impboundsconstraints -exportlocal -expect 22 .PHONY: mongoincludes mongoincludes: @@ -607,7 +624,7 @@ null: -$(SPLINTR) null1.c -null -mustdefine -expect 4 -$(SPLINTR) null2.c -expect 11 -$(SPLINTR) null3.c -expect 15 - -$(SPLINTR) null3.c -warnunixlib +unixlib -expect 16 + -$(SPLINTR) null3.c +unixlib -expect 16 -$(SPLINTR) null4.c -expect 1 -$(SPLINTR) null5.c -expect 4 -$(SPLINTR) null6 -expect 4 @@ -631,9 +648,9 @@ nullassign: .PHONY: numabstract numabstract: - -$(SPLINTR) numabstract.c -expect 8 - -$(SPLINTR) numabstract.c +numabstractlit -expect 7 - -$(SPLINTR) numabstract.c -numabstractcast -expect 7 + -$(SPLINTR) numabstract.c -expect 11 + -$(SPLINTR) numabstract.c +numabstractlit -expect 9 + -$(SPLINTR) numabstract.c -numabstractcast -expect 10 # # Before 2.4, expected one more because error was reported both as @@ -677,7 +694,7 @@ parentype: preds: -$(SPLINTR) +hints preds.c -expect 6 -$(SPLINTRN) +hints preds.c -weak -expect 1 - -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12 + -$(SPLINTRN) +hints preds.c -strict +impboundsconstraints -exportlocal -exportheader -expect 10 .PHONY: prefixes prefixes: @@ -736,6 +753,11 @@ repexpose: returned: ${SPLINTR} returned.c -expect 1 +### russian added 2003-06-07: bug reported in pre-processing non-standard characters. +.PHONY: russian +russian: + ${SPLINTR} russian.c + .PHONY: sharing sharing: -$(SPLINTR) sharing1.c -expect 21 @@ -1017,6 +1039,9 @@ EXTRA_DIST = ./abst_t.lcl \ ./db3/erc.lcl \ ./db3/eref.lcl \ ./db3/ereftab.lcl \ + ./db3/README \ + ./db3/clean \ + ./db3/tidy \ ./tq.lcl \ ./ud2.lcl \ ./for/.splintrc \ @@ -1067,6 +1092,7 @@ EXTRA_DIST = ./abst_t.lcl \ ./compdestroy.c \ ./compoundliterals.c ./compoundliterals.expect \ ./compoundstmt.c ./compoundstmt.expect \ + ./condifomit.c \ ./csyntax.c \ ./constannot.c \ ./controldepth.c \ @@ -1130,6 +1156,7 @@ EXTRA_DIST = ./abst_t.lcl \ ./longconstants.c \ ./macros.c \ ./macrosef.c \ + ./malloc.c \ ./merge.c \ ./modclient.c \ ./modifies.c \ @@ -1254,6 +1281,7 @@ EXTRA_DIST = ./abst_t.lcl \ ./simplebufferConstraintTests/test7.c \ ./sizeoftest/sizeof.c \ ./sizeoftest/sizeofConst.c \ + ./sizeoftest/Makefile \ ./strchr/strchr.c \ ./suppressfile/test.c \ ./tainted/sprintf.c \ @@ -1558,12 +1586,14 @@ EXTRA_DIST = ./abst_t.lcl \ utypes.expect widestrings.expect widestrings.c \ functionmacro.expect functionmacro.c info.c info.expect \ longint.c loopexec.c looptesteffect.c mergenull.c shifts.c \ + longint.expect nullret.expect numabstract.expect \ + sizesigns.expect typeof.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 \ moreBufferTests2/fixedArrayType.c oldstyle2.c \ divzero.expect parentype.expect \ divzero.c parentype.c \ -stringliteral.expect stringliteral.c +stringliteral.expect stringliteral.c \ + numabstract.c sizesigns.c typeof.c nullassign.expect -# sizesigns.c sizesigns.expect \