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