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