]>
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 | |
6c9a3167 | 13 | unexport LARCH_PATH |
14 | unexport LCLIMPORTDIR | |
15 | ||
16 | ||
a469ccf0 | 17 | ### This is horrible! Can't we make top_builddir absolute? |
53a89507 | 18 | LCLINTNEST = ../$(top_builddir)/src/lclint$(EXEEXT) |
a469ccf0 | 19 | |
20 | LCLINTPNEST = @$(LCLINTNEST) | |
8fe44445 | 21 | LCLINTP = @$(LCLINT) |
22 | ||
23 | # Make sure .lclintrc files are not used so test results do not | |
24 | # depend on local settings. | |
25 | LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool" | |
26 | LCLINTR = $(LCLINTRN) -exportlocal +debugfcnconstraint | |
27 | ||
a469ccf0 | 28 | LCLINTRNNEST = $(LCLINTPNEST) -nof -hints -booltype "bool" |
29 | LCLINTRNEST = $(LCLINTRNNEST) -exportlocal +debugfcnconstraint | |
30 | ||
8fe44445 | 31 | ## Currently disabled tests: |
32 | ## fileio tainted mergestate nullret nullassign warnuse metastate \ | |
33 | ## nullret nullassign warnuse | |
34 | ||
35 | ### | |
36 | ### !!! | |
37 | ### These tests have been temporarily removed because of problems with the new build process: | |
a469ccf0 | 38 | ### fileio tainted mergestate metastate \ |
8fe44445 | 39 | ### tests2.2 tests2.2a tests2.4 tests2.5 |
a469ccf0 | 40 | ### |
8fe44445 | 41 | ### maxset strchr for |
42 | ||
43 | UNITTESTS = \ | |
a469ccf0 | 44 | help \ |
45 | fileio tainted mergestate metastate sizeof buffertest \ | |
1f11dead | 46 | tests2.2 tests2.4 tests2.5 \ |
30585c35 | 47 | simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ |
a469ccf0 | 48 | maxset strchr for \ |
8fe44445 | 49 | abstptr abstract alias alttypes ansireserved argorder \ |
50 | args blocks break cases cast charlit clauses commentchar compdestroy \ | |
51 | constannot controldepth csyntax czechnames czechoslovaknames deadparam \ | |
52 | decl enum exports external fields flags forbody format freearray \ | |
53 | funcpointer glob globals impabstract init inparam internal iter keep libs \ | |
54 | linked lintcomments list macros macrosef merge modifies modtest moduncon \ | |
55 | mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \ | |
56 | postnotnull preds prefixes printflike rc refcounts release repexpose \ | |
57 | returned sharing slovaknames specclauses special stack staticarray strings \ | |
58 | structassign typequals ud ulstypes union unreachable unsignedcompare \ | |
59 | unused ullint void | |
60 | UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS)) | |
61 | ||
62 | INTEGTESTS = db1 db2 db3 | |
63 | INTEGEXPECTS = $(addsuffix .expect, $(INTEGTESTS)) | |
64 | ||
65 | LCLINTTESTS = $(UNITTESTS) $(INTEGTESTS) | |
66 | ||
67 | QUICKTESTS = db3 | |
68 | ||
69 | .PHONY: all check | |
70 | all check: fulltest | |
71 | ||
72 | .PHONY: version | |
73 | version: | |
74 | -$(LCLINTP) -help version | |
75 | ||
76 | .PHONY: help | |
77 | help: | |
78 | -@$(LCLINTP) | |
a469ccf0 | 79 | -@LARCH_PATH=/dev/null; $(LCLINT) empty.lcl |
8fe44445 | 80 | -@$(LCLINTP) -help |
81 | -@$(LCLINTP) -asdf | |
82 | -@$(LCLINTP) +boolint +boolint | |
83 | -@$(LCLINTP) -help flags alpha | |
84 | -@$(LCLINTP) -help flags all | |
85 | ||
86 | .PHONY: clean-local | |
87 | clean-local: | |
88 | -rm -f *~ #*# *.o *.lcs a.out | |
89 | -cd db1; $(MAKE) clean | |
90 | -cd db2; $(MAKE) clean | |
91 | -cd db3; $(MAKE) clean | |
92 | ||
93 | ## All tests need lclint to be built | |
94 | ||
95 | $(LCLINTTESTS): $(LCLINT) | |
96 | ||
97 | $(LCLINT): | |
98 | cd $(top_builddir)/src; $(MAKE) | |
99 | ||
100 | ## This is a kludgey way of processing the output to make it match exactly | |
101 | ## The last matcher is the most annoying, as it can differ (the first two are | |
102 | ## pretty much fixed); usually, you'll have 'make[1]:', but on DOS it is | |
103 | ## 'make.exe[1]:' (it might even be 'c:/path/to/make.exe[1]:', but that's | |
104 | ## not supported). | |
105 | ## The tests should really be re-done as shell-scripts or something... maybe | |
106 | ## autotest could be used once it's finished. | |
107 | CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "$(LCLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | |
108 | ||
109 | ## Not real C code | |
110 | ||
111 | .c.expect: | |
112 | $(MAKE) $* |& $(CLEANOUTPUT) >$*.expect && cat $*.expect | |
113 | ||
114 | .c.diff: | |
115 | $(MAKE) $* |& $(CLEANOUTPUT) >$*.out && diff $*.expect $*.out | |
116 | ||
6c9a3167 | 117 | #drl temporally take this out. |
118 | #.PHONY: expects | |
119 | #expects: | |
120 | # @echo "Saving old expects..."; \ | |
121 | # cat *.expect >expects-`date +"%y-%m-%d-%H"` | |
122 | # @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ | |
123 | # echo "Making $$TEST.expect..."; \ | |
124 | # $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ | |
125 | # cat $$TEST.expect; \ | |
126 | # done | |
8fe44445 | 127 | |
128 | .PHONY: quicktest | |
129 | quicktest: | |
130 | @for TEST in $(QUICKTESTS); do \ | |
131 | echo "Checking $$TEST..."; \ | |
132 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ | |
133 | $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \ | |
134 | echo "*** FAIL ***"; \ | |
135 | done | |
136 | ||
137 | .PHONY: fulltest | |
138 | fulltest: | |
139 | @echo "Testing $(PACKAGE) $(VERSION)..." | |
140 | @echo | |
141 | @echo "Version Info:" | |
142 | @$(LCLINTP) -help version | |
143 | @$(LCLINTP) -help vars | |
144 | @echo "" | |
145 | @echo "Unit tests:" | |
146 | @echo "" | |
147 | @for TEST in $(UNITTESTS); do \ | |
148 | echo "Checking $$TEST..."; \ | |
149 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ | |
150 | $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \ | |
151 | echo "*** FAIL ***"; \ | |
152 | done | |
a469ccf0 | 153 | @echo "" |
154 | @echo "Integration tests:" | |
155 | @echo "" | |
156 | @for TEST in $(INTEGTESTS); do \ | |
157 | echo "Checking $$TEST..."; \ | |
158 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ | |
159 | $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \ | |
160 | echo "*** FAIL ***"; \ | |
161 | done | |
8fe44445 | 162 | |
a469ccf0 | 163 | ### Rules for tests start here |
8fe44445 | 164 | |
a469ccf0 | 165 | SUBDIRTESTS = metastate mergestate tainted fileio warnuse ensuresclauses \ |
30585c35 | 166 | simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ |
a469ccf0 | 167 | maxset strchr for |
8fe44445 | 168 | |
169 | .PHONY: abstptr | |
170 | abstptr: | |
171 | $(LCLINTR) abstptr -expect 9 | |
172 | $(LCLINTR) abstptr +voidabstract -expect 6 | |
173 | ||
174 | .PHONY: abstract | |
175 | abstract: | |
176 | $(LCLINTR) abst_t.lcl commentcmd.c -expect 15 | |
177 | ||
178 | .PHONY: alias | |
179 | alias: | |
180 | $(LCLINTR) +lh mut | |
181 | $(LCLINTR) mut alias +globalias -expect 19 | |
182 | $(LCLINTR) mut alias2 +globalias -expect 17 | |
183 | $(LCLINTR) +lh alias3 -expect 14 | |
184 | $(LCLINTR) +lh alias4 +boolint | |
185 | $(LCLINTR) alias4 -pred +retalias -expect 6 | |
186 | $(LCLINTR) +lh alias5 +memchecks -null -specundef -expect 5 | |
187 | ||
188 | .PHONY: alttypes | |
189 | alttypes: | |
190 | $(LCLINTR) alttypes.c -expect 2 | |
191 | ||
192 | ### | |
193 | ### evans 2001-06-07 - updated nameCheck.c to reflect C9X. | |
194 | ### Reports one new errors for ansireserved.c - wctomb is bad even as a local | |
195 | ### variable (could be a macro?) | |
196 | ### Reports 3 additional errors for +checks; no longer suppresses name errors | |
197 | ### in the presense of other errors. | |
198 | ### | |
199 | ||
200 | .PHONY: ansireserved | |
201 | ansireserved: | |
202 | $(LCLINTR) ansireserved.c +ansireserved -nolib -expect 9 | |
203 | $(LCLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11 | |
204 | $(LCLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12 | |
205 | $(LCLINTR) ansireserved2.c +ansireserved -expect 1 | |
206 | ||
207 | .PHONY: argorder | |
208 | argorder: | |
209 | $(LCLINTR) argorder.c -expect 4 | |
210 | $(LCLINTR) argorder2 -expect 5 | |
211 | $(LCLINTR) argorder3.c -expect 8 | |
212 | $(LCLINTR) argorder4 -expect 9 | |
213 | $(LCLINTR) argorder4 -evalorder -expect 1 | |
214 | $(LCLINTR) argorder5.c +evalorderuncon -expect 3 | |
215 | ||
216 | .PHONY: args | |
217 | args: | |
218 | $(LCLINTR) args -noeffect -expect 12 | |
219 | ||
220 | .PHONY: blocks | |
221 | blocks: | |
222 | $(LCLINTR) blocks.c -expect 4 | |
223 | $(LCLINTR) blocks.c +ifblock +elseifcomplete -expect 7 | |
224 | $(LCLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3 | |
225 | $(LCLINTR) blocks.c -ifempty +forempty +forblock -expect 3 | |
226 | $(LCLINTR) blocks.c +allempty -expect 6 | |
227 | $(LCLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11 | |
228 | ||
229 | .PHONY: break | |
230 | break: | |
231 | $(LCLINTR) break.c -expect 4 | |
232 | $(LCLINTR) break.c +deepbreak -expect 6 | |
233 | $(LCLINTR) break.c +deepbreak -looploopbreak -expect 5 | |
234 | ||
235 | .PHONY: cases | |
236 | cases: | |
237 | $(LCLINTR) cases.c -expect 5 | |
238 | $(LCLINTR) cases2.c -expect 2 | |
239 | $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3 | |
240 | $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3 | |
241 | ||
242 | .PHONY: cast | |
243 | cast: | |
244 | $(LCLINTR) cast -accessmodule -expect 20 | |
245 | $(LCLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3 | |
246 | ||
247 | ### Two addition errors detected with 2.5 with -numliteral. | |
248 | ||
249 | .PHONY: charlit | |
250 | charlit: | |
251 | $(LCLINTR) +hints charlit.c -expect 4 | |
252 | $(LCLINTR) +hints -numliteral charlit.c -expect 6 | |
253 | $(LCLINTR) +hints charlit.c +charintliteral +ignoresigns | |
254 | ||
255 | .PHONY: clauses | |
256 | clauses: | |
257 | $(LCLINTR) clauses.c +memchecks -expect 4 | |
258 | $(LCLINTR) clauses2.c +memchecks | |
259 | $(LCLINTR) clauses3.c +memchecks -expect 2 | |
260 | $(LCLINTR) clauses3.c +memchecks +unixlib -expect 3 | |
261 | ||
262 | .PHONY: commentchar | |
263 | commentchar: | |
264 | $(LCLINTR) commentchar.c -expect 4 | |
265 | $(LCLINTR) -commentchar '#' commentchar.c -expect 4 | |
266 | ||
267 | .PHONY: controldepth | |
268 | controldepth: | |
269 | $(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2 | |
270 | $(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2 | |
271 | ||
272 | .PHONY: compdestroy | |
273 | compdestroy: | |
274 | $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1 | |
275 | $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2 | |
276 | $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3 | |
277 | $(LCLINTRN) compdestroy.c +strict +partial -exportheader -expect 3 | |
278 | ||
279 | .PHONY: constannot | |
280 | constannot: | |
281 | ${LCLINTRN} constannot.c +arraybounds -exportlocal -expect 2 | |
282 | ||
283 | .PHONY: csyntax | |
284 | csyntax: | |
285 | $(LCLINTR) +quiet -incondefs csyntax.c -expect 1 | |
286 | $(LCLINTR) +quiet csyntax2.c -expect 2 | |
287 | $(LCLINTR) +quiet csyntax3.c -expect 1 | |
288 | $(LCLINTR) +quiet -incondefs csyntax4.c | |
289 | $(LCLINTR) +quiet csyntax5.c | |
290 | $(LCLINTR) +quiet csyntax6.c | |
291 | $(LCLINTR) +quiet csyntax7.c | |
292 | $(LCLINTR) +quiet csyntax8.c | |
293 | $(LCLINTR) +quiet csyntax9.c | |
294 | $(LCLINTR) +quiet csyntax10.c | |
295 | $(LCLINTR) +quiet csyntax11.c | |
296 | $(LCLINTR) +quiet csyntax12.c | |
297 | $(LCLINTR) +quiet csyntax13.c -expect 1 | |
298 | $(LCLINTR) +quiet csyntax14.c | |
299 | $(LCLINTR) +quiet csyntax15.c | |
300 | $(LCLINTR) +quiet csyntax16.c -expect 2 | |
301 | $(LCLINTR) +quiet csyntax17.c -expect 3 | |
302 | ||
303 | .PHONY: czechnames | |
304 | czechnames: | |
305 | $(LCLINTR) czechnames.c | |
306 | $(LCLINTR) +hints +czech czechnames.c -expect 2 | |
307 | $(LCLINTR) +hints +czech -czechvars czechnames.c -expect 1 | |
308 | $(LCLINTR) +hints +czech -accessczech czechnames.c -expect 6 | |
309 | ||
310 | .PHONY: czechoslovaknames | |
311 | czechoslovaknames: | |
312 | $(LCLINTR) +hints +czechoslovak czechnames.c -expect 1 | |
313 | $(LCLINTR) +hints +czechoslovak slovaknames.c -expect 1 | |
314 | $(LCLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2 | |
315 | ||
316 | ### | |
317 | ### deadparam added 2001-05-27 | |
318 | ### | |
319 | ||
320 | .PHONY: deadparam | |
321 | deadparam: | |
322 | ${LCLINTR} deadparam.c -expect 3 | |
323 | ||
324 | # | |
325 | # Was expect 3 before 2.4. Earlier versions did not handle implicit | |
326 | # function pointers correctly. | |
327 | # | |
328 | ||
329 | .PHONY: decl | |
330 | decl: | |
331 | $(LCLINTR) decl.c -expect 2 | |
332 | $(LCLINTRN) decl.c +strict -exportlocal -expect 5 | |
333 | $(LCLINTR) decl2 -expect 4 | |
334 | ||
335 | .PHONY: enum | |
336 | enum: | |
337 | $(LCLINTR) enum -expect 16 | |
338 | $(LCLINTR) enum -misscase -expect 14 | |
339 | ||
340 | .PHONY: exports | |
341 | exports: | |
342 | $(LCLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6 | |
343 | $(LCLINTR) exports.c +exportany -expect 3 | |
344 | $(LCLINTR) exports.c | |
345 | ||
346 | .PHONY: external | |
347 | external: | |
348 | $(LCLINTR) external.c +partial | |
349 | $(LCLINTR) external.c +partial +distinctexternalnames -expect 2 | |
350 | $(LCLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3 | |
351 | $(LCLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3 | |
352 | $(LCLINTR) external.c +partial -externalnamelength 3 -expect 4 | |
353 | ||
354 | .PHONY: fields | |
355 | fields: | |
356 | $(LCLINTR) fields.c +memchecks -expect 6 | |
357 | $(LCLINTR) fields2.c +memchecks -expect 5 | |
358 | $(LCLINTR) fields3.c +memchecks | |
359 | ||
360 | .PHONY: flags | |
361 | flags: | |
362 | $(LCLINTR) flags.c -expect 8 | |
363 | $(LCLINTR) +nocomments flags.c -expect 2 | |
364 | ||
365 | ### Added 2001-06-02 | |
366 | ||
367 | .PHONY: forbody | |
368 | forbody: | |
369 | ${LCLINTR} forbody.c -expect 2 | |
370 | ||
371 | ### Added 2001-06-03 | |
372 | .PHONY: format | |
373 | format: | |
374 | ${LCLINTR} format.c -expect 3 | |
375 | ${LCLINTR} format.c -formatconst | |
376 | ||
377 | # two new errors (invalid lhs) | |
378 | ||
379 | .PHONY: funcpointer | |
380 | funcpointer: | |
381 | $(LCLINTR) +memchecks +noparams funcpointer.c -expect 18 | |
382 | ||
383 | .PHONY: glob | |
384 | glob: | |
385 | $(LCLINTR) glob -expect 4 | |
386 | $(LCLINTR) glob -globuse -expect 3 | |
387 | $(LCLINTR) glob +globunspec -expect 6 | |
388 | ||
389 | .PHONY: globals | |
390 | globals: | |
391 | $(LCLINTR) -modifies globals.c -expect 5 | |
392 | $(LCLINTR) -modifies globals.c +allglobals -expect 6 | |
393 | $(LCLINTR) -modifies globals.c +impcheckedglobals -expect 6 | |
394 | $(LCLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2 | |
395 | $(LCLINTR) -modifies globals.c +globunspec -expect 6 | |
396 | $(LCLINTR) -modifies globals.c +globunspec +allglobals -expect 8 | |
397 | ||
398 | # Was -accessfile | |
399 | .PHONY: impabstract | |
400 | impabstract: | |
401 | $(LCLINTR) -accessmodule impabstract.c | |
402 | $(LCLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2 | |
403 | $(LCLINTR) -accessmodule +hints +impabstract impabstract -expect 4 | |
404 | ||
405 | ### evans 2001-10-14: Expected errors updated | |
406 | .PHONY: init | |
407 | init: | |
408 | $(LCLINTR) init.c -expect 14 | |
409 | $(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17 | |
410 | ||
411 | ||
412 | .PHONY: inparam | |
413 | inparam: | |
414 | $(LCLINTR) inparam.c -expect 2 | |
415 | $(LCLINTR) +impouts inparam.c -expect 1 | |
416 | ||
417 | .PHONY: internal | |
418 | internal: | |
419 | $(LCLINTR) internal.c -expect 1 | |
420 | $(LCLINTR) internal.c +distinctinternalnames -expect 2 | |
421 | $(LCLINTR) internal.c -internalnamelen 28 -expect 3 | |
422 | $(LCLINTR) internal.c +internalnamecaseinsensitive -expect 3 | |
423 | $(LCLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11 | |
424 | ||
425 | ### | |
426 | ### iter | |
427 | ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6 | |
428 | ### | |
429 | ||
430 | .PHONY: iter | |
431 | iter: | |
432 | $(LCLINTR) iter -expect 14 -lclexpect 1 | |
433 | $(LCLINTR) iter2.c -expect 12 | |
434 | ||
435 | .PHONY: keep | |
436 | keep: | |
437 | $(LCLINTR) keep.c +memchecks -expect 6 | |
438 | ||
439 | ### libs | |
440 | ### 2001-05-22: 2 new errors found (fixed spec of signal) | |
441 | ### 2001-05-30: 3 new errors found (formatconst) | |
442 | ||
443 | .PHONY: libs | |
444 | libs: | |
445 | $(LCLINTR) libs.c +longunsignedunsignedintegral -expect 18 | |
446 | $(LCLINTR) libs.c -expect 22 | |
447 | $(LCLINTR) libs.c +globunspec +modunspec -expect 25 | |
448 | $(LCLINTR) libs.c +strictlib +globunspec +modunspec -expect 42 | |
449 | ||
450 | .PHONY: lintcomments | |
451 | lintcomments: | |
452 | $(LCLINTR) lintcomments.c -expect 4 | |
453 | $(LCLINTR) lintcomments.c -warnlintcomments -expect 1 | |
454 | $(LCLINTR) lintcomments.c -lintcomments -expect 4 | |
455 | ||
456 | .PHONY: list | |
457 | list: | |
458 | $(LCLINTR) list.c -expect 3 | |
459 | ||
460 | .PHONY: macros | |
461 | macros: | |
462 | $(LCLINTR) macros -expect 17 | |
463 | $(LCLINTR) macros.c +allmacros -expect 34 | |
464 | $(LCLINTR) macros.c +fcnmacros -expect 31 | |
465 | ||
466 | ||
467 | .PHONY: macrosef | |
468 | macrosef: | |
469 | $(LCLINTR) macrosef -expect 4 | |
470 | $(LCLINTR) macrosef.c +allmacros -expect 3 | |
471 | $(LCLINTR) macrosef.c +allmacros +sefuncon -expect 4 | |
472 | ||
473 | .PHONY: merge | |
474 | merge: | |
475 | $(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3 | |
476 | ||
477 | .PHONY: modifies | |
478 | modifies: | |
479 | $(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7 | |
480 | ||
481 | .PHONY: modtest | |
482 | modtest: | |
483 | $(LCLINTR) modtest -expect 10 | |
484 | $(LCLINTR) modtest +modunspec -expect 13 | |
485 | $(LCLINTR) modtest +mustmod -expect 14 | |
486 | ||
487 | .PHONY: moduncon | |
488 | moduncon: | |
489 | $(LCLINTR) moduncon.c +moduncon -memchecks -expect 4 | |
490 | $(LCLINTRN) moduncon.c +strict -exportlocal -expect 22 | |
491 | ||
492 | .PHONY: mongoincludes | |
493 | mongoincludes: | |
494 | $(LCLINTR) mongoincludes.c -includenest 1 -expect 19 | |
495 | $(LCLINTR) mongoincludes.c -includenest 2 -expect 10 | |
496 | $(LCLINTR) mongoincludes.c -includenest 3 -expect 4 | |
497 | $(LCLINTR) mongoincludes.c -includenest 4 -expect 1 | |
498 | $(LCLINTR) mongoincludes.c -includenest 5 -expect 0 | |
499 | ||
500 | .PHONY: mystrncat | |
501 | mystrncat: | |
502 | $(LCLINTR) mystrncat.c +arraybounds +arrayboundsread -expect 4 | |
503 | ||
504 | .PHONY: noeffect | |
505 | noeffect: | |
506 | ${LCLINT} -nof noeffect.c +allmacros +checks -expect 3 | |
507 | ||
508 | .PHONY: null | |
509 | null: | |
510 | $(LCLINTR) null1.c -expect 14 | |
511 | $(LCLINTR) null1.c -null -expect 4 | |
512 | $(LCLINTR) null2.c -expect 10 | |
513 | $(LCLINTR) null3.c -expect 15 | |
514 | $(LCLINTR) null3.c -warnunixlib +unixlib -expect 16 | |
515 | $(LCLINTR) null4.c -expect 1 | |
516 | $(LCLINTR) null5.c -expect 4 | |
517 | $(LCLINTR) null6 -expect 4 | |
518 | $(LCLINTR) +quiet null6.lcl -dump null6 | |
519 | $(LCLINTR) null6.c -load null6 -expect 4 | |
520 | ||
521 | ### Added for 3.0 (bugs reported by Kevin Broady) | |
522 | ||
523 | .PHONY: nullret | |
524 | nullret: | |
525 | $(LCLINTR) nullret.c -expect 2 | |
526 | $(LCLINTR) -nullret nullret.c -expect 1 | |
527 | ||
528 | .PHONY: nullassign | |
529 | nullassign: | |
530 | $(LCLINTR) nullassign.c -expect 2 | |
531 | $(LCLINTR) -nullassign nullassign.c -expect 1 | |
532 | ||
533 | ||
534 | # | |
535 | # Before 2.4, expected one more because error was reported both as | |
536 | # dependent and observer. | |
537 | # | |
538 | ||
539 | .PHONY: observer | |
540 | observer: | |
541 | $(LCLINTRN) observer +checks -exportlocal -exportheader -expect 9 | |
542 | $(LCLINTRN) observer.c +checks -exportlocal -exportheader -expect 8 | |
543 | $(LCLINTR) observer.c -expect 7 | |
544 | ||
545 | .PHONY: oldstyle | |
546 | oldstyle: | |
547 | $(LCLINTR) oldstyle -expect 3 | |
548 | ||
549 | .PHONY: outglob | |
550 | outglob: | |
551 | $(LCLINTR) outglob -expect 10 | |
552 | ||
553 | .PHONY: outparam | |
554 | outparam: | |
555 | $(LCLINTR) outparam -expect 12 | |
556 | ||
557 | ### evans 2001-08-26: postnotnull new | |
558 | ||
559 | .PHONY: postnotnull | |
560 | postnotnull: | |
561 | ${LCLINTR} postnotnull.c -expect 1 | |
562 | # | |
563 | # Four new +fcnuse errors for -strict (evans 2001-07-22) | |
564 | # | |
565 | ||
566 | .PHONY: preds | |
567 | preds: | |
568 | $(LCLINTR) +hints preds.c -expect 6 | |
569 | $(LCLINTRN) +hints preds.c -weak -expect 1 | |
570 | $(LCLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12 | |
571 | ||
572 | .PHONY: prefixes | |
573 | prefixes: | |
574 | $(LCLINTR) prefixes.c +partial | |
575 | $(LCLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4 | |
576 | $(LCLINTR) prefixes.c -typeprefix "T" -expect 2 | |
577 | $(LCLINTR) prefixes.c -typeprefix "^" -expect 1 | |
578 | $(LCLINTR) prefixes.c -typeprefix "^*" -expect 2 | |
579 | $(LCLINTR) prefixes.c -typeprefix "^%*" -expect 2 | |
580 | $(LCLINTR) prefixes.c -typeprefix "^~*" -expect 2 | |
581 | $(LCLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7 | |
582 | $(LCLINTR) prefixes.c -filestaticprefix "^^" -expect 4 | |
583 | $(LCLINTR) prefixes.c -filestaticprefix "^#" -expect 5 | |
584 | $(LCLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5 | |
585 | $(LCLINTR) prefixes.c -globalprefix "G" -expect 1 | |
586 | $(LCLINTR) prefixes.c -globalprefix "&G?_^" -expect 1 | |
587 | $(LCLINTR) prefixes.c -externalprefix "G" -expect 5 | |
588 | $(LCLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4 | |
589 | $(LCLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13 | |
590 | ||
591 | .PHONY: printflike | |
592 | printflike: | |
593 | $(LCLINTR) printflike.c -expect 6 | |
594 | $(LCLINTR) printflike.c -warnlintcomments -expect 5 | |
595 | ||
596 | .PHONY: rc | |
597 | rc: | |
598 | $(LCLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1 | |
599 | $(LCLINTR) -DMYSTERY=12 rc.c -expect 1 | |
600 | $(LCLINTR) -f rc1.lclintrc rc.c -expect 1 | |
601 | $(LCLINTR) -UMYSTERY -f rc1.lclintrc rc.c -expect 1 | |
602 | $(LCLINTR) -f rc3.lclintrc rc.c -expect 1 | |
603 | ||
604 | .PHONY: refcounts | |
605 | refcounts: | |
606 | $(LCLINTR) refcounts.c -expect 7 | |
607 | ||
608 | .PHONY: release | |
609 | release: | |
610 | $(LCLINTR) release.c +memchecks -expect 1 | |
611 | ||
612 | .PHONY: repexpose | |
613 | repexpose: | |
614 | $(LCLINTR) +lh repexpose +memchecks -expect 12 | |
615 | $(LCLINTR) repexpose +memchecks +retalias -expect 15 | |
616 | $(LCLINTRN) repexpose +checks -exportlocal -expect 27 | |
617 | ||
618 | ### returned added 2001-05-27 | |
619 | ### (Bug discovered checking lclint sources.) | |
620 | ||
621 | .PHONY: returned | |
622 | returned: | |
623 | ${LCLINTR} returned.c -expect 1 | |
624 | ||
625 | .PHONY: sharing | |
626 | sharing: | |
627 | $(LCLINTR) sharing1.c -expect 21 | |
628 | $(LCLINTR) sharing3.c -expect 3 | |
629 | $(LCLINTR) sharing4.c -expect 13 | |
630 | $(LCLINTR) sharing4.c -paramimptemp -expect 12 | |
631 | $(LCLINTR) sharing5.c -expect 6 | |
632 | ||
633 | .PHONY: slovaknames | |
634 | slovaknames: | |
635 | $(LCLINTR) +hints slovaknames.c -expect 1 | |
636 | $(LCLINTR) +hints slovaknames.c +accessslovak | |
637 | $(LCLINTR) +hints +slovak slovaknames.c -expect 3 | |
638 | $(LCLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2 | |
639 | $(LCLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7 | |
640 | ||
641 | .PHONY: specclauses | |
642 | specclauses: | |
643 | $(LCLINTR) specclauses.c -expect 6 | |
644 | $(LCLINTR) specclauses2.c -expect 8 | |
645 | $(LCLINTR) specclauses3.c -expect 6 | |
646 | $(LCLINTR) specclauses4.c -expect 3 | |
647 | $(LCLINTR) specclauses5.c -expect 3 | |
648 | ||
649 | .PHONY: special | |
650 | special: | |
651 | $(LCLINTR) special -expect 20 | |
652 | $(LCLINTR) special -relaxquals -expect 22 | |
653 | ||
654 | .PHONY: stack | |
655 | stack: | |
656 | $(LCLINTR) stack.c -expect 5 | |
657 | $(LCLINTR) stack.c -stackref | |
658 | ||
659 | .PHONY: staticarray | |
660 | staticarray: | |
661 | $(LCLINTR) staticarray.c -expect 3 | |
662 | ||
663 | .PHONY: strings | |
664 | strings: | |
665 | $(LCLINTR) strings.c -expect 3 | |
666 | $(LCLINTR) -readonlystrings -expect 1 strings.c | |
667 | $(LCLINTR) +modobserverstrict -maintype -expect 4 strings.c | |
668 | ||
669 | .PHONY: structassign | |
670 | structassign: | |
671 | $(LCLINTR) structassign.c -expect 4 | |
672 | ||
673 | .PHONY: typequals | |
674 | typequals: | |
675 | $(LCLINTR) typequals.c tq.lcl -expect 5 | |
676 | $(LCLINTR) typequals.c -expect 2 | |
677 | ||
678 | .PHONY: ud | |
679 | ud: | |
680 | $(LCLINTR) ud.c -expect 9 | |
681 | $(LCLINTR) ud2 -specundef -expect 3 | |
682 | ||
683 | .PHONY: ulstypes | |
684 | ulstypes: | |
685 | $(LCLINTR) ulstypes.c -expect 8 | |
686 | $(LCLINTR) ulstypes.c +ignorequals | |
687 | $(LCLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28 | |
688 | # 3 more detected with version 2.5 (change in -numliteral setting) | |
689 | ||
690 | .PHONY: union | |
691 | union: | |
692 | $(LCLINTR) +memchecks union.c -expect 8 | |
693 | ||
694 | .PHONY: unreachable | |
695 | unreachable: | |
696 | $(LCLINTR) unreachable.c -expect 5 | |
697 | $(LCLINTR) -unreachable unreachable.c -expect 2 | |
698 | $(LCLINTR) switch.c -expect 4 | |
699 | ||
700 | .PHONY: unsignedcompare | |
701 | unsignedcompare: | |
702 | ${LCLINTR} +posixlib unsignedcompare.c -expect 4 | |
703 | ||
704 | ||
705 | ### | |
706 | ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks | |
707 | ### | |
708 | ||
709 | .PHONY: unused | |
710 | unused: | |
711 | $(LCLINTRN) unused.c +checks -exportlocal -expect 5 | |
712 | $(LCLINTRN) unused.c +checks -exportlocal +topuse -expect 8 | |
713 | ||
714 | ### | |
715 | ### 2001-06-10: Provided by Jim Zalenka | |
716 | ### | |
717 | ||
718 | .PHONY: ullint | |
719 | ullint: | |
720 | ${LCLINTRN} ullint.c -expect 5 | |
721 | ${LCLINTRN} ullint.c +charint +charintliteral -expect 2 | |
722 | ||
723 | .PHONY: void | |
724 | void: | |
725 | ${LCLINTRN} void.c -expect 2 | |
726 | ||
727 | ### | |
728 | ### New since 2.5q: | |
729 | ### | |
730 | ||
731 | .PHONY: linked | |
732 | linked: | |
733 | ${LCLINTR} linked.c -expect 4 | |
734 | ${LCLINTR} linked2.c -expect 3 | |
735 | ${LCLINTR} linked3.c -expect 5 | |
736 | ${LCLINTR} linked4.c -expect 6 | |
737 | ${LCLINTR} linked5.c -expect 4 | |
738 | ${LCLINTR} linked6.c -expect 4 | |
739 | ||
740 | .PHONY: freearray | |
741 | freearray: | |
742 | ${LCLINTR} freearray.c -expect 1 | |
743 | ||
744 | ### | |
745 | ### Bugs fixed and new features since version 2.1b | |
746 | ### | |
747 | ||
748 | SUBDIRTESTS += tests2.2 | |
a469ccf0 | 749 | SUBDIRTESTS += tests2.2a |
8fe44445 | 750 | SUBDIRTESTS += tests2.4 |
751 | ||
a469ccf0 | 752 | .PHONY: sizeof |
753 | sizeof: | |
754 | $(LCLINTR) +arraybounds +arrayboundsread sizeof.c -expect 1 | |
755 | ||
756 | .PHONY: buffertest | |
757 | buffertest: | |
758 | $(LCLINTR) +arraybounds +arrayboundsread buffertest1.c -expect 5 | |
8fe44445 | 759 | |
760 | SUBDIRTESTS += tests2.5 | |
761 | ||
762 | ## Integration Tests | |
763 | ||
764 | ## evans 2000-12-22 | |
765 | ## db2: 2 errors are no longer reported, since eref is immutable. | |
766 | ## Need to clarify what it means for an object to be immutable; | |
767 | ## there should be 2 types with different storage requirements. | |
768 | ||
769 | SUBDIRTESTS += db1 db2 db3 | |
770 | ||
771 | .PHONY: $(SUBDIRTESTS) | |
772 | $(SUBDIRTESTS): | |
a469ccf0 | 773 | cd $@; $(MAKE) LCLINT="$(LCLINTRNNEST)" |
774 | ||
6c9a3167 | 775 | #drl 11/29/2001 This is a very ugly hack to get make dist to work |
776 | EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ | |
777 | ./abstptr.lcl ./abstptr.lcs \ | |
778 | ./alias.lcl ./alias.lcs \ | |
779 | ./alias2.lcl ./alias2.lcs \ | |
780 | ./alias3.lcl \ | |
781 | ./db1/erc.lcl \ | |
782 | ./db1/bool.lcl \ | |
783 | ./db1/dbase.lcl \ | |
784 | ./db1/employee.lcl \ | |
785 | ./db1/empset.lcl \ | |
786 | ./db1/eref.lcl \ | |
787 | ./db1/ereftab.lcl \ | |
788 | ./alias3.lcs \ | |
789 | ./alias3.lh \ | |
790 | ./alias4.lcl \ | |
791 | ./alias4.lcs \ | |
792 | ./alias4.lh \ | |
793 | ./alias5.lcl \ | |
794 | ./alias5.lcs \ | |
795 | ./alias5.lh \ | |
796 | ./argorder2.lcl \ | |
797 | ./argorder2.lcs \ | |
798 | ./argorder4.lcl \ | |
799 | ./argorder4.lcs \ | |
800 | ./args.lcl \ | |
801 | ./args.lcs \ | |
802 | ./cast.lcl \ | |
803 | ./cast.lcs \ | |
804 | ./decl2.lcl \ | |
805 | ./decl2.lcs \ | |
806 | ./empty.lcl \ | |
807 | ./enum.lcl \ | |
808 | ./enum.lcs \ | |
809 | ./glob.lcl \ | |
810 | ./glob.lcs \ | |
811 | ./impabstract.lcl \ | |
812 | ./impabstract.lcs \ | |
813 | ./iter.lcl \ | |
814 | ./iter.lcs \ | |
815 | ./macros.lcl \ | |
816 | ./macros.lcs \ | |
817 | ./macrosef.lcl \ | |
818 | ./macrosef.lcs \ | |
819 | ./modtest.lcl \ | |
820 | ./modtest.lcs \ | |
821 | ./mut.lcl \ | |
822 | ./mut.lcs \ | |
823 | ./mut.lh \ | |
824 | ./mut.lh.expect \ | |
825 | ./db2/dbase.lcl \ | |
826 | ./db2/employee.lcl \ | |
827 | ./db2/empset.lcl \ | |
828 | ./db2/erc.lcl \ | |
829 | ./db2/eref.lcl \ | |
830 | ./db2/ereftab.lcl \ | |
831 | ./db2/etest.lcl \ | |
832 | ./null6.lcd \ | |
833 | ./null6.lcl \ | |
834 | ./null6.lcs \ | |
835 | ./observer.lcl \ | |
836 | ./observer.lcs \ | |
837 | ./oldstyle.lcl \ | |
838 | ./oldstyle.lcs \ | |
839 | ./outglob.lcl \ | |
840 | ./outglob.lcs \ | |
841 | ./outparam.lcl \ | |
842 | ./outparam.lcs \ | |
843 | ./rc1.lclintrc \ | |
844 | ./rc2.lclintrc \ | |
845 | ./rc3.lclintrc \ | |
846 | ./rc3.lclintrc.os2 \ | |
847 | ./repexpose.lcl \ | |
848 | ./repexpose.lcs \ | |
849 | ./repexpose.lh \ | |
850 | ./repexpose.lh.expect \ | |
851 | ./special.lcl \ | |
852 | ./special.lcs \ | |
853 | ./db3/.lclintrc \ | |
854 | ./db3/bool.lcl \ | |
855 | ./db3/check.lcl \ | |
856 | ./db3/dbase.lcl \ | |
857 | ./db3/employee.lcl \ | |
858 | ./db3/empset.lcl \ | |
859 | ./db3/erc.lcl \ | |
860 | ./db3/eref.lcl \ | |
861 | ./db3/ereftab.lcl \ | |
862 | ./tq.lcl \ | |
863 | ./tq.lcs \ | |
864 | ./ud2.lcl \ | |
865 | ./ud2.lcs \ | |
866 | ./for/.lclintrc \ | |
867 | ./globalbufferannotation/.lclintrc \ | |
868 | ./maxset/.lclintrc \ | |
869 | ./strchr/.lclintrc \ | |
870 | ./tests2.2/bool.lcl \ | |
871 | ./tests2.2/bool.lcs \ | |
872 | ./tests2.2/libraries.lcd \ | |
873 | ./tests2.2/obsolete.lcd \ | |
874 | ./tests2.2/oldversion.lcd \ | |
875 | ./tests2.4/subdir/main.lcl \ | |
876 | ./tests2.4/subdir/main.lcs \ | |
877 | ./tests2.5/newlint.lcd \ | |
878 | ./warnuse/warnuse.lcd \ | |
879 | ./empty.lcs \ | |
880 | ./abstptr.c \ | |
881 | ./alias.c \ | |
882 | ./alias2.c \ | |
883 | ./alias3.c \ | |
884 | ./db1/dbase.c \ | |
885 | ./db1/drive.c \ | |
886 | ./db1/employee.c \ | |
887 | ./db1/empset.c \ | |
888 | ./db1/erc.c \ | |
889 | ./db1/eref.c \ | |
890 | ./db1/ereftab.c \ | |
891 | ./alias4.c \ | |
892 | ./alias5.c \ | |
893 | ./alttypes.c \ | |
894 | ./ansireserved.c \ | |
895 | ./ansireserved2.c \ | |
896 | ./argorder.c \ | |
897 | ./argorder2.c \ | |
898 | ./argorder3.c \ | |
899 | ./argorder4.c \ | |
900 | ./argorder5.c \ | |
901 | ./args.c \ | |
902 | ./arrayinit.c \ | |
903 | ./blocks.c \ | |
904 | ./branchstate.c \ | |
905 | ./break.c \ | |
906 | ./cases.c \ | |
907 | ./buffertest1.c \ | |
908 | ./cases2.c \ | |
909 | ./cast.c \ | |
910 | ./cast2.c \ | |
911 | ./charlit.c \ | |
912 | ./clauses.c \ | |
913 | ./clauses2.c \ | |
914 | ./clauses3.c \ | |
915 | ./commentchar.c \ | |
916 | ./commentcmd.c \ | |
917 | ./compdestroy.c \ | |
918 | ./csyntax.c \ | |
919 | ./constannot.c \ | |
920 | ./controldepth.c \ | |
921 | ./csyntax10.c \ | |
922 | ./csyntax11.c \ | |
923 | ./csyntax12.c \ | |
924 | ./csyntax13.c \ | |
925 | ./csyntax14.c \ | |
926 | ./csyntax15.c \ | |
927 | ./csyntax16.c \ | |
928 | ./csyntax17.c \ | |
929 | ./csyntax2.c \ | |
930 | ./csyntax3.c \ | |
931 | ./csyntax4.c \ | |
932 | ./csyntax5.c \ | |
933 | ./csyntax6.c \ | |
934 | ./csyntax7.c \ | |
935 | ./csyntax8.c \ | |
936 | ./csyntax9.c \ | |
937 | ./czechnames.c \ | |
938 | ./czechoslovaknames.c \ | |
939 | ./deadparam.c \ | |
940 | ./decl.c \ | |
941 | ./decl2.c \ | |
942 | ./dkf5kEnum.c \ | |
943 | ./dkf5kRange.c \ | |
944 | ./dkf5kSprintf.c \ | |
945 | ./ensures.c \ | |
946 | ./enum.c \ | |
947 | ./exports.c \ | |
948 | ./external.c \ | |
949 | ./fields.c \ | |
950 | ./fields2.c \ | |
951 | ./fields3.c \ | |
952 | ./flags.c \ | |
953 | ./glob.c \ | |
954 | ./forbody.c \ | |
955 | ./format.c \ | |
956 | ./freearray.c \ | |
957 | ./funcpointer.c \ | |
958 | ./globals.c \ | |
959 | ./globals2.c \ | |
960 | ./impabstract.c \ | |
961 | ./init.c \ | |
962 | ./innerfree.c \ | |
963 | ./inparam.c \ | |
964 | ./internal.c \ | |
965 | ./iter.c \ | |
966 | ./iter2.c \ | |
967 | ./keep.c \ | |
968 | ./libs.c \ | |
969 | ./linked.c \ | |
970 | ./linked2.c \ | |
971 | ./linked3.c \ | |
972 | ./linked4.c \ | |
973 | ./linked5.c \ | |
974 | ./linked6.c \ | |
975 | ./lintcomments.c \ | |
976 | ./list.c \ | |
977 | ./longconstants.c \ | |
978 | ./macros.c \ | |
979 | ./macrosef.c \ | |
980 | ./merge.c \ | |
981 | ./modclient.c \ | |
982 | ./modifies.c \ | |
983 | ./modtest.c \ | |
984 | ./moduncon.c \ | |
985 | ./mongoincludes.c \ | |
986 | ./mparen.c \ | |
987 | ./mut.c \ | |
988 | ./mystrncat.c \ | |
989 | ./noeffect.c \ | |
990 | ./null1.c \ | |
991 | ./null2.c \ | |
992 | ./null3.c \ | |
993 | ./null4.c \ | |
994 | ./null5.c \ | |
995 | ./db2/dbase.c \ | |
996 | ./db2/drive.c \ | |
997 | ./db2/employee.c \ | |
998 | ./db2/empset.c \ | |
999 | ./db2/erc.c \ | |
1000 | ./db2/eref.c \ | |
1001 | ./db2/ereftab.c \ | |
1002 | ./db2/etest.c \ | |
1003 | ./null6.c \ | |
1004 | ./nullassign.c \ | |
1005 | ./nullret.c \ | |
1006 | ./observer.c \ | |
1007 | ./oldstyle.c \ | |
1008 | ./outglob.c \ | |
1009 | ./outparam.c \ | |
1010 | ./postnotnull.c \ | |
1011 | ./preds.c \ | |
1012 | ./prefixes.c \ | |
1013 | ./printflike.c \ | |
1014 | ./rc.c \ | |
1015 | ./refcounts.c \ | |
1016 | ./release.c \ | |
1017 | ./repexpose.c \ | |
1018 | ./returned.c \ | |
1019 | ./sharing1.c \ | |
1020 | ./sharing2.c \ | |
1021 | ./sharing3.c \ | |
1022 | ./sharing4.c \ | |
1023 | ./sharing5.c \ | |
1024 | ./sizeof.c \ | |
1025 | ./slovaknames.c \ | |
1026 | ./specclauses.c \ | |
1027 | ./specclauses2.c \ | |
1028 | ./specclauses3.c \ | |
1029 | ./specclauses4.c \ | |
1030 | ./specclauses5.c \ | |
1031 | ./specclauses6.c \ | |
1032 | ./special.c \ | |
1033 | ./stack.c \ | |
1034 | ./staticarray.c \ | |
1035 | ./strings.c \ | |
1036 | ./structassign.c \ | |
1037 | ./switch.c \ | |
1038 | ./t1.c \ | |
1039 | ./test.c \ | |
1040 | ./db3/dbase.c \ | |
1041 | ./db3/drive.c \ | |
1042 | ./db3/employee.c \ | |
1043 | ./db3/empset.c \ | |
1044 | ./db3/erc.c \ | |
1045 | ./db3/eref.c \ | |
1046 | ./db3/ereftab.c \ | |
1047 | ./typequals.c \ | |
1048 | ./ud.c \ | |
1049 | ./ud2.c \ | |
1050 | ./ullint.c \ | |
1051 | ./ulstypes.c \ | |
1052 | ./union.c \ | |
1053 | ./unreachable.c \ | |
1054 | ./unsignedcompare.c \ | |
1055 | ./unused.c \ | |
1056 | ./void.c \ | |
1057 | ./conditions/miroslaw.c \ | |
1058 | ./conditions/releases.c \ | |
1059 | ./fileio/file.c \ | |
1060 | ./fileio/filebranch.c \ | |
1061 | ./fileio/filerw.c \ | |
1062 | ./for/for.c \ | |
1063 | ./globalbufferannotation/globalvariable.c \ | |
1064 | ./maxset/maxsetannotations.c \ | |
1065 | ./maxset/maxsetnoannotations.c \ | |
1066 | ./mergestate/taintednm.c \ | |
1067 | ./metastate/file.c \ | |
1068 | ./metastate/file1.c \ | |
1069 | ./metastate/file2.c \ | |
1070 | ./metastate/file3.c \ | |
1071 | ./metastate/file4.c \ | |
1072 | ./metastate/file5.c \ | |
1073 | ./metastate/file6.c \ | |
1074 | ./metastate/file7.c \ | |
1075 | ./metastate/filebad.c \ | |
1076 | ./metastate/global.c \ | |
1077 | ./metastate/nullbranch.c \ | |
1078 | ./metastate/nullbranch2.c \ | |
1079 | ./metastate/nullret.c \ | |
1080 | ./metastate/osd.c \ | |
1081 | ./metastate/sockets.c \ | |
1082 | ./metastate/sockets2.c \ | |
1083 | ./metastate/struct.c \ | |
1084 | ./metastate/test.c \ | |
1085 | ./metastate/voidptr.c \ | |
1086 | ./moreBufferTests/initialization.c \ | |
1087 | ./moreBufferTests/simplifyTest.c \ | |
1088 | ./moreBufferTests/strncatNotReallyGood.c \ | |
1089 | ./moreBufferTests/strncatReallyGood.c \ | |
1090 | ./moreBufferTests/strrchr.c \ | |
1091 | ./moreBufferTests/unrecogCall.c \ | |
1092 | ./nullterminatedtest/buggy1.c \ | |
1093 | ./nullterminatedtest/buggy_support1.c \ | |
1094 | ./nullterminatedtest/buggy_support_fmakeword.c \ | |
1095 | ./nullterminatedtest/test1.c \ | |
1096 | ./nullterminatedtest/test3.c \ | |
1097 | ./simplebufferConstraintTests/m.c \ | |
1098 | ./simplebufferConstraintTests/sizeof.c \ | |
1099 | ./simplebufferConstraintTests/test3.c \ | |
1100 | ./simplebufferConstraintTests/test7.c \ | |
1101 | ./sizeoftest/sizeof.c \ | |
1102 | ./strchr/strchr.c \ | |
1103 | ./suppressfile/test.c \ | |
1104 | ./tainted/sprintf.c \ | |
1105 | ./tainted/t1.c \ | |
1106 | ./tainted/tainted.c \ | |
1107 | ./tainted/tainted2.c \ | |
1108 | ./tainted/tainted3.c \ | |
1109 | ./tainted/tainted4.c \ | |
1110 | ./tainted/tainted5.c \ | |
1111 | ./tainted/taintedimplicit.c \ | |
1112 | ./tainted/taintedmerge.c \ | |
1113 | ./tainted/taintedx.c \ | |
1114 | ./tainted/test.c \ | |
1115 | ./tclauses/globals.c \ | |
1116 | ./tclauses/gt.c \ | |
1117 | ./tclauses/modifies.c \ | |
1118 | ./tclauses/struct.c \ | |
1119 | ./tclauses/undef.c \ | |
1120 | ./tests2.2/arbints.c \ | |
1121 | ./tests2.2/arrayfcn.c \ | |
1122 | ./tests2.2/booldef.c \ | |
1123 | ./tests2.2/boolenum.c \ | |
1124 | ./tests2.2/boolops.c \ | |
1125 | ./tests2.2/break.c \ | |
1126 | ./tests2.2/bstring.c \ | |
1127 | ./tests2.2/decl.c \ | |
1128 | ./tests2.2/enumbool.c \ | |
1129 | ./tests2.2/extension.c \ | |
1130 | ./tests2.2/libraries.c \ | |
1131 | ./tests2.2/modarray.c \ | |
1132 | ./tests2.2/nestext.c \ | |
1133 | ./tests2.2/offsetof.c \ | |
1134 | ./tests2.2/posix.c \ | |
1135 | ./tests2.2/realloc.c \ | |
1136 | ./tests2.2/rex.c \ | |
1137 | ./tests2.2/sizeofarray.c \ | |
1138 | ./tests2.2/struct.c \ | |
1139 | ./tests2.2a/addassign.c \ | |
1140 | ./tests2.2a/arrayparam.c \ | |
1141 | ./tests2.2a/bitops.c \ | |
1142 | ./tests2.2a/boolcomp.c \ | |
1143 | ./tests2.2a/boolenum.c \ | |
1144 | ./tests2.2a/dobb.c \ | |
1145 | ./tests2.2a/duff.c \ | |
1146 | ./tests2.2a/erik.c \ | |
1147 | ./tests2.2a/floatdouble.c \ | |
1148 | ./tests2.2a/florian.c \ | |
1149 | ./tests2.2a/fred.c \ | |
1150 | ./tests2.2a/isalpha.c \ | |
1151 | ./tests2.2a/notreached.c \ | |
1152 | ./tests2.2a/obviousloop.c \ | |
1153 | ./tests2.2a/popik.c \ | |
1154 | ./tests2.2a/sizeof.c \ | |
1155 | ./tests2.2a/toralf.c \ | |
1156 | ./tests2.4/subdir/main.c \ | |
1157 | ./tests2.4/alignof.c \ | |
1158 | ./tests2.4/array.c \ | |
1159 | ./tests2.4/bitfields.c \ | |
1160 | ./tests2.4/bug1.c \ | |
1161 | ./tests2.4/bug2.c \ | |
1162 | ./tests2.4/bug3.c \ | |
1163 | ./tests2.4/chin.c \ | |
1164 | ./tests2.4/cpptest.c \ | |
1165 | ./tests2.4/driverstub.c \ | |
1166 | ./tests2.4/duffs.c \ | |
1167 | ./tests2.4/emptycase.c \ | |
1168 | ./tests2.4/enumtest.c \ | |
1169 | ./tests2.4/error.c \ | |
1170 | ./tests2.4/fink.c \ | |
1171 | ./tests2.4/flagequal.c \ | |
1172 | ./tests2.4/forward.c \ | |
1173 | ./tests2.4/hash.c \ | |
1174 | ./tests2.4/hexconstants.c \ | |
1175 | ./tests2.4/innercomment.c \ | |
1176 | ./tests2.4/komazi.c \ | |
1177 | ./tests2.4/longlong.c \ | |
1178 | ./tests2.4/main.c \ | |
1179 | ./tests2.4/nothing.c \ | |
1180 | ./tests2.4/offsetof.c \ | |
1181 | ./tests2.4/print.c \ | |
1182 | ./tests2.4/ric.c \ | |
1183 | ./tests2.4/syncomment.c \ | |
1184 | ./tests2.4/syslog.c \ | |
1185 | ./tests2.4/test0.c \ | |
1186 | ./tests2.4/test1.c \ | |
1187 | ./tests2.4/test2.c \ | |
1188 | ./tests2.4/timecard.c \ | |
1189 | ./tests2.4/toothman.c \ | |
1190 | ./tests2.4/ulrich.c \ | |
1191 | ./tests2.5/badcomment.c \ | |
1192 | ./tests2.5/boolbad.c \ | |
1193 | ./tests2.5/boolt.c \ | |
1194 | ./tests2.5/booltest.c \ | |
1195 | ./tests2.5/dummyfile.c \ | |
1196 | ./tests2.5/hoof.c \ | |
1197 | ./tests2.5/immutable.c \ | |
1198 | ./tests2.5/impabsmodule.c \ | |
1199 | ./tests2.5/literals.c \ | |
1200 | ./tests2.5/quals.c \ | |
1201 | ./tests2.5/sort.c \ | |
1202 | ./tests2.5/testalt.c \ | |
1203 | ./tests2.5/testimmutable.c \ | |
1204 | ./tests2.5/uconstants.c \ | |
1205 | ./tests2.5/ull.c \ | |
1206 | ./warnuse/warnflags.c \ | |
1207 | ./warnuse/warngets.c \ | |
1208 | ./warnuse/warnuse.c \ | |
1209 | ./moreBufferTests2/unknownsize.c \ | |
1210 | ./moreBufferTests2/arrayConstExpr.c \ | |
1211 | abstptr.expect \ | |
1212 | abstract.expect \ | |
1213 | alias.expect \ | |
1214 | alttypes.expect \ | |
1215 | ansireserved.expect \ | |
1216 | argorder.expect \ | |
1217 | args.expect \ | |
1218 | arrayinit.expect \ | |
1219 | blocks.expect \ | |
1220 | branchstate.expect \ | |
1221 | break.expect \ | |
1222 | buffertest.expect \ | |
1223 | cases.expect \ | |
1224 | cast.expect \ | |
1225 | charlit.expect \ | |
1226 | clauses.expect \ | |
1227 | commentchar.expect \ | |
1228 | compdestroy.expect \ | |
1229 | constannot.expect \ | |
1230 | controldepth.expect \ | |
1231 | csyntax.expect \ | |
1232 | czechnames.expect \ | |
1233 | czechoslovaknames.expect \ | |
1234 | db1.expect \ | |
1235 | db2.expect \ | |
1236 | db3.expect \ | |
1237 | deadparam.expect \ | |
1238 | decl.expect \ | |
1239 | enum.expect \ | |
1240 | exports.expect \ | |
1241 | external.expect \ | |
1242 | fields.expect \ | |
1243 | fileio.expect \ | |
1244 | flags.expect \ | |
1245 | for.expect \ | |
1246 | forbody.expect \ | |
1247 | format.expect \ | |
1248 | freearray.expect \ | |
1249 | funcpointer.expect \ | |
1250 | glob.expect \ | |
1251 | globalbufferannotation.expect \ | |
1252 | globals.expect \ | |
1253 | help.expect \ | |
1254 | impabstract.expect \ | |
1255 | init.expect \ | |
1256 | inparam.expect \ | |
1257 | internal.expect \ | |
1258 | iter.expect \ | |
1259 | keep.expect \ | |
1260 | libs.expect \ | |
1261 | linked.expect \ | |
1262 | lintcomments.expect \ | |
1263 | list.expect \ | |
1264 | longconstants.expect \ | |
1265 | macros.expect \ | |
1266 | macrosef.expect \ | |
1267 | maxset.expect \ | |
1268 | merge.expect \ | |
1269 | mergestate.expect \ | |
1270 | metastate.expect \ | |
1271 | modifies.expect \ | |
1272 | modtest.expect \ | |
1273 | moduncon.expect \ | |
1274 | mongoincludes.expect \ | |
1275 | moreBufferTests.expect \ | |
1276 | moreBufferTests2.expect \ | |
1277 | mut.lh.expect \ | |
1278 | mystrncat.expect \ | |
1279 | noeffect.expect \ | |
1280 | null.expect \ | |
1281 | nullterminatedtest.expect \ | |
1282 | observer.expect \ | |
1283 | oldstyle.expect \ | |
1284 | outglob.expect \ | |
1285 | outparam.expect \ | |
1286 | postnotnull.expect \ | |
1287 | preds.expect \ | |
1288 | prefixes.expect \ | |
1289 | printflike.expect \ | |
1290 | rc.expect \ | |
1291 | refcounts.expect \ | |
1292 | release.expect \ | |
1293 | repexpose.expect \ | |
1294 | repexpose.lh.expect \ | |
1295 | returned.expect \ | |
1296 | sharing.expect \ | |
1297 | simplebufferConstraintTests.expect \ | |
1298 | sizeof.expect \ | |
1299 | sizeoftest.expect \ | |
1300 | slovaknames.expect \ | |
1301 | specclauses.expect \ | |
1302 | special.expect \ | |
1303 | stack.expect \ | |
1304 | staticarray.expect \ | |
1305 | strchr.expect \ | |
1306 | strings.expect \ | |
1307 | structassign.expect \ | |
1308 | tainted.expect \ | |
1309 | tests2.2.expect \ | |
1310 | tests2.2a.expect \ | |
1311 | tests2.3.expect \ | |
1312 | tests2.4.expect \ | |
1313 | tests2.5.expect \ | |
1314 | typequals.expect \ | |
1315 | ud.expect \ | |
1316 | ullint.expect \ | |
1317 | ulstypes.expect \ | |
1318 | union.expect \ | |
1319 | unreachable.expect \ | |
1320 | unsignedcompare.expect \ | |
1321 | unused.expect \ | |
1322 | void.expect \ | |
1323 | ./db1/bool.h \ | |
1324 | ./db1/dbase.h \ | |
1325 | ./db1/employee.h \ | |
1326 | ./db1/empset.h \ | |
1327 | ./db1/erc.h \ | |
1328 | ./db1/eref.h \ | |
1329 | ./db1/ereftab.h \ | |
1330 | ./bool.h \ | |
1331 | ./decl2.h \ | |
1332 | ./exports.h \ | |
1333 | ./iter.h \ | |
1334 | ./iter2.h \ | |
1335 | ./minc1.h \ | |
1336 | ./minc2.h \ | |
1337 | ./minc3.h \ | |
1338 | ./minc4.h \ | |
1339 | ./minc5.h \ | |
1340 | ./modifies.h \ | |
1341 | ./mut.h \ | |
1342 | ./db2/bool.h \ | |
1343 | ./db2/dbase.h \ | |
1344 | ./db2/employee.h \ | |
1345 | ./db2/empset.h \ | |
1346 | ./db2/erc.h \ | |
1347 | ./db2/eref.h \ | |
1348 | ./db2/ereftab.h \ | |
1349 | ./pivo.h \ | |
1350 | ./repexpose.h \ | |
1351 | ./db3/bool.h \ | |
1352 | ./db3/dbase.h \ | |
1353 | ./db3/employee.h \ | |
1354 | ./db3/empset.h \ | |
1355 | ./db3/erc.h \ | |
1356 | ./db3/eref.h \ | |
1357 | ./db3/ereftab.h \ | |
1358 | ./tq.h \ | |
1359 | ./metastate/global.h \ | |
1360 | ./suppressfile/test.h \ | |
1361 | ./tests2.2/Makefile.hide \ | |
1362 | ./tests2.2/mbool.h \ | |
1363 | ./tests2.4/forward.h \ | |
1364 | ./tests2.4/hash.h \ | |
1365 | ./tests2.4/timecard.h \ | |
1366 | ./tests2.5/baz.h \ | |
1367 | ./tests2.5/bimbim.h \ | |
1368 | ./tests2.5/immutable.h \ | |
1369 | ./tests2.5/impabsmodule.h \ | |
1370 | ./tests2.5/socket.h \ | |
1371 | ./Makefile-test.os2 \ | |
1372 | ./db1/Makefile \ | |
1373 | ./db2/Makefile \ | |
1374 | ./db3/Makefile \ | |
1375 | ./conditions/Makefile \ | |
1376 | ./fileio/Makefile \ | |
1377 | ./for/Makefile \ | |
1378 | ./globalbufferannotation/Makefile \ | |
1379 | ./maxset/Makefile \ | |
1380 | ./mergestate/Makefile \ | |
1381 | ./metastate/Makefile \ | |
1382 | ./moreBufferTests/Makefile \ | |
1383 | ./simplebufferConstraintTests/Makefile \ | |
1384 | ./strchr/Makefile \ | |
1385 | ./tainted/Makefile \ | |
1386 | ./temp/Makefile \ | |
1387 | ./tests2.2/Makefile.hide \ | |
1388 | ./tests2.2/Makefile \ | |
1389 | ./tests2.2/Makefile-tests2.2.os2 \ | |
1390 | ./tests2.2a/Makefile \ | |
1391 | ./tests2.4/Makefile \ | |
1392 | ./tests2.4/Makefile-tests2.4.os2 \ | |
1393 | ./tests2.5/Makefile \ | |
1394 | ./warnuse/Makefile \ | |
1395 | ./Makefile.am \ | |
1396 | ./Makefile.in \ | |
1397 | ./moreBufferTests2/Makefile \ | |
1398 | ./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 \ | |
1399 | alias alttypes ansireserved \ | |
1400 | db2.old-expect outglob outparam preds union.pp warnuse.old-expect \ | |
1401 | ./tests2.5/badcomment ./tests2.5/boolbad ./tests2.5/booltest ./tests2.5/uconstants |