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