]>
Commit | Line | Data |
---|---|---|
86d93ed3 | 1 | # Makefile.in generated automatically by automake 1.5 from Makefile.am. |
2 | ||
3 | # Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001 | |
4 | # Free Software Foundation, Inc. | |
5 | # This Makefile.in is free software; the Free Software Foundation | |
6 | # gives unlimited permission to copy and/or distribute it, | |
7 | # with or without modifications, as long as this notice is preserved. | |
8 | ||
9 | # This program is distributed in the hope that it will be useful, | |
10 | # but WITHOUT ANY WARRANTY, to the extent permitted by law; without | |
11 | # even the implied warranty of MERCHANTABILITY or FITNESS FOR A | |
12 | # PARTICULAR PURPOSE. | |
13 | ||
14 | ||
15 | ||
16 | SHELL = /bin/sh | |
17 | ||
18 | srcdir = . | |
19 | top_srcdir = .. | |
20 | ||
21 | prefix = /usr/local | |
22 | exec_prefix = ${prefix} | |
23 | ||
24 | bindir = ${exec_prefix}/bin | |
25 | sbindir = ${exec_prefix}/sbin | |
26 | libexecdir = ${exec_prefix}/libexec | |
27 | datadir = ${prefix}/share | |
28 | sysconfdir = ${prefix}/etc | |
29 | sharedstatedir = ${prefix}/com | |
30 | localstatedir = ${prefix}/var | |
31 | libdir = ${exec_prefix}/lib | |
32 | infodir = ${prefix}/info | |
33 | mandir = ${prefix}/man | |
34 | includedir = ${prefix}/include | |
35 | oldincludedir = /usr/include | |
36 | pkgdatadir = $(datadir)/splint | |
37 | pkglibdir = $(libdir)/splint | |
38 | pkgincludedir = $(includedir)/splint | |
39 | top_builddir = .. | |
40 | ||
41 | ACLOCAL = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run aclocal | |
42 | AUTOCONF = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run autoconf | |
43 | AUTOMAKE = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run automake | |
44 | AUTOHEADER = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run autoheader | |
45 | ||
46 | INSTALL = /usr/bin/install -c | |
47 | INSTALL_PROGRAM = ${INSTALL} | |
48 | INSTALL_DATA = ${INSTALL} -m 644 | |
49 | INSTALL_SCRIPT = ${INSTALL} | |
50 | INSTALL_HEADER = $(INSTALL_DATA) | |
51 | transform = s,x,x, | |
52 | NORMAL_INSTALL = : | |
53 | PRE_INSTALL = : | |
54 | POST_INSTALL = : | |
55 | NORMAL_UNINSTALL = : | |
56 | PRE_UNINSTALL = : | |
57 | POST_UNINSTALL = : | |
58 | host_alias = | |
59 | host_triplet = i686-pc-linux-gnu | |
60 | AMTAR = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run tar | |
61 | AWK = gawk | |
62 | BISON = bison | |
63 | CAT = cat | |
64 | CC = gcc | |
65 | CP = cp | |
66 | CPP = gcc -E | |
67 | DEPDIR = .deps | |
68 | DIFF = diff | |
69 | EXEEXT = | |
70 | GREP = grep | |
71 | INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s | |
72 | LCLOBJ = $(lcl_OBJECTS) | |
73 | LEX = flex | |
74 | LN_S = ln -s | |
75 | MV = mv | |
76 | OBJEXT = o | |
77 | PACKAGE = splint | |
78 | RM = rm | |
79 | VERSION = 3.0.1 | |
80 | am__include = include | |
81 | am__quote = | |
82 | install_sh = /net/af9/drl7x/reTmp/LCLintDev/config/install-sh | |
83 | ||
84 | AUTOMAKE_OPTIONS = 1.5 foreign | |
85 | ||
86 | DIFFFLAGS = | |
87 | ||
88 | ||
89 | # -u show context | |
90 | SPLINT = $(top_builddir)/src/splint$(EXEEXT) | |
91 | ||
92 | ### This is horrible! Can't we make top_builddir absolute? | |
93 | SPLINTNEST = ../$(top_builddir)/src/splint$(EXEEXT) | |
94 | ||
95 | SPLINTPNEST = @$(SPLINTNEST) -nof | |
96 | SPLINTP = @$(SPLINT) -nof | |
97 | ||
98 | # Make sure .splintrc files are not used so test results do not | |
99 | # depend on local settings. | |
100 | SPLINTRN = $(SPLINTP) -hints -booltype "bool" | |
101 | SPLINTR = $(SPLINTRN) -exportlocal +debugfcnconstraint | |
102 | ||
103 | SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype "bool" | |
104 | SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint | |
105 | ||
106 | ||
107 | ### | |
108 | ### rcfiles not included becuase file names will not match exactly | |
109 | ### | |
110 | UNITTESTS = \ | |
111 | help \ | |
112 | abstptr abstract alias alttypes ansireserved argorder \ | |
113 | args blocks break cases cast charlit clauses commentchar compdestroy \ | |
114 | constannot controldepth csyntax czechnames czechoslovaknames deadparam \ | |
115 | decl enum exports external fields flags forbody format freearray \ | |
116 | funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \ | |
117 | linked lintcomments list loopexec \ | |
118 | macros macrosef merge mergenull modifies modtest moduncon \ | |
119 | mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \ | |
120 | postnotnull preds prefixes printflike rc refcounts release repexpose \ | |
121 | returned sharing shifts slovaknames \ | |
122 | specclauses \ | |
123 | special stack staticarray strings \ | |
124 | structassign typequals ud ulstypes union unioninit unreachable unsignedcompare \ | |
125 | unused ullint utypes void widestrings | |
126 | ||
127 | UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS)) | |
128 | ||
129 | ||
130 | ### warnuse doesn't work yet! | |
131 | SUBDIRTESTS = metastate mergestate tainted fileio \ | |
132 | simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ | |
133 | maxset strchr for manual\ | |
134 | tests2.2 tests2.4 tests2.5 db1 db2 db3 | |
135 | ||
136 | SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS) | |
137 | ||
138 | QUICKTESTS = db3 | |
139 | ||
140 | CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES=" | |
141 | ||
142 | #drl 11/29/2001 This is a very ugly hack to get make dist to work | |
143 | EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ | |
144 | ./abstptr.lcl ./abstptr.lcs \ | |
145 | ./alias.lcl ./alias.lcs \ | |
146 | ./alias2.lcl ./alias2.lcs \ | |
147 | ./alias3.lcl \ | |
148 | ./db1/erc.lcl \ | |
149 | ./db1/bool.lcl \ | |
150 | ./db1/dbase.lcl \ | |
151 | ./db1/employee.lcl \ | |
152 | ./db1/empset.lcl \ | |
153 | ./db1/eref.lcl \ | |
154 | ./db1/ereftab.lcl \ | |
155 | ./alias3.lcs \ | |
156 | ./alias3.lh \ | |
157 | ./alias4.lcl \ | |
158 | ./alias4.lcs \ | |
159 | ./alias4.lh \ | |
160 | ./alias5.lcl \ | |
161 | ./alias5.lcs \ | |
162 | ./alias5.lh \ | |
163 | ./argorder2.lcl \ | |
164 | ./argorder2.lcs \ | |
165 | ./argorder4.lcl \ | |
166 | ./argorder4.lcs \ | |
167 | ./args.lcl \ | |
168 | ./args.lcs \ | |
169 | ./cast.lcl \ | |
170 | ./cast.lcs \ | |
171 | ./decl2.lcl \ | |
172 | ./decl2.lcs \ | |
173 | ./empty.lcl \ | |
174 | ./enum.lcl \ | |
175 | ./enum.lcs \ | |
176 | ./glob.lcl \ | |
177 | ./glob.lcs \ | |
178 | ./impabstract.lcl \ | |
179 | ./impabstract.lcs \ | |
180 | ./iter.lcl \ | |
181 | ./iter.lcs \ | |
182 | ./macros.lcl \ | |
183 | ./macros.lcs \ | |
184 | ./macrosef.lcl \ | |
185 | ./macrosef.lcs \ | |
186 | ./modtest.lcl \ | |
187 | ./modtest.lcs \ | |
188 | ./mut.lcl \ | |
189 | ./mut.lcs \ | |
190 | ./mut.lh \ | |
191 | ./mut.lh.expect \ | |
192 | ./db2/dbase.lcl \ | |
193 | ./db2/employee.lcl \ | |
194 | ./db2/empset.lcl \ | |
195 | ./db2/erc.lcl \ | |
196 | ./db2/eref.lcl \ | |
197 | ./db2/ereftab.lcl \ | |
198 | ./db2/etest.lcl \ | |
199 | ./null6.lcd \ | |
200 | ./null6.lcl \ | |
201 | ./null6.lcs \ | |
202 | ./observer.lcl \ | |
203 | ./observer.lcs \ | |
204 | ./oldstyle.lcl \ | |
205 | ./oldstyle.lcs \ | |
206 | ./outglob.lcl \ | |
207 | ./outglob.lcs \ | |
208 | ./outparam.lcl \ | |
209 | ./outparam.lcs \ | |
210 | ./rc1.splintrc \ | |
211 | ./rc2.splintrc \ | |
212 | ./rc3.splintrc \ | |
213 | ./rc3.splintrc.os2 \ | |
214 | ./repexpose.lcl \ | |
215 | ./repexpose.lcs \ | |
216 | ./repexpose.lh \ | |
217 | ./repexpose.lh.expect \ | |
218 | ./special.lcl \ | |
219 | ./special.lcs \ | |
220 | ./db3/.splintrc \ | |
221 | ./db3/bool.lcl \ | |
222 | ./db3/check.lcl \ | |
223 | ./db3/dbase.lcl \ | |
224 | ./db3/employee.lcl \ | |
225 | ./db3/empset.lcl \ | |
226 | ./db3/erc.lcl \ | |
227 | ./db3/eref.lcl \ | |
228 | ./db3/ereftab.lcl \ | |
229 | ./tq.lcl \ | |
230 | ./tq.lcs \ | |
231 | ./ud2.lcl \ | |
232 | ./ud2.lcs \ | |
233 | ./for/.splintrc \ | |
234 | ./globalbufferannotation/.splintrc \ | |
235 | ./maxset/.splintrc \ | |
236 | ./strchr/.splintrc \ | |
237 | ./tests2.2/bool.lcl \ | |
238 | ./tests2.2/bool.lcs \ | |
239 | ./tests2.2/libraries.lcd \ | |
240 | ./tests2.2/obsolete.lcd \ | |
241 | ./tests2.2/oldversion.lcd \ | |
242 | ./tests2.4/subdir/main.lcl \ | |
243 | ./tests2.4/subdir/main.lcs \ | |
244 | ./tests2.5/newlint.lcd \ | |
245 | ./warnuse/warnuse.lcd \ | |
246 | ./empty.lcs \ | |
247 | ./abstptr.c \ | |
248 | ./alias.c \ | |
249 | ./alias2.c \ | |
250 | ./alias3.c \ | |
251 | ./db1/dbase.c \ | |
252 | ./db1/drive.c \ | |
253 | ./db1/employee.c \ | |
254 | ./db1/empset.c \ | |
255 | ./db1/erc.c \ | |
256 | ./db1/eref.c \ | |
257 | ./db1/ereftab.c \ | |
258 | ./alias4.c \ | |
259 | ./alias5.c \ | |
260 | ./alttypes.c \ | |
261 | ./ansireserved.c \ | |
262 | ./ansireserved2.c \ | |
263 | ./argorder.c \ | |
264 | ./argorder2.c \ | |
265 | ./argorder3.c \ | |
266 | ./argorder4.c \ | |
267 | ./argorder5.c \ | |
268 | ./args.c \ | |
269 | ./arrayinit.c \ | |
270 | ./blocks.c \ | |
271 | ./branchstate.c \ | |
272 | ./break.c \ | |
273 | ./cases.c \ | |
274 | ./buffertest1.c \ | |
275 | ./cases2.c \ | |
276 | ./cast.c \ | |
277 | ./cast2.c \ | |
278 | ./charlit.c \ | |
279 | ./clauses.c \ | |
280 | ./clauses2.c \ | |
281 | ./clauses3.c \ | |
282 | ./commentchar.c \ | |
283 | ./commentcmd.c \ | |
284 | ./compdestroy.c \ | |
285 | ./csyntax.c \ | |
286 | ./constannot.c \ | |
287 | ./controldepth.c \ | |
288 | ./csyntax10.c \ | |
289 | ./csyntax11.c \ | |
290 | ./csyntax12.c \ | |
291 | ./csyntax13.c \ | |
292 | ./csyntax14.c \ | |
293 | ./csyntax15.c \ | |
294 | ./csyntax16.c \ | |
295 | ./csyntax17.c \ | |
296 | ./csyntax2.c \ | |
297 | ./csyntax3.c \ | |
298 | ./csyntax4.c \ | |
299 | ./csyntax5.c \ | |
300 | ./csyntax6.c \ | |
301 | ./csyntax7.c \ | |
302 | ./csyntax8.c \ | |
303 | ./csyntax9.c \ | |
304 | ./czechnames.c \ | |
305 | ./czechoslovaknames.c \ | |
306 | ./deadparam.c \ | |
307 | ./decl.c \ | |
308 | ./decl2.c \ | |
309 | ./dkf5kEnum.c \ | |
310 | ./dkf5kRange.c \ | |
311 | ./dkf5kSprintf.c \ | |
312 | ./ensures.c \ | |
313 | ./enum.c \ | |
314 | ./exports.c \ | |
315 | ./external.c \ | |
316 | ./fields.c \ | |
317 | ./fields2.c \ | |
318 | ./fields3.c \ | |
319 | ./flags.c \ | |
320 | ./glob.c \ | |
321 | ./forbody.c \ | |
322 | ./format.c \ | |
323 | ./freearray.c \ | |
324 | ./funcpointer.c \ | |
325 | ./globals.c \ | |
326 | ./globals2.c \ | |
327 | ./impabstract.c \ | |
328 | ./init.c \ | |
329 | ./innerfree.c \ | |
330 | ./inparam.c \ | |
331 | ./internal.c \ | |
332 | ./iter.c \ | |
333 | ./iter2.c \ | |
334 | ./keep.c \ | |
335 | ./libs.c \ | |
336 | ./linked.c \ | |
337 | ./linked2.c \ | |
338 | ./linked3.c \ | |
339 | ./linked4.c \ | |
340 | ./linked5.c \ | |
341 | ./linked6.c \ | |
342 | ./lintcomments.c \ | |
343 | ./list.c \ | |
344 | ./longconstants.c \ | |
345 | ./macros.c \ | |
346 | ./macrosef.c \ | |
347 | ./merge.c \ | |
348 | ./modclient.c \ | |
349 | ./modifies.c \ | |
350 | ./modtest.c \ | |
351 | ./moduncon.c \ | |
352 | ./mongoincludes.c \ | |
353 | ./mparen.c \ | |
354 | ./mut.c \ | |
355 | ./mystrncat.c \ | |
356 | ./noeffect.c \ | |
357 | ./null1.c \ | |
358 | ./null2.c \ | |
359 | ./null3.c \ | |
360 | ./null4.c \ | |
361 | ./null5.c \ | |
362 | ./db2/dbase.c \ | |
363 | ./db2/drive.c \ | |
364 | ./db2/employee.c \ | |
365 | ./db2/empset.c \ | |
366 | ./db2/erc.c \ | |
367 | ./db2/eref.c \ | |
368 | ./db2/ereftab.c \ | |
369 | ./db2/etest.c \ | |
370 | ./null6.c \ | |
371 | ./nullassign.c \ | |
372 | ./nullret.c \ | |
373 | ./observer.c \ | |
374 | ./oldstyle.c \ | |
375 | ./outglob.c \ | |
376 | ./outparam.c \ | |
377 | ./postnotnull.c \ | |
378 | ./preds.c \ | |
379 | ./prefixes.c \ | |
380 | ./printflike.c \ | |
381 | ./rc.c \ | |
382 | ./refcounts.c \ | |
383 | ./release.c \ | |
384 | ./repexpose.c \ | |
385 | ./returned.c \ | |
386 | ./sharing1.c \ | |
387 | ./sharing2.c \ | |
388 | ./sharing3.c \ | |
389 | ./sharing4.c \ | |
390 | ./sharing5.c \ | |
391 | ./sizeof.c \ | |
392 | ./slovaknames.c \ | |
393 | ./specclauses.c \ | |
394 | ./specclauses2.c \ | |
395 | ./specclauses3.c \ | |
396 | ./specclauses4.c \ | |
397 | ./specclauses5.c \ | |
398 | ./specclauses6.c \ | |
399 | ./special.c \ | |
400 | ./stack.c \ | |
401 | ./staticarray.c \ | |
402 | ./strings.c \ | |
403 | ./structassign.c \ | |
404 | ./switch.c \ | |
405 | ./t1.c \ | |
406 | ./test.c \ | |
407 | ./db3/dbase.c \ | |
408 | ./db3/drive.c \ | |
409 | ./db3/employee.c \ | |
410 | ./db3/empset.c \ | |
411 | ./db3/erc.c \ | |
412 | ./db3/eref.c \ | |
413 | ./db3/ereftab.c \ | |
414 | ./typequals.c \ | |
415 | ./ud.c \ | |
416 | ./ud2.c \ | |
417 | ./ullint.c \ | |
418 | ./ulstypes.c \ | |
419 | ./union.c \ | |
420 | ./unreachable.c \ | |
421 | ./unsignedcompare.c \ | |
422 | ./unused.c \ | |
423 | ./void.c \ | |
424 | ./conditions/miroslaw.c \ | |
425 | ./conditions/releases.c \ | |
426 | ./fileio/file.c \ | |
427 | ./fileio/filebranch.c \ | |
428 | ./fileio/filerw.c \ | |
429 | ./for/for.c \ | |
430 | ./globalbufferannotation/globalvariable.c \ | |
431 | ./maxset/maxsetannotations.c \ | |
432 | ./maxset/maxsetnoannotations.c \ | |
433 | ./mergestate/taintednm.c \ | |
434 | ./metastate/file.c \ | |
435 | ./metastate/file1.c \ | |
436 | ./metastate/file2.c \ | |
437 | ./metastate/file3.c \ | |
438 | ./metastate/file4.c \ | |
439 | ./metastate/file5.c \ | |
440 | ./metastate/file6.c \ | |
441 | ./metastate/file7.c \ | |
442 | ./metastate/filebad.c \ | |
443 | ./metastate/global.c \ | |
444 | ./metastate/nullbranch.c \ | |
445 | ./metastate/nullbranch2.c \ | |
446 | ./metastate/nullret.c \ | |
447 | ./metastate/osd.c \ | |
448 | ./metastate/sockets.c \ | |
449 | ./metastate/sockets2.c \ | |
450 | ./metastate/struct.c \ | |
451 | ./metastate/test.c \ | |
452 | ./metastate/voidptr.c \ | |
453 | ./moreBufferTests/initialization.c \ | |
454 | ./moreBufferTests/simplifyTest.c \ | |
455 | ./moreBufferTests/strncatNotReallyGood.c \ | |
456 | ./moreBufferTests/strncatReallyGood.c \ | |
457 | ./moreBufferTests/strrchr.c \ | |
458 | ./moreBufferTests/unrecogCall.c \ | |
459 | ./nullterminatedtest/buggy1.c \ | |
460 | ./nullterminatedtest/buggy_support1.c \ | |
461 | ./nullterminatedtest/buggy_support_fmakeword.c \ | |
462 | ./nullterminatedtest/test1.c \ | |
463 | ./nullterminatedtest/test3.c \ | |
464 | ./simplebufferConstraintTests/m.c \ | |
465 | ./simplebufferConstraintTests/sizeof.c \ | |
466 | ./simplebufferConstraintTests/test3.c \ | |
467 | ./simplebufferConstraintTests/test7.c \ | |
468 | ./sizeoftest/sizeof.c \ | |
469 | ./strchr/strchr.c \ | |
470 | ./suppressfile/test.c \ | |
471 | ./tainted/sprintf.c \ | |
472 | ./tainted/t1.c \ | |
473 | ./tainted/tainted.c \ | |
474 | ./tainted/tainted2.c \ | |
475 | ./tainted/tainted3.c \ | |
476 | ./tainted/tainted4.c \ | |
477 | ./tainted/tainted5.c \ | |
478 | ./tainted/taintedimplicit.c \ | |
479 | ./tainted/taintedmerge.c \ | |
480 | ./tainted/taintedx.c \ | |
481 | ./tainted/test.c \ | |
482 | ./tclauses/globals.c \ | |
483 | ./tclauses/gt.c \ | |
484 | ./tclauses/modifies.c \ | |
485 | ./tclauses/struct.c \ | |
486 | ./tclauses/undef.c \ | |
487 | ./tests2.2/arbints.c \ | |
488 | ./tests2.2/arrayfcn.c \ | |
489 | ./tests2.2/booldef.c \ | |
490 | ./tests2.2/boolenum.c \ | |
491 | ./tests2.2/boolops.c \ | |
492 | ./tests2.2/break.c \ | |
493 | ./tests2.2/bstring.c \ | |
494 | ./tests2.2/decl.c \ | |
495 | ./tests2.2/enumbool.c \ | |
496 | ./tests2.2/extension.c \ | |
497 | ./tests2.2/libraries.c \ | |
498 | ./tests2.2/modarray.c \ | |
499 | ./tests2.2/nestext.c \ | |
500 | ./tests2.2/offsetof.c \ | |
501 | ./tests2.2/posix.c \ | |
502 | ./tests2.2/realloc.c \ | |
503 | ./tests2.2/rex.c \ | |
504 | ./tests2.2/sizeofarray.c \ | |
505 | ./tests2.2/struct.c \ | |
506 | ./tests2.2a/addassign.c \ | |
507 | ./tests2.2a/arrayparam.c \ | |
508 | ./tests2.2a/bitops.c \ | |
509 | ./tests2.2a/boolcomp.c \ | |
510 | ./tests2.2a/boolenum.c \ | |
511 | ./tests2.2a/dobb.c \ | |
512 | ./tests2.2a/duff.c \ | |
513 | ./tests2.2a/erik.c \ | |
514 | ./tests2.2a/floatdouble.c \ | |
515 | ./tests2.2a/florian.c \ | |
516 | ./tests2.2a/fred.c \ | |
517 | ./tests2.2a/isalpha.c \ | |
518 | ./tests2.2a/notreached.c \ | |
519 | ./tests2.2a/obviousloop.c \ | |
520 | ./tests2.2a/popik.c \ | |
521 | ./tests2.2a/sizeof.c \ | |
522 | ./tests2.2a/toralf.c \ | |
523 | ./tests2.4/subdir/main.c \ | |
524 | ./tests2.4/alignof.c \ | |
525 | ./tests2.4/array.c \ | |
526 | ./tests2.4/bitfields.c \ | |
527 | ./tests2.4/bug1.c \ | |
528 | ./tests2.4/bug2.c \ | |
529 | ./tests2.4/bug3.c \ | |
530 | ./tests2.4/chin.c \ | |
531 | ./tests2.4/cpptest.c \ | |
532 | ./tests2.4/driverstub.c \ | |
533 | ./tests2.4/duffs.c \ | |
534 | ./tests2.4/emptycase.c \ | |
535 | ./tests2.4/enumtest.c \ | |
536 | ./tests2.4/error.c \ | |
537 | ./tests2.4/fink.c \ | |
538 | ./tests2.4/flagequal.c \ | |
539 | ./tests2.4/forward.c \ | |
540 | ./tests2.4/hash.c \ | |
541 | ./tests2.4/hexconstants.c \ | |
542 | ./tests2.4/innercomment.c \ | |
543 | ./tests2.4/komazi.c \ | |
544 | ./tests2.4/longlong.c \ | |
545 | ./tests2.4/main.c \ | |
546 | ./tests2.4/nothing.c \ | |
547 | ./tests2.4/offsetof.c \ | |
548 | ./tests2.4/print.c \ | |
549 | ./tests2.4/ric.c \ | |
550 | ./tests2.4/syncomment.c \ | |
551 | ./tests2.4/syslog.c \ | |
552 | ./tests2.4/test0.c \ | |
553 | ./tests2.4/test1.c \ | |
554 | ./tests2.4/test2.c \ | |
555 | ./tests2.4/timecard.c \ | |
556 | ./tests2.4/toothman.c \ | |
557 | ./tests2.4/ulrich.c \ | |
558 | ./tests2.5/badcomment.c \ | |
559 | ./tests2.5/boolbad.c \ | |
560 | ./tests2.5/boolt.c \ | |
561 | ./tests2.5/booltest.c \ | |
562 | ./tests2.5/dummyfile.c \ | |
563 | ./tests2.5/hoof.c \ | |
564 | ./tests2.5/immutable.c \ | |
565 | ./tests2.5/impabsmodule.c \ | |
566 | ./tests2.5/literals.c \ | |
567 | ./tests2.5/quals.c \ | |
568 | ./tests2.5/sort.c \ | |
569 | ./tests2.5/testalt.c \ | |
570 | ./tests2.5/testimmutable.c \ | |
571 | ./tests2.5/uconstants.c \ | |
572 | ./tests2.5/ull.c \ | |
573 | ./warnuse/warnflags.c \ | |
574 | ./warnuse/warngets.c \ | |
575 | ./warnuse/warnuse.c \ | |
576 | ./moreBufferTests2/unknownsize.c \ | |
577 | ./moreBufferTests2/arrayConstExpr.c \ | |
578 | abstptr.expect \ | |
579 | abstract.expect \ | |
580 | alias.expect \ | |
581 | alttypes.expect \ | |
582 | ansireserved.expect \ | |
583 | argorder.expect \ | |
584 | args.expect \ | |
585 | arrayinit.expect \ | |
586 | blocks.expect \ | |
587 | branchstate.expect \ | |
588 | break.expect \ | |
589 | buffertest.expect \ | |
590 | cases.expect \ | |
591 | cast.expect \ | |
592 | charlit.expect \ | |
593 | clauses.expect \ | |
594 | commentchar.expect \ | |
595 | compdestroy.expect \ | |
596 | constannot.expect \ | |
597 | controldepth.expect \ | |
598 | csyntax.expect \ | |
599 | czechnames.expect \ | |
600 | czechoslovaknames.expect \ | |
601 | db1.expect \ | |
602 | db2.expect \ | |
603 | db3.expect \ | |
604 | deadparam.expect \ | |
605 | decl.expect \ | |
606 | enum.expect \ | |
607 | exports.expect \ | |
608 | external.expect \ | |
609 | fields.expect \ | |
610 | fileio.expect \ | |
611 | flags.expect \ | |
612 | for.expect \ | |
613 | forbody.expect \ | |
614 | format.expect \ | |
615 | freearray.expect \ | |
616 | funcpointer.expect \ | |
617 | glob.expect \ | |
618 | globalbufferannotation.expect \ | |
619 | globals.expect \ | |
620 | help.expect \ | |
621 | impabstract.expect \ | |
622 | init.expect \ | |
623 | inparam.expect \ | |
624 | internal.expect \ | |
625 | iter.expect \ | |
626 | keep.expect \ | |
627 | libs.expect \ | |
628 | linked.expect \ | |
629 | lintcomments.expect \ | |
630 | list.expect \ | |
631 | longconstants.expect \ | |
632 | macros.expect \ | |
633 | macrosef.expect \ | |
634 | maxset.expect \ | |
635 | merge.expect \ | |
636 | mergestate.expect \ | |
637 | metastate.expect \ | |
638 | modifies.expect \ | |
639 | modtest.expect \ | |
640 | moduncon.expect \ | |
641 | mongoincludes.expect \ | |
642 | moreBufferTests.expect \ | |
643 | moreBufferTests2.expect \ | |
644 | mut.lh.expect \ | |
645 | mystrncat.expect \ | |
646 | noeffect.expect \ | |
647 | null.expect \ | |
648 | nullterminatedtest.expect \ | |
649 | observer.expect \ | |
650 | oldstyle.expect \ | |
651 | outglob.expect \ | |
652 | outparam.expect \ | |
653 | postnotnull.expect \ | |
654 | preds.expect \ | |
655 | prefixes.expect \ | |
656 | printflike.expect \ | |
657 | rc.expect \ | |
658 | refcounts.expect \ | |
659 | release.expect \ | |
660 | repexpose.expect \ | |
661 | repexpose.lh.expect \ | |
662 | returned.expect \ | |
663 | sharing.expect \ | |
664 | simplebufferConstraintTests.expect \ | |
665 | sizeof.expect \ | |
666 | sizeoftest.expect \ | |
667 | slovaknames.expect \ | |
668 | specclauses.expect \ | |
669 | special.expect \ | |
670 | stack.expect \ | |
671 | staticarray.expect \ | |
672 | strchr.expect \ | |
673 | strings.expect \ | |
674 | structassign.expect \ | |
675 | tainted.expect \ | |
676 | tests2.2.expect \ | |
677 | tests2.2a.expect \ | |
678 | tests2.3.expect \ | |
679 | tests2.4.expect \ | |
680 | tests2.5.expect \ | |
681 | typequals.expect \ | |
682 | ud.expect \ | |
683 | ullint.expect \ | |
684 | ulstypes.expect \ | |
685 | union.expect \ | |
686 | unreachable.expect \ | |
687 | unsignedcompare.expect \ | |
688 | unused.expect \ | |
689 | void.expect \ | |
690 | ./db1/bool.h \ | |
691 | ./db1/dbase.h \ | |
692 | ./db1/employee.h \ | |
693 | ./db1/empset.h \ | |
694 | ./db1/erc.h \ | |
695 | ./db1/eref.h \ | |
696 | ./db1/ereftab.h \ | |
697 | ./bool.h \ | |
698 | ./decl2.h \ | |
699 | ./exports.h \ | |
700 | ./iter.h \ | |
701 | ./iter2.h \ | |
702 | ./minc1.h \ | |
703 | ./minc2.h \ | |
704 | ./minc3.h \ | |
705 | ./minc4.h \ | |
706 | ./minc5.h \ | |
707 | ./modifies.h \ | |
708 | ./mut.h \ | |
709 | ./db2/bool.h \ | |
710 | ./db2/dbase.h \ | |
711 | ./db2/employee.h \ | |
712 | ./db2/empset.h \ | |
713 | ./db2/erc.h \ | |
714 | ./db2/eref.h \ | |
715 | ./db2/ereftab.h \ | |
716 | ./pivo.h \ | |
717 | ./repexpose.h \ | |
718 | ./db3/bool.h \ | |
719 | ./db3/dbase.h \ | |
720 | ./db3/employee.h \ | |
721 | ./db3/empset.h \ | |
722 | ./db3/erc.h \ | |
723 | ./db3/eref.h \ | |
724 | ./db3/ereftab.h \ | |
725 | ./tq.h \ | |
726 | ./metastate/global.h \ | |
727 | ./suppressfile/test.h \ | |
86d93ed3 | 728 | ./tests2.2/mbool.h \ |
729 | ./tests2.4/forward.h \ | |
730 | ./tests2.4/hash.h \ | |
731 | ./tests2.4/timecard.h \ | |
732 | ./tests2.5/baz.h \ | |
733 | ./tests2.5/bimbim.h \ | |
734 | ./tests2.5/immutable.h \ | |
735 | ./tests2.5/impabsmodule.h \ | |
736 | ./tests2.5/socket.h \ | |
737 | ./Makefile-test.os2 \ | |
738 | ./db1/Makefile \ | |
739 | ./db2/Makefile \ | |
740 | ./db3/Makefile \ | |
741 | ./conditions/Makefile \ | |
742 | ./fileio/Makefile \ | |
743 | ./for/Makefile \ | |
744 | ./globalbufferannotation/Makefile \ | |
745 | ./maxset/Makefile \ | |
746 | ./mergestate/Makefile \ | |
747 | ./metastate/Makefile \ | |
748 | ./moreBufferTests/Makefile \ | |
749 | ./simplebufferConstraintTests/Makefile \ | |
750 | ./strchr/Makefile \ | |
751 | ./tainted/Makefile \ | |
752 | ./temp/Makefile \ | |
86d93ed3 | 753 | ./tests2.2/Makefile \ |
754 | ./tests2.2/Makefile-tests2.2.os2 \ | |
86d93ed3 | 755 | ./tests2.4/Makefile \ |
756 | ./tests2.4/Makefile-tests2.4.os2 \ | |
757 | ./tests2.5/Makefile \ | |
758 | ./warnuse/Makefile \ | |
759 | ./Makefile.am \ | |
760 | ./Makefile.in \ | |
761 | ./moreBufferTests2/Makefile \ | |
762 | ./fileio/eof.mts ./fileio/file.mts ./fileio/filerw.mts ./mergestate/tainted.mts ./mergestate/taintednm.mts ./metastate/file.mts ./metastate/nullterminated.mts ./metastate/sockets.mts ./tainted/tainted-bad.mts ./tainted/tainted.mts ./fileio/file.xh ./fileio/filerw.xh ./mergestate/tainted.xh ./mergestate/taintednm.xh ./metastate/file.xh ./tainted/tainted.xh \ | |
2bdabb7a | 763 | db2.old-expect union.pp warnuse.old-expect \ |
764 | ./tests2.5/badcomment ./tests2.5/boolbad ./tests2.5/booltest ./tests2.5/uconstants loopexec.expect mergenull.expect shifts.expect \ | |
765 | unioninit.expect unioninit.c utypes.c \ | |
766 | utypes.expect widestrings.expect widestrings.c \ | |
767 | functionmacro.expect functionmacro.c info.c info.expect \ | |
768 | loopexec.c mergenull.c shifts.c \ | |
769 | manual.expect ./manual/Makefile \ | |
770 | ./manual/annotglobs.c ./manual/bool.c ./manual/bool.h ./manual/clauses.c ./manual/employee.h ./manual/exposure.c ./manual/globals.c ./manual/ignore.c ./manual/implicit.c ./manual/intSet.h ./manual/list.c ./manual/loop.c ./manual/macros.c ./manual/modify.c ./manual/mstring.c ./manual/mstring.h ./manual/mstringnn.c ./manual/multiError.c ./manual/names.c ./manual/noeffect.c ./manual/null.c ./manual/only.c ./manual/order.c ./manual/palindrome.c ./manual/palindrome.h ./manual/refs.c ./manual/returned.c ./manual/rgb.c ./manual/rstring.c ./manual/rstring.h ./manual/sample.c ./manual/setChar.c ./manual/setname.c ./manual/setname.h ./manual/special.c ./manual/stack.c ./manual/sumsquares.c ./manual/switch.c ./manual/testpal.c ./manual/types.c ./manual/unique.c ./manual/usedef.c ./manual/bounds.c | |
86d93ed3 | 771 | |
772 | subdir = test | |
773 | mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs | |
774 | CONFIG_HEADER = $(top_builddir)/config.h | |
775 | CONFIG_CLEAN_FILES = | |
776 | DIST_SOURCES = | |
777 | DIST_COMMON = Makefile.am Makefile.in | |
778 | all: all-am | |
779 | ||
780 | .SUFFIXES: | |
781 | .SUFFIXES: .c .diff .expect | |
782 | $(srcdir)/Makefile.in: Makefile.am $(top_srcdir)/configure.ac $(ACLOCAL_M4) | |
783 | cd $(top_srcdir) && \ | |
784 | $(AUTOMAKE) --foreign test/Makefile | |
785 | Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status | |
786 | cd $(top_builddir) && \ | |
787 | CONFIG_HEADERS= CONFIG_LINKS= \ | |
788 | CONFIG_FILES=$(subdir)/$@ $(SHELL) ./config.status | |
789 | uninstall-info-am: | |
790 | tags: TAGS | |
791 | TAGS: | |
792 | ||
793 | ||
794 | DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) | |
795 | ||
796 | top_distdir = .. | |
797 | distdir = $(top_distdir)/$(PACKAGE)-$(VERSION) | |
798 | ||
799 | distdir: $(DISTFILES) | |
2bdabb7a | 800 | $(mkinstalldirs) $(distdir)/./conditions $(distdir)/./db1 $(distdir)/./db2 $(distdir)/./db3 $(distdir)/./fileio $(distdir)/./for $(distdir)/./globalbufferannotation $(distdir)/./manual $(distdir)/./maxset $(distdir)/./mergestate $(distdir)/./metastate $(distdir)/./moreBufferTests $(distdir)/./moreBufferTests2 $(distdir)/./nullterminatedtest $(distdir)/./simplebufferConstraintTests $(distdir)/./sizeoftest $(distdir)/./strchr $(distdir)/./suppressfile $(distdir)/./tainted $(distdir)/./tclauses $(distdir)/./temp $(distdir)/./tests2.2 $(distdir)/./tests2.2a $(distdir)/./tests2.4 $(distdir)/./tests2.4/subdir $(distdir)/./tests2.5 $(distdir)/./warnuse |
86d93ed3 | 801 | @for file in $(DISTFILES); do \ |
802 | if test -f $$file; then d=.; else d=$(srcdir); fi; \ | |
803 | dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \ | |
804 | if test "$$dir" != "$$file" && test "$$dir" != "."; then \ | |
805 | $(mkinstalldirs) "$(distdir)/$$dir"; \ | |
806 | fi; \ | |
807 | if test -d $$d/$$file; then \ | |
808 | cp -pR $$d/$$file $(distdir) \ | |
809 | || exit 1; \ | |
810 | else \ | |
811 | test -f $(distdir)/$$file \ | |
812 | || cp -p $$d/$$file $(distdir)/$$file \ | |
813 | || exit 1; \ | |
814 | fi; \ | |
815 | done | |
816 | check-am: all-am | |
817 | check: check-am | |
818 | all-am: Makefile | |
819 | ||
820 | installdirs: | |
821 | ||
822 | install: install-am | |
823 | install-exec: install-exec-am | |
824 | install-data: install-data-am | |
825 | uninstall: uninstall-am | |
826 | ||
827 | install-am: all-am | |
828 | @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am | |
829 | ||
830 | installcheck: installcheck-am | |
831 | install-strip: | |
832 | $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ | |
833 | `test -z '$(STRIP)' || \ | |
834 | echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install | |
835 | mostlyclean-generic: | |
836 | ||
837 | clean-generic: | |
838 | ||
839 | distclean-generic: | |
840 | -rm -f Makefile $(CONFIG_CLEAN_FILES) stamp-h stamp-h[0-9]* | |
841 | ||
842 | maintainer-clean-generic: | |
843 | @echo "This command is intended for maintainers to use" | |
844 | @echo "it deletes files that may require special tools to rebuild." | |
845 | clean: clean-am | |
846 | ||
847 | clean-am: clean-generic clean-local mostlyclean-am | |
848 | ||
849 | distclean: distclean-am | |
850 | ||
851 | distclean-am: clean-am distclean-generic | |
852 | ||
853 | dvi: dvi-am | |
854 | ||
855 | dvi-am: | |
856 | ||
857 | info: info-am | |
858 | ||
859 | info-am: | |
860 | ||
861 | install-data-am: | |
862 | ||
863 | install-exec-am: | |
864 | ||
865 | install-info: install-info-am | |
866 | ||
867 | install-man: | |
868 | ||
869 | installcheck-am: | |
870 | ||
871 | maintainer-clean: maintainer-clean-am | |
872 | ||
873 | maintainer-clean-am: distclean-am maintainer-clean-generic | |
874 | ||
875 | mostlyclean: mostlyclean-am | |
876 | ||
877 | mostlyclean-am: mostlyclean-generic | |
878 | ||
879 | uninstall-am: uninstall-info-am | |
880 | ||
881 | .PHONY: all all-am check check-am clean clean-generic clean-local \ | |
882 | distclean distclean-generic distdir dvi dvi-am info info-am \ | |
883 | install install-am install-data install-data-am install-exec \ | |
884 | install-exec-am install-info install-info-am install-man \ | |
885 | install-strip installcheck installcheck-am installdirs \ | |
886 | maintainer-clean maintainer-clean-generic mostlyclean \ | |
887 | mostlyclean-generic uninstall uninstall-am uninstall-info-am | |
888 | ||
889 | ||
890 | unexport LARCH_PATH | |
891 | unexport LCLIMPORTDIR | |
892 | ||
893 | .PHONY: all check | |
894 | all check: fulltest | |
895 | ||
896 | .PHONY: version | |
897 | version: | |
898 | -$(SPLINTP) -help version | |
899 | ||
900 | .PHONY: help | |
901 | help: | |
902 | -@$(SPLINT) | |
903 | -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl | |
904 | -@$(SPLINTP) -help | |
905 | -@$(SPLINTP) -asdf | |
906 | -@$(SPLINTP) +boolint +boolint | |
907 | -@$(SPLINTP) -help flags alpha | |
908 | -@$(SPLINTP) -help flags all | |
909 | ||
910 | .PHONY: clean-local | |
911 | clean-local: | |
912 | -rm -f *~ #*# *.o *.lcs a.out | |
913 | -cd db1; $(MAKE) clean | |
914 | -cd db2; $(MAKE) clean | |
915 | -cd db3; $(MAKE) clean | |
916 | ||
917 | $(SPLINTTESTS): $(SPLINT) | |
918 | ||
919 | $(SPLINT): | |
920 | cd $(top_builddir)/src; $(MAKE) | |
921 | ||
922 | .c.expect: | |
923 | $(MAKE) $* |& $(CLEANOUTPUT) >$*.expect && cat $*.expect | |
924 | ||
925 | .c.diff: | |
926 | $(MAKE) $* |& $(CLEANOUTPUT) >$*.out && diff $*.expect $*.out | |
927 | ||
928 | #drl temporally take this out. | |
929 | #.PHONY: expects | |
930 | #expects: | |
931 | # @echo "Saving old expects..."; \ | |
932 | # cat *.expect >expects-`date +"%y-%m-%d-%H"` | |
933 | # @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ | |
934 | # echo "Making $$TEST.expect..."; \ | |
935 | # $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ | |
936 | # cat $$TEST.expect; \ | |
937 | # done | |
938 | ||
939 | .PHONY: quicktest | |
940 | quicktest: | |
941 | @for TEST in $(QUICKTESTS); do \ | |
942 | echo "Checking $$TEST..."; \ | |
943 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ | |
944 | $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \ | |
945 | echo "*** FAIL ***"; \ | |
946 | done | |
947 | ||
948 | .PHONY: fulltest | |
949 | fulltest: | |
950 | @echo "Testing $(PACKAGE) $(VERSION)..." | |
951 | @echo | |
952 | @echo "Version Info:" | |
953 | @$(SPLINTP) -help version | |
954 | @$(SPLINTP) -help vars | |
955 | @echo "" | |
956 | @echo "Tests:" | |
957 | @echo "" | |
958 | @for TEST in $(SPLINTTESTS); do \ | |
959 | echo "Checking $$TEST..."; \ | |
960 | $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ | |
961 | $(DIFF) $(DIFFFLAGS) $$TEST.expect $$TEST.out || \ | |
962 | echo "*** FAIL ***"; \ | |
963 | done | |
964 | ||
965 | ### Rules for tests start here | |
966 | ||
967 | .PHONY: abstptr | |
968 | abstptr: | |
969 | -$(SPLINTR) abstptr -expect 9 | |
970 | -$(SPLINTR) abstptr +voidabstract -expect 6 | |
971 | ||
972 | .PHONY: abstract | |
973 | abstract: | |
974 | -$(SPLINTR) abst_t.lcl commentcmd.c -expect 15 | |
975 | ||
976 | .PHONY: alias | |
977 | alias: | |
978 | -$(SPLINTR) +lh mut | |
979 | -$(SPLINTR) mut alias +globalias -expect 19 | |
980 | -$(SPLINTR) mut alias2 +globalias -expect 17 | |
981 | -$(SPLINTR) +lh alias3 -expect 14 | |
982 | -$(SPLINTR) +lh alias4 +boolint | |
983 | -$(SPLINTR) alias4 -pred +retalias -expect 6 | |
984 | -$(SPLINTR) +lh alias5 +memchecks -null -specundef -expect 5 | |
985 | ||
986 | .PHONY: alttypes | |
987 | alttypes: | |
988 | -$(SPLINTR) alttypes.c -expect 2 | |
989 | ||
990 | ### | |
991 | ### evans 2001-06-07 - updated nameCheck.c to reflect C9X. | |
992 | ### Reports one new errors for ansireserved.c - wctomb is bad even as a local | |
993 | ### variable (could be a macro?) | |
994 | ### Reports 3 additional errors for +checks; no longer suppresses name errors | |
995 | ### in the presense of other errors. | |
996 | ### | |
997 | ||
998 | .PHONY: ansireserved | |
999 | ansireserved: | |
1000 | -$(SPLINTR) ansireserved.c +ansireserved -nolib -expect 9 | |
1001 | -$(SPLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11 | |
1002 | -$(SPLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12 | |
1003 | -$(SPLINTR) ansireserved2.c +ansireserved -expect 1 | |
1004 | ||
1005 | .PHONY: argorder | |
1006 | argorder: | |
1007 | -$(SPLINTR) argorder.c -expect 4 | |
1008 | -$(SPLINTR) argorder2 -expect 5 | |
1009 | -$(SPLINTR) argorder3.c -expect 8 | |
1010 | -$(SPLINTR) argorder4 -expect 9 | |
1011 | -$(SPLINTR) argorder4 -evalorder -expect 1 | |
1012 | -$(SPLINTR) argorder5.c +evalorderuncon -expect 3 | |
1013 | ||
1014 | .PHONY: args | |
1015 | args: | |
1016 | -$(SPLINTR) args -noeffect -expect 12 | |
1017 | ||
1018 | .PHONY: blocks | |
1019 | blocks: | |
1020 | -$(SPLINTR) blocks.c -expect 4 | |
1021 | -$(SPLINTR) blocks.c +ifblock +elseifcomplete -expect 7 | |
1022 | -$(SPLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3 | |
1023 | -$(SPLINTR) blocks.c -ifempty +forempty +forblock -expect 3 | |
1024 | -$(SPLINTR) blocks.c +allempty -expect 6 | |
1025 | -$(SPLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11 | |
1026 | ||
1027 | .PHONY: break | |
1028 | break: | |
1029 | -$(SPLINTR) break.c -expect 4 | |
1030 | -$(SPLINTR) break.c +deepbreak -expect 6 | |
1031 | -$(SPLINTR) break.c +deepbreak -looploopbreak -expect 5 | |
1032 | ||
1033 | .PHONY: cases | |
1034 | cases: | |
1035 | -$(SPLINTR) cases.c -expect 5 | |
1036 | -$(SPLINTR) cases2.c -expect 2 | |
1037 | -$(SPLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3 | |
1038 | -$(SPLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3 | |
1039 | ||
1040 | .PHONY: cast | |
1041 | cast: | |
1042 | -$(SPLINTR) cast -accessmodule -expect 20 | |
1043 | -$(SPLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3 | |
1044 | ||
1045 | ### Two addition errors detected with 2.5 with -numliteral. | |
1046 | ||
1047 | .PHONY: charlit | |
1048 | charlit: | |
1049 | -$(SPLINTR) +hints charlit.c -expect 4 | |
1050 | -$(SPLINTR) +hints -numliteral charlit.c -expect 6 | |
1051 | -$(SPLINTR) +hints charlit.c +charintliteral +ignoresigns | |
1052 | ||
1053 | .PHONY: clauses | |
1054 | clauses: | |
1055 | -$(SPLINTR) clauses.c +memchecks -expect 4 | |
1056 | -$(SPLINTR) clauses2.c +memchecks | |
1057 | -$(SPLINTR) clauses3.c +memchecks -expect 2 | |
1058 | -$(SPLINTR) clauses3.c +memchecks +unixlib -expect 3 | |
1059 | ||
1060 | .PHONY: commentchar | |
1061 | commentchar: | |
1062 | -$(SPLINTR) commentchar.c -expect 4 | |
1063 | -$(SPLINTR) -commentchar '#' commentchar.c -expect 4 | |
1064 | ||
1065 | .PHONY: controldepth | |
1066 | controldepth: | |
1067 | -$(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2 | |
1068 | -$(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2 | |
1069 | ||
1070 | .PHONY: compdestroy | |
1071 | compdestroy: | |
1072 | -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1 | |
1073 | -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2 | |
1074 | -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3 | |
1075 | -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3 | |
1076 | ||
1077 | .PHONY: constannot | |
1078 | constannot: | |
1079 | ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2 | |
1080 | ||
1081 | .PHONY: csyntax | |
1082 | csyntax: | |
1083 | -$(SPLINTR) +quiet -incondefs csyntax.c -expect 1 | |
1084 | -$(SPLINTR) +quiet csyntax2.c -expect 2 | |
1085 | -$(SPLINTR) +quiet csyntax3.c -expect 1 | |
1086 | -$(SPLINTR) +quiet -incondefs csyntax4.c | |
1087 | -$(SPLINTR) +quiet csyntax5.c | |
1088 | -$(SPLINTR) +quiet csyntax6.c | |
1089 | -$(SPLINTR) +quiet csyntax7.c | |
1090 | -$(SPLINTR) +quiet csyntax8.c | |
1091 | -$(SPLINTR) +quiet csyntax9.c | |
1092 | -$(SPLINTR) +quiet csyntax10.c | |
1093 | -$(SPLINTR) +quiet csyntax11.c | |
1094 | -$(SPLINTR) +quiet csyntax12.c | |
1095 | -$(SPLINTR) +quiet csyntax13.c -expect 1 | |
1096 | -$(SPLINTR) +quiet csyntax14.c | |
1097 | -$(SPLINTR) +quiet csyntax15.c | |
1098 | -$(SPLINTR) +quiet csyntax16.c -expect 2 | |
1099 | -$(SPLINTR) +quiet csyntax17.c -expect 3 | |
1100 | ||
1101 | .PHONY: czechnames | |
1102 | czechnames: | |
1103 | -$(SPLINTR) czechnames.c | |
1104 | -$(SPLINTR) +hints +czech czechnames.c -expect 2 | |
1105 | -$(SPLINTR) +hints +czech -czechvars czechnames.c -expect 1 | |
1106 | -$(SPLINTR) +hints +czech -accessczech czechnames.c -expect 6 | |
1107 | ||
1108 | .PHONY: czechoslovaknames | |
1109 | czechoslovaknames: | |
1110 | -$(SPLINTR) +hints +czechoslovak czechnames.c -expect 1 | |
1111 | -$(SPLINTR) +hints +czechoslovak slovaknames.c -expect 1 | |
1112 | -$(SPLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2 | |
1113 | ||
1114 | ### | |
1115 | ### deadparam added 2001-05-27 | |
1116 | ### | |
1117 | ||
1118 | .PHONY: deadparam | |
1119 | deadparam: | |
1120 | ${SPLINTR} deadparam.c -expect 3 | |
1121 | ||
1122 | # | |
1123 | # Was expect 3 before 2.4. Earlier versions did not handle implicit | |
1124 | # function pointers correctly. | |
1125 | # | |
1126 | ||
1127 | .PHONY: decl | |
1128 | decl: | |
1129 | -$(SPLINTR) decl.c -expect 2 | |
1130 | -$(SPLINTRN) decl.c +strict -exportlocal -expect 5 | |
1131 | -$(SPLINTR) decl2 -expect 4 | |
1132 | ||
1133 | .PHONY: enum | |
1134 | enum: | |
1135 | -$(SPLINTR) enum -expect 16 | |
1136 | -$(SPLINTR) enum -misscase -expect 14 | |
1137 | ||
1138 | .PHONY: exports | |
1139 | exports: | |
1140 | -$(SPLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6 | |
1141 | -$(SPLINTR) exports.c +exportany -expect 3 | |
1142 | -$(SPLINTR) exports.c | |
1143 | ||
1144 | .PHONY: external | |
1145 | external: | |
1146 | -$(SPLINTR) external.c +partial | |
1147 | -$(SPLINTR) external.c +partial +distinctexternalnames +ansi89limits -expect 2 | |
1148 | -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3 | |
1149 | -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3 | |
1150 | -$(SPLINTR) external.c +partial -externalnamelength 3 -expect 4 | |
1151 | ||
1152 | .PHONY: fields | |
1153 | fields: | |
1154 | -$(SPLINTR) fields.c +memchecks -expect 6 | |
1155 | -$(SPLINTR) fields2.c +memchecks -expect 5 | |
1156 | -$(SPLINTR) fields3.c +memchecks | |
1157 | ||
1158 | .PHONY: flags | |
1159 | flags: | |
1160 | -$(SPLINTR) flags.c -expect 8 | |
1161 | -$(SPLINTR) +nocomments flags.c -expect 2 | |
1162 | ||
1163 | ### Added 2001-06-02 | |
1164 | ||
1165 | .PHONY: forbody | |
1166 | forbody: | |
1167 | ${SPLINTR} forbody.c -expect 2 | |
1168 | ||
1169 | ### Added 2001-06-03 | |
1170 | .PHONY: format | |
1171 | format: | |
1172 | ${SPLINTR} format.c -expect 3 | |
1173 | ${SPLINTR} format.c -formatconst | |
1174 | ||
1175 | # two new errors (invalid lhs) | |
1176 | ||
1177 | .PHONY: funcpointer | |
1178 | funcpointer: | |
1179 | -$(SPLINTR) +memchecks +noparams funcpointer.c -expect 18 | |
1180 | ||
1181 | .PHONY: functionmacro | |
1182 | functionmacro: | |
1183 | -$(SPLINTR) functionmacro.c -expect 2 | |
1184 | ||
1185 | .PHONY: glob | |
1186 | glob: | |
1187 | -$(SPLINTR) glob -expect 4 | |
1188 | -$(SPLINTR) glob -globuse -expect 3 | |
1189 | -$(SPLINTR) glob +globunspec -expect 6 | |
1190 | ||
1191 | .PHONY: globals | |
1192 | globals: | |
1193 | -$(SPLINTR) -modifies globals.c -expect 5 | |
1194 | -$(SPLINTR) -modifies globals.c +allglobals -expect 6 | |
1195 | -$(SPLINTR) -modifies globals.c +impcheckedglobals -expect 6 | |
1196 | -$(SPLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2 | |
1197 | -$(SPLINTR) -modifies globals.c +globunspec -expect 6 | |
1198 | -$(SPLINTR) -modifies globals.c +globunspec +allglobals -expect 8 | |
1199 | ||
1200 | # Was -accessfile | |
1201 | .PHONY: impabstract | |
1202 | impabstract: | |
1203 | -$(SPLINTR) -accessmodule impabstract.c | |
1204 | -$(SPLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2 | |
1205 | -$(SPLINTR) -accessmodule +hints +impabstract impabstract -expect 4 | |
1206 | ||
1207 | ### | |
1208 | ### evans 2001-12-30: Handle unrecognized pre-processor directives | |
1209 | ### (Reported by Pierluigi Sanzani) | |
1210 | ||
1211 | .PHONY: info | |
1212 | info: | |
1213 | ${SPLINTR} info.c -expect 4 | |
1214 | ||
1215 | ### evans 2001-10-14: Expected errors updated | |
1216 | .PHONY: init | |
1217 | init: | |
1218 | -$(SPLINTR) init.c -expect 14 | |
1219 | -$(SPLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17 | |
1220 | ||
1221 | .PHONY: inparam | |
1222 | inparam: | |
1223 | -$(SPLINTR) inparam.c -expect 2 | |
1224 | -$(SPLINTR) +impouts inparam.c -expect 1 | |
1225 | ||
1226 | .PHONY: internal | |
1227 | internal: | |
1228 | -$(SPLINTR) internal.c -expect 1 | |
1229 | -$(SPLINTR) internal.c +distinctinternalnames -expect 1 | |
1230 | -$(SPLINTR) internal.c +distinctinternalnames +ansi89limits -expect 2 | |
1231 | -$(SPLINTR) internal.c -internalnamelen 28 -expect 3 | |
1232 | -$(SPLINTR) internal.c +internalnamecaseinsensitive -expect 3 | |
1233 | -$(SPLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11 | |
1234 | ||
1235 | ### | |
1236 | ### iter | |
1237 | ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6 | |
1238 | ### | |
1239 | ||
1240 | .PHONY: iter | |
1241 | iter: | |
1242 | -$(SPLINTR) iter -expect 14 -lclexpect 1 | |
1243 | -$(SPLINTR) iter2.c -expect 12 | |
1244 | ||
1245 | .PHONY: keep | |
1246 | keep: | |
1247 | -$(SPLINTR) keep.c +memchecks -expect 6 | |
1248 | ||
1249 | ### libs | |
1250 | ### 2001-05-22: 2 new errors found (fixed spec of signal) | |
1251 | ### 2001-05-30: 3 new errors found (formatconst) | |
1252 | ||
1253 | .PHONY: libs | |
1254 | libs: | |
1255 | -$(SPLINTR) libs.c +longunsignedunsignedintegral -expect 18 | |
1256 | -$(SPLINTR) libs.c -expect 22 | |
1257 | -$(SPLINTR) libs.c +globunspec +modunspec -expect 25 | |
1258 | -$(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 42 | |
1259 | ||
1260 | .PHONY: lintcomments | |
1261 | lintcomments: | |
1262 | -$(SPLINTR) lintcomments.c -expect 5 | |
1263 | -$(SPLINTR) lintcomments.c -warnlintcomments -expect 1 | |
1264 | -$(SPLINTR) lintcomments.c -lintcomments -expect 4 | |
1265 | ||
1266 | .PHONY: list | |
1267 | list: | |
1268 | -$(SPLINTR) list.c -expect 3 | |
1269 | ||
1270 | ### | |
1271 | ### 2002-01-01: Added test case for obvious loop execution. | |
1272 | ### | |
1273 | ||
1274 | .PHONY: loopexec | |
1275 | loopexec: | |
1276 | -$(SPLINTR) loopexec.c -expect 1 | |
1277 | -$(SPLINTR) loopexec.c -obviousloopexec -expect 3 | |
1278 | ||
1279 | .PHONY: macros | |
1280 | macros: | |
1281 | -$(SPLINTR) macros -expect 17 | |
1282 | -$(SPLINTR) macros.c +allmacros -expect 34 | |
1283 | -$(SPLINTR) macros.c +fcnmacros -expect 31 | |
1284 | ||
1285 | .PHONY: macrosef | |
1286 | macrosef: | |
1287 | -$(SPLINTR) macrosef -expect 4 | |
1288 | -$(SPLINTR) macrosef.c +allmacros -expect 3 | |
1289 | -$(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4 | |
1290 | ||
1291 | .PHONY: merge | |
1292 | merge: | |
1293 | -$(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3 | |
1294 | ||
1295 | .PHONY: mergenull | |
1296 | mergenull: | |
1297 | -$(SPLINTRN) mergenull.c | |
1298 | ||
1299 | .PHONY: modifies | |
1300 | modifies: | |
1301 | -$(SPLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7 | |
1302 | ||
1303 | .PHONY: modtest | |
1304 | modtest: | |
1305 | -$(SPLINTR) modtest -expect 10 | |
1306 | -$(SPLINTR) modtest +modunspec -expect 13 | |
1307 | -$(SPLINTR) modtest +mustmod -expect 14 | |
1308 | ||
1309 | .PHONY: moduncon | |
1310 | moduncon: | |
1311 | -$(SPLINTR) moduncon.c +moduncon -memchecks -expect 4 | |
1312 | -$(SPLINTRN) moduncon.c +strict -exportlocal -expect 22 | |
1313 | ||
1314 | .PHONY: mongoincludes | |
1315 | mongoincludes: | |
1316 | -$(SPLINTR) mongoincludes.c -includenest 1 -expect 19 | |
1317 | -$(SPLINTR) mongoincludes.c -includenest 2 -expect 10 | |
1318 | -$(SPLINTR) mongoincludes.c -includenest 3 -expect 4 | |
1319 | -$(SPLINTR) mongoincludes.c -includenest 4 -expect 1 | |
1320 | -$(SPLINTR) mongoincludes.c -includenest 5 -expect 0 | |
1321 | ||
1322 | .PHONY: mystrncat | |
1323 | mystrncat: | |
1324 | -$(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 | |
1325 | ||
1326 | .PHONY: noeffect | |
1327 | noeffect: | |
1328 | ${SPLINT} -nof noeffect.c +allmacros +checks -expect 3 | |
1329 | ||
1330 | ### | |
1331 | ### 2002-01-01: null1.c: expect increased to 15 because out must be defined | |
1332 | ### checking detects one new error | |
1333 | ### | |
1334 | ||
1335 | .PHONY: null | |
1336 | null: | |
1337 | -$(SPLINTR) null1.c -expect 15 | |
1338 | -$(SPLINTR) null1.c -null -mustdefine -expect 4 | |
1339 | -$(SPLINTR) null2.c -expect 11 | |
1340 | -$(SPLINTR) null3.c -expect 15 | |
1341 | -$(SPLINTR) null3.c -warnunixlib +unixlib -expect 16 | |
1342 | -$(SPLINTR) null4.c -expect 1 | |
1343 | -$(SPLINTR) null5.c -expect 4 | |
1344 | -$(SPLINTR) null6 -expect 4 | |
1345 | -$(SPLINTR) +quiet null6.lcl -dump null6 | |
1346 | -$(SPLINTR) null6.c -load null6 -expect 4 | |
1347 | ||
1348 | ### Added for 3.0 (bugs reported by Kevin Broady) | |
1349 | ||
1350 | .PHONY: nullret | |
1351 | nullret: | |
1352 | -$(SPLINTR) nullret.c -expect 2 | |
1353 | -$(SPLINTR) -nullret nullret.c -expect 1 | |
1354 | ||
1355 | .PHONY: nullassign | |
1356 | nullassign: | |
1357 | -$(SPLINTR) nullassign.c -expect 2 | |
1358 | -$(SPLINTR) -nullassign nullassign.c -expect 1 | |
1359 | ||
1360 | # | |
1361 | # Before 2.4, expected one more because error was reported both as | |
1362 | # dependent and observer. | |
1363 | # | |
1364 | ||
1365 | .PHONY: observer | |
1366 | observer: | |
1367 | -$(SPLINTRN) observer +checks -exportlocal -exportheader -expect 9 | |
1368 | -$(SPLINTRN) observer.c +checks -exportlocal -exportheader -expect 8 | |
1369 | -$(SPLINTR) observer.c -expect 7 | |
1370 | ||
1371 | .PHONY: oldstyle | |
1372 | oldstyle: | |
1373 | -$(SPLINTR) oldstyle -expect 3 | |
1374 | ||
1375 | .PHONY: outglob | |
1376 | outglob: | |
1377 | -$(SPLINTR) outglob -expect 10 | |
1378 | ||
1379 | .PHONY: outparam | |
1380 | outparam: | |
1381 | -$(SPLINTR) outparam -expect 12 | |
1382 | ||
1383 | ### evans 2001-08-26: postnotnull new | |
1384 | ||
1385 | .PHONY: postnotnull | |
1386 | postnotnull: | |
1387 | ${SPLINTR} postnotnull.c -expect 1 | |
1388 | # | |
1389 | # Four new +fcnuse errors for -strict (evans 2001-07-22) | |
1390 | # | |
1391 | ||
1392 | .PHONY: preds | |
1393 | preds: | |
1394 | -$(SPLINTR) +hints preds.c -expect 6 | |
1395 | -$(SPLINTRN) +hints preds.c -weak -expect 1 | |
1396 | -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12 | |
1397 | ||
1398 | .PHONY: prefixes | |
1399 | prefixes: | |
1400 | -$(SPLINTR) prefixes.c +partial | |
1401 | -$(SPLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4 | |
1402 | -$(SPLINTR) prefixes.c -typeprefix "T" -expect 2 | |
1403 | -$(SPLINTR) prefixes.c -typeprefix "^" -expect 1 | |
1404 | -$(SPLINTR) prefixes.c -typeprefix "^*" -expect 2 | |
1405 | -$(SPLINTR) prefixes.c -typeprefix "^%*" -expect 2 | |
1406 | -$(SPLINTR) prefixes.c -typeprefix "^~*" -expect 2 | |
1407 | -$(SPLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7 | |
1408 | -$(SPLINTR) prefixes.c -filestaticprefix "^^" -expect 4 | |
1409 | -$(SPLINTR) prefixes.c -filestaticprefix "^#" -expect 5 | |
1410 | -$(SPLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5 | |
1411 | -$(SPLINTR) prefixes.c -globalprefix "G" -expect 1 | |
1412 | -$(SPLINTR) prefixes.c -globalprefix "&G?_^" -expect 1 | |
1413 | -$(SPLINTR) prefixes.c -externalprefix "G" -expect 5 | |
1414 | -$(SPLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4 | |
1415 | -$(SPLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13 | |
1416 | ||
1417 | .PHONY: printflike | |
1418 | printflike: | |
1419 | -$(SPLINTR) printflike.c -expect 6 | |
1420 | -$(SPLINTR) printflike.c -warnlintcomments -expect 5 | |
1421 | ||
1422 | .PHONY: rc | |
1423 | rc: | |
1424 | -$(SPLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1 | |
1425 | -$(SPLINTR) -DMYSTERY=12 rc.c -expect 1 | |
1426 | -$(SPLINTR) -f rc1.splintrc rc.c -expect 1 | |
1427 | -$(SPLINTR) -UMYSTERY -f rc1.splintrc rc.c -expect 1 | |
1428 | -$(SPLINTR) -f rc3.splintrc rc.c -expect 1 | |
1429 | ||
1430 | .PHONY: rcfiles | |
1431 | rcfiles: | |
1432 | cd rcfiles; ${MAKE} SPLINT="-$(SPLINTPNEST)" | |
1433 | ||
1434 | .PHONY: refcounts | |
1435 | refcounts: | |
1436 | -$(SPLINTR) refcounts.c -expect 7 | |
1437 | ||
1438 | .PHONY: release | |
1439 | release: | |
1440 | -$(SPLINTR) release.c +memchecks -expect 1 | |
1441 | ||
1442 | .PHONY: repexpose | |
1443 | repexpose: | |
1444 | -$(SPLINTR) +lh repexpose +memchecks -expect 12 | |
1445 | -$(SPLINTR) repexpose +memchecks +retalias -expect 15 | |
1446 | -$(SPLINTRN) repexpose +checks -exportlocal -expect 27 | |
1447 | ||
1448 | ### returned added 2001-05-27 | |
1449 | ### (Bug discovered checking splint sources.) | |
1450 | ||
1451 | .PHONY: returned | |
1452 | returned: | |
1453 | ${SPLINTR} returned.c -expect 1 | |
1454 | ||
1455 | .PHONY: sharing | |
1456 | sharing: | |
1457 | -$(SPLINTR) sharing1.c -expect 21 | |
1458 | -$(SPLINTR) sharing3.c -expect 3 | |
1459 | -$(SPLINTR) sharing4.c -expect 13 | |
1460 | -$(SPLINTR) sharing4.c -paramimptemp -expect 12 | |
1461 | -$(SPLINTR) sharing5.c -expect 6 | |
1462 | ||
1463 | .PHONY: shifts | |
1464 | shifts: | |
1465 | -$(SPLINTR) shifts.c -expect 4 | |
1466 | -$(SPLINTR) shifts.c -shiftimplementation -expect 3 | |
1467 | -$(SPLINTR) shifts.c -shiftnegative -expect 1 | |
1468 | ||
1469 | .PHONY: slovaknames | |
1470 | slovaknames: | |
1471 | -$(SPLINTR) +hints slovaknames.c -expect 1 | |
1472 | -$(SPLINTR) +hints slovaknames.c +accessslovak | |
1473 | -$(SPLINTR) +hints +slovak slovaknames.c -expect 3 | |
1474 | -$(SPLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2 | |
1475 | -$(SPLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7 | |
1476 | ||
1477 | .PHONY: specclauses | |
1478 | specclauses: | |
1479 | -$(SPLINTR) specclauses.c -expect 6 | |
1480 | -$(SPLINTR) specclauses2.c -expect 8 | |
1481 | -$(SPLINTR) specclauses3.c -expect 6 | |
1482 | -$(SPLINTR) specclauses4.c -expect 3 | |
1483 | -$(SPLINTR) specclauses5.c -expect 3 | |
1484 | ||
1485 | .PHONY: specclauses1 | |
1486 | specclauses1: | |
1487 | -$(SPLINTR) specclauses.c -expect 6 | |
1488 | ||
1489 | .PHONY: specclauses2 | |
1490 | specclauses2: | |
1491 | -$(SPLINTR) specclauses2.c -expect 8 | |
1492 | ||
1493 | .PHONY: specclauses3 | |
1494 | specclauses3: | |
1495 | -$(SPLINTR) specclauses3.c -expect 6 | |
1496 | ||
1497 | .PHONY: specclauses4 | |
1498 | specclauses4: | |
1499 | -$(SPLINTR) specclauses4.c -expect 3 | |
1500 | ||
1501 | .PHONY: specclauses5 | |
1502 | specclauses5: | |
1503 | -$(SPLINTR) specclauses5.c -expect 3 | |
1504 | ||
1505 | .PHONY: special | |
1506 | special: | |
1507 | -$(SPLINTR) special -expect 20 | |
1508 | -$(SPLINTR) special -relaxquals -expect 22 | |
1509 | ||
1510 | .PHONY: stack | |
1511 | stack: | |
1512 | -$(SPLINTR) stack.c -expect 5 | |
1513 | -$(SPLINTR) stack.c -stackref | |
1514 | ||
1515 | .PHONY: staticarray | |
1516 | staticarray: | |
1517 | -$(SPLINTR) staticarray.c -expect 3 | |
1518 | ||
1519 | .PHONY: strings | |
1520 | strings: | |
1521 | -$(SPLINTR) strings.c -expect 3 | |
1522 | -$(SPLINTR) -readonlystrings -expect 1 strings.c | |
1523 | -$(SPLINTR) +modobserverstrict -maintype -expect 4 strings.c | |
1524 | ||
1525 | .PHONY: structassign | |
1526 | structassign: | |
1527 | -$(SPLINTR) structassign.c -expect 4 | |
1528 | ||
1529 | .PHONY: typequals | |
1530 | typequals: | |
1531 | -$(SPLINTR) typequals.c tq.lcl -expect 5 | |
1532 | -$(SPLINTR) typequals.c -expect 2 | |
1533 | ||
1534 | .PHONY: ud | |
1535 | ud: | |
1536 | -$(SPLINTR) ud.c -expect 9 | |
1537 | -$(SPLINTR) ud2 -specundef -expect 3 | |
1538 | ||
1539 | .PHONY: ulstypes | |
1540 | ulstypes: | |
1541 | -$(SPLINTR) ulstypes.c -expect 8 | |
1542 | -$(SPLINTR) ulstypes.c +ignorequals | |
1543 | -$(SPLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28 | |
1544 | ||
1545 | # 3 more detected with version 2.5 (change in -numliteral setting) | |
1546 | ||
1547 | .PHONY: union | |
1548 | union: | |
1549 | -$(SPLINTR) +memchecks union.c -expect 8 | |
1550 | ||
1551 | ### | |
1552 | ### Added 2001-12-30: fixed union initializer checking in response to | |
1553 | ### bug report from Jim Zelenka. | |
1554 | ### | |
1555 | ||
1556 | .PHONY: unioninit | |
1557 | unioninit: | |
1558 | -$(SPLINTR) unioninit.c -expect 2 | |
1559 | ||
1560 | .PHONY: unreachable | |
1561 | unreachable: | |
1562 | -$(SPLINTR) unreachable.c -expect 5 | |
1563 | -$(SPLINTR) -unreachable unreachable.c -expect 2 | |
1564 | -$(SPLINTR) switch.c -expect 4 | |
1565 | ||
1566 | .PHONY: unsignedcompare | |
1567 | unsignedcompare: | |
1568 | ${SPLINTR} +posixlib unsignedcompare.c -expect 4 | |
1569 | ||
1570 | ### | |
1571 | ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks | |
1572 | ### | |
1573 | ||
1574 | .PHONY: unused | |
1575 | unused: | |
1576 | -$(SPLINTRN) unused.c +checks -exportlocal -expect 5 | |
1577 | -$(SPLINTRN) unused.c +checks -exportlocal +topuse -expect 8 | |
1578 | ||
1579 | ### | |
1580 | ### 2001-06-10: Provided by Jim Zalenka | |
1581 | ### | |
1582 | ||
1583 | .PHONY: ullint | |
1584 | ullint: | |
1585 | ${SPLINTRN} ullint.c -expect 5 | |
1586 | ${SPLINTRN} ullint.c +charint +charintliteral -expect 2 | |
1587 | ||
1588 | ### | |
1589 | ### 2001-12-30: Poor warnings reported by Peter Deutsch | |
1590 | ### | |
1591 | ||
1592 | .PHONY: utypes | |
1593 | utypes: | |
1594 | ${SPLINTRN} utypes.c -expect 6 | |
1595 | ||
1596 | ### | |
1597 | ||
1598 | .PHONY: void | |
1599 | void: | |
1600 | ${SPLINTRN} void.c -expect 2 | |
1601 | ||
1602 | ### | |
1603 | ### 2001-12-30: Problems with wide character strings reported by Nelson Beebe | |
1604 | ### | |
1605 | ||
1606 | .PHONY: widestrings | |
1607 | widestrings: | |
1608 | ${SPLINTRN} widestrings.c -expect 2 | |
1609 | ||
1610 | ### | |
1611 | ### New since 2.5q: | |
1612 | ### | |
1613 | ||
1614 | .PHONY: linked | |
1615 | linked: | |
1616 | ${SPLINTR} linked.c -expect 4 | |
1617 | ${SPLINTR} linked2.c -expect 3 | |
1618 | ${SPLINTR} linked3.c -expect 5 | |
1619 | ${SPLINTR} linked4.c -expect 6 | |
1620 | ${SPLINTR} linked5.c -expect 4 | |
1621 | ${SPLINTR} linked6.c -expect 4 | |
1622 | ||
1623 | .PHONY: freearray | |
1624 | freearray: | |
1625 | ${SPLINTR} freearray.c -expect 1 | |
1626 | ||
1627 | .PHONY: sizeof | |
1628 | sizeof: | |
1629 | -$(SPLINTR) +bounds sizeof.c -expect 1 | |
1630 | ||
1631 | .PHONY: buffertest | |
1632 | buffertest: | |
1633 | -$(SPLINTR) +bounds buffertest1.c -expect 5 | |
1634 | ||
1635 | .PHONY: $(SUBDIRTESTS) | |
1636 | $(SUBDIRTESTS): | |
1637 | cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)" | |
1638 | # Tell versions [3.59,3.63) of GNU make to not export all variables. | |
1639 | # Otherwise a system limit (for SysV at least) may be exceeded. | |
1640 | .NOEXPORT: |