X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/81fc136a16f0b0ebac14e7f339dfbcd6c639d79d..10fac4bc6190bcda80bf75e7267cb456e5a8b772:/test/Makefile.am diff --git a/test/Makefile.am b/test/Makefile.am index d2daf34..5c25a8c 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -46,10 +46,10 @@ UNITTESTS = \ decl divzero enum enumtag exports external fields flags forbody format freearray \ funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \ linked lintcomments list longint loopexec looptesteffect \ - macros macrosef merge mergenull modifies modtest moduncon \ - mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \ + 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... @@ -278,11 +276,12 @@ chararraylit: ### Two addition errors detected with 2.5 with -numliteral. +### evans 2002-12-15: finds one more but in charlit .PHONY: charlit charlit: -$(SPLINTR) +hints charlit.c -expect 4 -$(SPLINTR) +hints -numliteral charlit.c -expect 6 - -$(SPLINTR) +hints charlit.c +charintliteral +ignoresigns + -$(SPLINTR) +hints charlit.c +charintliteral +ignoresigns -expect 1 .PHONY: clauses clauses: @@ -301,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: @@ -369,7 +372,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 @@ -556,6 +559,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 @@ -577,7 +584,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: @@ -606,7 +613,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 @@ -618,7 +625,7 @@ null: .PHONY: nullret nullret: -$(SPLINTR) nullret.c -expect 2 - -$(SPLINTR) -nullret nullret.c -expect 1 + -$(SPLINTR) -nullret nullret.c -expect 0 .PHONY: nullassign nullassign: @@ -626,6 +633,14 @@ nullassign: -$(SPLINTR) -nullassign nullassign.c -expect 1 +### Added for 3.1 - evans 2002-12-14 + +.PHONY: numabstract +numabstract: + -$(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 # dependent and observer. @@ -668,7 +683,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: @@ -727,6 +742,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 @@ -745,10 +765,8 @@ shifts: ### 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 +ignoresigns sizesigns.c + -$(SPLINTR) +strict sizesigns.c -expect 5 + -$(SPLINTR) +strict +matchanyintegral sizesigns.c -expect 4 .PHONY: slovaknames slovaknames: @@ -1010,6 +1028,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 \ @@ -1123,6 +1144,7 @@ EXTRA_DIST = ./abst_t.lcl \ ./longconstants.c \ ./macros.c \ ./macrosef.c \ + ./malloc.c \ ./merge.c \ ./modclient.c \ ./modifies.c \ @@ -1247,6 +1269,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 \ @@ -1551,12 +1574,15 @@ 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 \