]> andersk Git - splint.git/blob - test/Makefile.in
db8c078df5525af430715c74047841d1f60a66e3
[splint.git] / test / Makefile.in
1 # Makefile.in generated by automake 1.6.3 from Makefile.am.
2 # @configure_input@
3
4 # Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002
5 # Free Software Foundation, Inc.
6 # This Makefile.in is free software; the Free Software Foundation
7 # gives unlimited permission to copy and/or distribute it,
8 # with or without modifications, as long as this notice is preserved.
9
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY, to the extent permitted by law; without
12 # even the implied warranty of MERCHANTABILITY or FITNESS FOR A
13 # PARTICULAR PURPOSE.
14
15 @SET_MAKE@
16 SHELL = @SHELL@
17
18 srcdir = @srcdir@
19 top_srcdir = @top_srcdir@
20 VPATH = @srcdir@
21 prefix = @prefix@
22 exec_prefix = @exec_prefix@
23
24 bindir = @bindir@
25 sbindir = @sbindir@
26 libexecdir = @libexecdir@
27 datadir = @datadir@
28 sysconfdir = @sysconfdir@
29 sharedstatedir = @sharedstatedir@
30 localstatedir = @localstatedir@
31 libdir = @libdir@
32 infodir = @infodir@
33 mandir = @mandir@
34 includedir = @includedir@
35 oldincludedir = /usr/include
36 pkgdatadir = $(datadir)/@PACKAGE@
37 pkglibdir = $(libdir)/@PACKAGE@
38 pkgincludedir = $(includedir)/@PACKAGE@
39 top_builddir = ..
40
41 ACLOCAL = @ACLOCAL@
42 AUTOCONF = @AUTOCONF@
43 AUTOMAKE = @AUTOMAKE@
44 AUTOHEADER = @AUTOHEADER@
45
46 am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
47 INSTALL = @INSTALL@
48 INSTALL_PROGRAM = @INSTALL_PROGRAM@
49 INSTALL_DATA = @INSTALL_DATA@
50 install_sh_DATA = $(install_sh) -c -m 644
51 install_sh_PROGRAM = $(install_sh) -c
52 install_sh_SCRIPT = $(install_sh) -c
53 INSTALL_SCRIPT = @INSTALL_SCRIPT@
54 INSTALL_HEADER = $(INSTALL_DATA)
55 transform = @program_transform_name@
56 NORMAL_INSTALL = :
57 PRE_INSTALL = :
58 POST_INSTALL = :
59 NORMAL_UNINSTALL = :
60 PRE_UNINSTALL = :
61 POST_UNINSTALL = :
62 build_alias = @build_alias@
63 build_triplet = @build@
64 host_alias = @host_alias@
65 host_triplet = @host@
66 target_alias = @target_alias@
67 target_triplet = @target@
68
69 EXEEXT = @EXEEXT@
70 OBJEXT = @OBJEXT@
71 PATH_SEPARATOR = @PATH_SEPARATOR@
72 AMTAR = @AMTAR@
73 AWK = @AWK@
74 BISON = @BISON@
75 CAT = @CAT@
76 CC = @CC@
77 CP = @CP@
78 CPP = @CPP@
79 DEPDIR = @DEPDIR@
80 DIFF = @DIFF@
81 GREP = @GREP@
82 INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
83 LCLOBJ = @LCLOBJ@
84 LEX = @LEX@
85 LEXLIB = @LEXLIB@
86 LEX_OUTPUT_ROOT = @LEX_OUTPUT_ROOT@
87 LN_S = @LN_S@
88 MV = @MV@
89 PACKAGE = @PACKAGE@
90 RM = @RM@
91 SED = @SED@
92 STRIP = @STRIP@
93 VERSION = @VERSION@
94 am__include = @am__include@
95 am__quote = @am__quote@
96 install_sh = @install_sh@
97
98 AUTOMAKE_OPTIONS = 1.5 foreign
99
100 DIFFFLAGS = 
101
102 # -u show context
103
104 #drl 3/27/2002 get the test suit to print a warning when splint is built under /usr/
105
106 #SPLINT    =  valgrind --leak-resolution=high --num-callers=20 --show-reachable=no --leak-check=no $(top_builddir)/src/splint$(EXEEXT)
107 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
108
109 ### These are shell-specific
110
111 ### This is horrible!  Can't we make top_builddir absolute?
112 #SPLINTNEST = valgrind --leak-resolution=high --num-callers=20 --show-reachable=no --leak-check=no ../$(top_builddir)/src/splint$(EXEEXT)
113 SPLINTNEST = ../$(top_builddir)/src/splint$(EXEEXT)
114 SPLINTPNEST = @$(SPLINTNEST) -nof
115 SPLINTP = @$(SPLINT) -nof
116
117 # Make sure .splintrc files are not used so test results do not
118 # depend on local settings.
119 SPLINTRN = $(SPLINTP) -hints -booltype "bool"
120 SPLINTR = $(SPLINTRN) -exportlocal +debugfcnconstraint
121
122 SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype "bool"
123 SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint
124
125
126 ###
127 ### rcfiles not included becuase file names will not match exactly
128 ###
129 UNITTESTS = \
130   help \
131   abstptr abstract alias alttypes ansireserved argorder \
132   args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \
133   compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \
134   decl divzero enum enumtag exports external fields flags forbody format freearray \
135   funcpointer functionmacro glob globals impabstract info init innerarray inparam internal iter keep libs \
136   linked lintcomments list longint loopexec looptesteffect \
137   macros macrosef malloc merge mergenull modifies modtest moduncon \
138   mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
139   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
140   returned russian sharing shifts sizesigns slovaknames \
141   specclauses \
142   special stack staticarray strings \
143   stringliteral \
144   structassign typequals typeof ud ulstypes union unioninit \
145   unnamedsu unreachable unsignedcompare \
146   unused ullint utypes void widestrings
147
148 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
149
150
151 ### warnuse doesn't work yet!
152 SUBDIRTESTS = metastate mergestate tainted fileio \
153    simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \
154    maxset strchr sizeoftest for manual\
155 tests2.2 tests2.4 tests2.5 db1 db2 db3
156
157 SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS)
158
159 QUICKTESTS = db3
160
161 CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" |   $(GREP) -v "^gmake -e" |  $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
162
163
164 #drl 12/07/2002 These rules for .c and .expect files don't make sense
165 # and they are confusing make dist so I'm taking them out.
166
167 #.c.expect:
168 #       $(MAKE) $* |& $(CLEANOUTPUT) >$*.expect && cat $*.expect
169 #
170 #.c.diff:
171 #       $(MAKE) $* |& $(CLEANOUTPUT) >$*.out && diff $*.expect $*.out
172
173 #drl temporally take this out.
174 #.PHONY: expects
175 #expects:
176 #       @echo "Saving old expects..."; \
177 #        cat *.expect >expects-`date +"%y-%m-%d-%H"`
178 #       @for TEST in $(UNITTESTS) $(INTEGTESTS); do \
179 #          echo "Making $$TEST.expect..."; \
180 #          $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \
181 #          cat $$TEST.expect; \
182 #        done
183 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." )
184
185 #drl 11/29/2001 This is a very ugly hack to get make dist to work
186 EXTRA_DIST = ./abst_t.lcl \
187               ./abstptr.lcl \
188               ./alias.lcl \
189               ./alias2.lcl \
190               ./alias3.lcl  \
191               ./db1/erc.lcl \
192               ./db1/bool.lcl \
193               ./db1/dbase.lcl \
194               ./db1/employee.lcl \
195               ./db1/empset.lcl \
196               ./db1/eref.lcl \
197               ./db1/ereftab.lcl \
198               ./alias4.lcl  \
199               ./alias5.lcl \
200               ./argorder2.lcl \
201               ./argorder4.lcl \
202               ./args.lcl \
203               ./cast.lcl \
204               ./decl2.lcl \
205               ./empty.lcl \
206               ./enum.lcl \
207               ./glob.lcl \
208               ./impabstract.lcl \
209               ./iter.lcl \
210               ./macros.lcl \
211               ./macrosef.lcl \
212               ./modtest.lcl \
213               ./mut.lcl \
214               ./mut.lh.expect \
215               ./db2/dbase.lcl \
216               ./db2/employee.lcl \
217               ./db2/empset.lcl \
218               ./db2/erc.lcl \
219               ./db2/eref.lcl \
220               ./db2/ereftab.lcl \
221               ./db2/etest.lcl \
222               ./null6.lcl \
223               ./observer.lcl \
224               ./oldstyle.lcl \
225               ./outglob.lcl \
226               ./outparam.lcl \
227               ./rc1.splintrc \
228               ./rc2.splintrc \
229               ./rc3.splintrc \
230               ./rc3.splintrc.os2 \
231               ./repexpose.lcl \
232               ./repexpose.lh.expect \
233               ./special.lcl \
234               ./db3/.splintrc \
235               ./db3/bool.lcl \
236               ./db3/check.lcl \
237               ./db3/dbase.lcl \
238               ./db3/employee.lcl \
239               ./db3/empset.lcl \
240               ./db3/erc.lcl \
241               ./db3/eref.lcl \
242               ./db3/ereftab.lcl \
243               ./db3/README \
244               ./db3/clean \
245               ./db3/tidy \
246               ./tq.lcl \
247               ./ud2.lcl \
248               ./for/.splintrc \
249               ./globalbufferannotation/.splintrc \
250               ./maxset/.splintrc \
251               ./strchr/.splintrc \
252               ./tests2.2/bool.lcl \
253               ./tests2.4/subdir/main.lcl \
254               ./abstptr.c \
255               ./alias.c \
256               ./alias2.c \
257               ./alias3.c \
258               ./db1/dbase.c \
259               ./db1/drive.c \
260               ./db1/employee.c \
261               ./db1/empset.c \
262               ./db1/erc.c \
263               ./db1/eref.c \
264               ./db1/ereftab.c \
265               ./alias4.c \
266               ./alias5.c \
267               ./alttypes.c \
268               ./ansireserved.c \
269               ./ansireserved2.c \
270               ./argorder.c \
271               ./argorder2.c \
272               ./argorder3.c \
273               ./argorder4.c \
274               ./argorder5.c \
275               ./args.c \
276               ./arrayinit.c \
277               ./arraylit.c \
278               ./blocks.c \
279               ./branchstate.c \
280               ./break.c \
281               ./cases.c \
282               ./buffertest1.c \
283               ./cases2.c \
284               ./cast.c \
285               ./cast2.c \
286               ./chararraylit.c \
287               ./charlit.c \
288               ./clauses.c \
289               ./clauses2.c \
290               ./clauses3.c \
291               ./commentchar.c \
292               ./commentcmd.c \
293               ./compdestroy.c \
294               ./compoundliterals.c ./compoundliterals.expect \
295               ./compoundstmt.c ./compoundstmt.expect \
296               ./csyntax.c \
297               ./constannot.c \
298               ./controldepth.c \
299               ./csyntax10.c \
300               ./csyntax11.c \
301               ./csyntax12.c \
302               ./csyntax13.c \
303               ./csyntax14.c \
304               ./csyntax15.c \
305               ./csyntax16.c \
306               ./csyntax17.c \
307               ./csyntax2.c \
308               ./csyntax3.c \
309               ./csyntax4.c \
310               ./csyntax5.c \
311               ./csyntax6.c \
312               ./csyntax7.c \
313               ./csyntax8.c \
314               ./csyntax9.c \
315               ./czechnames.c \
316               ./czechoslovaknames.c \
317               ./deadparam.c \
318               ./decl.c \
319               ./decl2.c \
320               ./dkf5kEnum.c \
321               ./dkf5kRange.c \
322               ./dkf5kSprintf.c \
323               ./ensures.c \
324               ./enum.c \
325               ./enumtag.c \
326               ./exports.c \
327               ./external.c \
328               ./fields.c \
329               ./fields2.c \
330               ./fields3.c \
331               ./flags.c \
332               ./glob.c \
333               ./forbody.c \
334               ./format.c \
335               ./freearray.c \
336               ./funcpointer.c \
337               ./globals.c \
338               ./globals2.c \
339               ./impabstract.c \
340               ./init.c \
341               ./innerfree.c \
342               ./inparam.c \
343               ./internal.c \
344               ./iter.c \
345               ./iter2.c \
346               ./keep.c \
347               ./libs.c \
348               ./linked.c \
349               ./linked2.c \
350               ./linked3.c \
351               ./linked4.c \
352               ./linked5.c \
353               ./linked6.c \
354               ./lintcomments.c \
355               ./list.c \
356               ./longconstants.c \
357               ./macros.c \
358               ./macrosef.c \
359               ./malloc.c \
360               ./merge.c \
361               ./modclient.c \
362               ./modifies.c \
363               ./modtest.c \
364               ./moduncon.c \
365               ./mongoincludes.c \
366               ./mparen.c \
367               ./mut.c \
368               ./mystrncat.c \
369               ./noeffect.c \
370               ./null1.c \
371               ./null2.c \
372               ./null3.c \
373               ./null4.c \
374               ./null5.c \
375               ./db2/dbase.c \
376               ./db2/drive.c \
377               ./db2/employee.c \
378               ./db2/empset.c \
379               ./db2/erc.c \
380               ./db2/eref.c \
381               ./db2/ereftab.c \
382               ./db2/etest.c \
383               ./null6.c \
384               ./nullassign.c \
385               ./nullret.c \
386               ./observer.c \
387               ./oldstyle.c \
388               ./outglob.c \
389               ./outparam.c \
390               ./postnotnull.c \
391               ./preds.c \
392               ./prefixes.c \
393               ./printflike.c \
394               ./rc.c \
395               ./refcounts.c \
396               ./release.c \
397               ./repexpose.c \
398               ./returned.c \
399               ./sharing1.c \
400               ./sharing2.c \
401               ./sharing3.c \
402               ./sharing4.c \
403               ./sharing5.c \
404               ./sizeof.c \
405               ./slovaknames.c \
406               ./specclauses.c \
407               ./specclauses2.c \
408               ./specclauses3.c \
409               ./specclauses4.c \
410               ./specclauses5.c \
411               ./specclauses6.c \
412               ./special.c \
413               ./stack.c \
414               ./staticarray.c \
415               ./strings.c \
416               ./structassign.c \
417               ./switch.c \
418               ./t1.c \
419               ./test.c \
420               ./db3/dbase.c \
421               ./db3/drive.c \
422               ./db3/employee.c \
423               ./db3/empset.c \
424               ./db3/erc.c \
425               ./db3/eref.c \
426               ./db3/ereftab.c \
427               ./typequals.c \
428               ./ud.c \
429               ./ud2.c \
430               ./ullint.c \
431               ./ulstypes.c \
432               ./union.c \
433               ./unreachable.c \
434               ./unsignedcompare.c \
435               ./unnamedsu.c \
436               ./unused.c \
437               ./void.c \
438               ./conditions/miroslaw.c \
439               ./conditions/releases.c \
440               ./fileio/file.c \
441               ./fileio/filebranch.c \
442               ./fileio/filerw.c \
443               ./for/for.c \
444               ./globalbufferannotation/globalvariable.c \
445               ./maxset/maxsetannotations.c \
446               ./maxset/maxsetnoannotations.c \
447               ./mergestate/taintednm.c \
448               ./metastate/file.c \
449               ./metastate/file1.c \
450               ./metastate/file2.c \
451               ./metastate/file3.c \
452               ./metastate/file4.c \
453               ./metastate/file5.c \
454               ./metastate/file6.c \
455               ./metastate/file7.c \
456               ./metastate/filebad.c \
457               ./metastate/global.c \
458               ./metastate/nullbranch.c \
459               ./metastate/nullbranch2.c \
460               ./metastate/nullret.c \
461               ./metastate/osd.c \
462               ./metastate/sockets.c \
463               ./metastate/sockets2.c \
464               ./metastate/struct.c \
465               ./metastate/test.c \
466               ./metastate/voidptr.c \
467               ./moreBufferTests/initialization.c \
468               ./moreBufferTests/simplifyTest.c \
469               ./moreBufferTests/strncatNotReallyGood.c \
470               ./moreBufferTests/strncatReallyGood.c \
471               ./moreBufferTests/strrchr.c \
472               ./moreBufferTests/unrecogCall.c \
473               ./nullterminatedtest/buggy1.c \
474               ./nullterminatedtest/buggy_support1.c \
475               ./nullterminatedtest/buggy_support_fmakeword.c \
476               ./nullterminatedtest/test1.c \
477               ./nullterminatedtest/test3.c \
478               ./simplebufferConstraintTests/m.c \
479               ./simplebufferConstraintTests/sizeof.c \
480               ./simplebufferConstraintTests/test3.c \
481               ./simplebufferConstraintTests/test7.c \
482               ./sizeoftest/sizeof.c \
483               ./sizeoftest/sizeofConst.c \
484               ./sizeoftest/Makefile \
485               ./strchr/strchr.c \
486               ./suppressfile/test.c \
487               ./tainted/sprintf.c \
488               ./tainted/t1.c \
489               ./tainted/tainted.c \
490               ./tainted/tainted2.c \
491               ./tainted/tainted3.c \
492               ./tainted/tainted4.c \
493               ./tainted/tainted5.c \
494               ./tainted/taintedimplicit.c \
495               ./tainted/taintedmerge.c \
496               ./tainted/taintedx.c \
497               ./tainted/test.c \
498               ./tclauses/globals.c \
499               ./tclauses/gt.c \
500               ./tclauses/modifies.c \
501               ./tclauses/struct.c \
502               ./tclauses/undef.c \
503               ./tests2.2/arbints.c \
504               ./tests2.2/arrayfcn.c \
505               ./tests2.2/booldef.c \
506               ./tests2.2/boolenum.c \
507               ./tests2.2/boolops.c \
508               ./tests2.2/break.c \
509               ./tests2.2/bstring.c \
510               ./tests2.2/decl.c \
511               ./tests2.2/enumbool.c \
512               ./tests2.2/extension.c \
513               ./tests2.2/libraries.c \
514               ./tests2.2/modarray.c \
515               ./tests2.2/nestext.c \
516               ./tests2.2/offsetof.c \
517               ./tests2.2/posix.c \
518               ./tests2.2/realloc.c \
519               ./tests2.2/rex.c \
520               ./tests2.2/sizeofarray.c \
521               ./tests2.2/struct.c \
522               ./tests2.2a/addassign.c \
523               ./tests2.2a/arrayparam.c \
524               ./tests2.2a/bitops.c \
525               ./tests2.2a/boolcomp.c \
526               ./tests2.2a/boolenum.c \
527               ./tests2.2a/dobb.c \
528               ./tests2.2a/duff.c \
529               ./tests2.2a/erik.c \
530               ./tests2.2a/floatdouble.c \
531               ./tests2.2a/florian.c \
532               ./tests2.2a/fred.c \
533               ./tests2.2a/isalpha.c \
534               ./tests2.2a/notreached.c \
535               ./tests2.2a/obviousloop.c \
536               ./tests2.2a/popik.c \
537               ./tests2.2a/sizeof.c \
538               ./tests2.2a/toralf.c \
539               ./tests2.4/subdir/main.c \
540               ./tests2.4/alignof.c \
541               ./tests2.4/array.c \
542               ./tests2.4/bitfields.c \
543               ./tests2.4/bug1.c \
544               ./tests2.4/bug2.c \
545               ./tests2.4/bug3.c \
546               ./tests2.4/chin.c \
547               ./tests2.4/cpptest.c \
548               ./tests2.4/driverstub.c \
549               ./tests2.4/duffs.c \
550               ./tests2.4/emptycase.c \
551               ./tests2.4/enumtest.c \
552               ./tests2.4/error.c \
553               ./tests2.4/fink.c \
554               ./tests2.4/flagequal.c \
555               ./tests2.4/forward.c \
556               ./tests2.4/hash.c \
557               ./tests2.4/hexconstants.c \
558               ./tests2.4/innercomment.c \
559               ./tests2.4/komazi.c \
560               ./tests2.4/longlong.c \
561               ./tests2.4/main.c \
562               ./tests2.4/nothing.c \
563               ./tests2.4/offsetof.c \
564               ./tests2.4/print.c \
565               ./tests2.4/ric.c \
566               ./tests2.4/syncomment.c \
567               ./tests2.4/syslog.c \
568               ./tests2.4/test0.c \
569               ./tests2.4/test1.c \
570               ./tests2.4/test2.c \
571               ./tests2.4/timecard.c \
572               ./tests2.4/toothman.c \
573               ./tests2.4/ulrich.c \
574               ./tests2.5/badcomment.c \
575               ./tests2.5/boolbad.c \
576               ./tests2.5/boolt.c \
577               ./tests2.5/booltest.c \
578               ./tests2.5/dummyfile.c \
579               ./tests2.5/hoof.c \
580               ./tests2.5/immutable.c \
581               ./tests2.5/impabsmodule.c \
582               ./tests2.5/literals.c \
583               ./tests2.5/quals.c \
584               ./tests2.5/sort.c \
585               ./tests2.5/testalt.c \
586               ./tests2.5/testimmutable.c \
587               ./tests2.5/uconstants.c \
588               ./tests2.5/ull.c \
589               ./warnuse/warnflags.c \
590               ./warnuse/warngets.c \
591               ./warnuse/warnuse.c \
592               ./moreBufferTests2/unknownsize.c \
593               ./moreBufferTests2/arrayConstExpr.c \
594               abstptr.expect \
595               abstract.expect \
596               alias.expect \
597               alttypes.expect \
598               ansireserved.expect \
599               argorder.expect \
600               args.expect \
601               arrayinit.expect \
602               arraylit.expect \
603               blocks.expect \
604               branchstate.expect \
605               break.expect \
606               buffertest.expect \
607               cases.expect \
608               cast.expect \
609               chararraylit.expect \
610               charlit.expect \
611               clauses.expect \
612               commentchar.expect \
613               compdestroy.expect \
614               constannot.expect \
615               controldepth.expect \
616               csyntax.expect \
617               czechnames.expect \
618               czechoslovaknames.expect \
619               db1.expect \
620               db2.expect \
621               db3.expect \
622               deadparam.expect \
623               decl.expect \
624               enum.expect \
625               enumtag.expect \
626               exports.expect \
627               external.expect \
628               fields.expect \
629               fileio.expect \
630               flags.expect \
631               for.expect \
632               forbody.expect \
633               format.expect \
634               freearray.expect \
635               funcpointer.expect \
636               glob.expect \
637               globalbufferannotation.expect \
638               globals.expect \
639               help.expect \
640               impabstract.expect \
641               init.expect \
642               inparam.expect \
643               internal.expect \
644               iter.expect \
645               keep.expect \
646               libs.expect \
647               linked.expect \
648               lintcomments.expect \
649               list.expect \
650               longconstants.expect \
651               macros.expect \
652               macrosef.expect \
653               maxset.expect \
654               merge.expect \
655               mergestate.expect \
656               metastate.expect \
657               modifies.expect \
658               modtest.expect \
659               moduncon.expect \
660               mongoincludes.expect \
661               moreBufferTests.expect \
662               moreBufferTests2.expect \
663               mut.lh.expect \
664               mystrncat.expect \
665               noeffect.expect \
666               null.expect \
667               nullterminatedtest.expect \
668               observer.expect \
669               oldstyle.expect \
670               outglob.expect \
671               outparam.expect \
672               postnotnull.expect \
673               preds.expect \
674               prefixes.expect \
675               printflike.expect \
676               rc.expect \
677               refcounts.expect \
678               release.expect \
679               repexpose.expect \
680               repexpose.lh.expect \
681               returned.expect \
682               sharing.expect \
683               simplebufferConstraintTests.expect \
684               sizeof.expect \
685               sizeoftest.expect \
686               slovaknames.expect \
687               specclauses.expect \
688               special.expect \
689               stack.expect \
690               staticarray.expect \
691               strchr.expect \
692               strings.expect \
693               structassign.expect \
694               tainted.expect \
695               tests2.2.expect \
696               tests2.2a.expect \
697               tests2.3.expect \
698               tests2.4.expect \
699               tests2.5.expect \
700               typequals.expect \
701               ud.expect \
702               ullint.expect \
703               ulstypes.expect \
704               union.expect \
705               unnamedsu.expect \
706               unreachable.expect \
707               unsignedcompare.expect \
708               unused.expect \
709               void.expect \
710               ./db1/bool.h \
711               ./db1/dbase.h \
712               ./db1/employee.h \
713               ./db1/empset.h \
714               ./db1/erc.h \
715               ./db1/eref.h \
716               ./db1/ereftab.h \
717               ./bool.h \
718               ./decl2.h \
719               ./exports.h \
720               ./iter.h \
721               ./iter2.h \
722               ./minc1.h \
723               ./minc2.h \
724               ./minc3.h \
725               ./minc4.h \
726               ./minc5.h \
727               ./modifies.h \
728               ./mut.h \
729               ./db2/bool.h \
730               ./db2/dbase.h \
731               ./db2/employee.h \
732               ./db2/empset.h \
733               ./db2/erc.h \
734               ./db2/eref.h \
735               ./db2/ereftab.h \
736               ./pivo.h \
737               ./repexpose.h \
738               ./db3/bool.h \
739               ./db3/dbase.h \
740               ./db3/employee.h \
741               ./db3/empset.h \
742               ./db3/erc.h \
743               ./db3/eref.h \
744               ./db3/ereftab.h \
745               ./tq.h \
746               ./metastate/global.h \
747               ./suppressfile/test.h \
748               ./tests2.2/mbool.h \
749               ./tests2.4/forward.h \
750               ./tests2.4/hash.h \
751               ./tests2.4/timecard.h \
752               ./tests2.5/baz.h \
753               ./tests2.5/bimbim.h \
754               ./tests2.5/immutable.h \
755               ./tests2.5/impabsmodule.h \
756               ./tests2.5/socket.h \
757               ./Makefile.os2 \
758               ./db1/Makefile \
759               ./db2/Makefile \
760               ./db3/Makefile \
761               ./conditions/Makefile \
762               ./fileio/Makefile \
763               ./for/Makefile \
764               ./globalbufferannotation/Makefile \
765               ./maxset/Makefile \
766               ./mergestate/Makefile \
767               ./metastate/Makefile \
768               ./moreBufferTests/Makefile \
769               ./simplebufferConstraintTests/Makefile \
770               ./strchr/Makefile \
771               ./tainted/Makefile \
772               ./temp/Makefile \
773               ./tests2.2/Makefile \
774               ./tests2.2/Makefile-tests2.2.os2 \
775               ./tests2.4/Makefile \
776               ./tests2.4/Makefile-tests2.4.os2 \
777               ./tests2.5/Makefile \
778               ./warnuse/Makefile \
779               ./Makefile.am \
780               ./Makefile.in \
781               ./moreBufferTests2/Makefile \
782               ./fileio/eof.mts ./fileio/file.mts ./fileio/filerw.mts ./mergestate/tainted.mts ./mergestate/taintednm.mts ./metastate/file.mts ./metastate/nullterminated.mts ./metastate/sockets.mts ./tainted/tainted-bad.mts ./tainted/tainted.mts ./fileio/file.xh ./fileio/filerw.xh ./mergestate/tainted.xh ./mergestate/taintednm.xh ./metastate/file.xh ./tainted/tainted.xh \
783                 db2.old-expect   union.pp warnuse.old-expect \
784                ./tests2.5/badcomment  ./tests2.5/boolbad  ./tests2.5/booltest   ./tests2.5/uconstants  loopexec.expect mergenull.expect shifts.expect looptesteffect.expect \
785                 unioninit.expect  unioninit.c utypes.c \
786                 utypes.expect widestrings.expect  widestrings.c  \
787                 functionmacro.expect functionmacro.c  info.c info.expect \
788                 longint.c loopexec.c looptesteffect.c mergenull.c shifts.c \
789                 longint.expect nullret.expect numabstract.expect \
790                 sizesigns.expect typeof.expect \
791                 manual.expect ./manual/Makefile \
792                 ./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 \
793                   arraydims.expect arraydims.c \
794                   moreBufferTests2/fixedArrayType.c oldstyle2.c \
795                   divzero.expect parentype.expect \
796                   divzero.c parentype.c \
797 stringliteral.expect  stringliteral.c \
798   numabstract.c sizesigns.c typeof.c   nullassign.expect 
799
800 subdir = test
801 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
802 CONFIG_HEADER = $(top_builddir)/config.h
803 CONFIG_CLEAN_FILES =
804 DIST_SOURCES =
805 DIST_COMMON = Makefile.am Makefile.in
806 all: all-am
807
808 .SUFFIXES:
809 $(srcdir)/Makefile.in:  Makefile.am  $(top_srcdir)/configure.ac $(ACLOCAL_M4)
810         cd $(top_srcdir) && \
811           $(AUTOMAKE) --foreign  test/Makefile
812 Makefile:  $(srcdir)/Makefile.in  $(top_builddir)/config.status
813         cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)
814 uninstall-info-am:
815 tags: TAGS
816 TAGS:
817
818 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
819
820 top_distdir = ..
821 distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
822
823 distdir: $(DISTFILES)
824         $(mkinstalldirs) $(distdir)/./conditions $(distdir)/./db1 $(distdir)/./db2 $(distdir)/./db3 $(distdir)/./fileio $(distdir)/./for $(distdir)/./globalbufferannotation $(distdir)/./manual $(distdir)/./maxset $(distdir)/./mergestate $(distdir)/./metastate $(distdir)/./moreBufferTests $(distdir)/./moreBufferTests2 $(distdir)/./nullterminatedtest $(distdir)/./simplebufferConstraintTests $(distdir)/./sizeoftest $(distdir)/./strchr $(distdir)/./suppressfile $(distdir)/./tainted $(distdir)/./tclauses $(distdir)/./temp $(distdir)/./tests2.2 $(distdir)/./tests2.2a $(distdir)/./tests2.4 $(distdir)/./tests2.4/subdir $(distdir)/./tests2.5 $(distdir)/./warnuse $(distdir)/moreBufferTests2
825         @list='$(DISTFILES)'; for file in $$list; do \
826           if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
827           dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
828           if test "$$dir" != "$$file" && test "$$dir" != "."; then \
829             dir="/$$dir"; \
830             $(mkinstalldirs) "$(distdir)$$dir"; \
831           else \
832             dir=''; \
833           fi; \
834           if test -d $$d/$$file; then \
835             if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
836               cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
837             fi; \
838             cp -pR $$d/$$file $(distdir)$$dir || exit 1; \
839           else \
840             test -f $(distdir)/$$file \
841             || cp -p $$d/$$file $(distdir)/$$file \
842             || exit 1; \
843           fi; \
844         done
845 check-am: all-am
846 check: check-am
847 all-am: Makefile
848
849 installdirs:
850
851 install: install-am
852 install-exec: install-exec-am
853 install-data: install-data-am
854 uninstall: uninstall-am
855
856 install-am: all-am
857         @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
858
859 installcheck: installcheck-am
860 install-strip:
861         $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
862           INSTALL_STRIP_FLAG=-s \
863           `test -z '$(STRIP)' || \
864             echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
865 mostlyclean-generic:
866
867 clean-generic:
868
869 distclean-generic:
870         -rm -f Makefile $(CONFIG_CLEAN_FILES)
871
872 maintainer-clean-generic:
873         @echo "This command is intended for maintainers to use"
874         @echo "it deletes files that may require special tools to rebuild."
875 clean: clean-am
876
877 clean-am: clean-generic clean-local mostlyclean-am
878
879 distclean: distclean-am
880
881 distclean-am: clean-am distclean-generic
882
883 dvi: dvi-am
884
885 dvi-am:
886
887 info: info-am
888
889 info-am:
890
891 install-data-am:
892
893 install-exec-am:
894
895 install-info: install-info-am
896
897 install-man:
898
899 installcheck-am:
900
901 maintainer-clean: maintainer-clean-am
902
903 maintainer-clean-am: distclean-am maintainer-clean-generic
904
905 mostlyclean: mostlyclean-am
906
907 mostlyclean-am: mostlyclean-generic
908
909 uninstall-am: uninstall-info-am
910
911 .PHONY: all all-am check check-am clean clean-generic clean-local \
912         distclean distclean-generic distdir dvi dvi-am info info-am \
913         install install-am install-data install-data-am install-exec \
914         install-exec-am install-info install-info-am install-man \
915         install-strip installcheck installcheck-am installdirs \
916         maintainer-clean maintainer-clean-generic mostlyclean \
917         mostlyclean-generic uninstall uninstall-am uninstall-info-am
918
919
920 .PHONY: all check
921 all check: fulltest
922
923 .PHONY: version
924 version:
925         -$(SPLINT) -help version
926
927 .PHONY: help
928
929 help:
930         -@$(SPLINT)
931         -@$(SPLINT) -help
932         -@$(SPLINTP) -asdf
933         -@$(SPLINTP) +boolint +boolint 
934         -@$(SPLINT) -help flags alpha
935
936 #commenting these out for the release because they will almost always fail
937 #since the default will only fit one system
938 #Don't want to panic the user... 
939 #       -@$(SPLINT) -help flags all     | $(GREP) -v "^larchpath <path> "     | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
940 #       -@$(SPLINT) -help flags full    | $(GREP) -v "^larchpath <path> "     | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
941 #       -@$(SPLINT) -help flags manual     | $(GREP) -v "^larchpath <path> "   | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
942
943 #larch and lclimportdir have different hardcoded default paths so don't include the path in the output..
944
945 .PHONY: clean-local
946 clean-local:
947         -rm -f *~ #*# *.o *.lcs a.out
948         -rm -f *.out
949         -rm  *.lcd *.lh
950         -cd db1; $(MAKE) clean
951         -cd db2; $(MAKE) clean
952         -cd db3; $(MAKE) clean
953
954 $(SPLINTTESTS): $(SPLINT)
955
956 $(SPLINT):
957         cd $(top_builddir)/src; $(MAKE)
958
959 .PHONY: quicktest
960 quicktest:
961         $(CheckSystemDir)       
962         @for TEST in $(QUICKTESTS); do \
963            echo "Checking $$TEST..."; \
964            $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \
965              $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \
966                echo "*** FAIL ***"; \
967          done
968
969 .PHONY: fulltest
970 fulltest:
971         @echo "Testing $(PACKAGE) $(VERSION)..."
972         @echo
973         @echo "Version Info:"
974         @$(SPLINT) -help version
975         @$(SPLINT) -help vars
976         @echo ""
977         @echo "Tests:"
978         @echo ""
979         @for TEST in $(SPLINTTESTS); do \
980            echo "Checking $$TEST..."; \
981            $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \
982              $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \
983                echo "*** FAIL ***"; \
984          done
985
986 ### Rules for tests start here
987
988 .PHONY: abstptr
989 abstptr:
990         -$(SPLINTR) abstptr -expect 9
991         -$(SPLINTR) abstptr +voidabstract -expect 6
992
993 .PHONY: abstract
994 abstract:
995         -$(SPLINTR) abst_t.lcl commentcmd.c -expect 15
996
997 .PHONY: alias
998 alias:
999         -$(SPLINTR) +lh mut
1000         -$(SPLINTR) mut alias +globalias -expect 19
1001         -$(SPLINTR) mut alias2 +globalias -expect 17
1002         -$(SPLINTR) +lh alias3 -expect 14 
1003         -$(SPLINTR) +lh alias4 +boolint
1004         -$(SPLINTR) alias4 -pred +retalias -expect 6
1005         -$(SPLINTR) +lh alias5 +memchecks -null -specundef -expect 5
1006
1007 .PHONY: alttypes
1008 alttypes:
1009         -$(SPLINTR) alttypes.c -expect 2
1010
1011 ###
1012 ### evans 2001-06-07 - updated nameCheck.c to reflect C9X.
1013 ### Reports one new errors for ansireserved.c - wctomb is bad even as a local
1014 ###    variable (could be a macro?)
1015 ### Reports 3 additional errors for +checks; no longer suppresses name errors
1016 ###    in the presense of other errors.
1017 ###
1018
1019 .PHONY: ansireserved
1020 ansireserved:
1021         -$(SPLINTR) ansireserved.c +ansireserved -nolib -expect 9
1022         -$(SPLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11
1023         -$(SPLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12
1024         -$(SPLINTR) ansireserved2.c +ansireserved -expect 1
1025
1026 .PHONY: argorder
1027 argorder:
1028         -$(SPLINTR) argorder.c -expect 4
1029         -$(SPLINTR) argorder2  -expect 5
1030         -$(SPLINTR) argorder3.c -expect 8
1031         -$(SPLINTR) argorder4 -expect 9
1032         -$(SPLINTR) argorder4 -evalorder -expect 1
1033         -$(SPLINTR) argorder5.c +evalorderuncon -expect 3
1034
1035 .PHONY: args
1036 args:
1037         -$(SPLINTR) args -noeffect -expect 12
1038
1039 .PHONY: arraydims
1040 arraydims:
1041         -$(SPLINTR) arraydims.c -varuse -expect 2
1042         -$(SPLINTR) arraydims.c -initsize -varuse
1043
1044 .PHONY: arrayinit
1045 arrayinit:
1046         -$(SPLINTR) arrayinit.c -expect 9
1047
1048 .PHONY: arraylit
1049 arraylit:
1050         -$(SPLINTR) arraylit.c -expect 2
1051         -$(SPLINTR) arraylit.c +stringliteralsmaller -expect 4
1052
1053 .PHONY: blocks
1054 blocks:
1055         -$(SPLINTR) blocks.c -expect 4
1056         -$(SPLINTR) blocks.c +ifblock +elseifcomplete -expect 7
1057         -$(SPLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3
1058         -$(SPLINTR) blocks.c -ifempty +forempty +forblock -expect 3
1059         -$(SPLINTR) blocks.c +allempty -expect 6
1060         -$(SPLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11
1061
1062 .PHONY: break
1063 break:
1064         -$(SPLINTR) break.c -expect 4
1065         -$(SPLINTR) break.c +deepbreak -expect 6
1066         -$(SPLINTR) break.c +deepbreak -looploopbreak -expect 5
1067
1068 .PHONY: cases
1069 cases: 
1070         -$(SPLINTR) cases.c -expect 5
1071         -$(SPLINTR) cases2.c -expect 2
1072         -$(SPLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3
1073         -$(SPLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3
1074
1075 .PHONY: cast
1076 cast:
1077         -$(SPLINTR) cast -accessmodule -expect 20
1078         -$(SPLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3
1079
1080 .PHONY: chararraylit
1081 chararraylit:
1082         -$(SPLINTR) chararraylit.c -expect 2
1083
1084 ### Two addition errors detected with 2.5 with -numliteral.
1085
1086 ### evans 2002-12-15: finds one more but in charlit
1087 .PHONY: charlit
1088 charlit:
1089         -$(SPLINTR) +hints charlit.c -expect 4
1090         -$(SPLINTR) +hints -numliteral charlit.c -expect 6
1091         -$(SPLINTR) +hints charlit.c +charintliteral +ignoresigns -expect 1
1092
1093 .PHONY: clauses
1094 clauses: 
1095         -$(SPLINTR) clauses.c +memchecks -expect 4
1096         -$(SPLINTR) clauses2.c +memchecks 
1097         -$(SPLINTR) clauses3.c +memchecks -expect 2
1098         -$(SPLINTR) clauses3.c +memchecks +unixlib -expect 3
1099
1100 .PHONY: commentchar
1101 commentchar:
1102         -$(SPLINTR) commentchar.c -expect 4
1103         -$(SPLINTR) -commentchar '#' commentchar.c -expect 4
1104
1105 .PHONY: controldepth
1106 controldepth:
1107         -$(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
1108         -$(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2
1109
1110 ###
1111 ### 1 extra warning reported for +strict now because of out-of-bounds read
1112 ###
1113
1114 .PHONY: compdestroy
1115 compdestroy:
1116         -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
1117         -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
1118         -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
1119         -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 4
1120
1121 .PHONY: compoundliterals
1122 compoundliterals:
1123         ${SPLINTRN} compoundliterals.c 
1124
1125 .PHONY: compoundstmt
1126 compoundstmt:
1127         ${SPLINTRN} compoundstmt.c -expect 3
1128
1129 .PHONY: constannot
1130 constannot:
1131         ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2
1132
1133 .PHONY: csyntax
1134 csyntax:
1135         -$(SPLINTR) +quiet -incondefs csyntax.c -expect 1 
1136         -$(SPLINTR) +quiet csyntax2.c -expect 2
1137         -$(SPLINTR) +quiet csyntax3.c -expect 1
1138         -$(SPLINTR) +quiet -incondefs csyntax4.c
1139         -$(SPLINTR) +quiet csyntax5.c
1140         -$(SPLINTR) +quiet csyntax6.c
1141         -$(SPLINTR) +quiet csyntax7.c
1142         -$(SPLINTR) +quiet csyntax8.c
1143         -$(SPLINTR) +quiet csyntax9.c
1144         -$(SPLINTR) +quiet csyntax10.c
1145         -$(SPLINTR) +quiet csyntax11.c
1146         -$(SPLINTR) +quiet csyntax12.c
1147         -$(SPLINTR) +quiet csyntax13.c -expect 1
1148         -$(SPLINTR) +quiet csyntax14.c
1149         -$(SPLINTR) +quiet csyntax15.c
1150         -$(SPLINTR) +quiet csyntax16.c -expect 2
1151         -$(SPLINTR) +quiet csyntax17.c -expect 3
1152
1153 .PHONY: czechnames
1154 czechnames:
1155         -$(SPLINTR) czechnames.c
1156         -$(SPLINTR) +hints +czech czechnames.c -expect 2
1157         -$(SPLINTR) +hints +czech -czechvars czechnames.c -expect 1
1158         -$(SPLINTR) +hints +czech -accessczech czechnames.c -expect 6
1159
1160 .PHONY: czechoslovaknames
1161 czechoslovaknames:
1162         -$(SPLINTR) +hints +czechoslovak czechnames.c -expect 1
1163         -$(SPLINTR) +hints +czechoslovak slovaknames.c -expect 1
1164         -$(SPLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2
1165
1166 ###
1167 ### deadparam added 2001-05-27
1168 ###
1169
1170 .PHONY: deadparam
1171 deadparam:
1172         ${SPLINTR} deadparam.c -expect 3
1173
1174 #
1175 # Was expect 3 before 2.4.  Earlier versions did not handle implicit
1176 # function pointers correctly.
1177 #
1178
1179 .PHONY: decl
1180 decl:
1181         -$(SPLINTR) decl.c -expect 2
1182         -$(SPLINTRN) decl.c +strict -exportlocal -expect 6
1183         -$(SPLINTR) decl2 -expect 4
1184
1185 .PHONY: divzero
1186 divzero:
1187         -$(SPLINTR) divzero.c -varuse -expect 0
1188
1189 .PHONY: enum
1190 enum:
1191         -$(SPLINTR) enum -expect 16
1192         -$(SPLINTR) enum -misscase -expect 14
1193
1194 .PHONY: enumtag
1195 enumtag:
1196         -$(SPLINTR) enumtag.c -expect 2
1197
1198 .PHONY: exports
1199 exports:
1200         -$(SPLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6
1201         -$(SPLINTR) exports.c +exportany -expect 3
1202         -$(SPLINTR) exports.c
1203
1204 .PHONY: external
1205 external:
1206         -$(SPLINTR) external.c +partial
1207         -$(SPLINTR) external.c +partial +distinctexternalnames +ansi89limits -expect 2
1208         -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3
1209         -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3
1210         -$(SPLINTR) external.c +partial -externalnamelength 3 -expect 4
1211
1212 .PHONY: fields
1213 fields:
1214         -$(SPLINTR) fields.c +memchecks -expect 6
1215         -$(SPLINTR) fields2.c +memchecks -expect 5
1216         -$(SPLINTR) fields3.c +memchecks
1217
1218 .PHONY: flags
1219 flags:
1220         -$(SPLINTR) flags.c -expect 8
1221         -$(SPLINTR) +nocomments flags.c -expect 2
1222
1223 ### Added 2001-06-02
1224
1225 .PHONY: forbody
1226 forbody:
1227         ${SPLINTR} forbody.c -expect 2
1228
1229 ### Added 2001-06-03
1230 .PHONY: format
1231 format:
1232         ${SPLINTR} format.c -expect 3
1233         ${SPLINTR} format.c -formatconst 
1234
1235 # two new errors (invalid lhs)
1236
1237 .PHONY: funcpointer
1238 funcpointer:
1239         -$(SPLINTR) +memchecks +noparams funcpointer.c -expect 18
1240
1241 .PHONY: functionmacro
1242 functionmacro:
1243         -$(SPLINTR) functionmacro.c -expect 2
1244
1245 .PHONY: glob
1246 glob:
1247         -$(SPLINTR) glob -expect 4
1248         -$(SPLINTR) glob -globuse -expect 3
1249         -$(SPLINTR) glob +globunspec -expect 6
1250
1251 .PHONY: globals
1252 globals:
1253         -$(SPLINTR) -modifies globals.c -expect 5
1254         -$(SPLINTR) -modifies globals.c +allglobals -expect 6
1255         -$(SPLINTR) -modifies globals.c +impcheckedglobals -expect 6
1256         -$(SPLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2
1257         -$(SPLINTR) -modifies globals.c +globunspec -expect 6
1258         -$(SPLINTR) -modifies globals.c +globunspec +allglobals -expect 8
1259
1260 # Was -accessfile
1261 .PHONY: impabstract
1262 impabstract: 
1263         -$(SPLINTR) -accessmodule impabstract.c 
1264         -$(SPLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2
1265         -$(SPLINTR) -accessmodule +hints +impabstract impabstract -expect 4
1266
1267 ###
1268 ### evans 2001-12-30: Handle unrecognized pre-processor directives
1269 ###    (Reported by Pierluigi Sanzani)
1270
1271 .PHONY: info
1272 info:
1273         ${SPLINTR} info.c -expect 4
1274
1275 ### evans 2001-10-14: Expected errors updated
1276 .PHONY: init
1277 init:
1278         -$(SPLINTR) init.c -expect 14
1279         -$(SPLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17
1280
1281 ### evans 2003-09-16
1282 .PHONY: innerarray
1283 innerarray:
1284         -$(SPLINTR) innerarray.c -expect 10
1285
1286 .PHONY: inparam
1287 inparam:
1288         -$(SPLINTR) inparam.c -expect 2
1289         -$(SPLINTR) +impouts inparam.c -expect 1
1290
1291 .PHONY: internal
1292 internal:
1293         -$(SPLINTR) internal.c -expect 1
1294         -$(SPLINTR) internal.c +distinctinternalnames -expect 1
1295         -$(SPLINTR) internal.c +distinctinternalnames +ansi89limits -expect 2
1296         -$(SPLINTR) internal.c -internalnamelen 28 -expect 3
1297         -$(SPLINTR) internal.c +internalnamecaseinsensitive -expect 3
1298         -$(SPLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11
1299
1300 ###
1301 ### iter
1302 ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6
1303 ### 
1304
1305 .PHONY: iter
1306 iter:
1307         -$(SPLINTR) iter -expect 14 -lclexpect 1
1308         -$(SPLINTR) iter2.c -expect 12
1309
1310 .PHONY: keep
1311 keep:
1312         -$(SPLINTR) keep.c +memchecks -expect 6
1313
1314 ### libs
1315 ### 2001-05-22: 2 new errors found (fixed spec of signal)
1316 ### 2001-05-30: 3 new errors found (formatconst)
1317 ### 2002-07-08: 2 new errors found (getc modifies errno)
1318
1319 .PHONY: libs
1320 libs:
1321         -$(SPLINTR) libs.c +longunsignedunsignedintegral -expect 18
1322         -$(SPLINTR) libs.c -expect 22
1323         -$(SPLINTR) libs.c +globunspec +modunspec -expect 25
1324         -$(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 44
1325
1326 .PHONY: lintcomments
1327 lintcomments:
1328         -$(SPLINTR) lintcomments.c -expect 5
1329         -$(SPLINTR) lintcomments.c -warnlintcomments -expect 1
1330         -$(SPLINTR) lintcomments.c -lintcomments -expect 4
1331
1332 .PHONY: list
1333 list:
1334         -$(SPLINTR) list.c -expect 3
1335
1336 ###
1337 ### 2002-12-12: Added test case for +longint and +shortint flags
1338 ###
1339
1340 .PHONY: longint
1341 longint:
1342         -$(SPLINTR) longint.c -expect 3
1343         -$(SPLINTR) longint.c +longint -expect 2
1344         -$(SPLINTR) longint.c +shortint -expect 2
1345         -$(SPLINTR) longint.c +shortint +longint -expect 0
1346
1347 ###
1348 ### 2002-01-01: Added test case for obvious loop execution.
1349 ###
1350
1351 .PHONY: loopexec
1352 loopexec:
1353         -$(SPLINTR) loopexec.c -expect 1
1354         -$(SPLINTR) loopexec.c -obviousloopexec -expect 3
1355
1356 .PHONY: looptesteffect
1357 looptesteffect:
1358         -$(SPLINTR) looptesteffect.c -expect 1
1359
1360 .PHONY: macros
1361 macros:
1362         -$(SPLINTR) macros -expect 17 
1363         -$(SPLINTR) macros.c +allmacros -expect 34
1364         -$(SPLINTR) macros.c +fcnmacros -expect 31
1365
1366 .PHONY: macrosef
1367 macrosef:
1368         -$(SPLINTR) macrosef -expect 4
1369         -$(SPLINTR) macrosef.c +allmacros -expect 3
1370         -$(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4
1371
1372 .PHONY: malloc
1373 malloc:
1374         -$(SPLINTRN) malloc.c +bounds -exportlocal -expect 7
1375
1376 .PHONY: merge
1377 merge:
1378         -$(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
1379
1380 .PHONY: mergenull
1381 mergenull:
1382         -$(SPLINTRN) mergenull.c 
1383
1384 .PHONY: modifies
1385 modifies:
1386         -$(SPLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7
1387
1388 .PHONY: modtest
1389 modtest:
1390         -$(SPLINTR) modtest -expect 10
1391         -$(SPLINTR) modtest +modunspec -expect 13
1392         -$(SPLINTR) modtest +mustmod -expect 14
1393
1394 .PHONY: moduncon
1395 moduncon:
1396         -$(SPLINTR) moduncon.c +moduncon -memchecks -expect 4
1397         -$(SPLINTRN) moduncon.c +strict +impboundsconstraints -exportlocal -expect 22 
1398
1399 .PHONY: mongoincludes
1400 mongoincludes:
1401         -$(SPLINTR) mongoincludes.c -includenest 1 -expect 19
1402         -$(SPLINTR) mongoincludes.c -includenest 2 -expect 10
1403         -$(SPLINTR) mongoincludes.c -includenest 3 -expect 4
1404         -$(SPLINTR) mongoincludes.c -includenest 4 -expect 1
1405         -$(SPLINTR) mongoincludes.c -includenest 5 -expect 0
1406
1407 .PHONY: mystrncat
1408 mystrncat:
1409         -$(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 
1410
1411 .PHONY: noeffect
1412 noeffect:
1413         ${SPLINTP} noeffect.c +allmacros +checks -expect 3
1414
1415 ###
1416 ### 2002-01-01: null1.c: expect increased to 15 because out must be defined
1417 ###                         checking detects one new error
1418 ###
1419
1420 .PHONY: null
1421 null: 
1422         -$(SPLINTR) null1.c -expect 15
1423         -$(SPLINTR) null1.c -null -mustdefine -expect 4
1424         -$(SPLINTR) null2.c -expect 11
1425         -$(SPLINTR) null3.c -expect 15
1426         -$(SPLINTR) null3.c +unixlib -expect 16
1427         -$(SPLINTR) null4.c -expect 1
1428         -$(SPLINTR) null5.c -expect 4
1429         -$(SPLINTR) null6 -expect 4
1430         -$(SPLINTR) +quiet null6.lcl -dump null6
1431         -$(SPLINTR) null6.c -load null6 -expect 4
1432
1433 ### Added for 3.0 (bugs reported by Kevin Broady)
1434
1435 .PHONY: nullret
1436 nullret:
1437         -$(SPLINTR) nullret.c -expect 2
1438         -$(SPLINTR) -nullret nullret.c -expect 0
1439
1440 .PHONY: nullassign
1441 nullassign:
1442         -$(SPLINTR) nullassign.c -expect 2
1443         -$(SPLINTR) -nullassign nullassign.c -expect 1
1444
1445 ### Added for 3.1 - evans 2002-12-14
1446
1447 .PHONY: numabstract
1448 numabstract:
1449         -$(SPLINTR) numabstract.c -expect 11
1450         -$(SPLINTR) numabstract.c +numabstractlit -expect 9
1451         -$(SPLINTR) numabstract.c -numabstractcast -expect 10
1452
1453 #
1454 # Before 2.4, expected one more because error was reported both as 
1455 # dependent and observer.
1456 #
1457
1458 .PHONY: observer
1459 observer:
1460         -$(SPLINTRN) observer +checks -exportlocal -exportheader -expect 9
1461         -$(SPLINTRN) observer.c +checks -exportlocal -exportheader -expect 8
1462         -$(SPLINTR) observer.c -expect 7
1463
1464 .PHONY: oldstyle
1465 oldstyle:
1466         -$(SPLINTR) oldstyle oldstyle2.c -expect 5
1467
1468 .PHONY: outglob
1469 outglob:
1470         -$(SPLINTR) outglob -expect 10
1471
1472 .PHONY: outparam
1473 outparam:
1474         -$(SPLINTR) outparam -expect 12
1475
1476 ### evans 2001-08-26: postnotnull new
1477
1478 .PHONY: postnotnull
1479 postnotnull:
1480         ${SPLINTR} postnotnull.c -expect 1
1481
1482 ### evans 2002-02-09: added parentype.c
1483 .PHONY: parentype
1484 parentype:
1485         ${SPLINTR} parentype.c 
1486
1487 #
1488 # Four new +fcnuse errors for -strict (evans 2001-07-22)
1489
1490
1491 .PHONY: preds
1492 preds:
1493         -$(SPLINTR) +hints preds.c -expect 6
1494         -$(SPLINTRN) +hints preds.c -weak -expect 1
1495         -$(SPLINTRN) +hints preds.c -strict +impboundsconstraints -exportlocal -exportheader -expect 10
1496
1497 .PHONY: prefixes
1498 prefixes:
1499         -$(SPLINTR) prefixes.c +partial
1500         -$(SPLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4
1501         -$(SPLINTR) prefixes.c -typeprefix "T" -expect 2
1502         -$(SPLINTR) prefixes.c -typeprefix "^" -expect 1
1503         -$(SPLINTR) prefixes.c -typeprefix "^*" -expect 2
1504         -$(SPLINTR) prefixes.c -typeprefix "^%*" -expect 2
1505         -$(SPLINTR) prefixes.c -typeprefix "^~*" -expect 2
1506         -$(SPLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7
1507         -$(SPLINTR) prefixes.c -filestaticprefix "^^" -expect 4
1508         -$(SPLINTR) prefixes.c -filestaticprefix "^#" -expect 5
1509         -$(SPLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5
1510         -$(SPLINTR) prefixes.c -globalprefix "G" -expect 1
1511         -$(SPLINTR) prefixes.c -globalprefix "&G?_^" -expect 1
1512         -$(SPLINTR) prefixes.c -externalprefix "G" -expect 5
1513         -$(SPLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4
1514         -$(SPLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13
1515
1516 .PHONY: printflike
1517 printflike:
1518         -$(SPLINTR) printflike.c -expect 6
1519         -$(SPLINTR) printflike.c -warnlintcomments -expect 5
1520
1521 .PHONY: rc
1522 rc:
1523         -$(SPLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1
1524         -$(SPLINTR) -DMYSTERY=12 rc.c -expect 1
1525         -$(SPLINTR) -f rc1.splintrc rc.c -expect 1
1526         -$(SPLINTR) -UMYSTERY -f rc1.splintrc rc.c -expect 1
1527         -$(SPLINTR) -f rc3.splintrc rc.c -expect 1
1528
1529 .PHONY: rcfiles
1530 rcfiles:
1531         cd rcfiles; ${MAKE} SPLINT="-$(SPLINTPNEST)"
1532
1533 .PHONY: refcounts
1534 refcounts:
1535         -$(SPLINTR) refcounts.c -expect 7 
1536
1537 .PHONY: release
1538 release:
1539         -$(SPLINTR) release.c +memchecks -expect 1
1540
1541 .PHONY: repexpose
1542 repexpose:
1543         -$(SPLINTR) +lh repexpose +memchecks -expect 12
1544         -$(SPLINTR) repexpose +memchecks +retalias -expect 15
1545         -$(SPLINTRN) repexpose +checks -exportlocal -expect 27
1546
1547 ### returned added 2001-05-27
1548 ### (Bug discovered checking splint sources.)
1549
1550 .PHONY: returned
1551 returned:
1552         ${SPLINTR} returned.c -expect 1
1553
1554 ### russian added 2003-06-07: bug reported in pre-processing non-standard characters.
1555 .PHONY: russian
1556 russian:
1557         ${SPLINTR} russian.c 
1558
1559 .PHONY: sharing
1560 sharing: 
1561         -$(SPLINTR) sharing1.c -expect 21
1562         -$(SPLINTR) sharing3.c -expect  3
1563         -$(SPLINTR) sharing4.c -expect 13
1564         -$(SPLINTR) sharing4.c -paramimptemp -expect 12
1565         -$(SPLINTR) sharing5.c -expect 6
1566
1567 .PHONY: shifts
1568 shifts:
1569         -$(SPLINTR) shifts.c -expect 4
1570         -$(SPLINTR) shifts.c -shiftimplementation -expect 3
1571         -$(SPLINTR) shifts.c -shiftnegative -expect 1
1572
1573 #drl comment this out until sizesigns is added to cvs
1574
1575 ### evans - added 2002-08-17: check warnings with arbitrary integral types
1576 sizesigns:
1577         -$(SPLINTR) +strict sizesigns.c -expect 5
1578         -$(SPLINTR) +strict +matchanyintegral sizesigns.c -expect 4
1579
1580 .PHONY: slovaknames
1581 slovaknames:
1582         -$(SPLINTR) +hints slovaknames.c -expect 1
1583         -$(SPLINTR) +hints slovaknames.c +accessslovak 
1584         -$(SPLINTR) +hints +slovak slovaknames.c -expect 3
1585         -$(SPLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2
1586         -$(SPLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7
1587
1588 .PHONY: specclauses
1589 specclauses:
1590         -$(SPLINTR) specclauses.c -expect 6
1591         -$(SPLINTR) specclauses2.c -expect 8
1592         -$(SPLINTR) specclauses3.c -expect 5
1593         -$(SPLINTR) specclauses4.c -expect 3
1594         -$(SPLINTR) specclauses5.c -expect 3
1595
1596 .PHONY: specclauses1
1597 specclauses1:
1598         -$(SPLINTR) specclauses.c -expect 6
1599
1600 .PHONY: specclauses2
1601 specclauses2:
1602         -$(SPLINTR) specclauses2.c -expect 8
1603
1604 .PHONY: specclauses3
1605 specclauses3:
1606         -$(SPLINTR) specclauses3.c -expect 6
1607
1608 .PHONY: specclauses4
1609 specclauses4:
1610         -$(SPLINTR) specclauses4.c -expect 3
1611
1612 .PHONY: specclauses5
1613 specclauses5:
1614         -$(SPLINTR) specclauses5.c -expect 3
1615
1616 .PHONY: special
1617 special:
1618         -$(SPLINTR) special -expect 20
1619         -$(SPLINTR) special -relaxquals -expect 22
1620
1621 .PHONY: stack
1622 stack:
1623         -$(SPLINTR) stack.c -expect 5
1624         -$(SPLINTR) stack.c -stackref
1625
1626 .PHONY: staticarray
1627 staticarray:
1628         -$(SPLINTR) staticarray.c -expect 3
1629
1630 ###
1631 ### evans 2002-03-16: Default setting of stringliteralnoroomfinalnull changed
1632 ### 
1633
1634 .PHONY: stringliteral
1635 stringliteral:
1636         -$(SPLINTR) stringliteral.c -stringliteralnoroomfinalnull -expect 3
1637         -$(SPLINTR) stringliteral.c -expect 4
1638
1639 .PHONY: strings
1640 strings:
1641         -$(SPLINTR) strings.c -expect 3
1642         -$(SPLINTR) -readonlystrings -expect 1 strings.c
1643         -$(SPLINTR) +modobserverstrict -maintype -expect 4 strings.c
1644
1645 .PHONY: structassign
1646 structassign:
1647         -$(SPLINTR) structassign.c -expect 4
1648
1649 .PHONY: typeof
1650 typeof:
1651         -$(SPLINTR) typeof.c -expect 2
1652
1653 .PHONY: typequals
1654 typequals:
1655         -$(SPLINTR) typequals.c tq.lcl -expect 5
1656         -$(SPLINTR) typequals.c -expect 2
1657
1658 .PHONY: ud
1659 ud:
1660         -$(SPLINTR) ud.c -expect 9
1661         -$(SPLINTR) ud2 -specundef -expect 3
1662
1663 .PHONY: ulstypes
1664 ulstypes:
1665         -$(SPLINTR) ulstypes.c -expect 8
1666         -$(SPLINTR) ulstypes.c +ignorequals 
1667         -$(SPLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28
1668
1669 # 3 more detected with version 2.5 (change in -numliteral setting)
1670
1671 .PHONY: union
1672 union:
1673         -$(SPLINTR) +memchecks union.c -expect 8
1674
1675 ###
1676 ### Added 2001-12-30: fixed union initializer checking in response to
1677 ### bug report from Jim Zelenka.
1678 ###
1679
1680 .PHONY: unioninit
1681 unioninit:
1682         -$(SPLINTR) unioninit.c -expect 2
1683
1684 .PHONY: unnamedsu
1685 unnamedsu:
1686         -$(SPLINTR) unnamedsu.c -expect 0
1687
1688 .PHONY: unreachable
1689 unreachable:
1690         -$(SPLINTR) unreachable.c -expect 5
1691         -$(SPLINTR) -unreachable unreachable.c -expect 2
1692         -$(SPLINTR) switch.c -expect 4
1693
1694 .PHONY: unsignedcompare
1695 unsignedcompare:
1696         ${SPLINTR} +posixlib unsignedcompare.c -expect 4
1697
1698 ###
1699 ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks
1700 ###
1701
1702 .PHONY: unused
1703 unused:
1704         -$(SPLINTRN) unused.c +checks -exportlocal -expect 5
1705         -$(SPLINTRN) unused.c +checks -exportlocal +topuse -expect 8
1706
1707 ###
1708 ### 2001-06-10: Provided by Jim Zalenka
1709 ###
1710
1711 .PHONY: ullint
1712 ullint:
1713         ${SPLINTRN} ullint.c -expect 5
1714         ${SPLINTRN} ullint.c +charint +charintliteral -expect 2
1715
1716 ###
1717 ### 2001-12-30: Poor warnings reported by Peter Deutsch
1718 ###
1719 ### 2002-07-03: removed warnings for datatype/macro definitions
1720 ###
1721
1722 .PHONY: utypes
1723 utypes:
1724         ${SPLINTRN} utypes.c -expect 2
1725
1726 ###
1727
1728 .PHONY: void
1729 void:
1730         ${SPLINTRN} void.c -expect 2
1731
1732 ###
1733 ### 2001-12-30: Problems with wide character strings reported by Nelson Beebe
1734 ###
1735
1736 .PHONY: widestrings
1737 widestrings:
1738         ${SPLINTRN} widestrings.c -expect 2
1739
1740 ###
1741 ### New since 2.5q:
1742 ###
1743
1744 .PHONY: linked
1745 linked:
1746         ${SPLINTR} linked.c -expect 4
1747         ${SPLINTR} linked2.c -expect 3
1748         ${SPLINTR} linked3.c -expect 5
1749         ${SPLINTR} linked4.c -expect 6
1750         ${SPLINTR} linked5.c -expect 4
1751         ${SPLINTR} linked6.c -expect 4
1752
1753 .PHONY: freearray
1754 freearray:
1755         ${SPLINTR} freearray.c -expect 1
1756
1757 .PHONY: sizeof
1758 sizeof:
1759         -$(SPLINTR) +bounds sizeof.c -expect 1
1760
1761 .PHONY: buffertest
1762 buffertest:
1763         -$(SPLINTR) +bounds buffertest1.c -expect 5
1764
1765 .PHONY: $(SUBDIRTESTS)
1766 $(SUBDIRTESTS):
1767         cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)"
1768
1769 #               sizesigns.c sizesigns.expect \
1770 # Tell versions [3.59,3.63) of GNU make to not export all variables.
1771 # Otherwise a system limit (for SysV at least) may be exceeded.
1772 .NOEXPORT:
This page took 0.172842 seconds and 3 git commands to generate.