1 ##################################################
\r
3 ### Makefile for LCLint testing ###
\r
5 ### designed for use with GNU make ###
\r
7 ##################################################
\r
9 .PHONY: all fulltest quicktest funcpointer cast abstract
\r
10 .PHONY: version help abstptr abstract alias alttypes ansireserved
\r
11 .PHONY: argorder blocks break cases cast charlit
\r
12 .PHONY: clauses commentchar
\r
13 .PHONY: compdestroy constannot controldepth csyntax czechnames czechoslovaknames
\r
14 .PHONY: deadparam decl enum exports external fields fileio flags forbody format funcpointer glob globals
\r
15 .PHONY: impabstract init inparam internal iter keep libs lintcomments
\r
16 .PHONY: list macros macrosef merge mergestate modifies modtest moduncon mongoincludes
\r
17 .PHONY: noeffect null observer oldstyle outglob outparam postnotnull preds prefixes printflike rc
\r
18 .PHONY: refcounts release repexpose returned sharing slovaknames special
\r
19 .PHONY: specclauses stack staticarray
\r
20 .PHONY: strings structassign nullret
\r
21 .PHONY: tainted typequals ud ulstypes union unreachable unused ullint unsignedcompare void
\r
22 .PHONY: db1 db2 db3 tests2.2 tests2.2a tests2.4 tests2.5
\r
23 .PHONY: all test fulltest expects quicktest
\r
24 .PHONY: warnuse metastate
\r
25 .PHONY: linked freearray
\r
28 .PHONY: simplebufferConstraintTests
\r
29 .PHONY: moreBufferTests
\r
31 .PHONY: globalbufferannotation
\r
35 .SUFFIXES: .out .expect .c .lcl .h .lh .diff
\r
37 # Command to run lclint
\r
38 LCLINT = ..\\bin\\lclint
\r
41 # Make sure .lclintrc files are not used so test results do not
\r
42 # depend on local settings.
\r
43 LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool"
\r
44 LCLINTR = $(LCLINTRN) -exportlocal +debugfcnconstraint
\r
47 fileio tainted mergestate metastate \
\r
48 help sizeoftest bufferTest simplebufferConstraintTests \
\r
49 moreBufferTests globalbufferannotation maxset strchr for \
\r
50 abstptr abstract alias alttypes ansireserved argorder args blocks break cases cast \
\r
51 charlit clauses commentchar compdestroy constannot controldepth csyntax czechnames czechoslovaknames deadparam \
\r
52 decl enum exports external fields flags forbody format freearray funcpointer glob globals impabstract \
\r
53 init inparam internal iter keep libs linked lintcomments list macros macrosef merge modifies \
\r
54 modtest moduncon mongoincludes mystrncat noeffect null observer oldstyle \
\r
55 outglob outparam postnotnull preds prefixes \
\r
56 printflike rc refcounts release repexpose returned sharing slovaknames specclauses special stack \
\r
57 staticarray strings structassign \
\r
58 typequals ud ulstypes union unreachable unsignedcompare unused ullint void \
\r
59 tests2.2 tests2.2a tests2.4 tests2.5
\r
61 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
\r
63 LCLINTTESTS = version $(UNITTESTS)
\r
71 quicktest: $(LCLINTTESTS)
\r
78 @$(LCLINTP) -help version
\r
79 @$(LCLINTP) -help vars
\r
82 $(LCLINTR) abstptr -expect 9
\r
83 $(LCLINTR) abstptr +voidabstract -expect 6
\r
86 $(LCLINTR) abst_t.lcl commentcmd.c -expect 15
\r
90 $(LCLINTR) mut alias +globalias -expect 19
\r
91 $(LCLINTR) mut alias2 +globalias -expect 17
\r
92 $(LCLINTR) +lh alias3 -expect 14
\r
93 $(LCLINTR) +lh alias4 +boolint
\r
94 $(LCLINTR) alias4 -pred +retalias -expect 6
\r
95 $(LCLINTR) +lh alias5 +memchecks -null -specundef -expect 5
\r
98 $(LCLINTR) alttypes.c -expect 2
\r
101 ### evans 2001-06-07 - updated nameCheck.c to reflect C9X.
\r
102 ### Reports one new errors for ansireserved.c - wctomb is bad even as a local variable.
\r
103 ### (could be a macro?)
\r
104 ### Reports 3 additional errors for +checks; no longer suppresses name errors in the
\r
105 ### presense of other errors.
\r
109 $(LCLINTR) ansireserved.c +ansireserved -nolib -expect 9
\r
110 $(LCLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11
\r
111 $(LCLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12
\r
112 $(LCLINTR) ansireserved2.c +ansireserved -expect 1
\r
115 $(LCLINTR) argorder.c -expect 4
\r
116 $(LCLINTR) argorder2 -expect 5
\r
117 $(LCLINTR) argorder3.c -expect 8
\r
118 $(LCLINTR) argorder4 -expect 9
\r
119 $(LCLINTR) argorder4 -evalorder -expect 1
\r
120 $(LCLINTR) argorder5.c +evalorderuncon -expect 3
\r
123 $(LCLINTR) args -noeffect -expect 12
\r
126 $(LCLINTR) blocks.c -expect 4
\r
127 $(LCLINTR) blocks.c +ifblock +elseifcomplete -expect 7
\r
128 $(LCLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3
\r
129 $(LCLINTR) blocks.c -ifempty +forempty +forblock -expect 3
\r
130 $(LCLINTR) blocks.c +allempty -expect 6
\r
131 $(LCLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11
\r
134 $(LCLINTR) break.c -expect 4
\r
135 $(LCLINTR) break.c +deepbreak -expect 6
\r
136 $(LCLINTR) break.c +deepbreak -looploopbreak -expect 5
\r
139 $(LCLINTR) cases.c -expect 5
\r
140 $(LCLINTR) cases2.c -expect 2
\r
141 $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3
\r
142 $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3
\r
145 $(LCLINTR) cast -accessmodule -expect 20
\r
146 $(LCLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3
\r
148 ### Two addition errors detected with 2.5 with -numliteral.
\r
151 $(LCLINTR) +hints charlit.c -expect 4
\r
152 $(LCLINTR) +hints -numliteral charlit.c -expect 6
\r
153 $(LCLINTR) +hints charlit.c +charintliteral +ignoresigns
\r
156 $(LCLINTR) clauses.c +memchecks -expect 4
\r
157 $(LCLINTR) clauses2.c +memchecks
\r
158 $(LCLINTR) clauses3.c +memchecks -expect 2
\r
159 $(LCLINTR) clauses3.c +memchecks +unixlib -expect 3
\r
162 $(LCLINTR) commentchar.c -expect 4
\r
163 $(LCLINTR) -commentchar '#' commentchar.c -expect 4
\r
166 $(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
\r
167 $(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2
\r
170 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
\r
171 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
\r
172 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
\r
173 $(LCLINTRN) compdestroy.c +strict +partial -exportheader -expect 3
\r
176 ${LCLINTRN} constannot.c +arraybounds -exportlocal -expect 2
\r
179 $(LCLINTR) +quiet -incondefs csyntax.c -expect 1
\r
180 $(LCLINTR) +quiet csyntax2.c -expect 2
\r
181 $(LCLINTR) +quiet csyntax3.c -expect 1
\r
182 $(LCLINTR) +quiet -incondefs csyntax4.c
\r
183 $(LCLINTR) +quiet csyntax5.c
\r
184 $(LCLINTR) +quiet csyntax6.c
\r
185 $(LCLINTR) +quiet csyntax7.c
\r
186 $(LCLINTR) +quiet csyntax8.c
\r
187 $(LCLINTR) +quiet csyntax9.c
\r
188 $(LCLINTR) +quiet csyntax10.c
\r
189 $(LCLINTR) +quiet csyntax11.c
\r
190 $(LCLINTR) +quiet csyntax12.c
\r
191 $(LCLINTR) +quiet csyntax13.c -expect 1
\r
192 $(LCLINTR) +quiet csyntax14.c
\r
193 $(LCLINTR) +quiet csyntax15.c
\r
194 $(LCLINTR) +quiet csyntax16.c -expect 2
\r
195 $(LCLINTR) +quiet csyntax17.c -expect 3
\r
198 $(LCLINTR) czechnames.c
\r
199 $(LCLINTR) +hints +czech czechnames.c -expect 2
\r
200 $(LCLINTR) +hints +czech -czechvars czechnames.c -expect 1
\r
201 $(LCLINTR) +hints +czech -accessczech czechnames.c -expect 6
\r
204 $(LCLINTR) +hints +czechoslovak czechnames.c -expect 1
\r
205 $(LCLINTR) +hints +czechoslovak slovaknames.c -expect 1
\r
206 $(LCLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2
\r
209 ### deadparam added 2001-05-27
\r
213 ${LCLINTR} deadparam.c -expect 3
\r
216 # Was expect 3 before 2.4. Earlier versions did not handle implicit
\r
217 # function pointers correctly.
\r
221 $(LCLINTR) decl.c -expect 2
\r
222 $(LCLINTRN) decl.c +strict -exportlocal -expect 5
\r
223 $(LCLINTR) decl2 -expect 4
\r
226 $(LCLINTR) enum -expect 16
\r
227 $(LCLINTR) enum -misscase -expect 14
\r
230 $(LCLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6
\r
231 $(LCLINTR) exports.c +exportany -expect 3
\r
232 $(LCLINTR) exports.c
\r
235 $(LCLINTR) external.c +partial
\r
236 $(LCLINTR) external.c +partial +distinctexternalnames -expect 2
\r
237 $(LCLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3
\r
238 $(LCLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3
\r
239 $(LCLINTR) external.c +partial -externalnamelength 3 -expect 4
\r
242 $(LCLINTR) fields.c +memchecks -expect 6
\r
243 $(LCLINTR) fields2.c +memchecks -expect 5
\r
244 $(LCLINTR) fields3.c +memchecks
\r
247 $(LCLINTR) flags.c -expect 8
\r
248 $(LCLINTR) +nocomments flags.c -expect 2
\r
250 ### Added 2001-06-02
\r
253 ${LCLINTR} forbody.c -expect 2
\r
255 ### Added 2001-06-03
\r
257 ${LCLINTR} format.c -expect 3
\r
258 ${LCLINTR} format.c -formatconst
\r
260 # two new errors (invalid lhs)
\r
263 $(LCLINTR) +memchecks +noparams funcpointer.c -expect 18
\r
266 $(LCLINTR) glob -expect 4
\r
267 $(LCLINTR) glob -globuse -expect 3
\r
268 $(LCLINTR) glob +globunspec -expect 6
\r
271 $(LCLINTR) -modifies globals.c -expect 5
\r
272 $(LCLINTR) -modifies globals.c +allglobals -expect 6
\r
273 $(LCLINTR) -modifies globals.c +impcheckedglobals -expect 6
\r
274 $(LCLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2
\r
275 $(LCLINTR) -modifies globals.c +globunspec -expect 6
\r
276 $(LCLINTR) -modifies globals.c +globunspec +allglobals -expect 8
\r
280 $(LCLINTR) -accessmodule impabstract.c
\r
281 $(LCLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2
\r
282 $(LCLINTR) -accessmodule +hints +impabstract impabstract -expect 4
\r
285 $(LCLINTR) init.c -expect 12
\r
286 $(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 15
\r
289 $(LCLINTR) inparam.c -expect 2
\r
290 $(LCLINTR) +impouts inparam.c -expect 1
\r
293 $(LCLINTR) internal.c -expect 1
\r
294 $(LCLINTR) internal.c +distinctinternalnames -expect 2
\r
295 $(LCLINTR) internal.c -internalnamelen 28 -expect 3
\r
296 $(LCLINTR) internal.c +internalnamecaseinsensitive -expect 3
\r
297 $(LCLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11
\r
301 ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6
\r
305 $(LCLINTR) iter -expect 14 -lclexpect 1
\r
306 $(LCLINTR) iter2.c -expect 12
\r
309 $(LCLINTR) keep.c +memchecks -expect 6
\r
312 ### 2001-05-22: 2 new errors found (fixed spec of signal)
\r
313 ### 2001-05-30: 3 new errors found (formatconst)
\r
316 $(LCLINTR) libs.c +longunsignedunsignedintegral -expect 18
\r
317 $(LCLINTR) libs.c -expect 22
\r
318 $(LCLINTR) libs.c +globunspec +modunspec -expect 25
\r
319 $(LCLINTR) libs.c +strictlib +globunspec +modunspec -expect 42
\r
322 $(LCLINTR) lintcomments.c -expect 4
\r
323 $(LCLINTR) lintcomments.c -warnlintcomments -expect 1
\r
324 $(LCLINTR) lintcomments.c -lintcomments -expect 4
\r
327 $(LCLINTR) list.c -expect 3
\r
330 $(LCLINTR) macros -expect 17
\r
331 $(LCLINTR) macros.c +allmacros -expect 34
\r
332 $(LCLINTR) macros.c +fcnmacros -expect 31
\r
336 $(LCLINTR) macrosef -expect 4
\r
337 $(LCLINTR) macrosef.c +allmacros -expect 3
\r
338 $(LCLINTR) macrosef.c +allmacros +sefuncon -expect 4
\r
341 $(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
\r
344 $(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7
\r
347 $(LCLINTR) modtest -expect 10
\r
348 $(LCLINTR) modtest +modunspec -expect 13
\r
349 $(LCLINTR) modtest +mustmod -expect 14
\r
352 $(LCLINTR) moduncon.c +moduncon -memchecks -expect 4
\r
353 $(LCLINTRN) moduncon.c +strict -exportlocal -expect 22
\r
356 $(LCLINTR) mongoincludes.c -includenest 1 -expect 19
\r
357 $(LCLINTR) mongoincludes.c -includenest 2 -expect 10
\r
358 $(LCLINTR) mongoincludes.c -includenest 3 -expect 4
\r
359 $(LCLINTR) mongoincludes.c -includenest 4 -expect 1
\r
360 $(LCLINTR) mongoincludes.c -includenest 5 -expect 0
\r
363 $(LCLINTR) mystrncat.c +arraybounds +arrayboundsread -expect 4
\r
366 ${LCLINT} -nof noeffect.c +allmacros +checks -expect 3
\r
369 $(LCLINTR) null1.c -expect 14
\r
370 $(LCLINTR) null1.c -null -expect 4
\r
371 $(LCLINTR) null2.c -expect 10
\r
372 $(LCLINTR) null3.c -expect 15
\r
373 $(LCLINTR) null3.c -warnunixlib +unixlib -expect 16
\r
374 $(LCLINTR) null4.c -expect 1
\r
375 $(LCLINTR) null5.c -expect 4
\r
376 $(LCLINTR) null6 -expect 4
\r
377 $(LCLINTR) +quiet null6.lcl -dump null6
\r
378 $(LCLINTR) null6.c -load null6 -expect 4
\r
380 ### Added for 3.0 (bugs reported by Kevin Broady)
\r
383 $(LCLINTR) nullret.c -expect 2
\r
384 $(LCLINTR) -nullret nullret.c -expect 1
\r
387 $(LCLINTR) nullassign.c -expect 2
\r
388 $(LCLINTR) -nullassign nullassign.c -expect 1
\r
392 # Before 2.4, expected one more because error was reported both as
\r
393 # dependent and observer.
\r
397 $(LCLINTRN) observer +checks -exportlocal -exportheader -expect 9
\r
398 $(LCLINTRN) observer.c +checks -exportlocal -exportheader -expect 8
\r
399 $(LCLINTR) observer.c -expect 7
\r
402 $(LCLINTR) oldstyle -expect 3
\r
405 $(LCLINTR) outglob -expect 10
\r
408 $(LCLINTR) outparam -expect 12
\r
410 ### evans 2001-08-26: postnotnull new
\r
413 ${LCLINTR} postnotnull.c -expect 1
\r
415 # Four new +fcnuse errors for -strict (evans 2001-07-22)
\r
419 $(LCLINTR) +hints preds.c -expect 6
\r
420 $(LCLINTRN) +hints preds.c -weak -expect 1
\r
421 $(LCLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
\r
424 $(LCLINTR) prefixes.c +partial
\r
425 $(LCLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4
\r
426 $(LCLINTR) prefixes.c -typeprefix "T" -expect 2
\r
427 $(LCLINTR) prefixes.c -typeprefix "^" -expect 1
\r
428 $(LCLINTR) prefixes.c -typeprefix "^*" -expect 2
\r
429 $(LCLINTR) prefixes.c -typeprefix "^%*" -expect 2
\r
430 $(LCLINTR) prefixes.c -typeprefix "^~*" -expect 2
\r
431 $(LCLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7
\r
432 $(LCLINTR) prefixes.c -filestaticprefix "^^" -expect 4
\r
433 $(LCLINTR) prefixes.c -filestaticprefix "^#" -expect 5
\r
434 $(LCLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5
\r
435 $(LCLINTR) prefixes.c -globalprefix "G" -expect 1
\r
436 $(LCLINTR) prefixes.c -globalprefix "&G?_^" -expect 1
\r
437 $(LCLINTR) prefixes.c -externalprefix "G" -expect 5
\r
438 $(LCLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4
\r
440 # herbert: does not work (shell capabilities)
\r
441 # $(LCLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13
\r
444 $(LCLINTR) printflike.c -expect 6
\r
445 $(LCLINTR) printflike.c -warnlintcomments -expect 5
\r
448 $(LCLINTR) -DMYSTERY=12 rc.c -expect 1
\r
449 $(LCLINTR) -f rc1.lclintrc rc.c -expect 1
\r
450 $(LCLINTR) -UMYSTERY -f rc1.lclintrc rc.c -expect 1
\r
451 $(LCLINTR) -f rc3.lclintrc.os2 rc.c -expect 1
\r
454 $(LCLINTR) refcounts.c -expect 7
\r
457 $(LCLINTR) release.c +memchecks -expect 1
\r
460 $(LCLINTR) +lh repexpose +memchecks -expect 12
\r
461 $(LCLINTR) repexpose +memchecks +retalias -expect 15
\r
462 $(LCLINTRN) repexpose +checks -exportlocal -expect 27
\r
464 ### returned added 2001-05-27
\r
465 ### (Bug discovered checking lclint sources.)
\r
468 ${LCLINTR} returned.c -expect 1
\r
471 $(LCLINTR) sharing1.c -expect 21
\r
472 $(LCLINTR) sharing3.c -expect 3
\r
473 $(LCLINTR) sharing4.c -expect 13
\r
474 $(LCLINTR) sharing4.c -paramimptemp -expect 12
\r
475 $(LCLINTR) sharing5.c -expect 6
\r
478 $(LCLINTR) +hints slovaknames.c -expect 1
\r
479 $(LCLINTR) +hints slovaknames.c +accessslovak
\r
480 $(LCLINTR) +hints +slovak slovaknames.c -expect 3
\r
481 $(LCLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2
\r
482 $(LCLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7
\r
485 $(LCLINTR) specclauses.c -expect 6
\r
486 $(LCLINTR) specclauses2.c -expect 8
\r
487 $(LCLINTR) specclauses3.c -expect 6
\r
488 $(LCLINTR) specclauses4.c -expect 3
\r
489 $(LCLINTR) specclauses5.c -expect 3
\r
492 $(LCLINTR) special -expect 20
\r
493 $(LCLINTR) special -relaxquals -expect 22
\r
496 $(LCLINTR) stack.c -expect 5
\r
497 $(LCLINTR) stack.c -stackref
\r
500 $(LCLINTR) staticarray.c -expect 3
\r
503 $(LCLINTR) strings.c -expect 3
\r
504 $(LCLINTR) -readonlystrings -expect 1 strings.c
\r
505 $(LCLINTR) +modobserverstrict -maintype -expect 4 strings.c
\r
508 $(LCLINTR) structassign.c -expect 4
\r
511 $(LCLINTR) typequals.c tq.lcl -expect 5
\r
512 $(LCLINTR) typequals.c -expect 2
\r
515 $(LCLINTR) ud.c -expect 9
\r
516 $(LCLINTR) ud2 -specundef -expect 3
\r
519 $(LCLINTR) ulstypes.c -expect 8
\r
520 $(LCLINTR) ulstypes.c +ignorequals
\r
521 $(LCLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28
\r
522 # 3 more detected with version 2.5 (change in -numliteral setting)
\r
525 $(LCLINTR) +memchecks union.c -expect 8
\r
528 $(LCLINTR) unreachable.c -expect 5
\r
529 $(LCLINTR) -unreachable unreachable.c -expect 2
\r
530 $(LCLINTR) switch.c -expect 4
\r
533 ${LCLINT} +posixlib unsignedcompare.c -expect 4
\r
537 ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks
\r
541 $(LCLINTRN) unused.c +checks -exportlocal -expect 5
\r
542 $(LCLINTRN) unused.c +checks -exportlocal +topuse -expect 8
\r
545 ### 2001-06-10: Provided by Jim Zalenka
\r
549 ${LCLINTRN} ullint.c -expect 5
\r
550 ${LCLINTRN} ullint.c +charint +charintliteral -expect 2
\r
553 ${LCLINTRN} void.c -expect 2
\r
556 ### New since 2.5q:
\r
560 ${LCLINTR} linked.c -expect 4
\r
561 ${LCLINTR} linked2.c -expect 3
\r
562 ${LCLINTR} linked3.c -expect 5
\r
563 ${LCLINTR} linked4.c -expect 6
\r
564 ${LCLINTR} linked5.c -expect 4
\r
565 ${LCLINTR} linked6.c -expect 4
\r
568 ${LCLINTR} freearray.c -expect 1
\r
571 ### Bugs fixed and new features since version 2.1b
\r
575 @echo " Note: expect difference in name of unclosed file."
\r
576 $(MAKE) -C tests2.2 -f Makefile-tests2.2.os2 LCLINT="$(LCLINTR)"
\r
579 $(MAKE) -C tests2.4 -f Makefile-tests2.4.os2 LCLINT="$(LCLINTR)"
\r
582 $(MAKE) -C tests2.5 LCLINT="$(LCLINTR)"
\r
586 $(LCLINTR) +arraybounds +arrayboundsread sizeof.c
\r
590 $(LCLINTR) +arraybounds +arrayboundsread test4.c test6.c
\r
592 simplebufferConstraintTests:
\r
593 @cd simplebufferConstraintTests ; \
\r
594 $(LCLINTR) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c
\r
597 @cd moreBufferTests ; \
\r
598 $(LCLINTR) +arraybounds +arrayboundsread unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c
\r
602 $(LCLINTR) +arraybounds maxsetannotations.c; \
\r
603 $(LCLINTR) +arraybounds maxsetnoannotations.c -expect 1
\r
605 globalbufferannotation:
\r
606 @cd globalbufferannotation ; \
\r
607 $(LCLINTR) +arraybounds +arrayboundsread globalvariable.c
\r
611 $(LCLINTR) +arraybounds +arrayboundsread strchr.c -expect 2
\r
615 $(LCLINTR) +arraybounds +arrayboundsread for.c
\r
619 $(LCLINTR) -mts file file1.c -expect 4; \
\r
620 $(LCLINTR) -mts file file2.c -varuse -fcnuse -expect 2; \
\r
621 $(LCLINTR) -mts file file3.c -varuse -fcnuse -expect 2; \
\r
622 $(LCLINTR) -mts file file4.c -varuse -fcnuse -exportlocal -expect 1 ; \
\r
623 $(LCLINTR) -mts file file5.c -varuse -fcnuse -exportlocal -expect 4; \
\r
624 $(LCLINTR) -mts file file6.c -varuse -fcnuse -exportlocal -expect 2; \
\r
625 $(LCLINTR) -mts file filebad.c -expect 3; \
\r
626 $(LCLINTR) sockets.mts sockets.c -expect 3; \
\r
627 $(LCLINTR) sockets.mts sockets2.c -expect 2; \
\r
628 $(LCLINTR) -mts file struct.c -expect 1; \
\r
629 $(LCLINTR) -mts file nullbranch.c -expect 2; \
\r
630 $(LCLINTR) -mts file osd.c -expect 2
\r
634 $(LCLINTR) -mts taintednm taintednm.c -mustfree -exportlocal -expect 2; \
\r
635 $(LCLINTR) -mts tainted taintednm.c -mustfree -exportlocal -expect 4
\r
639 $(LCLINTR) -mts tainted tainted.c -mustfree -exportlocal -expect 4; \
\r
640 $(LCLINTR) tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9; \
\r
641 $(LCLINTR) -mts tainted tainted2.c -mustfree -exportlocal -expect 1; \
\r
642 $(LCLINTR) -mts tainted tainted3.c -mustfree -exportlocal -expect 1; \
\r
643 $(LCLINTR) -mts tainted tainted4.c -mustfree -exportlocal -expect 1; \
\r
644 $(LCLINTR) -mts tainted tainted5.c -mustfree -exportlocal; \
\r
645 $(LCLINTR) -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3; \
\r
646 $(LCLINTR) -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1; \
\r
647 $(LCLINTR) -mts tainted sprintf.c -expect 2
\r
651 $(LCLINTR) -mts file -mts filerw filerw.c -expect 3; \
\r
652 $(LCLINTR) -mts file -mts filerw file.c -expect 3; \
\r
653 $(LCLINTR) -mts file filebranch.c
\r
657 $(LCLINTR) warnuse.c -expect 4; \
\r
658 $(LCLINTR) warnuse.c -warnuse -expect 1; \
\r
659 $(LCLINTR) warnuse.c -warnuse +bufferoverflow -expect 1; \
\r
660 $(LCLINTR) warnuse.c -bufferoverflow -expect 2; \
\r
661 $(LCLINTR) warngets.c -expect 1
\r
664 @cd ensuresclauses ; \
\r
665 ${LCLINT} ensures.c +fcnconstraint
\r
669 ### Integration Tests
\r
673 setenv LCLINT '$(LCLINTRN)'; cd db1; $(MAKE) -e test
\r
676 ### evans 2000-12-22
\r
677 ### 2 errors are no longer reported, since eref is immutable.
\r
678 ### Need to clarify what it means for an object to be immutable;
\r
679 ### there should be 2 types with different storage requirements.
\r
682 setenv LCLINT '$(LCLINTRN)'; cd db2; $(MAKE) -e test
\r
685 setenv LCLINT '$(LCLINTRN)'; cd db3; $(MAKE) -e test
\r
688 -rm -f *~ #*# *.o *.lcs a.out
\r
689 -cd db1 ; $(MAKE) clean
\r
690 -cd db2 ; $(MAKE) clean
\r
691 -cd db3 ; $(MAKE) clean
\r