1 ##################################################
3 ### Makefile for LCLint testing ###
5 ### designed for use with GNU make ###
7 ##################################################
9 .PHONY: all fulltest quicktest funcpointer cast abstract
10 .PHONY: version help abstptr abstract alias alttypes ansireserved
11 .PHONY: argorder args blocks branchstate break cases cast charlit
12 .PHONY: clauses commentchar
13 .PHONY: compdestroy constannot controldepth csyntax czechnames czechoslovaknames
14 .PHONY: deadparam decl enum exports external fields fileio flags forbody format funcpointer glob globals
15 .PHONY: impabstract init inparam internal iter keep libs lintcomments
16 .PHONY: list longconstants macros macrosef merge mergestate modifies modtest moduncon mongoincludes
17 .PHONY: noeffect null observer oldstyle outglob outparam postnotnull preds prefixes printflike rc
18 .PHONY: refcounts release repexpose returned sharing slovaknames special
19 .PHONY: specclauses stack staticarray
20 .PHONY: strings structassign nullret
21 .PHONY: tainted typequals ud ulstypes union unreachable unused ullint unsignedcompare void
22 .PHONY: db1 db2 db3 tests2.2 tests2.2a tests2.4 tests2.5
23 .PHONY: all test fulltest expects quicktest
24 .PHONY: warnuse metastate
25 .PHONY: linked freearray
28 .PHONY: simplebufferConstraintTests
29 .PHONY: moreBufferTests
31 .PHONY: globalbufferannotation
35 .SUFFIXES: .out .expect .c .lcl .h .lh .diff
39 # Command to run lclint
40 # ${HOME}/LCLintDev/src/lclint
44 # Make sure .lclintrc files are not used so test results do not
45 # depend on local settings.
46 LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool"
47 LCLINTR = $(LCLINTRN) -exportlocal +debugfcnconstraint
49 # removed for now: nullret nullassign warnuse
51 # fileio tainted mergestate metastate \
54 fileio tainted metastate \
55 help sizeoftest bufferTest simplebufferConstraintTests \
56 moreBufferTests globalbufferannotation maxset strchr for \
57 abstptr abstract alias alttypes ansireserved argorder args blocks branchstate break cases cast \
58 charlit clauses commentchar compdestroy constannot controldepth csyntax czechnames czechoslovaknames deadparam \
59 decl enum exports external fields flags forbody format freearray funcpointer glob globals impabstract \
60 init inparam internal iter keep libs linked lintcomments list longconstants macros macrosef merge modifies \
61 modtest moduncon mongoincludes mystrncat noeffect null observer oldstyle \
62 outglob outparam postnotnull preds prefixes \
63 printflike rc refcounts release repexpose returned sharing slovaknames specclauses special stack \
64 staticarray strings structassign \
65 typequals ud ulstypes union unreachable unsignedcompare unused ullint void \
66 tests2.2 tests2.2a tests2.4 tests2.5
69 ### Attribute checking is not ready for the 3.0.0.9 alpha release:
72 #drl removed the following tests
73 #fileio tainted mergestate nullret nullassign warnuse metastate \
75 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
77 INTEGTESTS = db1 db2 db3
78 INTEGEXPECTS = $(addsuffix .expect, $(INTEGTESTS))
80 LCLINTTESTS = $(UNITTESTS) $(INTEGTESTS)
91 ### This is a kludgey way of processing the output to make it match exactly
94 CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "make -e" | $(GREP) -v "make\[" | $(GREP) -v "lclint -nof" | $(GREP) -v "make -e" | $(GREP) -v $(HOME)
99 $(MAKE) -e $(*) |& $(CLEANOUTPUT) > $(*).expect ; \
103 $(MAKE) -e $(*) |& $(CLEANOUTPUT) > $(*).out ; \
104 diff $(*).expect $(*).out
107 echo "Saving old expects: " ; \
108 more *.expect | cat > expects-`date +"%y-%m-%d-%H"`
109 @$(foreach test, $(UNITTESTS), \
110 echo "Making "$(test)".expect: " ; \
111 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).expect ; \
112 cat $(test).expect ; )
113 @echo "Integration Tests"
114 @$(foreach test, $(INTEGTESTS), \
115 echo "Making "$(test)".expect: "; \
116 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).expect ; \
117 cat $(test).expect ; )
120 @$(foreach test, $(QUICKTESTS), \
121 echo "Checking "$(test)"... " ; \
122 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).out ; \
123 $(DIFF) $(test).expect $(test).out ; \
124 if ($$status) echo "*** FAIL ***" ; \
128 @echo 'Testing '$(LCLINTP)
132 @$(LCLINTP) -help version
133 @$(LCLINTP) -help vars
137 @$(foreach test, $(UNITTESTS), \
138 echo "Checking "$(test)"... " ; \
139 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).out ; \
140 $(DIFF) $(test).expect $(test).out ; \
141 if ($$status) echo "*** FAIL ***" ; \
144 @echo "Integration Tests"
146 @$(foreach test, $(INTEGTESTS), \
147 echo "Checking "$(test)"... "; \
148 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).out ; \
149 $(DIFF) $(test).expect $(test).out ; )
156 -$(LCLINTP) -help version
160 -@setenv LARCH_PATH "/dev/null"; $(LCLINTP) empty.lcl
163 -@$(LCLINTP) +boolint +boolint
164 -@$(LCLINTP) -help flags alpha
165 -@$(LCLINTP) -help flags all
168 $(LCLINTR) abstptr -expect 9
169 $(LCLINTR) abstptr +voidabstract -expect 6
172 $(LCLINTR) abst_t.lcl commentcmd.c -expect 15
176 $(LCLINTR) mut alias +globalias -expect 19
177 $(LCLINTR) mut alias2 +globalias -expect 17
178 $(LCLINTR) +lh alias3 -expect 14
179 $(LCLINTR) +lh alias4 +boolint
180 $(LCLINTR) alias4 -pred +retalias -expect 6
181 $(LCLINTR) +lh alias5 +memchecks -null -specundef -expect 5
184 $(LCLINTR) alttypes.c -expect 2
187 ### evans 2001-06-07 - updated nameCheck.c to reflect C9X.
188 ### Reports one new errors for ansireserved.c - wctomb is bad even as a local variable.
189 ### (could be a macro?)
190 ### Reports 3 additional errors for +checks; no longer suppresses name errors in the
191 ### presense of other errors.
195 $(LCLINTR) ansireserved.c +ansireserved -nolib -expect 9
196 $(LCLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11
197 $(LCLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12
198 $(LCLINTR) ansireserved2.c +ansireserved -expect 1
201 $(LCLINTR) argorder.c -expect 4
202 $(LCLINTR) argorder2 -expect 5
203 $(LCLINTR) argorder3.c -expect 8
204 $(LCLINTR) argorder4 -expect 9
205 $(LCLINTR) argorder4 -evalorder -expect 1
206 $(LCLINTR) argorder5.c +evalorderuncon -expect 3
209 $(LCLINTR) args -noeffect -expect 12
212 $(LCLINTR) blocks.c -expect 4
213 $(LCLINTR) blocks.c +ifblock +elseifcomplete -expect 7
214 $(LCLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3
215 $(LCLINTR) blocks.c -ifempty +forempty +forblock -expect 3
216 $(LCLINTR) blocks.c +allempty -expect 6
217 $(LCLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11
220 $(LCLINTR) branchstate.c -nof -branchstate -expect 1
223 $(LCLINTR) break.c -expect 4
224 $(LCLINTR) break.c +deepbreak -expect 6
225 $(LCLINTR) break.c +deepbreak -looploopbreak -expect 5
228 $(LCLINTR) cases.c -expect 5
229 $(LCLINTR) cases2.c -expect 2
230 $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3
231 $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3
234 $(LCLINTR) cast -accessmodule -expect 20
235 $(LCLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3
237 ### Two addition errors detected with 2.5 with -numliteral.
240 $(LCLINTR) +hints charlit.c -expect 4
241 $(LCLINTR) +hints -numliteral charlit.c -expect 6
242 $(LCLINTR) +hints charlit.c +charintliteral +ignoresigns
245 $(LCLINTR) clauses.c +memchecks -expect 4
246 $(LCLINTR) clauses2.c +memchecks
247 $(LCLINTR) clauses3.c +memchecks -expect 2
248 $(LCLINTR) clauses3.c +memchecks +unixlib -expect 3
251 $(LCLINTR) commentchar.c -expect 4
252 $(LCLINTR) -commentchar '#' commentchar.c -expect 4
255 $(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
256 $(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2
259 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
260 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
261 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
262 $(LCLINTRN) compdestroy.c +strict +partial -exportheader -expect 3
265 ${LCLINTRN} constannot.c +arraybounds -exportlocal -expect 2
268 $(LCLINTR) +quiet -incondefs csyntax.c -expect 1
269 $(LCLINTR) +quiet csyntax2.c -expect 2
270 $(LCLINTR) +quiet csyntax3.c -expect 1
271 $(LCLINTR) +quiet -incondefs csyntax4.c
272 $(LCLINTR) +quiet csyntax5.c
273 $(LCLINTR) +quiet csyntax6.c
274 $(LCLINTR) +quiet csyntax7.c
275 $(LCLINTR) +quiet csyntax8.c
276 $(LCLINTR) +quiet csyntax9.c
277 $(LCLINTR) +quiet csyntax10.c
278 $(LCLINTR) +quiet csyntax11.c
279 $(LCLINTR) +quiet csyntax12.c
280 $(LCLINTR) +quiet csyntax13.c -expect 1
281 $(LCLINTR) +quiet csyntax14.c
282 $(LCLINTR) +quiet csyntax15.c
283 $(LCLINTR) +quiet csyntax16.c -expect 2
284 $(LCLINTR) +quiet csyntax17.c -expect 3
287 $(LCLINTR) czechnames.c
288 $(LCLINTR) +hints +czech czechnames.c -expect 2
289 $(LCLINTR) +hints +czech -czechvars czechnames.c -expect 1
290 $(LCLINTR) +hints +czech -accessczech czechnames.c -expect 6
293 $(LCLINTR) +hints +czechoslovak czechnames.c -expect 1
294 $(LCLINTR) +hints +czechoslovak slovaknames.c -expect 1
295 $(LCLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2
298 ### deadparam added 2001-05-27
302 ${LCLINTR} deadparam.c -expect 3
305 # Was expect 3 before 2.4. Earlier versions did not handle implicit
306 # function pointers correctly.
310 $(LCLINTR) decl.c -expect 2
311 $(LCLINTRN) decl.c +strict -exportlocal -expect 5
312 $(LCLINTR) decl2 -expect 4
315 $(LCLINTR) enum -expect 16
316 $(LCLINTR) enum -misscase -expect 14
319 $(LCLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6
320 $(LCLINTR) exports.c +exportany -expect 3
324 $(LCLINTR) external.c +partial
325 $(LCLINTR) external.c +partial +distinctexternalnames -expect 2
326 $(LCLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3
327 $(LCLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3
328 $(LCLINTR) external.c +partial -externalnamelength 3 -expect 4
331 $(LCLINTR) fields.c +memchecks -expect 6
332 $(LCLINTR) fields2.c +memchecks -expect 5
333 $(LCLINTR) fields3.c +memchecks
336 $(LCLINTR) flags.c -expect 8
337 $(LCLINTR) +nocomments flags.c -expect 2
342 ${LCLINTR} forbody.c -expect 2
346 ${LCLINTR} format.c -expect 3
347 ${LCLINTR} format.c -formatconst
349 # two new errors (invalid lhs)
352 $(LCLINTR) +memchecks +noparams funcpointer.c -expect 18
355 $(LCLINTR) glob -expect 4
356 $(LCLINTR) glob -globuse -expect 3
357 $(LCLINTR) glob +globunspec -expect 6
360 $(LCLINTR) -modifies globals.c -expect 5
361 $(LCLINTR) -modifies globals.c +allglobals -expect 6
362 $(LCLINTR) -modifies globals.c +impcheckedglobals -expect 6
363 $(LCLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2
364 $(LCLINTR) -modifies globals.c +globunspec -expect 6
365 $(LCLINTR) -modifies globals.c +globunspec +allglobals -expect 8
369 $(LCLINTR) -accessmodule impabstract.c
370 $(LCLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2
371 $(LCLINTR) -accessmodule +hints +impabstract impabstract -expect 4
374 $(LCLINTR) init.c -expect 12
375 $(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 15
378 $(LCLINTR) inparam.c -expect 2
379 $(LCLINTR) +impouts inparam.c -expect 1
382 $(LCLINTR) internal.c -expect 1
383 $(LCLINTR) internal.c +distinctinternalnames -expect 2
384 $(LCLINTR) internal.c -internalnamelen 28 -expect 3
385 $(LCLINTR) internal.c +internalnamecaseinsensitive -expect 3
386 $(LCLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11
390 ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6
394 $(LCLINTR) iter -expect 14 -lclexpect 1
395 $(LCLINTR) iter2.c -expect 12
398 $(LCLINTR) keep.c +memchecks -expect 6
401 ### 2001-05-22: 2 new errors found (fixed spec of signal)
402 ### 2001-05-30: 3 new errors found (formatconst)
405 $(LCLINTR) libs.c +longunsignedunsignedintegral -expect 18
406 $(LCLINTR) libs.c -expect 22
407 $(LCLINTR) libs.c +globunspec +modunspec -expect 25
408 $(LCLINTR) libs.c +strictlib +globunspec +modunspec -expect 42
411 $(LCLINTR) lintcomments.c -expect 4
412 $(LCLINTR) lintcomments.c -warnlintcomments -expect 1
413 $(LCLINTR) lintcomments.c -lintcomments -expect 4
416 $(LCLINTR) list.c -expect 3
419 $(LCLINTR) longconstants.c -expect 1
422 $(LCLINTR) macros -expect 17
423 $(LCLINTR) macros.c +allmacros -expect 34
424 $(LCLINTR) macros.c +fcnmacros -expect 31
428 $(LCLINTR) macrosef -expect 4
429 $(LCLINTR) macrosef.c +allmacros -expect 3
430 $(LCLINTR) macrosef.c +allmacros +sefuncon -expect 4
433 $(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
436 $(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7
439 $(LCLINTR) modtest -expect 10
440 $(LCLINTR) modtest +modunspec -expect 13
441 $(LCLINTR) modtest +mustmod -expect 14
444 $(LCLINTR) moduncon.c +moduncon -memchecks -expect 4
445 $(LCLINTRN) moduncon.c +strict -exportlocal -expect 22
448 $(LCLINTR) mongoincludes.c -includenest 1 -expect 19
449 $(LCLINTR) mongoincludes.c -includenest 2 -expect 10
450 $(LCLINTR) mongoincludes.c -includenest 3 -expect 4
451 $(LCLINTR) mongoincludes.c -includenest 4 -expect 1
452 $(LCLINTR) mongoincludes.c -includenest 5 -expect 0
455 $(LCLINTR) mystrncat.c +arraybounds +arrayboundsread -expect 4
458 ${LCLINT} -nof noeffect.c +allmacros +checks -expect 3
461 $(LCLINTR) null1.c -expect 14
462 $(LCLINTR) null1.c -null -expect 4
463 $(LCLINTR) null2.c -expect 10
464 $(LCLINTR) null3.c -expect 15
465 $(LCLINTR) null3.c -warnunixlib +unixlib -expect 16
466 $(LCLINTR) null4.c -expect 1
467 $(LCLINTR) null5.c -expect 4
468 $(LCLINTR) null6 -expect 4
469 $(LCLINTR) +quiet null6.lcl -dump null6
470 $(LCLINTR) null6.c -load null6 -expect 4
472 ### Added for 3.0 (bugs reported by Kevin Broady)
475 $(LCLINTR) nullret.c -expect 2
476 $(LCLINTR) -nullret nullret.c -expect 1
479 $(LCLINTR) nullassign.c -expect 2
480 $(LCLINTR) -nullassign nullassign.c -expect 1
484 # Before 2.4, expected one more because error was reported both as
485 # dependent and observer.
489 $(LCLINTRN) observer +checks -exportlocal -exportheader -expect 9
490 $(LCLINTRN) observer.c +checks -exportlocal -exportheader -expect 8
491 $(LCLINTR) observer.c -expect 7
494 $(LCLINTR) oldstyle -expect 3
497 $(LCLINTR) outglob -expect 10
500 $(LCLINTR) outparam -expect 12
502 ### evans 2001-08-26: postnotnull new
505 ${LCLINTR} postnotnull.c -expect 1
507 # Four new +fcnuse errors for -strict (evans 2001-07-22)
511 $(LCLINTR) +hints preds.c -expect 6
512 $(LCLINTRN) +hints preds.c -weak -expect 1
513 $(LCLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
516 $(LCLINTR) prefixes.c +partial
517 $(LCLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4
518 $(LCLINTR) prefixes.c -typeprefix "T" -expect 2
519 $(LCLINTR) prefixes.c -typeprefix "^" -expect 1
520 $(LCLINTR) prefixes.c -typeprefix "^*" -expect 2
521 $(LCLINTR) prefixes.c -typeprefix "^%*" -expect 2
522 $(LCLINTR) prefixes.c -typeprefix "^~*" -expect 2
523 $(LCLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7
524 $(LCLINTR) prefixes.c -filestaticprefix "^^" -expect 4
525 $(LCLINTR) prefixes.c -filestaticprefix "^#" -expect 5
526 $(LCLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5
527 $(LCLINTR) prefixes.c -globalprefix "G" -expect 1
528 $(LCLINTR) prefixes.c -globalprefix "&G?_^" -expect 1
529 $(LCLINTR) prefixes.c -externalprefix "G" -expect 5
530 $(LCLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4
531 $(LCLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13
534 $(LCLINTR) printflike.c -expect 6
535 $(LCLINTR) printflike.c -warnlintcomments -expect 5
538 $(LCLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1
539 $(LCLINTR) -DMYSTERY=12 rc.c -expect 1
540 $(LCLINTR) -f rc1.lclintrc rc.c -expect 1
541 $(LCLINTR) -UMYSTERY -f rc1.lclintrc rc.c -expect 1
542 $(LCLINTR) -f rc3.lclintrc rc.c -expect 1
545 $(LCLINTR) refcounts.c -expect 7
548 $(LCLINTR) release.c +memchecks -expect 1
551 $(LCLINTR) +lh repexpose +memchecks -expect 12
552 $(LCLINTR) repexpose +memchecks +retalias -expect 15
553 $(LCLINTRN) repexpose +checks -exportlocal -expect 27
555 ### returned added 2001-05-27
556 ### (Bug discovered checking lclint sources.)
559 ${LCLINTR} returned.c -expect 1
562 $(LCLINTR) sharing1.c -expect 21
563 $(LCLINTR) sharing3.c -expect 3
564 $(LCLINTR) sharing4.c -expect 13
565 $(LCLINTR) sharing4.c -paramimptemp -expect 12
566 $(LCLINTR) sharing5.c -expect 6
569 $(LCLINTR) +hints slovaknames.c -expect 1
570 $(LCLINTR) +hints slovaknames.c +accessslovak
571 $(LCLINTR) +hints +slovak slovaknames.c -expect 3
572 $(LCLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2
573 $(LCLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7
576 $(LCLINTR) specclauses.c -expect 6
577 $(LCLINTR) specclauses2.c -expect 8
578 $(LCLINTR) specclauses3.c -expect 6
579 $(LCLINTR) specclauses4.c -expect 3
580 $(LCLINTR) specclauses5.c -expect 3
583 $(LCLINTR) special -expect 20
584 $(LCLINTR) special -relaxquals -expect 22
587 $(LCLINTR) stack.c -expect 5
588 $(LCLINTR) stack.c -stackref
591 $(LCLINTR) staticarray.c -expect 3
594 $(LCLINTR) strings.c -expect 3
595 $(LCLINTR) -readonlystrings -expect 1 strings.c
596 $(LCLINTR) +modobserverstrict -maintype -expect 4 strings.c
599 $(LCLINTR) structassign.c -expect 4
602 $(LCLINTR) typequals.c tq.lcl -expect 5
603 $(LCLINTR) typequals.c -expect 2
606 $(LCLINTR) ud.c -expect 9
607 $(LCLINTR) ud2 -specundef -expect 3
610 $(LCLINTR) ulstypes.c -expect 8
611 $(LCLINTR) ulstypes.c +ignorequals
612 $(LCLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28
613 # 3 more detected with version 2.5 (change in -numliteral setting)
616 $(LCLINTR) +memchecks union.c -expect 8
619 $(LCLINTR) unreachable.c -expect 5
620 $(LCLINTR) -unreachable unreachable.c -expect 2
621 $(LCLINTR) switch.c -expect 4
624 ${LCLINTR} +posixlib unsignedcompare.c -expect 4
628 ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks
632 $(LCLINTRN) unused.c +checks -exportlocal -expect 5
633 $(LCLINTRN) unused.c +checks -exportlocal +topuse -expect 8
636 ### 2001-06-10: Provided by Jim Zalenka
640 ${LCLINTRN} ullint.c -expect 5
641 ${LCLINTRN} ullint.c +charint +charintliteral -expect 2
644 ${LCLINTRN} void.c -expect 2
651 ${LCLINTR} linked.c -expect 4
652 ${LCLINTR} linked2.c -expect 3
653 ${LCLINTR} linked3.c -expect 5
654 ${LCLINTR} linked4.c -expect 6
655 ${LCLINTR} linked5.c -expect 4
656 ${LCLINTR} linked6.c -expect 4
659 ${LCLINTR} freearray.c -expect 1
662 ### Bugs fixed and new features since version 2.1b
666 setenv LCLINT '$(LCLINTRN)'; cd tests2.2 ; $(MAKE) -e
670 $(LCLINTR) erik.c -expect 1 ; \
671 $(LCLINTR) boolcomp.c -expect 5 ; \
672 $(LCLINTR) boolenum.c ; \
673 $(LCLINTR) addassign.c -expect 1; \
674 $(LCLINTR) toralf.c -expect 5 ; \
675 $(LCLINTR) fred.c -booltype Bool ; \
676 $(LCLINTR) sizeof.c ; \
677 $(LCLINTR) arrayparam.c -expect 5 ; \
678 $(LCLINTR) notreached.c ; \
679 $(LCLINTR) duff.c -casebreak -firstcase ; \
680 $(LCLINTR) obviousloop.c -expect 4 ; \
681 $(LCLINTR) bitops.c +bitwisesigned -expect 11 ; \
682 $(LCLINTR) bitops.c -expect 5 ; \
683 $(LCLINTR) isalpha.c +strictlib -expect 1 ; \
684 $(LCLINTR) isalpha.c -expect 1 ; \
685 $(LCLINTR) dobb.c ; \
686 $(LCLINTR) popik.c -expect 11
689 setenv LCLINT '$(LCLINTRN)'; cd tests2.4 ; $(MAKE) -e
693 $(LCLINTR) +arraybounds +arrayboundsread sizeof.c
697 $(LCLINTR) +arraybounds +arrayboundsread test4.c test6.c
699 simplebufferConstraintTests:
700 @cd simplebufferConstraintTests; \
701 $(LCLINTR) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c
704 @cd moreBufferTests; \
705 $(LCLINTR) +arraybounds +arrayboundsread unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c
709 $(LCLINTR) +arraybounds maxsetannotations.c; \
710 $(LCLINTR) +arraybounds maxsetnoannotations.c -expect 1
712 globalbufferannotation:
713 @cd globalbufferannotation; \
714 $(LCLINTR) +arraybounds +arrayboundsread globalvariable.c
718 $(LCLINTR) +arraybounds +arrayboundsread strchr.c -expect 2
722 $(LCLINTR) +arraybounds +arrayboundsread for.c
725 setenv LCLINT '$(LCLINTRN)'; cd tests2.5 ; $(MAKE) -e
728 setenv LCLINT '$(LCLINTRN)'; cd metastate ; $(MAKE) -e
731 setenv LCLINT '$(LCLINTRN)'; cd mergestate ; $(MAKE) -e
734 setenv LCLINT '$(LCLINTRN)'; cd tainted ; $(MAKE) -e
737 setenv LCLINT '$(LCLINTRN)'; cd fileio ; $(MAKE) -e
740 setenv LCLINT '$(LCLINTRN)'; cd warnuse ; $(MAKE) -e
743 setenv LCLINT '$(LCLINTRN)'; cd ensuresclauses ; $(MAKE) -e
746 ### Integration Tests
750 setenv LCLINT '$(LCLINTRN)'; cd db1; $(MAKE) -e test
754 ### 2 errors are no longer reported, since eref is immutable.
755 ### Need to clarify what it means for an object to be immutable;
756 ### there should be 2 types with different storage requirements.
759 setenv LCLINT '$(LCLINTRN)'; cd db2; $(MAKE) -e test
762 setenv LCLINT '$(LCLINTRN)'; cd db3; $(MAKE) -e test
765 -rm -f *~ #*# *.o *.lcs a.out
766 -cd db1 ; $(MAKE) clean
767 -cd db2 ; $(MAKE) clean
768 -cd db3 ; $(MAKE) clean