]> andersk Git - splint.git/blame - test/Makefile
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
REmoved references to the full working directory of LCLint for test outputs since...
[splint.git] / test / Makefile
CommitLineData
885824d3 1##################################################
2### ###
3### Makefile for LCLint testing ###
4### ###
5### designed for use with GNU make ###
6### ###
7##################################################
8
9.PHONY: all fulltest quicktest funcpointer cast abstract
10.PHONY: version help abstptr abstract alias alttypes ansireserved
11.PHONY: argorder args blocks break cases cast charlit
12.PHONY: clauses commentchar
b9904f57 13.PHONY: compdestroy constannot controldepth csyntax czechnames czechoslovaknames
60eced23 14.PHONY: deadparam decl enum exports external fields fileio flags forbody format funcpointer glob globals
885824d3 15.PHONY: impabstract init inparam internal iter keep libs lintcomments
12f2ffe9 16.PHONY: list macros macrosef merge mergestate modifies modtest moduncon mongoincludes
ccf0a4a8 17.PHONY: noeffect null observer oldstyle outglob outparam preds prefixes printflike rc
80ee600a 18.PHONY: refcounts release repexpose returned sharing slovaknames special
19.PHONY: specclauses stack staticarray
20.PHONY: strings structassign nullret
990ec868 21.PHONY: tainted typequals ud ulstypes union unreachable unused ullint void
cc78dedd 22.PHONY: db1 db2 db3 tests2.2 tests2.2a tests2.4 tests2.5
885824d3 23.PHONY: all test fulltest expects quicktest
80ee600a 24.PHONY: metastate warnuse
25.PHONY: linked freearray
e4c9f289 26.PHONY: sizeoftest
01b933c3 27.PHONY: bufferTest
28.PHONY: simplebufferConstraintTests
80ee600a 29.PHONY: moreBufferTests
754e4dbd 30.PHONY: maxset
31.PHONY: globalbufferannotation
32.PHONY: strchr
33.PHONY: for
885824d3 34
35.SUFFIXES: .out .expect .c .lcl .h .lh .diff
36
37SHELL = /bin/csh -f
38
39# Command to run lclint
efd360a3 40LCLINT = ${HOME}/LCLintDev/src/lclint
885824d3 41LCLINTP = $(LCLINT)
42
43# Make sure .lclintrc files are not used so test results do not
44# depend on local settings.
45LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool"
4109ede4 46LCLINTR = $(LCLINTRN) -exportlocal +debugfcnconstraint
885824d3 47
80ee600a 48UNITTESTS = help sizeoftest bufferTest simplebufferConstraintTests moreBufferTests globalbufferannotation maxset strchr for abstptr abstract alias alttypes ansireserved argorder args blocks break cases cast \
b9904f57 49 charlit clauses commentchar compdestroy constannot controldepth csyntax czechnames czechoslovaknames deadparam \
60eced23 50 decl enum exports external fields fileio flags forbody format freearray funcpointer glob globals impabstract \
4109ede4 51 init inparam internal iter keep libs linked lintcomments list macros macrosef merge \
52metastate modifies \
53 modtest moduncon mongoincludes mystrncat noeffect null observer oldstyle \
3120b462 54 outglob outparam preds prefixes \
80ee600a 55 printflike rc refcounts release repexpose returned sharing slovaknames specclauses special stack \
4109ede4 56 staticarray strings structassign \
57typequals ud ulstypes union unreachable unused ullint void \
80ee600a 58 tests2.2 tests2.2a tests2.4 tests2.5
885824d3 59
4109ede4 60#drl removed the following tests
61#tainted mergestate nullret nullassign warnuse \
62
63
885824d3 64UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
65
66INTEGTESTS = db1 db2 db3
67INTEGEXPECTS = $(addsuffix .expect, $(INTEGTESTS))
68
69LCLINTTESTS = $(UNITTESTS) $(INTEGTESTS)
70
3120b462 71QUICKTESTS = db3
72
885824d3 73all: fulltest
74test: fulltest
75
76GREP = grep
77DIFF = diff
798b6d87 78CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "make -e" | $(GREP) -v "make\[" | $(GREP) -v "lclint -nof" | $(GREP) -v "make -e" | $(GREP) -v $(LCLINT) | $(GREP) -v $(HOME)
885824d3 79
80### not real .c
81
82.c.expect:
83 $(MAKE) -e $(*) |& $(CLEANOUTPUT) > $(*).expect ; \
84 cat $(*).expect
85
86.c.diff:
87 $(MAKE) -e $(*) |& $(CLEANOUTPUT) > $(*).out ; \
88 diff $(*).expect $(*).out
89
90expects:
91 echo "Saving old expects: " ; \
92 more *.expect | cat > expects-`date +"%y-%m-%d-%H"`
93 @$(foreach test, $(UNITTESTS), \
94 echo "Making "$(test)".expect: " ; \
95 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).expect ; \
96 cat $(test).expect ; )
97 @echo "Integration Tests"
98 @$(foreach test, $(INTEGTESTS), \
99 echo "Making "$(test)".expect: "; \
100 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).expect ; \
101 cat $(test).expect ; )
102
3120b462 103quicktest:
104 @$(foreach test, $(QUICKTESTS), \
105 echo "Checking "$(test)"... " ; \
106 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).out ; \
107 $(DIFF) $(test).expect $(test).out ; \
108 if ($$status) echo "*** FAIL ***" ; \
109 )
885824d3 110fulltest:
111 @echo ''
112 @echo 'Testing '$(LCLINTP)
113 @echo ''
114 @echo 'Version:'
115 @echo ''
116 @$(LCLINTP) -help version
117 @$(LCLINTP) -help vars
118 @echo ''
119 @echo "Unit Tests:"
120 @echo ''
121 @$(foreach test, $(UNITTESTS), \
122 echo "Checking "$(test)"... " ; \
123 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).out ; \
124 $(DIFF) $(test).expect $(test).out ; \
125 if ($$status) echo "*** FAIL ***" ; \
126 )
127 @echo ''
128 @echo "Integration Tests"
129 @echo ''
130 @$(foreach test, $(INTEGTESTS), \
131 echo "Checking "$(test)"... "; \
132 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).out ; \
133 $(DIFF) $(test).expect $(test).out ; )
134
885824d3 135###
136### Unit Tests
137###
138
139version:
140 -$(LCLINTP) -help version
141
142help:
143 -@$(LCLINTP)
144 -@setenv LARCH_PATH "/dev/null"; $(LCLINTP) empty.lcl
145 -@$(LCLINTP) -help
146 -@$(LCLINTP) -asdf
147 -@$(LCLINTP) +boolint +boolint
148 -@$(LCLINTP) -help flags alpha
149 -@$(LCLINTP) -help flags all
150
151abstptr:
152 $(LCLINTR) abstptr -expect 9
153 $(LCLINTR) abstptr +voidabstract -expect 6
154
155abstract:
156 $(LCLINTR) abst_t.lcl commentcmd.c -expect 15
157
158alias:
159 $(LCLINTR) +lh mut
160 $(LCLINTR) mut alias +globalias -expect 19
161 $(LCLINTR) mut alias2 +globalias -expect 17
162 $(LCLINTR) +lh alias3 -expect 14
163 $(LCLINTR) +lh alias4 +boolint
164 $(LCLINTR) alias4 -pred +retalias -expect 6
165 $(LCLINTR) +lh alias5 +memchecks -null -specundef -expect 5
166
167alttypes:
168 $(LCLINTR) alttypes.c -expect 2
169
80ee600a 170###
171### evans 2001-06-07 - updated nameCheck.c to reflect C9X.
172### Reports one new errors for ansireserved.c - wctomb is bad even as a local variable.
173### (could be a macro?)
174### Reports 3 additional errors for +checks; no longer suppresses name errors in the
175### presense of other errors.
176###
177
885824d3 178ansireserved:
80ee600a 179 $(LCLINTR) ansireserved.c +ansireserved -nolib -expect 9
885824d3 180 $(LCLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11
80ee600a 181 $(LCLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12
182 $(LCLINTR) ansireserved2.c +ansireserved -expect 1
885824d3 183
184argorder:
185 $(LCLINTR) argorder.c -expect 4
186 $(LCLINTR) argorder2 -expect 5
187 $(LCLINTR) argorder3.c -expect 8
188 $(LCLINTR) argorder4 -expect 9
189 $(LCLINTR) argorder4 -evalorder -expect 1
190 $(LCLINTR) argorder5.c +evalorderuncon -expect 3
191
192args:
193 $(LCLINTR) args -noeffect -expect 12
194
195blocks:
196 $(LCLINTR) blocks.c -expect 4
197 $(LCLINTR) blocks.c +ifblock +elseifcomplete -expect 7
198 $(LCLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3
199 $(LCLINTR) blocks.c -ifempty +forempty +forblock -expect 3
200 $(LCLINTR) blocks.c +allempty -expect 6
201 $(LCLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11
202
203break:
204 $(LCLINTR) break.c -expect 4
205 $(LCLINTR) break.c +deepbreak -expect 6
206 $(LCLINTR) break.c +deepbreak -looploopbreak -expect 5
207
208cases:
209 $(LCLINTR) cases.c -expect 5
210 $(LCLINTR) cases2.c -expect 2
211 $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3
212 $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3
213
214cast:
215 $(LCLINTR) cast -accessmodule -expect 20
216 $(LCLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3
217
cc78dedd 218### Two addition errors detected with 2.5 with -numliteral.
219
885824d3 220charlit:
221 $(LCLINTR) +hints charlit.c -expect 4
cc78dedd 222 $(LCLINTR) +hints -numliteral charlit.c -expect 6
885824d3 223 $(LCLINTR) +hints charlit.c +charintliteral +ignoresigns
224
225clauses:
226 $(LCLINTR) clauses.c +memchecks -expect 4
227 $(LCLINTR) clauses2.c +memchecks
228 $(LCLINTR) clauses3.c +memchecks -expect 2
229 $(LCLINTR) clauses3.c +memchecks +unixlib -expect 3
230
231commentchar:
232 $(LCLINTR) commentchar.c -expect 4
233 $(LCLINTR) -commentchar '#' commentchar.c -expect 4
234
235controldepth:
236 $(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
237 $(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2
238
239compdestroy:
240 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
241 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
242 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
243 $(LCLINTRN) compdestroy.c +strict +partial -exportheader -expect 3
244
b9904f57 245constannot:
4109ede4 246 ${LCLINTRN} constannot.c +arraybounds -exportlocal -expect 2
b9904f57 247
885824d3 248csyntax:
cc78dedd 249 $(LCLINTR) +quiet -incondefs csyntax.c -expect 1
250 $(LCLINTR) +quiet csyntax2.c -expect 2
251 $(LCLINTR) +quiet csyntax3.c -expect 1
885824d3 252 $(LCLINTR) +quiet -incondefs csyntax4.c
253 $(LCLINTR) +quiet csyntax5.c
254 $(LCLINTR) +quiet csyntax6.c
255 $(LCLINTR) +quiet csyntax7.c
256 $(LCLINTR) +quiet csyntax8.c
257 $(LCLINTR) +quiet csyntax9.c
258 $(LCLINTR) +quiet csyntax10.c
259 $(LCLINTR) +quiet csyntax11.c
260 $(LCLINTR) +quiet csyntax12.c
cc78dedd 261 $(LCLINTR) +quiet csyntax13.c -expect 1
885824d3 262 $(LCLINTR) +quiet csyntax14.c
263 $(LCLINTR) +quiet csyntax15.c
cc78dedd 264 $(LCLINTR) +quiet csyntax16.c -expect 2
265 $(LCLINTR) +quiet csyntax17.c -expect 3
885824d3 266
267czechnames:
268 $(LCLINTR) czechnames.c
269 $(LCLINTR) +hints +czech czechnames.c -expect 2
270 $(LCLINTR) +hints +czech -czechvars czechnames.c -expect 1
271 $(LCLINTR) +hints +czech -accessczech czechnames.c -expect 6
272
273czechoslovaknames:
274 $(LCLINTR) +hints +czechoslovak czechnames.c -expect 1
275 $(LCLINTR) +hints +czechoslovak slovaknames.c -expect 1
276 $(LCLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2
277
80ee600a 278###
279### deadparam added 2001-05-27
280###
281
282deadparam:
283 ${LCLINTR} deadparam.c -expect 3
284
885824d3 285#
286# Was expect 3 before 2.4. Earlier versions did not handle implicit
287# function pointers correctly.
288#
289
290decl:
291 $(LCLINTR) decl.c -expect 2
292 $(LCLINTRN) decl.c +strict -exportlocal -expect 5
293 $(LCLINTR) decl2 -expect 4
294
295enum:
296 $(LCLINTR) enum -expect 16
297 $(LCLINTR) enum -misscase -expect 14
298
299exports:
300 $(LCLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6
301 $(LCLINTR) exports.c +exportany -expect 3
302 $(LCLINTR) exports.c
303
304external:
305 $(LCLINTR) external.c +partial
306 $(LCLINTR) external.c +partial +distinctexternalnames -expect 2
307 $(LCLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3
308 $(LCLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3
309 $(LCLINTR) external.c +partial -externalnamelength 3 -expect 4
310
311fields:
312 $(LCLINTR) fields.c +memchecks -expect 6
313 $(LCLINTR) fields2.c +memchecks -expect 5
314 $(LCLINTR) fields3.c +memchecks
315
316flags:
317 $(LCLINTR) flags.c -expect 8
318 $(LCLINTR) +nocomments flags.c -expect 2
319
80ee600a 320### Added 2001-06-02
321
322forbody:
323 ${LCLINTR} forbody.c -expect 2
324
325### Added 2001-06-03
326format:
327 ${LCLINTR} format.c -expect 3
328 ${LCLINTR} format.c -formatconst
329
885824d3 330# two new errors (invalid lhs)
331
332funcpointer:
333 $(LCLINTR) +memchecks +noparams funcpointer.c -expect 18
334
335glob:
336 $(LCLINTR) glob -expect 4
337 $(LCLINTR) glob -globuse -expect 3
338 $(LCLINTR) glob +globunspec -expect 6
339
340globals:
341 $(LCLINTR) -modifies globals.c -expect 5
342 $(LCLINTR) -modifies globals.c +allglobals -expect 6
343 $(LCLINTR) -modifies globals.c +impcheckedglobals -expect 6
344 $(LCLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2
345 $(LCLINTR) -modifies globals.c +globunspec -expect 6
346 $(LCLINTR) -modifies globals.c +globunspec +allglobals -expect 8
347
80ee600a 348# Was -accessfile
349impabstract:
350 $(LCLINTR) -accessmodule impabstract.c
351 $(LCLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2
352 $(LCLINTR) -accessmodule +hints +impabstract impabstract -expect 4
885824d3 353
354init:
355 $(LCLINTR) init.c -expect 12
356 $(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 15
357
358inparam:
359 $(LCLINTR) inparam.c -expect 2
360 $(LCLINTR) +impouts inparam.c -expect 1
361
362internal:
363 $(LCLINTR) internal.c -expect 1
364 $(LCLINTR) internal.c +distinctinternalnames -expect 2
365 $(LCLINTR) internal.c -internalnamelen 28 -expect 3
366 $(LCLINTR) internal.c +internalnamecaseinsensitive -expect 3
367 $(LCLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11
368
80ee600a 369###
370### iter
371### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6
372###
373
885824d3 374iter:
375 $(LCLINTR) iter -expect 14 -lclexpect 1
376 $(LCLINTR) iter2.c -expect 12
377
378keep:
379 $(LCLINTR) keep.c +memchecks -expect 6
380
80ee600a 381### libs
382### 2001-05-22: 2 new errors found (fixed spec of signal)
383### 2001-05-30: 3 new errors found (formatconst)
885824d3 384
385libs:
80ee600a 386 $(LCLINTR) libs.c +longunsignedunsignedintegral -expect 18
387 $(LCLINTR) libs.c -expect 22
388 $(LCLINTR) libs.c +globunspec +modunspec -expect 25
389 $(LCLINTR) libs.c +strictlib +globunspec +modunspec -expect 42
885824d3 390
391lintcomments:
392 $(LCLINTR) lintcomments.c -expect 4
393 $(LCLINTR) lintcomments.c -warnlintcomments -expect 1
394 $(LCLINTR) lintcomments.c -lintcomments -expect 4
395
396list:
397 $(LCLINTR) list.c -expect 3
398
399macros:
400 $(LCLINTR) macros -expect 17
401 $(LCLINTR) macros.c +allmacros -expect 34
402 $(LCLINTR) macros.c +fcnmacros -expect 31
403
404
405macrosef:
406 $(LCLINTR) macrosef -expect 4
407 $(LCLINTR) macrosef.c +allmacros -expect 3
408 $(LCLINTR) macrosef.c +allmacros +sefuncon -expect 4
409
410merge:
411 $(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
412
413modifies:
414 $(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7
415
416modtest:
417 $(LCLINTR) modtest -expect 10
418 $(LCLINTR) modtest +modunspec -expect 13
419 $(LCLINTR) modtest +mustmod -expect 14
420
421moduncon:
422 $(LCLINTR) moduncon.c +moduncon -memchecks -expect 4
423 $(LCLINTRN) moduncon.c +strict -exportlocal -expect 22
424
425mongoincludes:
426 $(LCLINTR) mongoincludes.c -includenest 1 -expect 19
427 $(LCLINTR) mongoincludes.c -includenest 2 -expect 10
428 $(LCLINTR) mongoincludes.c -includenest 3 -expect 4
429 $(LCLINTR) mongoincludes.c -includenest 4 -expect 1
430 $(LCLINTR) mongoincludes.c -includenest 5 -expect 0
431
3120b462 432mystrncat:
4109ede4 433 $(LCLINTR) mystrncat.c +arraybounds +arrayboundsread -expect 4
3120b462 434
ccf0a4a8 435noeffect:
436 ${LCLINT} noeffect.c +allmacros +checks -expect 3
437
885824d3 438null:
439 $(LCLINTR) null1.c -expect 14
440 $(LCLINTR) null1.c -null -expect 4
441 $(LCLINTR) null2.c -expect 10
442 $(LCLINTR) null3.c -expect 15
443 $(LCLINTR) null3.c -warnunixlib +unixlib -expect 16
444 $(LCLINTR) null4.c -expect 1
445 $(LCLINTR) null5.c -expect 4
446 $(LCLINTR) null6 -expect 4
447 $(LCLINTR) +quiet null6.lcl -dump null6
448 $(LCLINTR) null6.c -load null6 -expect 4
449
80ee600a 450### Added for 3.0 (bugs reported by Kevin Broady)
451
452nullret:
453 $(LCLINTR) nullret.c -expect 2
454 $(LCLINTR) -nullret nullret.c -expect 1
455
456nullassign:
457 $(LCLINTR) nullassign.c -expect 2
458 $(LCLINTR) -nullassign nullassign.c -expect 1
459
460
885824d3 461#
462# Before 2.4, expected one more because error was reported both as
463# dependent and observer.
464#
465
466observer:
467 $(LCLINTRN) observer +checks -exportlocal -exportheader -expect 9
468 $(LCLINTRN) observer.c +checks -exportlocal -exportheader -expect 8
469 $(LCLINTR) observer.c -expect 7
470
471oldstyle:
472 $(LCLINTR) oldstyle -expect 3
473
474outglob:
475 $(LCLINTR) outglob -expect 10
476
477outparam:
478 $(LCLINTR) outparam -expect 12
479
efd360a3 480#
481# Four new +fcnuse errors for -strict (evans 2001-07-22)
482#
483
885824d3 484preds:
485 $(LCLINTR) +hints preds.c -expect 6
486 $(LCLINTRN) +hints preds.c -weak -expect 1
efd360a3 487 $(LCLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
885824d3 488
489prefixes:
490 $(LCLINTR) prefixes.c +partial
491 $(LCLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4
492 $(LCLINTR) prefixes.c -typeprefix "T" -expect 2
493 $(LCLINTR) prefixes.c -typeprefix "^" -expect 1
494 $(LCLINTR) prefixes.c -typeprefix "^*" -expect 2
495 $(LCLINTR) prefixes.c -typeprefix "^%*" -expect 2
496 $(LCLINTR) prefixes.c -typeprefix "^~*" -expect 2
497 $(LCLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7
498 $(LCLINTR) prefixes.c -filestaticprefix "^^" -expect 4
499 $(LCLINTR) prefixes.c -filestaticprefix "^#" -expect 5
500 $(LCLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5
501 $(LCLINTR) prefixes.c -globalprefix "G" -expect 1
502 $(LCLINTR) prefixes.c -globalprefix "&G?_^" -expect 1
503 $(LCLINTR) prefixes.c -externalprefix "G" -expect 5
504 $(LCLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4
505 $(LCLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13
506
507printflike:
508 $(LCLINTR) printflike.c -expect 6
509 $(LCLINTR) printflike.c -warnlintcomments -expect 5
510
511rc:
cc78dedd 512 $(LCLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1
513 $(LCLINTR) -DMYSTERY=12 rc.c -expect 1
514 $(LCLINTR) -f rc1.lclintrc rc.c -expect 1
515 $(LCLINTR) -UMYSTERY -f rc1.lclintrc rc.c -expect 1
516 $(LCLINTR) -f rc3.lclintrc rc.c -expect 1
885824d3 517
518refcounts:
519 $(LCLINTR) refcounts.c -expect 7
520
521release:
522 $(LCLINTR) release.c +memchecks -expect 1
523
524repexpose:
525 $(LCLINTR) +lh repexpose +memchecks -expect 12
526 $(LCLINTR) repexpose +memchecks +retalias -expect 15
527 $(LCLINTRN) repexpose +checks -exportlocal -expect 27
528
80ee600a 529### returned added 2001-05-27
530### (Bug discovered checking lclint sources.)
531
532returned:
533 ${LCLINTR} returned.c -expect 1
534
885824d3 535sharing:
536 $(LCLINTR) sharing1.c -expect 21
537 $(LCLINTR) sharing3.c -expect 3
538 $(LCLINTR) sharing4.c -expect 13
539 $(LCLINTR) sharing4.c -paramimptemp -expect 12
540 $(LCLINTR) sharing5.c -expect 6
541
542slovaknames:
543 $(LCLINTR) +hints slovaknames.c -expect 1
544 $(LCLINTR) +hints slovaknames.c +accessslovak
545 $(LCLINTR) +hints +slovak slovaknames.c -expect 3
546 $(LCLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2
547 $(LCLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7
548
549specclauses:
550 $(LCLINTR) specclauses.c -expect 6
551 $(LCLINTR) specclauses2.c -expect 8
552 $(LCLINTR) specclauses3.c -expect 6
553 $(LCLINTR) specclauses4.c -expect 3
554 $(LCLINTR) specclauses5.c -expect 3
555
556special:
557 $(LCLINTR) special -expect 20
558 $(LCLINTR) special -relaxquals -expect 22
559
560stack:
561 $(LCLINTR) stack.c -expect 5
562 $(LCLINTR) stack.c -stackref
563
564staticarray:
565 $(LCLINTR) staticarray.c -expect 3
566
567strings:
568 $(LCLINTR) strings.c -expect 3
569 $(LCLINTR) -readonlystrings -expect 1 strings.c
570 $(LCLINTR) +modobserverstrict -maintype -expect 4 strings.c
571
572structassign:
573 $(LCLINTR) structassign.c -expect 4
574
575typequals:
576 $(LCLINTR) typequals.c tq.lcl -expect 5
577 $(LCLINTR) typequals.c -expect 2
578
579ud:
580 $(LCLINTR) ud.c -expect 9
581 $(LCLINTR) ud2 -specundef -expect 3
582
583ulstypes:
584 $(LCLINTR) ulstypes.c -expect 8
585 $(LCLINTR) ulstypes.c +ignorequals
586 $(LCLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28
cc78dedd 587# 3 more detected with version 2.5 (change in -numliteral setting)
885824d3 588
589union:
590 $(LCLINTR) +memchecks union.c -expect 8
591
592unreachable:
593 $(LCLINTR) unreachable.c -expect 5
594 $(LCLINTR) -unreachable unreachable.c -expect 2
595 $(LCLINTR) switch.c -expect 4
596
80ee600a 597###
598### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks
599###
600
885824d3 601unused:
80ee600a 602 $(LCLINTRN) unused.c +checks -exportlocal -expect 5
603 $(LCLINTRN) unused.c +checks -exportlocal +topuse -expect 8
604
605###
606### 2001-06-10: Provided by Jim Zalenka
607###
608
609ullint:
610 ${LCLINTRN} ullint.c -expect 5
611 ${LCLINTRN} ullint.c +charint +charintliteral -expect 2
612
613void:
614 ${LCLINTRN} void.c -expect 2
615
616###
617### New since 2.5q:
618###
619
620linked:
621 ${LCLINTR} linked.c -expect 4
622 ${LCLINTR} linked2.c -expect 3
623 ${LCLINTR} linked3.c -expect 5
624 ${LCLINTR} linked4.c -expect 6
625 ${LCLINTR} linked5.c -expect 4
626 ${LCLINTR} linked6.c -expect 4
627
628freearray:
629 ${LCLINTR} freearray.c -expect 1
885824d3 630
631###
632### Bugs fixed and new features since version 2.1b
633###
634
635tests2.2:
80ee600a 636 setenv LCLINT '$(LCLINTRN)'; cd tests2.2 ; $(MAKE) -e
885824d3 637
638tests2.2a:
639 @cd tests2.2a ; \
640 $(LCLINTR) erik.c -expect 1 ; \
641 $(LCLINTR) boolcomp.c -expect 5 ; \
642 $(LCLINTR) boolenum.c ; \
643 $(LCLINTR) addassign.c -expect 1; \
644 $(LCLINTR) toralf.c -expect 5 ; \
645 $(LCLINTR) fred.c -booltype Bool ; \
646 $(LCLINTR) sizeof.c ; \
647 $(LCLINTR) arrayparam.c -expect 5 ; \
648 $(LCLINTR) notreached.c ; \
cc78dedd 649 $(LCLINTR) duff.c -casebreak -firstcase ; \
885824d3 650 $(LCLINTR) obviousloop.c -expect 4 ; \
651 $(LCLINTR) bitops.c +bitwisesigned -expect 11 ; \
652 $(LCLINTR) bitops.c -expect 5 ; \
653 $(LCLINTR) isalpha.c +strictlib -expect 1 ; \
654 $(LCLINTR) isalpha.c -expect 1 ; \
655 $(LCLINTR) dobb.c ; \
656 $(LCLINTR) popik.c -expect 11
657
658tests2.4:
80ee600a 659 setenv LCLINT '$(LCLINTRN)'; cd tests2.4 ; $(MAKE) -e
885824d3 660
e4c9f289 661sizeoftest:
662 @cd sizeoftest; \
4109ede4 663 $(LCLINTR) +arraybounds +arrayboundsread sizeof.c
1ac6313d 664
01b933c3 665bufferTest:
666 @cd bufferTest; \
4109ede4 667 $(LCLINTR) +arraybounds +arrayboundsread test4.c test6.c
01b933c3 668
669simplebufferConstraintTests:
670 @cd simplebufferConstraintTests; \
4109ede4 671 $(LCLINTR) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c
01b933c3 672
80ee600a 673moreBufferTests:
674 @cd moreBufferTests; \
4109ede4 675 $(LCLINTR) +arraybounds +arrayboundsread unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c
80ee600a 676
754e4dbd 677maxset:
678 @cd maxset; \
e83c79ec 679 $(LCLINTR) +arraybounds maxsetannotations.c; \
680 $(LCLINTR) +arraybounds maxsetnoannotations.c -expect 1
754e4dbd 681
682globalbufferannotation:
683 @cd globalbufferannotation; \
4109ede4 684 $(LCLINTR) +arraybounds +arrayboundsread globalvariable.c
754e4dbd 685
686strchr:
687 @cd strchr; \
0bf5022d 688 $(LCLINTR) +arraybounds +arrayboundsread strchr.c -expect 2
754e4dbd 689
690for:
691 @cd for; \
4109ede4 692 $(LCLINTR) +arraybounds +arrayboundsread for.c
754e4dbd 693
cc78dedd 694tests2.5:
695 setenv LCLINT '$(LCLINTRN)'; cd tests2.5 ; $(MAKE) -e
696
80ee600a 697metastate:
698 setenv LCLINT '$(LCLINTRN)'; cd metastate ; $(MAKE) -e
699
12f2ffe9 700mergestate:
701 setenv LCLINT '$(LCLINTRN)'; cd mergestate ; $(MAKE) -e
702
990ec868 703tainted:
704 setenv LCLINT '$(LCLINTRN)'; cd tainted ; $(MAKE) -e
705
60eced23 706fileio:
707 setenv LCLINT '$(LCLINTRN)'; cd fileio ; $(MAKE) -e
708
80ee600a 709warnuse:
710 setenv LCLINT '$(LCLINTRN)'; cd warnuse ; $(MAKE) -e
711
d9a28762 712ensuresclauses:
713 setenv LCLINT '$(LCLINTRN)'; cd ensuresclauses ; $(MAKE) -e
714
885824d3 715###
716### Integration Tests
717###
718
719db1:
720 setenv LCLINT '$(LCLINTRN)'; cd db1; $(MAKE) -e test
721
80ee600a 722
723### evans 2000-12-22
724### 2 errors are no longer reported, since eref is immutable.
725### Need to clarify what it means for an object to be immutable;
726### there should be 2 types with different storage requirements.
727
885824d3 728db2:
729 setenv LCLINT '$(LCLINTRN)'; cd db2; $(MAKE) -e test
730
731db3:
732 setenv LCLINT '$(LCLINTRN)'; cd db3; $(MAKE) -e test
733
885824d3 734clean:
735 -rm -f *~ #*# *.o *.lcs a.out
736 -cd db1 ; $(MAKE) clean
737 -cd db2 ; $(MAKE) clean
738 -cd db3 ; $(MAKE) clean
739
740
741
cc78dedd 742
git-cvsimport mirror of splint
This page took 0.519179 seconds and 5 git commands to generate.