]>
Commit | Line | Data |
---|---|---|
8fe44445 | 1 | ## This file currently uses GNU Make features; those should really be replaced |
2 | ## by configure-time handling. | |
3 | ||
4 | AUTOMAKE_OPTIONS = 1.5 foreign | |
5 | ||
6 | ## Use this to configure diff output | |
7 | DIFFFLAGS = -u | |
8 | ||
9 | ## Set up the lclint commands | |
10 | ||
53a89507 | 11 | LCLINT = $(top_builddir)/src/lclint$(EXEEXT) |
a469ccf0 | 12 | |
13 | ### This is horrible! Can't we make top_builddir absolute? | |
53a89507 | 14 | LCLINTNEST = ../$(top_builddir)/src/lclint$(EXEEXT) |
a469ccf0 | 15 | |
16 | LCLINTPNEST = @$(LCLINTNEST) | |
8fe44445 | 17 | LCLINTP = @$(LCLINT) |
18 | ||
19 | # Make sure .lclintrc files are not used so test results do not | |
20 | # depend on local settings. | |
21 | LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool" | |
22 | LCLINTR = $(LCLINTRN) -exportlocal +debugfcnconstraint | |
23 | ||
a469ccf0 | 24 | LCLINTRNNEST = $(LCLINTPNEST) -nof -hints -booltype "bool" |
25 | LCLINTRNEST = $(LCLINTRNNEST) -exportlocal +debugfcnconstraint | |
26 | ||
8fe44445 | 27 | ## Currently disabled tests: |
28 | ## fileio tainted mergestate nullret nullassign warnuse metastate \ | |
29 | ## nullret nullassign warnuse | |
30 | ||
31 | ### | |
32 | ### !!! | |
33 | ### These tests have been temporarily removed because of problems with the new build process: | |
a469ccf0 | 34 | ### fileio tainted mergestate metastate \ |
8fe44445 | 35 | ### tests2.2 tests2.2a tests2.4 tests2.5 |
a469ccf0 | 36 | ### |
8fe44445 | 37 | ### maxset strchr for |
38 | ||
39 | UNITTESTS = \ | |
a469ccf0 | 40 | help \ |
41 | fileio tainted mergestate metastate sizeof buffertest \ | |
1f11dead | 42 | tests2.2 tests2.4 tests2.5 \ |
30585c35 | 43 | simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ |
a469ccf0 | 44 | maxset strchr for \ |
8fe44445 | 45 | abstptr abstract alias alttypes ansireserved argorder \ |
46 | args blocks break cases cast charlit clauses commentchar compdestroy \ | |
47 | constannot controldepth csyntax czechnames czechoslovaknames deadparam \ | |
48 | decl enum exports external fields flags forbody format freearray \ | |
49 | funcpointer glob globals impabstract init inparam internal iter keep libs \ | |
50 | linked lintcomments list macros macrosef merge modifies modtest moduncon \ | |
51 | mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \ | |
52 | postnotnull preds prefixes printflike rc refcounts release repexpose \ | |
53 | returned sharing slovaknames specclauses special stack staticarray strings \ | |
54 | structassign typequals ud ulstypes union unreachable unsignedcompare \ | |
55 | unused ullint void | |
56 | UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS)) | |
57 | ||
58 | INTEGTESTS = db1 db2 db3 | |
59 | INTEGEXPECTS = $(addsuffix .expect, $(INTEGTESTS)) | |
60 | ||
61 | LCLINTTESTS = $(UNITTESTS) $(INTEGTESTS) | |
62 | ||
63 | QUICKTESTS = db3 | |
64 | ||
65 | .PHONY: all check | |
66 | all check: fulltest | |
67 | ||
68 | .PHONY: version | |
69 | version: | |
70 | -$(LCLINTP) -help version | |
71 | ||
72 | .PHONY: help | |
73 | help: | |
74 | -@$(LCLINTP) | |
a469ccf0 | 75 | -@LARCH_PATH=/dev/null; $(LCLINT) empty.lcl |
8fe44445 | 76 | -@$(LCLINTP) -help |
77 | -@$(LCLINTP) -asdf | |
78 | -@$(LCLINTP) +boolint +boolint | |
79 | -@$(LCLINTP) -help flags alpha | |
80 | -@$(LCLINTP) -help flags all | |
81 | ||
82 | .PHONY: clean-local | |
83 | clean-local: | |
84 | -rm -f *~ #*# *.o *.lcs a.out | |
85 | -cd db1; $(MAKE) clean | |
86 | -cd db2; $(MAKE) clean | |
87 | -cd db3; $(MAKE) clean | |
88 | ||
89 | ## All tests need lclint to be built | |
90 | ||
91 | $(LCLINTTESTS): $(LCLINT) | |
92 | ||
93 | $(LCLINT): | |
94 | cd $(top_builddir)/src; $(MAKE) | |
95 | ||
96 | ## This is a kludgey way of processing the output to make it match exactly | |
97 | ## The last matcher is the most annoying, as it can differ (the first two are | |
98 | ## pretty much fixed); usually, you'll have 'make[1]:', but on DOS it is | |
99 | ## 'make.exe[1]:' (it might even be 'c:/path/to/make.exe[1]:', but that's | |
100 | ## not supported). | |
101 | ## The tests should really be re-done as shell-scripts or something... maybe | |
102 | ## autotest could be used once it's finished. | |
103 | CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "$(LCLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | |
104 | ||
105 | ## Not real C code | |
106 | ||
107 | .c.expect: | |
108 | $(MAKE) $* |& $(CLEANOUTPUT) >$*.expect && cat $*.expect | |
109 | ||
110 | .c.diff: | |
111 | $(MAKE) $* |& $(CLEANOUTPUT) >$*.out && diff $*.expect $*.out | |
112 | ||
113 | .PHONY: expects | |
114 | expects: | |
115 | @echo "Saving old expects..."; \ | |
116 | cat *.expect >expects-`date +"%y-%m-%d-%H"` | |
117 | @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ | |
118 | echo "Making $$TEST.expect..."; \ | |
119 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ | |
120 | cat $$TEST.expect; \ | |
121 | done | |
122 | ||
123 | .PHONY: quicktest | |
124 | quicktest: | |
125 | @for TEST in $(QUICKTESTS); do \ | |
126 | echo "Checking $$TEST..."; \ | |
127 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ | |
128 | $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \ | |
129 | echo "*** FAIL ***"; \ | |
130 | done | |
131 | ||
132 | .PHONY: fulltest | |
133 | fulltest: | |
134 | @echo "Testing $(PACKAGE) $(VERSION)..." | |
135 | @echo | |
136 | @echo "Version Info:" | |
137 | @$(LCLINTP) -help version | |
138 | @$(LCLINTP) -help vars | |
139 | @echo "" | |
140 | @echo "Unit tests:" | |
141 | @echo "" | |
142 | @for TEST in $(UNITTESTS); do \ | |
143 | echo "Checking $$TEST..."; \ | |
144 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ | |
145 | $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \ | |
146 | echo "*** FAIL ***"; \ | |
147 | done | |
a469ccf0 | 148 | @echo "" |
149 | @echo "Integration tests:" | |
150 | @echo "" | |
151 | @for TEST in $(INTEGTESTS); do \ | |
152 | echo "Checking $$TEST..."; \ | |
153 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ | |
154 | $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \ | |
155 | echo "*** FAIL ***"; \ | |
156 | done | |
8fe44445 | 157 | |
a469ccf0 | 158 | ### Rules for tests start here |
8fe44445 | 159 | |
a469ccf0 | 160 | SUBDIRTESTS = metastate mergestate tainted fileio warnuse ensuresclauses \ |
30585c35 | 161 | simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ |
a469ccf0 | 162 | maxset strchr for |
8fe44445 | 163 | |
164 | .PHONY: abstptr | |
165 | abstptr: | |
166 | $(LCLINTR) abstptr -expect 9 | |
167 | $(LCLINTR) abstptr +voidabstract -expect 6 | |
168 | ||
169 | .PHONY: abstract | |
170 | abstract: | |
171 | $(LCLINTR) abst_t.lcl commentcmd.c -expect 15 | |
172 | ||
173 | .PHONY: alias | |
174 | alias: | |
175 | $(LCLINTR) +lh mut | |
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 | |
182 | ||
183 | .PHONY: alttypes | |
184 | alttypes: | |
185 | $(LCLINTR) alttypes.c -expect 2 | |
186 | ||
187 | ### | |
188 | ### evans 2001-06-07 - updated nameCheck.c to reflect C9X. | |
189 | ### Reports one new errors for ansireserved.c - wctomb is bad even as a local | |
190 | ### variable (could be a macro?) | |
191 | ### Reports 3 additional errors for +checks; no longer suppresses name errors | |
192 | ### in the presense of other errors. | |
193 | ### | |
194 | ||
195 | .PHONY: ansireserved | |
196 | ansireserved: | |
197 | $(LCLINTR) ansireserved.c +ansireserved -nolib -expect 9 | |
198 | $(LCLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11 | |
199 | $(LCLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12 | |
200 | $(LCLINTR) ansireserved2.c +ansireserved -expect 1 | |
201 | ||
202 | .PHONY: argorder | |
203 | argorder: | |
204 | $(LCLINTR) argorder.c -expect 4 | |
205 | $(LCLINTR) argorder2 -expect 5 | |
206 | $(LCLINTR) argorder3.c -expect 8 | |
207 | $(LCLINTR) argorder4 -expect 9 | |
208 | $(LCLINTR) argorder4 -evalorder -expect 1 | |
209 | $(LCLINTR) argorder5.c +evalorderuncon -expect 3 | |
210 | ||
211 | .PHONY: args | |
212 | args: | |
213 | $(LCLINTR) args -noeffect -expect 12 | |
214 | ||
215 | .PHONY: blocks | |
216 | blocks: | |
217 | $(LCLINTR) blocks.c -expect 4 | |
218 | $(LCLINTR) blocks.c +ifblock +elseifcomplete -expect 7 | |
219 | $(LCLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3 | |
220 | $(LCLINTR) blocks.c -ifempty +forempty +forblock -expect 3 | |
221 | $(LCLINTR) blocks.c +allempty -expect 6 | |
222 | $(LCLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11 | |
223 | ||
224 | .PHONY: break | |
225 | break: | |
226 | $(LCLINTR) break.c -expect 4 | |
227 | $(LCLINTR) break.c +deepbreak -expect 6 | |
228 | $(LCLINTR) break.c +deepbreak -looploopbreak -expect 5 | |
229 | ||
230 | .PHONY: cases | |
231 | cases: | |
232 | $(LCLINTR) cases.c -expect 5 | |
233 | $(LCLINTR) cases2.c -expect 2 | |
234 | $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3 | |
235 | $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3 | |
236 | ||
237 | .PHONY: cast | |
238 | cast: | |
239 | $(LCLINTR) cast -accessmodule -expect 20 | |
240 | $(LCLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3 | |
241 | ||
242 | ### Two addition errors detected with 2.5 with -numliteral. | |
243 | ||
244 | .PHONY: charlit | |
245 | charlit: | |
246 | $(LCLINTR) +hints charlit.c -expect 4 | |
247 | $(LCLINTR) +hints -numliteral charlit.c -expect 6 | |
248 | $(LCLINTR) +hints charlit.c +charintliteral +ignoresigns | |
249 | ||
250 | .PHONY: clauses | |
251 | clauses: | |
252 | $(LCLINTR) clauses.c +memchecks -expect 4 | |
253 | $(LCLINTR) clauses2.c +memchecks | |
254 | $(LCLINTR) clauses3.c +memchecks -expect 2 | |
255 | $(LCLINTR) clauses3.c +memchecks +unixlib -expect 3 | |
256 | ||
257 | .PHONY: commentchar | |
258 | commentchar: | |
259 | $(LCLINTR) commentchar.c -expect 4 | |
260 | $(LCLINTR) -commentchar '#' commentchar.c -expect 4 | |
261 | ||
262 | .PHONY: controldepth | |
263 | controldepth: | |
264 | $(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2 | |
265 | $(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2 | |
266 | ||
267 | .PHONY: compdestroy | |
268 | compdestroy: | |
269 | $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1 | |
270 | $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2 | |
271 | $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3 | |
272 | $(LCLINTRN) compdestroy.c +strict +partial -exportheader -expect 3 | |
273 | ||
274 | .PHONY: constannot | |
275 | constannot: | |
276 | ${LCLINTRN} constannot.c +arraybounds -exportlocal -expect 2 | |
277 | ||
278 | .PHONY: csyntax | |
279 | csyntax: | |
280 | $(LCLINTR) +quiet -incondefs csyntax.c -expect 1 | |
281 | $(LCLINTR) +quiet csyntax2.c -expect 2 | |
282 | $(LCLINTR) +quiet csyntax3.c -expect 1 | |
283 | $(LCLINTR) +quiet -incondefs csyntax4.c | |
284 | $(LCLINTR) +quiet csyntax5.c | |
285 | $(LCLINTR) +quiet csyntax6.c | |
286 | $(LCLINTR) +quiet csyntax7.c | |
287 | $(LCLINTR) +quiet csyntax8.c | |
288 | $(LCLINTR) +quiet csyntax9.c | |
289 | $(LCLINTR) +quiet csyntax10.c | |
290 | $(LCLINTR) +quiet csyntax11.c | |
291 | $(LCLINTR) +quiet csyntax12.c | |
292 | $(LCLINTR) +quiet csyntax13.c -expect 1 | |
293 | $(LCLINTR) +quiet csyntax14.c | |
294 | $(LCLINTR) +quiet csyntax15.c | |
295 | $(LCLINTR) +quiet csyntax16.c -expect 2 | |
296 | $(LCLINTR) +quiet csyntax17.c -expect 3 | |
297 | ||
298 | .PHONY: czechnames | |
299 | czechnames: | |
300 | $(LCLINTR) czechnames.c | |
301 | $(LCLINTR) +hints +czech czechnames.c -expect 2 | |
302 | $(LCLINTR) +hints +czech -czechvars czechnames.c -expect 1 | |
303 | $(LCLINTR) +hints +czech -accessczech czechnames.c -expect 6 | |
304 | ||
305 | .PHONY: czechoslovaknames | |
306 | czechoslovaknames: | |
307 | $(LCLINTR) +hints +czechoslovak czechnames.c -expect 1 | |
308 | $(LCLINTR) +hints +czechoslovak slovaknames.c -expect 1 | |
309 | $(LCLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2 | |
310 | ||
311 | ### | |
312 | ### deadparam added 2001-05-27 | |
313 | ### | |
314 | ||
315 | .PHONY: deadparam | |
316 | deadparam: | |
317 | ${LCLINTR} deadparam.c -expect 3 | |
318 | ||
319 | # | |
320 | # Was expect 3 before 2.4. Earlier versions did not handle implicit | |
321 | # function pointers correctly. | |
322 | # | |
323 | ||
324 | .PHONY: decl | |
325 | decl: | |
326 | $(LCLINTR) decl.c -expect 2 | |
327 | $(LCLINTRN) decl.c +strict -exportlocal -expect 5 | |
328 | $(LCLINTR) decl2 -expect 4 | |
329 | ||
330 | .PHONY: enum | |
331 | enum: | |
332 | $(LCLINTR) enum -expect 16 | |
333 | $(LCLINTR) enum -misscase -expect 14 | |
334 | ||
335 | .PHONY: exports | |
336 | exports: | |
337 | $(LCLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6 | |
338 | $(LCLINTR) exports.c +exportany -expect 3 | |
339 | $(LCLINTR) exports.c | |
340 | ||
341 | .PHONY: external | |
342 | external: | |
343 | $(LCLINTR) external.c +partial | |
344 | $(LCLINTR) external.c +partial +distinctexternalnames -expect 2 | |
345 | $(LCLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3 | |
346 | $(LCLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3 | |
347 | $(LCLINTR) external.c +partial -externalnamelength 3 -expect 4 | |
348 | ||
349 | .PHONY: fields | |
350 | fields: | |
351 | $(LCLINTR) fields.c +memchecks -expect 6 | |
352 | $(LCLINTR) fields2.c +memchecks -expect 5 | |
353 | $(LCLINTR) fields3.c +memchecks | |
354 | ||
355 | .PHONY: flags | |
356 | flags: | |
357 | $(LCLINTR) flags.c -expect 8 | |
358 | $(LCLINTR) +nocomments flags.c -expect 2 | |
359 | ||
360 | ### Added 2001-06-02 | |
361 | ||
362 | .PHONY: forbody | |
363 | forbody: | |
364 | ${LCLINTR} forbody.c -expect 2 | |
365 | ||
366 | ### Added 2001-06-03 | |
367 | .PHONY: format | |
368 | format: | |
369 | ${LCLINTR} format.c -expect 3 | |
370 | ${LCLINTR} format.c -formatconst | |
371 | ||
372 | # two new errors (invalid lhs) | |
373 | ||
374 | .PHONY: funcpointer | |
375 | funcpointer: | |
376 | $(LCLINTR) +memchecks +noparams funcpointer.c -expect 18 | |
377 | ||
378 | .PHONY: glob | |
379 | glob: | |
380 | $(LCLINTR) glob -expect 4 | |
381 | $(LCLINTR) glob -globuse -expect 3 | |
382 | $(LCLINTR) glob +globunspec -expect 6 | |
383 | ||
384 | .PHONY: globals | |
385 | globals: | |
386 | $(LCLINTR) -modifies globals.c -expect 5 | |
387 | $(LCLINTR) -modifies globals.c +allglobals -expect 6 | |
388 | $(LCLINTR) -modifies globals.c +impcheckedglobals -expect 6 | |
389 | $(LCLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2 | |
390 | $(LCLINTR) -modifies globals.c +globunspec -expect 6 | |
391 | $(LCLINTR) -modifies globals.c +globunspec +allglobals -expect 8 | |
392 | ||
393 | # Was -accessfile | |
394 | .PHONY: impabstract | |
395 | impabstract: | |
396 | $(LCLINTR) -accessmodule impabstract.c | |
397 | $(LCLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2 | |
398 | $(LCLINTR) -accessmodule +hints +impabstract impabstract -expect 4 | |
399 | ||
400 | ### evans 2001-10-14: Expected errors updated | |
401 | .PHONY: init | |
402 | init: | |
403 | $(LCLINTR) init.c -expect 14 | |
404 | $(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17 | |
405 | ||
406 | ||
407 | .PHONY: inparam | |
408 | inparam: | |
409 | $(LCLINTR) inparam.c -expect 2 | |
410 | $(LCLINTR) +impouts inparam.c -expect 1 | |
411 | ||
412 | .PHONY: internal | |
413 | internal: | |
414 | $(LCLINTR) internal.c -expect 1 | |
415 | $(LCLINTR) internal.c +distinctinternalnames -expect 2 | |
416 | $(LCLINTR) internal.c -internalnamelen 28 -expect 3 | |
417 | $(LCLINTR) internal.c +internalnamecaseinsensitive -expect 3 | |
418 | $(LCLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11 | |
419 | ||
420 | ### | |
421 | ### iter | |
422 | ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6 | |
423 | ### | |
424 | ||
425 | .PHONY: iter | |
426 | iter: | |
427 | $(LCLINTR) iter -expect 14 -lclexpect 1 | |
428 | $(LCLINTR) iter2.c -expect 12 | |
429 | ||
430 | .PHONY: keep | |
431 | keep: | |
432 | $(LCLINTR) keep.c +memchecks -expect 6 | |
433 | ||
434 | ### libs | |
435 | ### 2001-05-22: 2 new errors found (fixed spec of signal) | |
436 | ### 2001-05-30: 3 new errors found (formatconst) | |
437 | ||
438 | .PHONY: libs | |
439 | libs: | |
440 | $(LCLINTR) libs.c +longunsignedunsignedintegral -expect 18 | |
441 | $(LCLINTR) libs.c -expect 22 | |
442 | $(LCLINTR) libs.c +globunspec +modunspec -expect 25 | |
443 | $(LCLINTR) libs.c +strictlib +globunspec +modunspec -expect 42 | |
444 | ||
445 | .PHONY: lintcomments | |
446 | lintcomments: | |
447 | $(LCLINTR) lintcomments.c -expect 4 | |
448 | $(LCLINTR) lintcomments.c -warnlintcomments -expect 1 | |
449 | $(LCLINTR) lintcomments.c -lintcomments -expect 4 | |
450 | ||
451 | .PHONY: list | |
452 | list: | |
453 | $(LCLINTR) list.c -expect 3 | |
454 | ||
455 | .PHONY: macros | |
456 | macros: | |
457 | $(LCLINTR) macros -expect 17 | |
458 | $(LCLINTR) macros.c +allmacros -expect 34 | |
459 | $(LCLINTR) macros.c +fcnmacros -expect 31 | |
460 | ||
461 | ||
462 | .PHONY: macrosef | |
463 | macrosef: | |
464 | $(LCLINTR) macrosef -expect 4 | |
465 | $(LCLINTR) macrosef.c +allmacros -expect 3 | |
466 | $(LCLINTR) macrosef.c +allmacros +sefuncon -expect 4 | |
467 | ||
468 | .PHONY: merge | |
469 | merge: | |
470 | $(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3 | |
471 | ||
472 | .PHONY: modifies | |
473 | modifies: | |
474 | $(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7 | |
475 | ||
476 | .PHONY: modtest | |
477 | modtest: | |
478 | $(LCLINTR) modtest -expect 10 | |
479 | $(LCLINTR) modtest +modunspec -expect 13 | |
480 | $(LCLINTR) modtest +mustmod -expect 14 | |
481 | ||
482 | .PHONY: moduncon | |
483 | moduncon: | |
484 | $(LCLINTR) moduncon.c +moduncon -memchecks -expect 4 | |
485 | $(LCLINTRN) moduncon.c +strict -exportlocal -expect 22 | |
486 | ||
487 | .PHONY: mongoincludes | |
488 | mongoincludes: | |
489 | $(LCLINTR) mongoincludes.c -includenest 1 -expect 19 | |
490 | $(LCLINTR) mongoincludes.c -includenest 2 -expect 10 | |
491 | $(LCLINTR) mongoincludes.c -includenest 3 -expect 4 | |
492 | $(LCLINTR) mongoincludes.c -includenest 4 -expect 1 | |
493 | $(LCLINTR) mongoincludes.c -includenest 5 -expect 0 | |
494 | ||
495 | .PHONY: mystrncat | |
496 | mystrncat: | |
497 | $(LCLINTR) mystrncat.c +arraybounds +arrayboundsread -expect 4 | |
498 | ||
499 | .PHONY: noeffect | |
500 | noeffect: | |
501 | ${LCLINT} -nof noeffect.c +allmacros +checks -expect 3 | |
502 | ||
503 | .PHONY: null | |
504 | null: | |
505 | $(LCLINTR) null1.c -expect 14 | |
506 | $(LCLINTR) null1.c -null -expect 4 | |
507 | $(LCLINTR) null2.c -expect 10 | |
508 | $(LCLINTR) null3.c -expect 15 | |
509 | $(LCLINTR) null3.c -warnunixlib +unixlib -expect 16 | |
510 | $(LCLINTR) null4.c -expect 1 | |
511 | $(LCLINTR) null5.c -expect 4 | |
512 | $(LCLINTR) null6 -expect 4 | |
513 | $(LCLINTR) +quiet null6.lcl -dump null6 | |
514 | $(LCLINTR) null6.c -load null6 -expect 4 | |
515 | ||
516 | ### Added for 3.0 (bugs reported by Kevin Broady) | |
517 | ||
518 | .PHONY: nullret | |
519 | nullret: | |
520 | $(LCLINTR) nullret.c -expect 2 | |
521 | $(LCLINTR) -nullret nullret.c -expect 1 | |
522 | ||
523 | .PHONY: nullassign | |
524 | nullassign: | |
525 | $(LCLINTR) nullassign.c -expect 2 | |
526 | $(LCLINTR) -nullassign nullassign.c -expect 1 | |
527 | ||
528 | ||
529 | # | |
530 | # Before 2.4, expected one more because error was reported both as | |
531 | # dependent and observer. | |
532 | # | |
533 | ||
534 | .PHONY: observer | |
535 | observer: | |
536 | $(LCLINTRN) observer +checks -exportlocal -exportheader -expect 9 | |
537 | $(LCLINTRN) observer.c +checks -exportlocal -exportheader -expect 8 | |
538 | $(LCLINTR) observer.c -expect 7 | |
539 | ||
540 | .PHONY: oldstyle | |
541 | oldstyle: | |
542 | $(LCLINTR) oldstyle -expect 3 | |
543 | ||
544 | .PHONY: outglob | |
545 | outglob: | |
546 | $(LCLINTR) outglob -expect 10 | |
547 | ||
548 | .PHONY: outparam | |
549 | outparam: | |
550 | $(LCLINTR) outparam -expect 12 | |
551 | ||
552 | ### evans 2001-08-26: postnotnull new | |
553 | ||
554 | .PHONY: postnotnull | |
555 | postnotnull: | |
556 | ${LCLINTR} postnotnull.c -expect 1 | |
557 | # | |
558 | # Four new +fcnuse errors for -strict (evans 2001-07-22) | |
559 | # | |
560 | ||
561 | .PHONY: preds | |
562 | preds: | |
563 | $(LCLINTR) +hints preds.c -expect 6 | |
564 | $(LCLINTRN) +hints preds.c -weak -expect 1 | |
565 | $(LCLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12 | |
566 | ||
567 | .PHONY: prefixes | |
568 | prefixes: | |
569 | $(LCLINTR) prefixes.c +partial | |
570 | $(LCLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4 | |
571 | $(LCLINTR) prefixes.c -typeprefix "T" -expect 2 | |
572 | $(LCLINTR) prefixes.c -typeprefix "^" -expect 1 | |
573 | $(LCLINTR) prefixes.c -typeprefix "^*" -expect 2 | |
574 | $(LCLINTR) prefixes.c -typeprefix "^%*" -expect 2 | |
575 | $(LCLINTR) prefixes.c -typeprefix "^~*" -expect 2 | |
576 | $(LCLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7 | |
577 | $(LCLINTR) prefixes.c -filestaticprefix "^^" -expect 4 | |
578 | $(LCLINTR) prefixes.c -filestaticprefix "^#" -expect 5 | |
579 | $(LCLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5 | |
580 | $(LCLINTR) prefixes.c -globalprefix "G" -expect 1 | |
581 | $(LCLINTR) prefixes.c -globalprefix "&G?_^" -expect 1 | |
582 | $(LCLINTR) prefixes.c -externalprefix "G" -expect 5 | |
583 | $(LCLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4 | |
584 | $(LCLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13 | |
585 | ||
586 | .PHONY: printflike | |
587 | printflike: | |
588 | $(LCLINTR) printflike.c -expect 6 | |
589 | $(LCLINTR) printflike.c -warnlintcomments -expect 5 | |
590 | ||
591 | .PHONY: rc | |
592 | rc: | |
593 | $(LCLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1 | |
594 | $(LCLINTR) -DMYSTERY=12 rc.c -expect 1 | |
595 | $(LCLINTR) -f rc1.lclintrc rc.c -expect 1 | |
596 | $(LCLINTR) -UMYSTERY -f rc1.lclintrc rc.c -expect 1 | |
597 | $(LCLINTR) -f rc3.lclintrc rc.c -expect 1 | |
598 | ||
599 | .PHONY: refcounts | |
600 | refcounts: | |
601 | $(LCLINTR) refcounts.c -expect 7 | |
602 | ||
603 | .PHONY: release | |
604 | release: | |
605 | $(LCLINTR) release.c +memchecks -expect 1 | |
606 | ||
607 | .PHONY: repexpose | |
608 | repexpose: | |
609 | $(LCLINTR) +lh repexpose +memchecks -expect 12 | |
610 | $(LCLINTR) repexpose +memchecks +retalias -expect 15 | |
611 | $(LCLINTRN) repexpose +checks -exportlocal -expect 27 | |
612 | ||
613 | ### returned added 2001-05-27 | |
614 | ### (Bug discovered checking lclint sources.) | |
615 | ||
616 | .PHONY: returned | |
617 | returned: | |
618 | ${LCLINTR} returned.c -expect 1 | |
619 | ||
620 | .PHONY: sharing | |
621 | sharing: | |
622 | $(LCLINTR) sharing1.c -expect 21 | |
623 | $(LCLINTR) sharing3.c -expect 3 | |
624 | $(LCLINTR) sharing4.c -expect 13 | |
625 | $(LCLINTR) sharing4.c -paramimptemp -expect 12 | |
626 | $(LCLINTR) sharing5.c -expect 6 | |
627 | ||
628 | .PHONY: slovaknames | |
629 | slovaknames: | |
630 | $(LCLINTR) +hints slovaknames.c -expect 1 | |
631 | $(LCLINTR) +hints slovaknames.c +accessslovak | |
632 | $(LCLINTR) +hints +slovak slovaknames.c -expect 3 | |
633 | $(LCLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2 | |
634 | $(LCLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7 | |
635 | ||
636 | .PHONY: specclauses | |
637 | specclauses: | |
638 | $(LCLINTR) specclauses.c -expect 6 | |
639 | $(LCLINTR) specclauses2.c -expect 8 | |
640 | $(LCLINTR) specclauses3.c -expect 6 | |
641 | $(LCLINTR) specclauses4.c -expect 3 | |
642 | $(LCLINTR) specclauses5.c -expect 3 | |
643 | ||
644 | .PHONY: special | |
645 | special: | |
646 | $(LCLINTR) special -expect 20 | |
647 | $(LCLINTR) special -relaxquals -expect 22 | |
648 | ||
649 | .PHONY: stack | |
650 | stack: | |
651 | $(LCLINTR) stack.c -expect 5 | |
652 | $(LCLINTR) stack.c -stackref | |
653 | ||
654 | .PHONY: staticarray | |
655 | staticarray: | |
656 | $(LCLINTR) staticarray.c -expect 3 | |
657 | ||
658 | .PHONY: strings | |
659 | strings: | |
660 | $(LCLINTR) strings.c -expect 3 | |
661 | $(LCLINTR) -readonlystrings -expect 1 strings.c | |
662 | $(LCLINTR) +modobserverstrict -maintype -expect 4 strings.c | |
663 | ||
664 | .PHONY: structassign | |
665 | structassign: | |
666 | $(LCLINTR) structassign.c -expect 4 | |
667 | ||
668 | .PHONY: typequals | |
669 | typequals: | |
670 | $(LCLINTR) typequals.c tq.lcl -expect 5 | |
671 | $(LCLINTR) typequals.c -expect 2 | |
672 | ||
673 | .PHONY: ud | |
674 | ud: | |
675 | $(LCLINTR) ud.c -expect 9 | |
676 | $(LCLINTR) ud2 -specundef -expect 3 | |
677 | ||
678 | .PHONY: ulstypes | |
679 | ulstypes: | |
680 | $(LCLINTR) ulstypes.c -expect 8 | |
681 | $(LCLINTR) ulstypes.c +ignorequals | |
682 | $(LCLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28 | |
683 | # 3 more detected with version 2.5 (change in -numliteral setting) | |
684 | ||
685 | .PHONY: union | |
686 | union: | |
687 | $(LCLINTR) +memchecks union.c -expect 8 | |
688 | ||
689 | .PHONY: unreachable | |
690 | unreachable: | |
691 | $(LCLINTR) unreachable.c -expect 5 | |
692 | $(LCLINTR) -unreachable unreachable.c -expect 2 | |
693 | $(LCLINTR) switch.c -expect 4 | |
694 | ||
695 | .PHONY: unsignedcompare | |
696 | unsignedcompare: | |
697 | ${LCLINTR} +posixlib unsignedcompare.c -expect 4 | |
698 | ||
699 | ||
700 | ### | |
701 | ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks | |
702 | ### | |
703 | ||
704 | .PHONY: unused | |
705 | unused: | |
706 | $(LCLINTRN) unused.c +checks -exportlocal -expect 5 | |
707 | $(LCLINTRN) unused.c +checks -exportlocal +topuse -expect 8 | |
708 | ||
709 | ### | |
710 | ### 2001-06-10: Provided by Jim Zalenka | |
711 | ### | |
712 | ||
713 | .PHONY: ullint | |
714 | ullint: | |
715 | ${LCLINTRN} ullint.c -expect 5 | |
716 | ${LCLINTRN} ullint.c +charint +charintliteral -expect 2 | |
717 | ||
718 | .PHONY: void | |
719 | void: | |
720 | ${LCLINTRN} void.c -expect 2 | |
721 | ||
722 | ### | |
723 | ### New since 2.5q: | |
724 | ### | |
725 | ||
726 | .PHONY: linked | |
727 | linked: | |
728 | ${LCLINTR} linked.c -expect 4 | |
729 | ${LCLINTR} linked2.c -expect 3 | |
730 | ${LCLINTR} linked3.c -expect 5 | |
731 | ${LCLINTR} linked4.c -expect 6 | |
732 | ${LCLINTR} linked5.c -expect 4 | |
733 | ${LCLINTR} linked6.c -expect 4 | |
734 | ||
735 | .PHONY: freearray | |
736 | freearray: | |
737 | ${LCLINTR} freearray.c -expect 1 | |
738 | ||
739 | ### | |
740 | ### Bugs fixed and new features since version 2.1b | |
741 | ### | |
742 | ||
743 | SUBDIRTESTS += tests2.2 | |
a469ccf0 | 744 | SUBDIRTESTS += tests2.2a |
8fe44445 | 745 | SUBDIRTESTS += tests2.4 |
746 | ||
a469ccf0 | 747 | .PHONY: sizeof |
748 | sizeof: | |
749 | $(LCLINTR) +arraybounds +arrayboundsread sizeof.c -expect 1 | |
750 | ||
751 | .PHONY: buffertest | |
752 | buffertest: | |
753 | $(LCLINTR) +arraybounds +arrayboundsread buffertest1.c -expect 5 | |
8fe44445 | 754 | |
755 | SUBDIRTESTS += tests2.5 | |
756 | ||
757 | ## Integration Tests | |
758 | ||
759 | ## evans 2000-12-22 | |
760 | ## db2: 2 errors are no longer reported, since eref is immutable. | |
761 | ## Need to clarify what it means for an object to be immutable; | |
762 | ## there should be 2 types with different storage requirements. | |
763 | ||
764 | SUBDIRTESTS += db1 db2 db3 | |
765 | ||
766 | .PHONY: $(SUBDIRTESTS) | |
767 | $(SUBDIRTESTS): | |
a469ccf0 | 768 | cd $@; $(MAKE) LCLINT="$(LCLINTRNNEST)" |
769 | ||
770 |