]> andersk Git - splint.git/blob - test/Makefile-test.os2
hopefully with crlfs now
[splint.git] / test / Makefile-test.os2
1 ##################################################\r
2 ###                                            ###\r
3 ### Makefile for LCLint testing                ###\r
4 ###                                            ### \r
5 ### designed for use with GNU make             ### \r
6 ###                                            ###\r
7 ##################################################\r
8 \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
26 .PHONY: sizeoftest\r
27 .PHONY: bufferTest\r
28 .PHONY: simplebufferConstraintTests\r
29 .PHONY: moreBufferTests\r
30 .PHONY: maxset\r
31 .PHONY: globalbufferannotation\r
32 .PHONY: strchr\r
33 .PHONY: for\r
34 \r
35 .SUFFIXES: .out .expect .c .lcl .h .lh .diff\r
36 \r
37 # Command to run lclint\r
38 LCLINT  = ..\\bin\\lclint\r
39 LCLINTP = $(LCLINT)\r
40 \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
45 \r
46 UNITTESTS = \\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
60 \r
61 UNITEXPECTS  = $(addsuffix .expect, $(UNITTESTS))\r
62 \r
63 LCLINTTESTS = version $(UNITTESTS) \r
64 \r
65 all: quicktest\r
66 \r
67 DIFF = diff\r
68 \r
69 ### not real .c\r
70 \r
71 quicktest: $(LCLINTTESTS)\r
72 \r
73 ###\r
74 ### Unit Tests\r
75 ###\r
76 \r
77 version:\r
78         @$(LCLINTP) -help version\r
79         @$(LCLINTP) -help vars\r
80 \r
81 abstptr:\r
82         $(LCLINTR) abstptr -expect 9\r
83         $(LCLINTR) abstptr +voidabstract -expect 6\r
84 \r
85 abstract:\r
86         $(LCLINTR) abst_t.lcl commentcmd.c -expect 15\r
87 \r
88 alias:\r
89         $(LCLINTR) +lh mut\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
96 \r
97 alttypes:\r
98         $(LCLINTR) alttypes.c -expect 2\r
99 \r
100 ###\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
106 ###\r
107 \r
108 ansireserved:\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
113 \r
114 argorder:\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
121 \r
122 args:\r
123         $(LCLINTR) args -noeffect -expect 12\r
124 \r
125 blocks:\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
132 \r
133 break:\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
137 \r
138 cases: \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
143 \r
144 cast:\r
145         $(LCLINTR) cast -accessmodule -expect 20\r
146         $(LCLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3\r
147 \r
148 ### Two addition errors detected with 2.5 with -numliteral.\r
149 \r
150 charlit:\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
154 \r
155 clauses: \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
160 \r
161 commentchar:\r
162         $(LCLINTR) commentchar.c -expect 4\r
163         $(LCLINTR) -commentchar '#' commentchar.c -expect 4\r
164 \r
165 controldepth:\r
166         $(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2\r
167         $(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2\r
168 \r
169 compdestroy:\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
174 \r
175 constannot:\r
176         ${LCLINTRN} constannot.c +arraybounds  -exportlocal -expect 2\r
177 \r
178 csyntax:\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
196 \r
197 czechnames:\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
202 \r
203 czechoslovaknames:\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
207 \r
208 ###\r
209 ### deadparam added 2001-05-27\r
210 ###\r
211 \r
212 deadparam:\r
213         ${LCLINTR} deadparam.c -expect 3\r
214 \r
215 #\r
216 # Was expect 3 before 2.4.  Earlier versions did not handle implicit\r
217 # function pointers correctly.\r
218 #\r
219 \r
220 decl:\r
221         $(LCLINTR) decl.c -expect 2\r
222         $(LCLINTRN) decl.c +strict -exportlocal -expect 5\r
223         $(LCLINTR) decl2 -expect 4\r
224 \r
225 enum:\r
226         $(LCLINTR) enum -expect 16\r
227         $(LCLINTR) enum -misscase -expect 14\r
228 \r
229 exports:\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
233 \r
234 external:\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
240 \r
241 fields:\r
242         $(LCLINTR) fields.c +memchecks -expect 6\r
243         $(LCLINTR) fields2.c +memchecks -expect 5\r
244         $(LCLINTR) fields3.c +memchecks\r
245 \r
246 flags:\r
247         $(LCLINTR) flags.c -expect 8\r
248         $(LCLINTR) +nocomments flags.c -expect 2\r
249 \r
250 ### Added 2001-06-02\r
251 \r
252 forbody:\r
253         ${LCLINTR} forbody.c -expect 2\r
254 \r
255 ### Added 2001-06-03\r
256 format:\r
257         ${LCLINTR} format.c -expect 3\r
258         ${LCLINTR} format.c -formatconst \r
259 \r
260 # two new errors (invalid lhs)\r
261 \r
262 funcpointer:\r
263         $(LCLINTR) +memchecks +noparams funcpointer.c -expect 18\r
264 \r
265 glob:\r
266         $(LCLINTR) glob -expect 4\r
267         $(LCLINTR) glob -globuse -expect 3\r
268         $(LCLINTR) glob +globunspec -expect 6\r
269 \r
270 globals:\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
277 \r
278 # Was -accessfile\r
279 impabstract: \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
283 \r
284 init:\r
285         $(LCLINTR) init.c -expect 12\r
286         $(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 15\r
287 \r
288 inparam:\r
289         $(LCLINTR) inparam.c -expect 2\r
290         $(LCLINTR) +impouts inparam.c -expect 1\r
291 \r
292 internal:\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
298 \r
299 ###\r
300 ### iter\r
301 ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6\r
302 ### \r
303 \r
304 iter:\r
305         $(LCLINTR) iter -expect 14 -lclexpect 1\r
306         $(LCLINTR) iter2.c -expect 12\r
307 \r
308 keep:\r
309         $(LCLINTR) keep.c +memchecks -expect 6\r
310 \r
311 ### libs\r
312 ### 2001-05-22: 2 new errors found (fixed spec of signal)\r
313 ### 2001-05-30: 3 new errors found (formatconst)\r
314 \r
315 libs:\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
320 \r
321 lintcomments:\r
322         $(LCLINTR) lintcomments.c -expect 4\r
323         $(LCLINTR) lintcomments.c -warnlintcomments -expect 1\r
324         $(LCLINTR) lintcomments.c -lintcomments -expect 4\r
325 \r
326 list:\r
327         $(LCLINTR) list.c -expect 3\r
328 \r
329 macros:\r
330         $(LCLINTR) macros -expect 17 \r
331         $(LCLINTR) macros.c +allmacros -expect 34\r
332         $(LCLINTR) macros.c +fcnmacros -expect 31\r
333 \r
334 \r
335 macrosef:\r
336         $(LCLINTR) macrosef -expect 4\r
337         $(LCLINTR) macrosef.c +allmacros -expect 3\r
338         $(LCLINTR) macrosef.c +allmacros +sefuncon -expect 4\r
339 \r
340 merge:\r
341         $(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3\r
342 \r
343 modifies:\r
344         $(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7\r
345 \r
346 modtest:\r
347         $(LCLINTR) modtest -expect 10\r
348         $(LCLINTR) modtest +modunspec -expect 13\r
349         $(LCLINTR) modtest +mustmod -expect 14\r
350 \r
351 moduncon:\r
352         $(LCLINTR) moduncon.c +moduncon -memchecks -expect 4\r
353         $(LCLINTRN) moduncon.c +strict -exportlocal -expect 22\r
354 \r
355 mongoincludes:\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
361 \r
362 mystrncat:\r
363         $(LCLINTR) mystrncat.c +arraybounds  +arrayboundsread -expect 4 \r
364 \r
365 noeffect:\r
366         ${LCLINT} -nof noeffect.c +allmacros +checks -expect 3\r
367 \r
368 null: \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
379 \r
380 ### Added for 3.0 (bugs reported by Kevin Broady)\r
381 \r
382 nullret:\r
383         $(LCLINTR) nullret.c -expect 2\r
384         $(LCLINTR) -nullret nullret.c -expect 1\r
385 \r
386 nullassign:\r
387         $(LCLINTR) nullassign.c -expect 2\r
388         $(LCLINTR) -nullassign nullassign.c -expect 1\r
389 \r
390 \r
391 #\r
392 # Before 2.4, expected one more because error was reported both as \r
393 # dependent and observer.\r
394 #\r
395 \r
396 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
400 \r
401 oldstyle:\r
402         $(LCLINTR) oldstyle -expect 3\r
403 \r
404 outglob:\r
405         $(LCLINTR) outglob -expect 10\r
406 \r
407 outparam:\r
408         $(LCLINTR) outparam -expect 12\r
409 \r
410 ### evans 2001-08-26: postnotnull new\r
411 \r
412 postnotnull:\r
413         ${LCLINTR} postnotnull.c -expect 1\r
414 #\r
415 # Four new +fcnuse errors for -strict (evans 2001-07-22)\r
416\r
417 \r
418 preds:\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
422 \r
423 prefixes:\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
439 \r
440 # herbert: does not work (shell capabilities)\r
441 #       $(LCLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13\r
442 \r
443 printflike:\r
444         $(LCLINTR) printflike.c -expect 6\r
445         $(LCLINTR) printflike.c -warnlintcomments -expect 5\r
446 \r
447 rc:\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
452 \r
453 refcounts:\r
454         $(LCLINTR) refcounts.c -expect 7 \r
455 \r
456 release:\r
457         $(LCLINTR) release.c +memchecks -expect 1\r
458 \r
459 repexpose:\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
463 \r
464 ### returned added 2001-05-27\r
465 ### (Bug discovered checking lclint sources.)\r
466 \r
467 returned:\r
468         ${LCLINTR} returned.c -expect 1\r
469 \r
470 sharing: \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
476 \r
477 slovaknames:\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
483 \r
484 specclauses:\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
490 \r
491 special:\r
492         $(LCLINTR) special -expect 20\r
493         $(LCLINTR) special -relaxquals -expect 22\r
494 \r
495 stack:\r
496         $(LCLINTR) stack.c -expect 5\r
497         $(LCLINTR) stack.c -stackref\r
498 \r
499 staticarray:\r
500         $(LCLINTR) staticarray.c -expect 3\r
501 \r
502 strings:\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
506 \r
507 structassign:\r
508         $(LCLINTR) structassign.c -expect 4\r
509 \r
510 typequals:\r
511         $(LCLINTR) typequals.c tq.lcl -expect 5\r
512         $(LCLINTR) typequals.c -expect 2\r
513 \r
514 ud:\r
515         $(LCLINTR) ud.c -expect 9\r
516         $(LCLINTR) ud2 -specundef -expect 3\r
517 \r
518 ulstypes:\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
523 \r
524 union:\r
525         $(LCLINTR) +memchecks union.c -expect 8\r
526 \r
527 unreachable:\r
528         $(LCLINTR) unreachable.c -expect 5\r
529         $(LCLINTR) -unreachable unreachable.c -expect 2\r
530         $(LCLINTR) switch.c -expect 4\r
531 \r
532 unsignedcompare:\r
533         ${LCLINT} +posixlib unsignedcompare.c -expect 2\r
534 \r
535 \r
536 ###\r
537 ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks\r
538 ###\r
539 \r
540 unused:\r
541         $(LCLINTRN) unused.c +checks -exportlocal -expect 5\r
542         $(LCLINTRN) unused.c +checks -exportlocal +topuse -expect 8\r
543 \r
544 ###\r
545 ### 2001-06-10: Provided by Jim Zalenka\r
546 ###\r
547 \r
548 ullint:\r
549         ${LCLINTRN} ullint.c -expect 5\r
550         ${LCLINTRN} ullint.c +charint +charintliteral -expect 2\r
551 \r
552 void:\r
553         ${LCLINTRN} void.c -expect 2\r
554 \r
555 ###\r
556 ### New since 2.5q:\r
557 ###\r
558 \r
559 linked:\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
566 \r
567 freearray:\r
568         ${LCLINTR} freearray.c -expect 1\r
569 \r
570 ###\r
571 ### Bugs fixed and new features since version 2.1b\r
572 ###\r
573 \r
574 tests2.2:\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
577 \r
578 tests2.4:\r
579         $(MAKE) -C tests2.4 -f Makefile-tests2.4.os2 LCLINT="$(LCLINTR)"\r
580 \r
581 tests2.5:\r
582         $(MAKE) -C tests2.5 LCLINT="$(LCLINTR)"\r
583 \r
584 sizeoftest:\r
585         @cd sizeoftest ; \\r
586         $(LCLINTR) +arraybounds  +arrayboundsread sizeof.c\r
587 \r
588 bufferTest:\r
589         @cd bufferTest ; \\r
590         $(LCLINTR) +arraybounds  +arrayboundsread test4.c test6.c\r
591 \r
592 simplebufferConstraintTests:\r
593         @cd simplebufferConstraintTests ; \\r
594         $(LCLINTR) +arraybounds  +arrayboundsread m.c  sizeof.c  test3.c  test7.c\r
595 \r
596 moreBufferTests:\r
597         @cd moreBufferTests ; \\r
598         $(LCLINTR) +arraybounds  +arrayboundsread  unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c\r
599 \r
600 maxset:\r
601         @cd maxset ; \\r
602         $(LCLINTR) +arraybounds maxsetannotations.c; \\r
603         $(LCLINTR) +arraybounds maxsetnoannotations.c -expect 1\r
604 \r
605 globalbufferannotation:\r
606         @cd globalbufferannotation ; \\r
607         $(LCLINTR) +arraybounds  +arrayboundsread globalvariable.c\r
608 \r
609 strchr:\r
610         @cd strchr ; \\r
611         $(LCLINTR) +arraybounds +arrayboundsread  strchr.c -expect 2\r
612 \r
613 for:\r
614         @cd for ; \\r
615         $(LCLINTR)  +arraybounds  +arrayboundsread  for.c\r
616 \r
617 metastate:\r
618         @cd metastate ; \\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
631 \r
632 mergestate:\r
633         @cd mergestate ; \\r
634         $(LCLINTR) -mts taintednm taintednm.c -mustfree -exportlocal -expect 2; \\r
635         $(LCLINTR) -mts tainted taintednm.c -mustfree -exportlocal -expect 4\r
636 \r
637 tainted:\r
638         @cd mergestate ; \\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
648 \r
649 fileio:\r
650         @cd fileio ; \\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
654 \r
655 warnuse:\r
656         @cd warnuse; \\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
662 \r
663 ensuresclauses:\r
664         @cd ensuresclauses ; \\r
665         ${LCLINT} ensures.c +fcnconstraint\r
666 \r
667 \r
668 ###\r
669 ### Integration Tests\r
670 ###\r
671 \r
672 db1:\r
673         setenv LCLINT '$(LCLINTRN)'; cd db1; $(MAKE) -e test\r
674 \r
675 \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
680 \r
681 db2:\r
682         setenv LCLINT '$(LCLINTRN)'; cd db2; $(MAKE) -e test\r
683 \r
684 db3:\r
685         setenv LCLINT '$(LCLINTRN)'; cd db3; $(MAKE) -e test\r
686 \r
687 clean:\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
692 \r
693 \r
694 \r
This page took 0.099382 seconds and 5 git commands to generate.