]> andersk Git - splint.git/blame - test/Makefile-test.os2
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
*** empty log message ***
[splint.git] / test / Makefile-test.os2
CommitLineData
e5a87a6c 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
38LCLINT = ..\\bin\\lclint\r
39LCLINTP = $(LCLINT)\r
40\r
41# Make sure .lclintrc files are not used so test results do not\r
42# depend on local settings.\r
43LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool"\r
44LCLINTR = $(LCLINTRN) -exportlocal +debugfcnconstraint \r
45\r
46UNITTESTS = \\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
61UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))\r
62\r
63LCLINTTESTS = version $(UNITTESTS) \r
64\r
65all: quicktest\r
66\r
67DIFF = diff\r
68\r
69### not real .c\r
70\r
71quicktest: $(LCLINTTESTS)\r
72\r
73###\r
74### Unit Tests\r
75###\r
76\r
77version:\r
78 @$(LCLINTP) -help version\r
79 @$(LCLINTP) -help vars\r
80\r
81abstptr:\r
82 $(LCLINTR) abstptr -expect 9\r
83 $(LCLINTR) abstptr +voidabstract -expect 6\r
84\r
85abstract:\r
86 $(LCLINTR) abst_t.lcl commentcmd.c -expect 15\r
87\r
88alias:\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
97alttypes:\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
108ansireserved:\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
114argorder:\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
122args:\r
123 $(LCLINTR) args -noeffect -expect 12\r
124\r
125blocks:\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
133break:\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
138cases: \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
144cast:\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
150charlit:\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
155clauses: \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
161commentchar:\r
162 $(LCLINTR) commentchar.c -expect 4\r
163 $(LCLINTR) -commentchar '#' commentchar.c -expect 4\r
164\r
165controldepth:\r
166 $(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2\r
167 $(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2\r
168\r
169compdestroy:\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
175constannot:\r
176 ${LCLINTRN} constannot.c +arraybounds -exportlocal -expect 2\r
177\r
178csyntax:\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
197czechnames:\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
203czechoslovaknames:\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
212deadparam:\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
220decl:\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
225enum:\r
226 $(LCLINTR) enum -expect 16\r
227 $(LCLINTR) enum -misscase -expect 14\r
228\r
229exports:\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
234external:\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
241fields:\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
246flags:\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
252forbody:\r
253 ${LCLINTR} forbody.c -expect 2\r
254\r
255### Added 2001-06-03\r
256format:\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
262funcpointer:\r
263 $(LCLINTR) +memchecks +noparams funcpointer.c -expect 18\r
264\r
265glob:\r
266 $(LCLINTR) glob -expect 4\r
267 $(LCLINTR) glob -globuse -expect 3\r
268 $(LCLINTR) glob +globunspec -expect 6\r
269\r
270globals:\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
279impabstract: \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
284init:\r
285 $(LCLINTR) init.c -expect 12\r
286 $(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 15\r
287\r
288inparam:\r
289 $(LCLINTR) inparam.c -expect 2\r
290 $(LCLINTR) +impouts inparam.c -expect 1\r
291\r
292internal:\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
304iter:\r
305 $(LCLINTR) iter -expect 14 -lclexpect 1\r
306 $(LCLINTR) iter2.c -expect 12\r
307\r
308keep:\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
315libs:\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
321lintcomments:\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
326list:\r
327 $(LCLINTR) list.c -expect 3\r
328\r
329macros:\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
335macrosef:\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
340merge:\r
341 $(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3\r
342\r
343modifies:\r
344 $(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7\r
345\r
346modtest:\r
347 $(LCLINTR) modtest -expect 10\r
348 $(LCLINTR) modtest +modunspec -expect 13\r
349 $(LCLINTR) modtest +mustmod -expect 14\r
350\r
351moduncon:\r
352 $(LCLINTR) moduncon.c +moduncon -memchecks -expect 4\r
353 $(LCLINTRN) moduncon.c +strict -exportlocal -expect 22\r
354\r
355mongoincludes:\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
362mystrncat:\r
363 $(LCLINTR) mystrncat.c +arraybounds +arrayboundsread -expect 4 \r
364\r
365noeffect:\r
366 ${LCLINT} -nof noeffect.c +allmacros +checks -expect 3\r
367\r
368null: \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
382nullret:\r
383 $(LCLINTR) nullret.c -expect 2\r
384 $(LCLINTR) -nullret nullret.c -expect 1\r
385\r
386nullassign:\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
396observer:\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
401oldstyle:\r
402 $(LCLINTR) oldstyle -expect 3\r
403\r
404outglob:\r
405 $(LCLINTR) outglob -expect 10\r
406\r
407outparam:\r
408 $(LCLINTR) outparam -expect 12\r
409\r
410### evans 2001-08-26: postnotnull new\r
411\r
412postnotnull:\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
418preds:\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
423prefixes:\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
443printflike:\r
444 $(LCLINTR) printflike.c -expect 6\r
445 $(LCLINTR) printflike.c -warnlintcomments -expect 5\r
446\r
447rc:\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
453refcounts:\r
454 $(LCLINTR) refcounts.c -expect 7 \r
455\r
456release:\r
457 $(LCLINTR) release.c +memchecks -expect 1\r
458\r
459repexpose:\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
467returned:\r
468 ${LCLINTR} returned.c -expect 1\r
469\r
470sharing: \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
477slovaknames:\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
484specclauses:\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
491special:\r
492 $(LCLINTR) special -expect 20\r
493 $(LCLINTR) special -relaxquals -expect 22\r
494\r
495stack:\r
496 $(LCLINTR) stack.c -expect 5\r
497 $(LCLINTR) stack.c -stackref\r
498\r
499staticarray:\r
500 $(LCLINTR) staticarray.c -expect 3\r
501\r
502strings:\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
507structassign:\r
508 $(LCLINTR) structassign.c -expect 4\r
509\r
510typequals:\r
511 $(LCLINTR) typequals.c tq.lcl -expect 5\r
512 $(LCLINTR) typequals.c -expect 2\r
513\r
514ud:\r
515 $(LCLINTR) ud.c -expect 9\r
516 $(LCLINTR) ud2 -specundef -expect 3\r
517\r
518ulstypes:\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
524union:\r
525 $(LCLINTR) +memchecks union.c -expect 8\r
526\r
527unreachable:\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
532unsignedcompare:\r
3934e170 533 ${LCLINT} +posixlib unsignedcompare.c -expect 4\r
e5a87a6c 534\r
535\r
536###\r
537### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks\r
538###\r
539\r
540unused:\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
548ullint:\r
549 ${LCLINTRN} ullint.c -expect 5\r
550 ${LCLINTRN} ullint.c +charint +charintliteral -expect 2\r
551\r
552void:\r
553 ${LCLINTRN} void.c -expect 2\r
554\r
555###\r
556### New since 2.5q:\r
557###\r
558\r
559linked:\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
567freearray:\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
574tests2.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
578tests2.4:\r
579 $(MAKE) -C tests2.4 -f Makefile-tests2.4.os2 LCLINT="$(LCLINTR)"\r
580\r
581tests2.5:\r
582 $(MAKE) -C tests2.5 LCLINT="$(LCLINTR)"\r
583\r
584sizeoftest:\r
585 @cd sizeoftest ; \\r
586 $(LCLINTR) +arraybounds +arrayboundsread sizeof.c\r
587\r
588bufferTest:\r
589 @cd bufferTest ; \\r
590 $(LCLINTR) +arraybounds +arrayboundsread test4.c test6.c\r
591\r
592simplebufferConstraintTests:\r
593 @cd simplebufferConstraintTests ; \\r
594 $(LCLINTR) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c\r
595\r
596moreBufferTests:\r
597 @cd moreBufferTests ; \\r
598 $(LCLINTR) +arraybounds +arrayboundsread unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c\r
599\r
600maxset:\r
601 @cd maxset ; \\r
602 $(LCLINTR) +arraybounds maxsetannotations.c; \\r
603 $(LCLINTR) +arraybounds maxsetnoannotations.c -expect 1\r
604\r
605globalbufferannotation:\r
606 @cd globalbufferannotation ; \\r
607 $(LCLINTR) +arraybounds +arrayboundsread globalvariable.c\r
608\r
609strchr:\r
610 @cd strchr ; \\r
611 $(LCLINTR) +arraybounds +arrayboundsread strchr.c -expect 2\r
612\r
613for:\r
614 @cd for ; \\r
615 $(LCLINTR) +arraybounds +arrayboundsread for.c\r
616\r
617metastate:\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
632mergestate:\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
637tainted:\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
649fileio:\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
655warnuse:\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
663ensuresclauses:\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
672db1:\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
681db2:\r
682 setenv LCLINT '$(LCLINTRN)'; cd db2; $(MAKE) -e test\r
683\r
684db3:\r
685 setenv LCLINT '$(LCLINTRN)'; cd db3; $(MAKE) -e test\r
686\r
687clean:\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
git-cvsimport mirror of splint
This page took 0.589421 seconds and 5 git commands to generate.