]> andersk Git - splint.git/blame - test/Makefile.os2
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Updated documentation and Makefiles (LCLint -> splint),
[splint.git] / test / Makefile.os2
CommitLineData
87fa79e5 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
9SHELL = cmd.exe\r
10\r
11.PHONY: all fulltest quicktest funcpointer cast abstract\r
12.PHONY: version help abstptr abstract alias alttypes ansireserved \r
13.PHONY: argorder blocks break cases cast charlit \r
14.PHONY: clauses commentchar \r
15.PHONY: compdestroy constannot controldepth csyntax czechnames czechoslovaknames \r
16.PHONY: deadparam decl enum exports external fields fileio flags forbody format funcpointer glob globals \r
17.PHONY: impabstract init inparam internal iter keep libs lintcomments \r
18.PHONY: list macros macrosef merge mergestate modifies modtest moduncon mongoincludes \r
19.PHONY: noeffect null observer oldstyle outglob outparam postnotnull preds prefixes printflike rc \r
20.PHONY: refcounts release repexpose returned sharing slovaknames special\r
21.PHONY: specclauses stack staticarray \r
22.PHONY: strings structassign nullret\r
23.PHONY: tainted typequals ud ulstypes union unreachable unused ullint unsignedcompare void\r
24.PHONY: db1 db2 db3 tests2.2 tests2.2a tests2.4 tests2.5\r
25.PHONY: all test fulltest expects quicktest\r
26.PHONY: warnuse metastate\r
27.PHONY: linked freearray\r
28.PHONY: sizeoftest\r
29.PHONY: bufferTest\r
30.PHONY: simplebufferConstraintTests\r
31.PHONY: moreBufferTests\r
32.PHONY: maxset\r
33.PHONY: globalbufferannotation\r
34.PHONY: strchr\r
35.PHONY: for\r
36\r
37.SUFFIXES: .out .expect .c .lcl .h .lh .diff\r
38\r
39# -u show context\r
40SPLINT = ../bin/splint.exe\r
41\r
42### This is horrible! Can't we make top_builddir absolute?\r
43SPLINTNEST = ../../bin/splint.exe\r
44\r
45SPLINTPNEST = $(SPLINTNEST) -nof\r
46SPLINTP = $(SPLINT) -nof\r
47\r
48# Make sure .splintrc files are not used so test results do not\r
49# depend on local settings.\r
50SPLINTRN = $(SPLINTP) -hints -booltype "bool"\r
51SPLINTR = $(SPLINTRN) -exportlocal +debugfcnconstraint\r
52\r
53SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype "bool"\r
54SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint\r
55\r
56###\r
57### rcfiles not included becuase file names will not match exactly\r
58###\r
59UNITTESTS = \\r
60 help \\r
61 abstptr abstract alias alttypes ansireserved argorder \\r
62 args arraydims blocks break cases cast charlit clauses commentchar compdestroy \\r
63 constannot controldepth csyntax czechnames czechoslovaknames deadparam \\r
64 decl divzero enum exports external fields flags forbody format freearray \\r
65 funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \\r
66 linked lintcomments list loopexec \\r
67 macros macrosef merge mergenull modifies modtest moduncon \\r
68 mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \\r
69 parentype postnotnull preds prefixes printflike rc refcounts release repexpose \\r
70 returned sharing shifts slovaknames \\r
71 specclauses \\r
72 special stack staticarray strings \\r
73 stringliteral \\r
74 structassign typequals ud ulstypes union unioninit unreachable unsignedcompare \\r
75 unused ullint utypes void widestrings\r
76\r
77UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))\r
78\r
79### warnuse doesn't work yet!\r
80SUBDIRTESTS = metastate mergestate tainted fileio \\r
81 simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \\r
82 maxset strchr for manual\\r
83tests2.2 tests2.4 tests2.5 db1 db2 db3\r
84\r
85SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS)\r
86\r
87QUICKTESTS = db3\r
88\r
89all: quicktest\r
90\r
91DIFF = diff\r
92\r
93### not real .c\r
94\r
95quicktest: $(SPLINTTESTS)\r
96\r
97\r
98.PHONY: help\r
99\r
100help:\r
101 -@$(SPLINT)\r
102 #@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl\r
103 @$(SPLINTP) -help\r
104 @$(SPLINTP) -asdf\r
105 @$(SPLINTP) +boolint +boolint \r
106 @$(SPLINTP) -help flags alpha\r
107\r
108.PHONY: abstptr\r
109abstptr:\r
110 $(SPLINTR) abstptr -expect 9\r
111 $(SPLINTR) abstptr +voidabstract -expect 6\r
112\r
113.PHONY: abstract\r
114abstract:\r
115 $(SPLINTR) abst_t.lcl commentcmd.c -expect 15\r
116\r
117.PHONY: alias\r
118alias:\r
119 $(SPLINTR) +lh mut\r
120 $(SPLINTR) mut alias +globalias -expect 19\r
121 $(SPLINTR) mut alias2 +globalias -expect 17\r
122 $(SPLINTR) +lh alias3 -expect 14 \r
123 $(SPLINTR) +lh alias4 +boolint\r
124 $(SPLINTR) alias4 -pred +retalias -expect 6\r
125 $(SPLINTR) +lh alias5 +memchecks -null -specundef -expect 5\r
126\r
127.PHONY: alttypes\r
128alttypes:\r
129 $(SPLINTR) alttypes.c -expect 2\r
130\r
131###\r
132### evans 2001-06-07 - updated nameCheck.c to reflect C9X.\r
133### Reports one new errors for ansireserved.c - wctomb is bad even as a local\r
134### variable (could be a macro?)\r
135### Reports 3 additional errors for +checks; no longer suppresses name errors\r
136### in the presense of other errors.\r
137###\r
138\r
139.PHONY: ansireserved\r
140ansireserved:\r
141 $(SPLINTR) ansireserved.c +ansireserved -nolib -expect 9\r
142 $(SPLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11\r
143 $(SPLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12\r
144 $(SPLINTR) ansireserved2.c +ansireserved -expect 1\r
145\r
146.PHONY: argorder\r
147argorder:\r
148 $(SPLINTR) argorder.c -expect 4\r
149 $(SPLINTR) argorder2 -expect 5\r
150 $(SPLINTR) argorder3.c -expect 8\r
151 $(SPLINTR) argorder4 -expect 9\r
152 $(SPLINTR) argorder4 -evalorder -expect 1\r
153 $(SPLINTR) argorder5.c +evalorderuncon -expect 3\r
154\r
155.PHONY: args\r
156args:\r
157 $(SPLINTR) args -noeffect -expect 12\r
158\r
159.PHONY: arraydims\r
160arraydims:\r
161 $(SPLINTR) arraydims.c -varuse -expect 2\r
162 $(SPLINTR) arraydims.c -initsize -varuse\r
163\r
164.PHONY: blocks\r
165blocks:\r
166 $(SPLINTR) blocks.c -expect 4\r
167 $(SPLINTR) blocks.c +ifblock +elseifcomplete -expect 7\r
168 $(SPLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3\r
169 $(SPLINTR) blocks.c -ifempty +forempty +forblock -expect 3\r
170 $(SPLINTR) blocks.c +allempty -expect 6\r
171 $(SPLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11\r
172\r
173.PHONY: break\r
174break:\r
175 $(SPLINTR) break.c -expect 4\r
176 $(SPLINTR) break.c +deepbreak -expect 6\r
177 $(SPLINTR) break.c +deepbreak -looploopbreak -expect 5\r
178\r
179.PHONY: cases\r
180cases: \r
181 $(SPLINTR) cases.c -expect 5\r
182 $(SPLINTR) cases2.c -expect 2\r
183 $(SPLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3\r
184 $(SPLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3\r
185\r
186.PHONY: cast\r
187cast:\r
188 $(SPLINTR) cast -accessmodule -expect 20\r
189 $(SPLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3\r
190\r
191### Two addition errors detected with 2.5 with -numliteral.\r
192\r
193.PHONY: charlit\r
194charlit:\r
195 $(SPLINTR) +hints charlit.c -expect 4\r
196 $(SPLINTR) +hints -numliteral charlit.c -expect 6\r
197 $(SPLINTR) +hints charlit.c +charintliteral +ignoresigns\r
198\r
199.PHONY: clauses\r
200clauses: \r
201 $(SPLINTR) clauses.c +memchecks -expect 4\r
202 $(SPLINTR) clauses2.c +memchecks \r
203 $(SPLINTR) clauses3.c +memchecks -expect 2\r
204 $(SPLINTR) clauses3.c +memchecks +unixlib -expect 3\r
205\r
206.PHONY: commentchar\r
207commentchar:\r
208 $(SPLINTR) commentchar.c -expect 4\r
209 $(SPLINTR) -commentchar '#' commentchar.c -expect 4\r
210\r
211.PHONY: controldepth\r
212controldepth:\r
213 $(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2\r
214 $(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2\r
215\r
216.PHONY: compdestroy\r
217compdestroy:\r
218 $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1\r
219 $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2\r
220 $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3\r
221 $(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3\r
222\r
223.PHONY: constannot\r
224constannot:\r
225 ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2\r
226\r
227.PHONY: csyntax\r
228csyntax:\r
229 $(SPLINTR) +quiet -incondefs csyntax.c -expect 1 \r
230 $(SPLINTR) +quiet csyntax2.c -expect 2\r
231 $(SPLINTR) +quiet csyntax3.c -expect 1\r
232 $(SPLINTR) +quiet -incondefs csyntax4.c\r
233 $(SPLINTR) +quiet csyntax5.c\r
234 $(SPLINTR) +quiet csyntax6.c\r
235 $(SPLINTR) +quiet csyntax7.c\r
236 $(SPLINTR) +quiet csyntax8.c\r
237 $(SPLINTR) +quiet csyntax9.c\r
238 $(SPLINTR) +quiet csyntax10.c\r
239 $(SPLINTR) +quiet csyntax11.c\r
240 $(SPLINTR) +quiet csyntax12.c\r
241 $(SPLINTR) +quiet csyntax13.c -expect 1\r
242 $(SPLINTR) +quiet csyntax14.c\r
243 $(SPLINTR) +quiet csyntax15.c\r
244 $(SPLINTR) +quiet csyntax16.c -expect 2\r
245 $(SPLINTR) +quiet csyntax17.c -expect 3\r
246\r
247.PHONY: czechnames\r
248czechnames:\r
249 $(SPLINTR) czechnames.c\r
250 $(SPLINTR) +hints +czech czechnames.c -expect 2\r
251 $(SPLINTR) +hints +czech -czechvars czechnames.c -expect 1\r
252 $(SPLINTR) +hints +czech -accessczech czechnames.c -expect 6\r
253\r
254.PHONY: czechoslovaknames\r
255czechoslovaknames:\r
256 $(SPLINTR) +hints +czechoslovak czechnames.c -expect 1\r
257 $(SPLINTR) +hints +czechoslovak slovaknames.c -expect 1\r
258 $(SPLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2\r
259\r
260###\r
261### deadparam added 2001-05-27\r
262###\r
263\r
264.PHONY: deadparam\r
265deadparam:\r
266 ${SPLINTR} deadparam.c -expect 3\r
267\r
268#\r
269# Was expect 3 before 2.4. Earlier versions did not handle implicit\r
270# function pointers correctly.\r
271#\r
272\r
273.PHONY: decl\r
274decl:\r
275 $(SPLINTR) decl.c -expect 2\r
276 $(SPLINTRN) decl.c +strict -exportlocal -expect 5\r
277 $(SPLINTR) decl2 -expect 4\r
278\r
279.PHONY: divzero\r
280divzero:\r
281 $(SPLINTR) divzero.c -varuse -expect 0\r
282\r
283.PHONY: enum\r
284enum:\r
285 $(SPLINTR) enum -expect 16\r
286 $(SPLINTR) enum -misscase -expect 14\r
287\r
288.PHONY: exports\r
289exports:\r
290 $(SPLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6\r
291 $(SPLINTR) exports.c +exportany -expect 3\r
292 $(SPLINTR) exports.c\r
293\r
294.PHONY: external\r
295external:\r
296 $(SPLINTR) external.c +partial\r
297 $(SPLINTR) external.c +partial +distinctexternalnames +ansi89limits -expect 2\r
298 $(SPLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3\r
299 $(SPLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3\r
300 $(SPLINTR) external.c +partial -externalnamelength 3 -expect 4\r
301\r
302.PHONY: fields\r
303fields:\r
304 $(SPLINTR) fields.c +memchecks -expect 6\r
305 $(SPLINTR) fields2.c +memchecks -expect 5\r
306 $(SPLINTR) fields3.c +memchecks\r
307\r
308.PHONY: flags\r
309flags:\r
310 $(SPLINTR) flags.c -expect 8\r
311 $(SPLINTR) +nocomments flags.c -expect 2\r
312\r
313### Added 2001-06-02\r
314\r
315.PHONY: forbody\r
316forbody:\r
317 ${SPLINTR} forbody.c -expect 2\r
318\r
319### Added 2001-06-03\r
320.PHONY: format\r
321format:\r
322 ${SPLINTR} format.c -expect 3\r
323 ${SPLINTR} format.c -formatconst \r
324\r
325# two new errors (invalid lhs)\r
326\r
327.PHONY: funcpointer\r
328funcpointer:\r
329 $(SPLINTR) +memchecks +noparams funcpointer.c -expect 18\r
330\r
331.PHONY: functionmacro\r
332functionmacro:\r
333 $(SPLINTR) functionmacro.c -expect 2\r
334\r
335.PHONY: glob\r
336glob:\r
337 $(SPLINTR) glob -expect 4\r
338 $(SPLINTR) glob -globuse -expect 3\r
339 $(SPLINTR) glob +globunspec -expect 6\r
340\r
341.PHONY: globals\r
342globals:\r
343 $(SPLINTR) -modifies globals.c -expect 5\r
344 $(SPLINTR) -modifies globals.c +allglobals -expect 6\r
345 $(SPLINTR) -modifies globals.c +impcheckedglobals -expect 6\r
346 $(SPLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2\r
347 $(SPLINTR) -modifies globals.c +globunspec -expect 6\r
348 $(SPLINTR) -modifies globals.c +globunspec +allglobals -expect 8\r
349\r
350# Was -accessfile\r
351.PHONY: impabstract\r
352impabstract: \r
353 $(SPLINTR) -accessmodule impabstract.c \r
354 $(SPLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2\r
355 $(SPLINTR) -accessmodule +hints +impabstract impabstract -expect 4\r
356\r
357###\r
358### evans 2001-12-30: Handle unrecognized pre-processor directives\r
359### (Reported by Pierluigi Sanzani)\r
360\r
361.PHONY: info\r
362info:\r
363 ${SPLINTR} info.c -expect 4\r
364\r
365### evans 2001-10-14: Expected errors updated\r
366.PHONY: init\r
367init:\r
368 $(SPLINTR) init.c -expect 14\r
369 $(SPLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17\r
370\r
371.PHONY: inparam\r
372inparam:\r
373 $(SPLINTR) inparam.c -expect 2\r
374 $(SPLINTR) +impouts inparam.c -expect 1\r
375\r
376.PHONY: internal\r
377internal:\r
378 $(SPLINTR) internal.c -expect 1\r
379 $(SPLINTR) internal.c +distinctinternalnames -expect 1\r
380 $(SPLINTR) internal.c +distinctinternalnames +ansi89limits -expect 2\r
381 $(SPLINTR) internal.c -internalnamelen 28 -expect 3\r
382 $(SPLINTR) internal.c +internalnamecaseinsensitive -expect 3\r
383 $(SPLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11\r
384\r
385###\r
386### iter\r
387### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6\r
388### \r
389\r
390.PHONY: iter\r
391iter:\r
392 $(SPLINTR) iter -expect 14 -lclexpect 1\r
393 $(SPLINTR) iter2.c -expect 12\r
394\r
395.PHONY: keep\r
396keep:\r
397 $(SPLINTR) keep.c +memchecks -expect 6\r
398\r
399### libs\r
400### 2001-05-22: 2 new errors found (fixed spec of signal)\r
401### 2001-05-30: 3 new errors found (formatconst)\r
402\r
403.PHONY: libs\r
404libs:\r
405 $(SPLINTR) libs.c +longunsignedunsignedintegral -expect 18\r
406 $(SPLINTR) libs.c -expect 22\r
407 $(SPLINTR) libs.c +globunspec +modunspec -expect 25\r
408 $(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 42\r
409\r
410.PHONY: lintcomments\r
411lintcomments:\r
412 $(SPLINTR) lintcomments.c -expect 5\r
413 $(SPLINTR) lintcomments.c -warnlintcomments -expect 1\r
414 $(SPLINTR) lintcomments.c -lintcomments -expect 4\r
415\r
416.PHONY: list\r
417list:\r
418 $(SPLINTR) list.c -expect 3\r
419\r
420###\r
421### 2002-01-01: Added test case for obvious loop execution.\r
422###\r
423\r
424.PHONY: loopexec\r
425loopexec:\r
426 $(SPLINTR) loopexec.c -expect 1\r
427 $(SPLINTR) loopexec.c -obviousloopexec -expect 3\r
428\r
429.PHONY: macros\r
430macros:\r
431 $(SPLINTR) macros -expect 17 \r
432 $(SPLINTR) macros.c +allmacros -expect 34\r
433 $(SPLINTR) macros.c +fcnmacros -expect 31\r
434\r
435.PHONY: macrosef\r
436macrosef:\r
437 $(SPLINTR) macrosef -expect 4\r
438 $(SPLINTR) macrosef.c +allmacros -expect 3\r
439 $(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4\r
440\r
441.PHONY: merge\r
442merge:\r
443 $(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3\r
444\r
445.PHONY: mergenull\r
446mergenull:\r
447 $(SPLINTRN) mergenull.c \r
448\r
449.PHONY: modifies\r
450modifies:\r
451 $(SPLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7\r
452\r
453.PHONY: modtest\r
454modtest:\r
455 $(SPLINTR) modtest -expect 10\r
456 $(SPLINTR) modtest +modunspec -expect 13\r
457 $(SPLINTR) modtest +mustmod -expect 14\r
458\r
459.PHONY: moduncon\r
460moduncon:\r
461 $(SPLINTR) moduncon.c +moduncon -memchecks -expect 4\r
462 $(SPLINTRN) moduncon.c +strict -exportlocal -expect 22\r
463\r
464.PHONY: mongoincludes\r
465mongoincludes:\r
466 $(SPLINTR) mongoincludes.c -includenest 1 -expect 19\r
467 $(SPLINTR) mongoincludes.c -includenest 2 -expect 10\r
468 $(SPLINTR) mongoincludes.c -includenest 3 -expect 4\r
469 $(SPLINTR) mongoincludes.c -includenest 4 -expect 1\r
470 $(SPLINTR) mongoincludes.c -includenest 5 -expect 0\r
471\r
472.PHONY: mystrncat\r
473mystrncat:\r
474 $(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 \r
475\r
476.PHONY: noeffect\r
477noeffect:\r
478 ${SPLINTP} noeffect.c +allmacros +checks -expect 3\r
479\r
480###\r
481### 2002-01-01: null1.c: expect increased to 15 because out must be defined\r
482### checking detects one new error\r
483###\r
484\r
485.PHONY: null\r
486null: \r
487 $(SPLINTR) null1.c -expect 15\r
488 $(SPLINTR) null1.c -null -mustdefine -expect 4\r
489 $(SPLINTR) null2.c -expect 11\r
490 $(SPLINTR) null3.c -expect 15\r
491 $(SPLINTR) null3.c -warnunixlib +unixlib -expect 16\r
492 $(SPLINTR) null4.c -expect 1\r
493 $(SPLINTR) null5.c -expect 4\r
494 $(SPLINTR) null6 -expect 4\r
495 $(SPLINTR) +quiet null6.lcl -dump null6\r
496 $(SPLINTR) null6.c -load null6 -expect 4\r
497\r
498### Added for 3.0 (bugs reported by Kevin Broady)\r
499\r
500.PHONY: nullret\r
501nullret:\r
502 $(SPLINTR) nullret.c -expect 2\r
503 $(SPLINTR) -nullret nullret.c -expect 1\r
504\r
505.PHONY: nullassign\r
506nullassign:\r
507 $(SPLINTR) nullassign.c -expect 2\r
508 $(SPLINTR) -nullassign nullassign.c -expect 1\r
509\r
510#\r
511# Before 2.4, expected one more because error was reported both as \r
512# dependent and observer.\r
513#\r
514\r
515.PHONY: observer\r
516observer:\r
517 $(SPLINTRN) observer +checks -exportlocal -exportheader -expect 9\r
518 $(SPLINTRN) observer.c +checks -exportlocal -exportheader -expect 8\r
519 $(SPLINTR) observer.c -expect 7\r
520\r
521.PHONY: oldstyle\r
522oldstyle:\r
523 $(SPLINTR) oldstyle oldstyle2.c -expect 5\r
524\r
525.PHONY: outglob\r
526outglob:\r
527 $(SPLINTR) outglob -expect 10\r
528\r
529.PHONY: outparam\r
530outparam:\r
531 $(SPLINTR) outparam -expect 12\r
532\r
533### evans 2001-08-26: postnotnull new\r
534\r
535.PHONY: postnotnull\r
536postnotnull:\r
537 ${SPLINTR} postnotnull.c -expect 1\r
538\r
539### evans 2002-02-09: added parentype.c\r
540.PHONY: parentype\r
541parentype:\r
542 ${SPLINTR} parentype.c \r
543\r
544#\r
545# Four new +fcnuse errors for -strict (evans 2001-07-22)\r
546# \r
547\r
548.PHONY: preds\r
549preds:\r
550 $(SPLINTR) +hints preds.c -expect 6\r
551 $(SPLINTRN) +hints preds.c -weak -expect 1\r
552 $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12\r
553\r
554.PHONY: prefixes\r
555prefixes:\r
556 $(SPLINTR) prefixes.c +partial\r
557 $(SPLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4\r
558 $(SPLINTR) prefixes.c -typeprefix "T" -expect 2\r
559 $(SPLINTR) prefixes.c -typeprefix "^" -expect 1\r
560 $(SPLINTR) prefixes.c -typeprefix "^*" -expect 2\r
561 $(SPLINTR) prefixes.c -typeprefix "^%*" -expect 2\r
562 $(SPLINTR) prefixes.c -typeprefix "^~*" -expect 2\r
563 $(SPLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7\r
564 $(SPLINTR) prefixes.c -filestaticprefix "^^" -expect 4\r
565 $(SPLINTR) prefixes.c -filestaticprefix "^#" -expect 5\r
566 $(SPLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5\r
567 $(SPLINTR) prefixes.c -globalprefix "G" -expect 1\r
568 $(SPLINTR) prefixes.c -globalprefix "&G?_^" -expect 1\r
569 $(SPLINTR) prefixes.c -externalprefix "G" -expect 5\r
570 $(SPLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4\r
571# herbert: unsolved problem with quoting the '*' here!\r
572# $(SPLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13\r
573\r
574.PHONY: printflike\r
575printflike:\r
576 $(SPLINTR) printflike.c -expect 6\r
577 $(SPLINTR) printflike.c -warnlintcomments -expect 5\r
578\r
579.PHONY: rc\r
580rc:\r
581# herbert unsolved problem with quoting here!\r
582# $(SPLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1\r
583 $(SPLINTR) -DMYSTERY=12 rc.c -expect 1\r
584 $(SPLINTR) -f rc1.splintrc rc.c -expect 1\r
585 $(SPLINTR) -UMYSTERY -f rc1.splintrc rc.c -expect 1\r
586 $(SPLINTR) -f rc3.splintrc.os2 rc.c -expect 1\r
587\r
588.PHONY: rcfiles\r
589rcfiles:\r
590 cd rcfiles; ${MAKE} SPLINT="$(SPLINTPNEST)"\r
591\r
592.PHONY: refcounts\r
593refcounts:\r
594 $(SPLINTR) refcounts.c -expect 7 \r
595\r
596.PHONY: release\r
597release:\r
598 $(SPLINTR) release.c +memchecks -expect 1\r
599\r
600.PHONY: repexpose\r
601repexpose:\r
602 $(SPLINTR) +lh repexpose +memchecks -expect 12\r
603 $(SPLINTR) repexpose +memchecks +retalias -expect 15\r
604 $(SPLINTRN) repexpose +checks -exportlocal -expect 27\r
605\r
606### returned added 2001-05-27\r
607### (Bug discovered checking splint sources.)\r
608\r
609.PHONY: returned\r
610returned:\r
611 ${SPLINTR} returned.c -expect 1\r
612\r
613.PHONY: sharing\r
614sharing: \r
615 $(SPLINTR) sharing1.c -expect 21\r
616 $(SPLINTR) sharing3.c -expect 3\r
617 $(SPLINTR) sharing4.c -expect 13\r
618 $(SPLINTR) sharing4.c -paramimptemp -expect 12\r
619 $(SPLINTR) sharing5.c -expect 6\r
620\r
621.PHONY: shifts\r
622shifts:\r
623 $(SPLINTR) shifts.c -expect 4\r
624 $(SPLINTR) shifts.c -shiftimplementation -expect 3\r
625 $(SPLINTR) shifts.c -shiftnegative -expect 1\r
626\r
627.PHONY: slovaknames\r
628slovaknames:\r
629 $(SPLINTR) +hints slovaknames.c -expect 1\r
630 $(SPLINTR) +hints slovaknames.c +accessslovak \r
631 $(SPLINTR) +hints +slovak slovaknames.c -expect 3\r
632 $(SPLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2\r
633 $(SPLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7\r
634\r
635.PHONY: specclauses\r
636specclauses:\r
637 $(SPLINTR) specclauses.c -expect 6\r
638 $(SPLINTR) specclauses2.c -expect 8\r
639 $(SPLINTR) specclauses3.c -expect 6\r
640 $(SPLINTR) specclauses4.c -expect 3\r
641 $(SPLINTR) specclauses5.c -expect 3\r
642\r
643.PHONY: specclauses1\r
644specclauses1:\r
645 $(SPLINTR) specclauses.c -expect 6\r
646\r
647.PHONY: specclauses2\r
648specclauses2:\r
649 $(SPLINTR) specclauses2.c -expect 8\r
650\r
651.PHONY: specclauses3\r
652specclauses3:\r
653 $(SPLINTR) specclauses3.c -expect 6\r
654\r
655.PHONY: specclauses4\r
656specclauses4:\r
657 $(SPLINTR) specclauses4.c -expect 3\r
658\r
659.PHONY: specclauses5\r
660specclauses5:\r
661 $(SPLINTR) specclauses5.c -expect 3\r
662\r
663.PHONY: special\r
664special:\r
665 $(SPLINTR) special -expect 20\r
666 $(SPLINTR) special -relaxquals -expect 22\r
667\r
668.PHONY: stack\r
669stack:\r
670 $(SPLINTR) stack.c -expect 5\r
671 $(SPLINTR) stack.c -stackref\r
672\r
673.PHONY: staticarray\r
674staticarray:\r
675 $(SPLINTR) staticarray.c -expect 3\r
676\r
677.PHONY: stringliteral\r
678stringliteral:\r
679 $(SPLINTR) stringliteral.c +stringliteralnoroomfinalnull -expect 4\r
680 $(SPLINTR) stringliteral.c -expect 3\r
681\r
682.PHONY: strings\r
683strings:\r
684 $(SPLINTR) strings.c -expect 3\r
685 $(SPLINTR) -readonlystrings -expect 1 strings.c\r
686 $(SPLINTR) +modobserverstrict -maintype -expect 4 strings.c\r
687\r
688.PHONY: structassign\r
689structassign:\r
690 $(SPLINTR) structassign.c -expect 4\r
691\r
692.PHONY: typequals\r
693typequals:\r
694 $(SPLINTR) typequals.c tq.lcl -expect 5\r
695 $(SPLINTR) typequals.c -expect 2\r
696\r
697.PHONY: ud\r
698ud:\r
699 $(SPLINTR) ud.c -expect 9\r
700 $(SPLINTR) ud2 -specundef -expect 3\r
701\r
702.PHONY: ulstypes\r
703ulstypes:\r
704 $(SPLINTR) ulstypes.c -expect 8\r
705 $(SPLINTR) ulstypes.c +ignorequals \r
706 $(SPLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28\r
707\r
708# 3 more detected with version 2.5 (change in -numliteral setting)\r
709\r
710.PHONY: union\r
711union:\r
712 $(SPLINTR) +memchecks union.c -expect 8\r
713\r
714###\r
715### Added 2001-12-30: fixed union initializer checking in response to\r
716### bug report from Jim Zelenka.\r
717###\r
718\r
719.PHONY: unioninit\r
720unioninit:\r
721 $(SPLINTR) unioninit.c -expect 2\r
722\r
723.PHONY: unreachable\r
724unreachable:\r
725 $(SPLINTR) unreachable.c -expect 5\r
726 $(SPLINTR) -unreachable unreachable.c -expect 2\r
727 $(SPLINTR) switch.c -expect 4\r
728\r
729.PHONY: unsignedcompare\r
730unsignedcompare:\r
731 ${SPLINTR} +posixlib unsignedcompare.c -expect 4\r
732\r
733###\r
734### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks\r
735###\r
736\r
737.PHONY: unused\r
738unused:\r
739 $(SPLINTRN) unused.c +checks -exportlocal -expect 5\r
740 $(SPLINTRN) unused.c +checks -exportlocal +topuse -expect 8\r
741\r
742###\r
743### 2001-06-10: Provided by Jim Zalenka\r
744###\r
745\r
746.PHONY: ullint\r
747ullint:\r
748 ${SPLINTRN} ullint.c -expect 5\r
749 ${SPLINTRN} ullint.c +charint +charintliteral -expect 2\r
750\r
751###\r
752### 2001-12-30: Poor warnings reported by Peter Deutsch\r
753###\r
754\r
755.PHONY: utypes\r
756utypes:\r
757# herbert: TODO\r
758 -${SPLINTRN} utypes.c -expect 6\r
759\r
760###\r
761\r
762.PHONY: void\r
763void:\r
764 ${SPLINTRN} void.c -expect 2\r
765\r
766###\r
767### 2001-12-30: Problems with wide character strings reported by Nelson Beebe\r
768###\r
769\r
770.PHONY: widestrings\r
771widestrings:\r
772 ${SPLINTRN} widestrings.c -expect 2\r
773\r
774###\r
775### New since 2.5q:\r
776###\r
777\r
778.PHONY: linked\r
779linked:\r
780 ${SPLINTR} linked.c -expect 4\r
781 ${SPLINTR} linked2.c -expect 3\r
782 ${SPLINTR} linked3.c -expect 5\r
783 ${SPLINTR} linked4.c -expect 6\r
784 ${SPLINTR} linked5.c -expect 4\r
785 ${SPLINTR} linked6.c -expect 4\r
786\r
787.PHONY: freearray\r
788freearray:\r
789 ${SPLINTR} freearray.c -expect 1\r
790\r
791.PHONY: sizeof\r
792sizeof:\r
793 $(SPLINTR) +bounds sizeof.c -expect 1\r
794\r
795.PHONY: buffertest\r
796buffertest:\r
797 $(SPLINTR) +bounds buffertest1.c -expect 5\r
798\r
799.PHONY: $(SUBDIRTESTS)\r
800$(SUBDIRTESTS):\r
801 $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)" \r
802\r
git-cvsimport mirror of splint
This page took 0.337819 seconds and 5 git commands to generate.