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