X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/16c024b587f5ddc115928d5cca7095508aa208d9..f9e62f4012096f7ef8d1430541276b2bec85a69d:/test/Makefile.in diff --git a/test/Makefile.in b/test/Makefile.in index e5b7ad8..db8c078 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -132,12 +132,12 @@ UNITTESTS = \ 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 \ + 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 \ @@ -240,6 +240,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 \ @@ -353,6 +356,7 @@ EXTRA_DIST = ./abst_t.lcl \ ./longconstants.c \ ./macros.c \ ./macrosef.c \ + ./malloc.c \ ./merge.c \ ./modclient.c \ ./modifies.c \ @@ -477,6 +481,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 \ @@ -781,13 +786,16 @@ 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 subdir = test mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs @@ -920,7 +928,6 @@ version: help: -@$(SPLINT) - -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl -@$(SPLINT) -help -@$(SPLINTP) -asdf -@$(SPLINTP) +boolint +boolint @@ -1100,12 +1107,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: @@ -1168,7 +1179,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 @@ -1267,6 +1278,11 @@ 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: -$(SPLINTR) inparam.c -expect 2 @@ -1353,6 +1369,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 @@ -1374,7 +1394,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: @@ -1392,13 +1412,6 @@ mystrncat: noeffect: ${SPLINTP} noeffect.c +allmacros +checks -expect 3 - -.PHONY: numabstract -numabstract: - -$(SPLINTR) numabstract.c -expect 11 - -$(SPLINTR) numabstract.c +numabstractlit -expect 9 - -$(SPLINTR) numabstract.c -numabstractcast -expect 10 - ### ### 2002-01-01: null1.c: expect increased to 15 because out must be defined ### checking detects one new error @@ -1410,7 +1423,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 @@ -1429,6 +1442,14 @@ nullassign: -$(SPLINTR) nullassign.c -expect 2 -$(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. @@ -1471,7 +1492,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: @@ -1530,6 +1551,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