]>
Commit | Line | Data |
---|---|---|
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 | |
9 | SHELL = cmd.exe\r | |
10 | \r | |
87fa79e5 | 11 | .SUFFIXES: .out .expect .c .lcl .h .lh .diff\r |
12 | \r | |
13 | # -u show context\r | |
14 | SPLINT = ../bin/splint.exe\r | |
15 | \r | |
16 | ### This is horrible! Can't we make top_builddir absolute?\r | |
17 | SPLINTNEST = ../../bin/splint.exe\r | |
18 | \r | |
19 | SPLINTPNEST = $(SPLINTNEST) -nof\r | |
20 | SPLINTP = $(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 | |
24 | SPLINTRN = $(SPLINTP) -hints -booltype "bool"\r | |
25 | SPLINTR = $(SPLINTRN) -exportlocal +debugfcnconstraint\r | |
26 | \r | |
27 | SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype "bool"\r | |
28 | SPLINTRNEST = $(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 | 34 | UNITTESTS = \\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 | |
53 | UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))\r | |
54 | \r | |
55 | ### warnuse doesn't work yet!\r | |
6ee276d2 | 56 | SUBDIRTESTS1 = metastate mergestate fileio \\r |
87fa79e5 | 57 | simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \\r |
6ee276d2 | 58 | maxset strchr sizeoftest for manual\r |
59 | SUBDIRTESTS1 = tests2.5 db1 db2 db3\r | |
60 | SUBDIRTESTS2 = tainted tests2.2 tests2.4 \r | |
61 | SUBDIRTESTS = $(SUBDIRTESTS1) $(SUBDIRTESTS2)\r | |
87fa79e5 | 62 | \r |
63 | SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS)\r | |
64 | \r | |
65 | QUICKTESTS = db3\r | |
66 | \r | |
67 | all: quicktest\r | |
68 | \r | |
69 | DIFF = diff\r | |
70 | \r | |
71 | ### not real .c\r | |
72 | \r | |
73 | quicktest: $(SPLINTTESTS)\r | |
74 | \r | |
75 | \r | |
76 | .PHONY: help\r | |
77 | \r | |
78 | help:\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 | |
88 | abstptr:\r | |
89 | $(SPLINTR) abstptr -expect 9\r | |
90 | $(SPLINTR) abstptr +voidabstract -expect 6\r | |
91 | \r | |
92 | .PHONY: abstract\r | |
93 | abstract:\r | |
94 | $(SPLINTR) abst_t.lcl commentcmd.c -expect 15\r | |
95 | \r | |
96 | .PHONY: alias\r | |
97 | alias:\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 | |
107 | alttypes:\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 | |
119 | ansireserved:\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 | |
126 | argorder:\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 | |
135 | args:\r | |
136 | $(SPLINTR) args -noeffect -expect 12\r | |
137 | \r | |
138 | .PHONY: arraydims\r | |
139 | arraydims:\r | |
140 | $(SPLINTR) arraydims.c -varuse -expect 2\r | |
141 | $(SPLINTR) arraydims.c -initsize -varuse\r | |
142 | \r | |
ada7cf7f | 143 | .PHONY: arrayinit\r |
144 | arrayinit:\r | |
145 | $(SPLINTR) arrayinit.c -expect 9\r | |
146 | \r | |
147 | .PHONY: arraylit\r | |
148 | arraylit:\r | |
149 | $(SPLINTR) arraylit.c -expect 2\r | |
150 | $(SPLINTR) arraylit.c +stringliteralsmaller -expect 4\r | |
151 | \r | |
87fa79e5 | 152 | .PHONY: blocks\r |
153 | blocks:\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 | |
162 | break:\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 | |
168 | cases: \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 | |
175 | cast:\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 |
180 | chararraylit:\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 |
187 | charlit:\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 | |
193 | clauses: \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 | |
200 | commentchar:\r | |
201 | $(SPLINTR) commentchar.c -expect 4\r | |
202 | $(SPLINTR) -commentchar '#' commentchar.c -expect 4\r | |
203 | \r | |
204 | .PHONY: controldepth\r | |
205 | controldepth:\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 | |
210 | compdestroy:\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 |
217 | compoundliterals:\r | |
218 | ${SPLINTRN} compoundliterals.c \r | |
219 | \r | |
220 | .PHONY: compoundstmt\r | |
221 | compoundstmt:\r | |
222 | ${SPLINTRN} compoundstmt.c -expect 3\r | |
223 | \r | |
87fa79e5 | 224 | .PHONY: constannot\r |
225 | constannot:\r | |
226 | ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2\r | |
227 | \r | |
228 | .PHONY: csyntax\r | |
229 | csyntax:\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 | |
249 | czechnames:\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 | |
256 | czechoslovaknames:\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 | |
266 | deadparam:\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 | |
275 | decl:\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 | |
281 | divzero:\r | |
282 | $(SPLINTR) divzero.c -varuse -expect 0\r | |
283 | \r | |
284 | .PHONY: enum\r | |
285 | enum:\r | |
286 | $(SPLINTR) enum -expect 16\r | |
287 | $(SPLINTR) enum -misscase -expect 14\r | |
288 | \r | |
149b00db | 289 | .PHONY: enumtag\r |
290 | enumtag:\r | |
6ee276d2 | 291 | $(SPLINTR) enumtag.c -expect 2\r |
149b00db | 292 | \r |
87fa79e5 | 293 | .PHONY: exports\r |
294 | exports:\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 | |
300 | external:\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 | |
308 | fields:\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 | |
314 | flags:\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 | |
321 | forbody:\r | |
322 | ${SPLINTR} forbody.c -expect 2\r | |
323 | \r | |
324 | ### Added 2001-06-03\r | |
325 | .PHONY: format\r | |
326 | format:\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 | |
333 | funcpointer:\r | |
334 | $(SPLINTR) +memchecks +noparams funcpointer.c -expect 18\r | |
335 | \r | |
336 | .PHONY: functionmacro\r | |
337 | functionmacro:\r | |
338 | $(SPLINTR) functionmacro.c -expect 2\r | |
339 | \r | |
340 | .PHONY: glob\r | |
341 | glob:\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 | |
347 | globals:\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 | |
357 | impabstract: \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 | |
367 | info:\r | |
368 | ${SPLINTR} info.c -expect 4\r | |
369 | \r | |
370 | ### evans 2001-10-14: Expected errors updated\r | |
371 | .PHONY: init\r | |
372 | init:\r | |
373 | $(SPLINTR) init.c -expect 14\r | |
374 | $(SPLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17\r | |
375 | \r | |
376 | .PHONY: inparam\r | |
377 | inparam:\r | |
378 | $(SPLINTR) inparam.c -expect 2\r | |
379 | $(SPLINTR) +impouts inparam.c -expect 1\r | |
380 | \r | |
381 | .PHONY: internal\r | |
382 | internal:\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 | |
396 | iter:\r | |
397 | $(SPLINTR) iter -expect 14 -lclexpect 1\r | |
398 | $(SPLINTR) iter2.c -expect 12\r | |
399 | \r | |
400 | .PHONY: keep\r | |
401 | keep:\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 | |
410 | libs:\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 | |
417 | lintcomments:\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 | |
423 | list:\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 | |
431 | longint:\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 | |
442 | loopexec:\r | |
443 | $(SPLINTR) loopexec.c -expect 1\r | |
444 | $(SPLINTR) loopexec.c -obviousloopexec -expect 3\r | |
445 | \r | |
ada7cf7f | 446 | .PHONY: looptesteffect\r |
447 | looptesteffect:\r | |
448 | $(SPLINTR) looptesteffect.c -expect 1\r | |
449 | \r | |
87fa79e5 | 450 | .PHONY: macros\r |
451 | macros:\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 | |
457 | macrosef:\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 | |
463 | merge:\r | |
464 | $(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3\r | |
465 | \r | |
466 | .PHONY: mergenull\r | |
467 | mergenull:\r | |
468 | $(SPLINTRN) mergenull.c \r | |
469 | \r | |
470 | .PHONY: modifies\r | |
471 | modifies:\r | |
472 | $(SPLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7\r | |
473 | \r | |
474 | .PHONY: modtest\r | |
475 | modtest:\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 | |
481 | moduncon:\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 | |
486 | mongoincludes:\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 | |
494 | mystrncat:\r | |
495 | $(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 \r | |
496 | \r | |
497 | .PHONY: noeffect\r | |
498 | noeffect:\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 | |
507 | null: \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 | |
522 | nullret:\r | |
523 | $(SPLINTR) nullret.c -expect 2\r | |
6ee276d2 | 524 | $(SPLINTR) -nullret nullret.c -expect 0\r |
87fa79e5 | 525 | \r |
526 | .PHONY: nullassign\r | |
527 | nullassign:\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 | |
534 | numabstract:\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 | |
545 | observer:\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 | |
551 | oldstyle:\r | |
552 | $(SPLINTR) oldstyle oldstyle2.c -expect 5\r | |
553 | \r | |
554 | .PHONY: outglob\r | |
555 | outglob:\r | |
556 | $(SPLINTR) outglob -expect 10\r | |
557 | \r | |
558 | .PHONY: outparam\r | |
559 | outparam:\r | |
560 | $(SPLINTR) outparam -expect 12\r | |
561 | \r | |
562 | ### evans 2001-08-26: postnotnull new\r | |
563 | \r | |
564 | .PHONY: postnotnull\r | |
565 | postnotnull:\r | |
566 | ${SPLINTR} postnotnull.c -expect 1\r | |
567 | \r | |
568 | ### evans 2002-02-09: added parentype.c\r | |
569 | .PHONY: parentype\r | |
570 | parentype:\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 | |
578 | preds:\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 | |
584 | prefixes:\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 | |
604 | printflike:\r | |
605 | $(SPLINTR) printflike.c -expect 6\r | |
606 | $(SPLINTR) printflike.c -warnlintcomments -expect 5\r | |
607 | \r | |
608 | .PHONY: rc\r | |
609 | rc:\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 | |
618 | rcfiles:\r | |
6ee276d2 | 619 | cd rcfiles; ${MAKE} SPLINT="-$(SPLINTPNEST)"\r |
87fa79e5 | 620 | \r |
621 | .PHONY: refcounts\r | |
622 | refcounts:\r | |
623 | $(SPLINTR) refcounts.c -expect 7 \r | |
624 | \r | |
625 | .PHONY: release\r | |
626 | release:\r | |
627 | $(SPLINTR) release.c +memchecks -expect 1\r | |
628 | \r | |
629 | .PHONY: repexpose\r | |
630 | repexpose:\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 | |
639 | returned:\r | |
640 | ${SPLINTR} returned.c -expect 1\r | |
641 | \r | |
642 | .PHONY: sharing\r | |
643 | sharing: \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 | |
651 | shifts:\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 |
659 | sizesigns:\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 |
664 | slovaknames:\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 | |
672 | specclauses:\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 | |
680 | specclauses1:\r | |
681 | $(SPLINTR) specclauses.c -expect 6\r | |
682 | \r | |
683 | .PHONY: specclauses2\r | |
684 | specclauses2:\r | |
685 | $(SPLINTR) specclauses2.c -expect 8\r | |
686 | \r | |
687 | .PHONY: specclauses3\r | |
688 | specclauses3:\r | |
689 | $(SPLINTR) specclauses3.c -expect 6\r | |
690 | \r | |
691 | .PHONY: specclauses4\r | |
692 | specclauses4:\r | |
693 | $(SPLINTR) specclauses4.c -expect 3\r | |
694 | \r | |
695 | .PHONY: specclauses5\r | |
696 | specclauses5:\r | |
697 | $(SPLINTR) specclauses5.c -expect 3\r | |
698 | \r | |
699 | .PHONY: special\r | |
700 | special:\r | |
701 | $(SPLINTR) special -expect 20\r | |
702 | $(SPLINTR) special -relaxquals -expect 22\r | |
703 | \r | |
704 | .PHONY: stack\r | |
705 | stack:\r | |
706 | $(SPLINTR) stack.c -expect 5\r | |
707 | $(SPLINTR) stack.c -stackref\r | |
708 | \r | |
709 | .PHONY: staticarray\r | |
710 | staticarray:\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 |
718 | stringliteral:\r | |
904e0be5 | 719 | $(SPLINTR) stringliteral.c -stringliteralnoroomfinalnull -expect 3\r |
720 | $(SPLINTR) stringliteral.c -expect 4\r | |
87fa79e5 | 721 | \r |
722 | .PHONY: strings\r | |
723 | strings:\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 | |
729 | structassign:\r | |
730 | $(SPLINTR) structassign.c -expect 4\r | |
731 | \r | |
ada7cf7f | 732 | .PHONY: typeof\r |
733 | typeof:\r | |
734 | $(SPLINTR) typeof.c -expect 2\r | |
735 | \r | |
87fa79e5 | 736 | .PHONY: typequals\r |
737 | typequals:\r | |
738 | $(SPLINTR) typequals.c tq.lcl -expect 5\r | |
739 | $(SPLINTR) typequals.c -expect 2\r | |
740 | \r | |
741 | .PHONY: ud\r | |
742 | ud:\r | |
743 | $(SPLINTR) ud.c -expect 9\r | |
744 | $(SPLINTR) ud2 -specundef -expect 3\r | |
745 | \r | |
746 | .PHONY: ulstypes\r | |
747 | ulstypes:\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 | |
755 | union:\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 | |
764 | unioninit:\r | |
765 | $(SPLINTR) unioninit.c -expect 2\r | |
766 | \r | |
ada7cf7f | 767 | .PHONY: unnamedsu\r |
768 | unnamedsu:\r | |
769 | $(SPLINTR) unnamedsu.c -expect 0\r | |
770 | \r | |
87fa79e5 | 771 | .PHONY: unreachable\r |
772 | unreachable:\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 | |
778 | unsignedcompare:\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 | |
786 | unused:\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 | |
795 | ullint:\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 | |
806 | utypes:\r | |
149b00db | 807 | ${SPLINTRN} utypes.c -expect 2\r |
87fa79e5 | 808 | \r |
809 | ###\r | |
810 | \r | |
811 | .PHONY: void\r | |
812 | void:\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 | |
820 | widestrings:\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 | |
828 | linked:\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 | |
837 | freearray:\r | |
838 | ${SPLINTR} freearray.c -expect 1\r | |
839 | \r | |
840 | .PHONY: sizeof\r | |
841 | sizeof:\r | |
842 | $(SPLINTR) +bounds sizeof.c -expect 1\r | |
843 | \r | |
844 | .PHONY: buffertest\r | |
845 | buffertest:\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 |