]> andersk Git - splint.git/blame - test/Makefile.os2
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Removed obsolete OS/2 test makefiles.
[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
87fa79e5 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
ada7cf7f 33\r
87fa79e5 34UNITTESTS = \\r
35 help \\r
36 abstptr abstract alias alttypes ansireserved argorder \\r
149b00db 37 args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \\r
ada7cf7f 38 compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \\r
6ee276d2 39 decl divzero enum enumtag exports external fields flags forbody format freearray \\r
87fa79e5 40 funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \\r
6ee276d2 41 linked lintcomments list longint loopexec looptesteffect \\r
87fa79e5 42 macros macrosef merge mergenull modifies modtest moduncon \\r
6ee276d2 43 mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \\r
87fa79e5 44 parentype postnotnull preds prefixes printflike rc refcounts release repexpose \\r
149b00db 45 returned sharing shifts sizesigns slovaknames \\r
87fa79e5 46 specclauses \\r
47 special stack staticarray strings \\r
48 stringliteral \\r
ada7cf7f 49 structassign typequals typeof ud ulstypes union unioninit \\r
50 unnamedsu unreachable unsignedcompare \\r
87fa79e5 51 unused ullint utypes void widestrings\r
52\r
53UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))\r
54\r
55### warnuse doesn't work yet!\r
6ee276d2 56SUBDIRTESTS1 = metastate mergestate fileio \\r
87fa79e5 57 simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \\r
6ee276d2 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
87fa79e5 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
6ee276d2 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
87fa79e5 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
ada7cf7f 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
87fa79e5 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
149b00db 179.PHONY: chararraylit\r
180chararraylit:\r
6ee276d2 181 $(SPLINTR) chararraylit.c -expect 2\r
149b00db 182\r
87fa79e5 183### Two addition errors detected with 2.5 with -numliteral.\r
184\r
6ee276d2 185### evans 2002-12-15: finds one more but in charlit\r
87fa79e5 186.PHONY: charlit\r
187charlit:\r
188 $(SPLINTR) +hints charlit.c -expect 4\r
189 $(SPLINTR) +hints -numliteral charlit.c -expect 6\r
6ee276d2 190 $(SPLINTR) +hints charlit.c +charintliteral +ignoresigns -expect 1\r
87fa79e5 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
ada7cf7f 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
87fa79e5 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
149b00db 289.PHONY: enumtag\r
290enumtag:\r
6ee276d2 291 $(SPLINTR) enumtag.c -expect 2\r
149b00db 292\r
87fa79e5 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
6ee276d2 407### 2002-07-08: 2 new errors found (getc modifies errno)\r
87fa79e5 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
6ee276d2 414 $(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 44\r
87fa79e5 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
6ee276d2 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
87fa79e5 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
ada7cf7f 446.PHONY: looptesteffect\r
447looptesteffect:\r
448 $(SPLINTR) looptesteffect.c -expect 1\r
449\r
87fa79e5 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
6ee276d2 512 $(SPLINTR) null3.c +unixlib -expect 16\r
87fa79e5 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
6ee276d2 524 $(SPLINTR) -nullret nullret.c -expect 0\r
87fa79e5 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
6ee276d2 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
87fa79e5 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
6ee276d2 581 $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 10\r
87fa79e5 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
6ee276d2 600# Herbert: this does not work under OS/2\r
87fa79e5 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
6ee276d2 619 cd rcfiles; ${MAKE} SPLINT="-$(SPLINTPNEST)"\r
87fa79e5 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
6ee276d2 656#drl comment this out until sizesigns is added to cvs\r
657\r
149b00db 658### evans - added 2002-08-17: check warnings with arbitrary integral types\r
659sizesigns:\r
6ee276d2 660 $(SPLINTR) +strict sizesigns.c -expect 5\r
661 $(SPLINTR) +strict +matchanyintegral sizesigns.c -expect 4\r
149b00db 662\r
87fa79e5 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
149b00db 675 $(SPLINTR) specclauses3.c -expect 5\r
87fa79e5 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
ada7cf7f 713###\r
714### evans 2002-03-16: Default setting of stringliteralnoroomfinalnull changed\r
715### \r
716\r
87fa79e5 717.PHONY: stringliteral\r
718stringliteral:\r
904e0be5 719 $(SPLINTR) stringliteral.c -stringliteralnoroomfinalnull -expect 3\r
720 $(SPLINTR) stringliteral.c -expect 4\r
87fa79e5 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
ada7cf7f 732.PHONY: typeof\r
733typeof:\r
734 $(SPLINTR) typeof.c -expect 2\r
735\r
87fa79e5 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
ada7cf7f 767.PHONY: unnamedsu\r
768unnamedsu:\r
769 $(SPLINTR) unnamedsu.c -expect 0\r
770\r
87fa79e5 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
6ee276d2 802### 2002-07-03: removed warnings for datatype/macro definitions\r
803###\r
87fa79e5 804\r
805.PHONY: utypes\r
806utypes:\r
149b00db 807 ${SPLINTRN} utypes.c -expect 2\r
87fa79e5 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
6ee276d2 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
87fa79e5 855\r
6ee276d2 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 0.220347 seconds and 5 git commands to generate.