]> andersk Git - splint.git/blame - test/Makefile
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Added new tests.
[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
13.PHONY: compdestroy controldepth csyntax czechnames czechoslovaknames
14.PHONY: decl enum exports external fields flags funcpointer glob globals
15.PHONY: impabstract init inparam internal iter keep libs lintcomments
16.PHONY: list macros macrosef merge modifies modtest moduncon mongoincludes
17.PHONY: null observer oldstyle outglob outparam preds prefixes printflike rc
18.PHONY: refcounts release repexpose sharing slovaknames special
19.PHONY: specclauses stack staticarray
20.PHONY: strings structassign
21.PHONY: typequals ud ulstypes union unreachable unused
cc78dedd 22.PHONY: db1 db2 db3 tests2.2 tests2.2a tests2.4 tests2.5
885824d3 23.PHONY: all test fulltest expects quicktest
e4c9f289 24.PHONY: sizeoftest
01b933c3 25.PHONY: bufferTest
26.PHONY: simplebufferConstraintTests
754e4dbd 27.PHONY: maxset
28.PHONY: globalbufferannotation
29.PHONY: strchr
30.PHONY: for
885824d3 31
32.SUFFIXES: .out .expect .c .lcl .h .lh .diff
33
34SHELL = /bin/csh -f
35
36# Command to run lclint
cc78dedd 37LCLINT = ${HOME}/lclint-dev/src/lclint
885824d3 38LCLINTP = $(LCLINT)
39
40# Make sure .lclintrc files are not used so test results do not
41# depend on local settings.
42LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool"
43LCLINTR = $(LCLINTRN) -exportlocal
44
754e4dbd 45UNITTESTS = help sizeoftest bufferTest simplebufferConstraintTests globalbufferannotation maxset strchr for abstptr abstract alias alttypes ansireserved argorder args blocks break cases cast charlit clauses commentchar compdestroy controldepth csyntax czechnames czechoslovaknames decl enum exports external fields flags funcpointer glob globals impabstract init inparam internal iter keep libs lintcomments list macros macrosef merge modifies modtest moduncon mongoincludes null observer oldstyle outglob outparam preds prefixes printflike rc refcounts release repexpose sharing slovaknames specclauses special stack staticarray strings structassign typequals ud ulstypes union unreachable unused tests2.2 tests2.2a tests2.4 tests2.5
e4c9f289 46
47#UNITTEST = bufferTest
885824d3 48
49UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
50
51INTEGTESTS = db1 db2 db3
52INTEGEXPECTS = $(addsuffix .expect, $(INTEGTESTS))
53
54LCLINTTESTS = $(UNITTESTS) $(INTEGTESTS)
55
56all: fulltest
57test: fulltest
58
59GREP = grep
60DIFF = diff
61CLEANOUTPUT = $(GREP) -v "LCLint 2." | $(GREP) -v "make -e" | $(GREP) -v "make\[" | $(GREP) -v "lclint -nof" | $(GREP) -v "make -e"
62
63### not real .c
64
65.c.expect:
66 $(MAKE) -e $(*) |& $(CLEANOUTPUT) > $(*).expect ; \
67 cat $(*).expect
68
69.c.diff:
70 $(MAKE) -e $(*) |& $(CLEANOUTPUT) > $(*).out ; \
71 diff $(*).expect $(*).out
72
73expects:
74 echo "Saving old expects: " ; \
75 more *.expect | cat > expects-`date +"%y-%m-%d-%H"`
76 @$(foreach test, $(UNITTESTS), \
77 echo "Making "$(test)".expect: " ; \
78 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).expect ; \
79 cat $(test).expect ; )
80 @echo "Integration Tests"
81 @$(foreach test, $(INTEGTESTS), \
82 echo "Making "$(test)".expect: "; \
83 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).expect ; \
84 cat $(test).expect ; )
85
86fulltest:
87 @echo ''
88 @echo 'Testing '$(LCLINTP)
89 @echo ''
90 @echo 'Version:'
91 @echo ''
92 @$(LCLINTP) -help version
93 @$(LCLINTP) -help vars
94 @echo ''
95 @echo "Unit Tests:"
96 @echo ''
97 @$(foreach test, $(UNITTESTS), \
98 echo "Checking "$(test)"... " ; \
99 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).out ; \
100 $(DIFF) $(test).expect $(test).out ; \
101 if ($$status) echo "*** FAIL ***" ; \
102 )
103 @echo ''
104 @echo "Integration Tests"
105 @echo ''
106 @$(foreach test, $(INTEGTESTS), \
107 echo "Checking "$(test)"... "; \
108 $(MAKE) -e $(test) |& $(CLEANOUTPUT) > $(test).out ; \
109 $(DIFF) $(test).expect $(test).out ; )
110
111quicktest: $(LCLINTTESTS)
112
113###
114### Unit Tests
115###
116
117version:
118 -$(LCLINTP) -help version
119
120help:
121 -@$(LCLINTP)
122 -@setenv LARCH_PATH "/dev/null"; $(LCLINTP) empty.lcl
123 -@$(LCLINTP) -help
124 -@$(LCLINTP) -asdf
125 -@$(LCLINTP) +boolint +boolint
126 -@$(LCLINTP) -help flags alpha
127 -@$(LCLINTP) -help flags all
128
129abstptr:
130 $(LCLINTR) abstptr -expect 9
131 $(LCLINTR) abstptr +voidabstract -expect 6
132
133abstract:
134 $(LCLINTR) abst_t.lcl commentcmd.c -expect 15
135
136alias:
137 $(LCLINTR) +lh mut
138 $(LCLINTR) mut alias +globalias -expect 19
139 $(LCLINTR) mut alias2 +globalias -expect 17
140 $(LCLINTR) +lh alias3 -expect 14
141 $(LCLINTR) +lh alias4 +boolint
142 $(LCLINTR) alias4 -pred +retalias -expect 6
143 $(LCLINTR) +lh alias5 +memchecks -null -specundef -expect 5
144
145alttypes:
146 $(LCLINTR) alttypes.c -expect 2
147
148ansireserved:
149 $(LCLINTR) ansireserved.c +ansireserved -nolib -expect 8
150 $(LCLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11
151 $(LCLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 9
152
153argorder:
154 $(LCLINTR) argorder.c -expect 4
155 $(LCLINTR) argorder2 -expect 5
156 $(LCLINTR) argorder3.c -expect 8
157 $(LCLINTR) argorder4 -expect 9
158 $(LCLINTR) argorder4 -evalorder -expect 1
159 $(LCLINTR) argorder5.c +evalorderuncon -expect 3
160
161args:
162 $(LCLINTR) args -noeffect -expect 12
163
164blocks:
165 $(LCLINTR) blocks.c -expect 4
166 $(LCLINTR) blocks.c +ifblock +elseifcomplete -expect 7
167 $(LCLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3
168 $(LCLINTR) blocks.c -ifempty +forempty +forblock -expect 3
169 $(LCLINTR) blocks.c +allempty -expect 6
170 $(LCLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11
171
172break:
173 $(LCLINTR) break.c -expect 4
174 $(LCLINTR) break.c +deepbreak -expect 6
175 $(LCLINTR) break.c +deepbreak -looploopbreak -expect 5
176
177cases:
178 $(LCLINTR) cases.c -expect 5
179 $(LCLINTR) cases2.c -expect 2
180 $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3
181 $(LCLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3
182
183cast:
184 $(LCLINTR) cast -accessmodule -expect 20
185 $(LCLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3
186
cc78dedd 187### Two addition errors detected with 2.5 with -numliteral.
188
885824d3 189charlit:
190 $(LCLINTR) +hints charlit.c -expect 4
cc78dedd 191 $(LCLINTR) +hints -numliteral charlit.c -expect 6
885824d3 192 $(LCLINTR) +hints charlit.c +charintliteral +ignoresigns
193
194clauses:
195 $(LCLINTR) clauses.c +memchecks -expect 4
196 $(LCLINTR) clauses2.c +memchecks
197 $(LCLINTR) clauses3.c +memchecks -expect 2
198 $(LCLINTR) clauses3.c +memchecks +unixlib -expect 3
199
200commentchar:
201 $(LCLINTR) commentchar.c -expect 4
202 $(LCLINTR) -commentchar '#' commentchar.c -expect 4
203
204controldepth:
205 $(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
206 $(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2
207
208compdestroy:
209 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
210 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
211 $(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
212 $(LCLINTRN) compdestroy.c +strict +partial -exportheader -expect 3
213
214csyntax:
cc78dedd 215 $(LCLINTR) +quiet -incondefs csyntax.c -expect 1
216 $(LCLINTR) +quiet csyntax2.c -expect 2
217 $(LCLINTR) +quiet csyntax3.c -expect 1
885824d3 218 $(LCLINTR) +quiet -incondefs csyntax4.c
219 $(LCLINTR) +quiet csyntax5.c
220 $(LCLINTR) +quiet csyntax6.c
221 $(LCLINTR) +quiet csyntax7.c
222 $(LCLINTR) +quiet csyntax8.c
223 $(LCLINTR) +quiet csyntax9.c
224 $(LCLINTR) +quiet csyntax10.c
225 $(LCLINTR) +quiet csyntax11.c
226 $(LCLINTR) +quiet csyntax12.c
cc78dedd 227 $(LCLINTR) +quiet csyntax13.c -expect 1
885824d3 228 $(LCLINTR) +quiet csyntax14.c
229 $(LCLINTR) +quiet csyntax15.c
cc78dedd 230 $(LCLINTR) +quiet csyntax16.c -expect 2
231 $(LCLINTR) +quiet csyntax17.c -expect 3
885824d3 232
233czechnames:
234 $(LCLINTR) czechnames.c
235 $(LCLINTR) +hints +czech czechnames.c -expect 2
236 $(LCLINTR) +hints +czech -czechvars czechnames.c -expect 1
237 $(LCLINTR) +hints +czech -accessczech czechnames.c -expect 6
238
239czechoslovaknames:
240 $(LCLINTR) +hints +czechoslovak czechnames.c -expect 1
241 $(LCLINTR) +hints +czechoslovak slovaknames.c -expect 1
242 $(LCLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2
243
244#
245# Was expect 3 before 2.4. Earlier versions did not handle implicit
246# function pointers correctly.
247#
248
249decl:
250 $(LCLINTR) decl.c -expect 2
251 $(LCLINTRN) decl.c +strict -exportlocal -expect 5
252 $(LCLINTR) decl2 -expect 4
253
254enum:
255 $(LCLINTR) enum -expect 16
256 $(LCLINTR) enum -misscase -expect 14
257
258exports:
259 $(LCLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6
260 $(LCLINTR) exports.c +exportany -expect 3
261 $(LCLINTR) exports.c
262
263external:
264 $(LCLINTR) external.c +partial
265 $(LCLINTR) external.c +partial +distinctexternalnames -expect 2
266 $(LCLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3
267 $(LCLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3
268 $(LCLINTR) external.c +partial -externalnamelength 3 -expect 4
269
270fields:
271 $(LCLINTR) fields.c +memchecks -expect 6
272 $(LCLINTR) fields2.c +memchecks -expect 5
273 $(LCLINTR) fields3.c +memchecks
274
275flags:
276 $(LCLINTR) flags.c -expect 8
277 $(LCLINTR) +nocomments flags.c -expect 2
278
279# two new errors (invalid lhs)
280
281funcpointer:
282 $(LCLINTR) +memchecks +noparams funcpointer.c -expect 18
283
284glob:
285 $(LCLINTR) glob -expect 4
286 $(LCLINTR) glob -globuse -expect 3
287 $(LCLINTR) glob +globunspec -expect 6
288
289globals:
290 $(LCLINTR) -modifies globals.c -expect 5
291 $(LCLINTR) -modifies globals.c +allglobals -expect 6
292 $(LCLINTR) -modifies globals.c +impcheckedglobals -expect 6
293 $(LCLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2
294 $(LCLINTR) -modifies globals.c +globunspec -expect 6
295 $(LCLINTR) -modifies globals.c +globunspec +allglobals -expect 8
296
297impabstract:
298 $(LCLINTR) -accessfile impabstract.c
299 $(LCLINTR) -accessfile +hints +impabstract impabstract.c -expect 2
300 $(LCLINTR) -accessfile +hints +impabstract impabstract -expect 2
301
302init:
303 $(LCLINTR) init.c -expect 12
304 $(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 15
305
306inparam:
307 $(LCLINTR) inparam.c -expect 2
308 $(LCLINTR) +impouts inparam.c -expect 1
309
310internal:
311 $(LCLINTR) internal.c -expect 1
312 $(LCLINTR) internal.c +distinctinternalnames -expect 2
313 $(LCLINTR) internal.c -internalnamelen 28 -expect 3
314 $(LCLINTR) internal.c +internalnamecaseinsensitive -expect 3
315 $(LCLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11
316
317iter:
318 $(LCLINTR) iter -expect 14 -lclexpect 1
319 $(LCLINTR) iter2.c -expect 12
320
321keep:
322 $(LCLINTR) keep.c +memchecks -expect 6
323
324#
325# 2 new errors found (fixed spec of signal)
326#
327
328libs:
329 $(LCLINTR) libs.c +longunsignedunsignedintegral -expect 15
330 $(LCLINTR) libs.c -expect 19
331 $(LCLINTR) libs.c +globunspec +modunspec -expect 22
332 $(LCLINTR) libs.c +strictlib +globunspec +modunspec -expect 39
333
334lintcomments:
335 $(LCLINTR) lintcomments.c -expect 4
336 $(LCLINTR) lintcomments.c -warnlintcomments -expect 1
337 $(LCLINTR) lintcomments.c -lintcomments -expect 4
338
339list:
340 $(LCLINTR) list.c -expect 3
341
342macros:
343 $(LCLINTR) macros -expect 17
344 $(LCLINTR) macros.c +allmacros -expect 34
345 $(LCLINTR) macros.c +fcnmacros -expect 31
346
347
348macrosef:
349 $(LCLINTR) macrosef -expect 4
350 $(LCLINTR) macrosef.c +allmacros -expect 3
351 $(LCLINTR) macrosef.c +allmacros +sefuncon -expect 4
352
353merge:
354 $(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
355
356modifies:
357 $(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7
358
359modtest:
360 $(LCLINTR) modtest -expect 10
361 $(LCLINTR) modtest +modunspec -expect 13
362 $(LCLINTR) modtest +mustmod -expect 14
363
364moduncon:
365 $(LCLINTR) moduncon.c +moduncon -memchecks -expect 4
366 $(LCLINTRN) moduncon.c +strict -exportlocal -expect 22
367
368mongoincludes:
369 $(LCLINTR) mongoincludes.c -includenest 1 -expect 19
370 $(LCLINTR) mongoincludes.c -includenest 2 -expect 10
371 $(LCLINTR) mongoincludes.c -includenest 3 -expect 4
372 $(LCLINTR) mongoincludes.c -includenest 4 -expect 1
373 $(LCLINTR) mongoincludes.c -includenest 5 -expect 0
374
375null:
376 $(LCLINTR) null1.c -expect 14
377 $(LCLINTR) null1.c -null -expect 4
378 $(LCLINTR) null2.c -expect 10
379 $(LCLINTR) null3.c -expect 15
380 $(LCLINTR) null3.c -warnunixlib +unixlib -expect 16
381 $(LCLINTR) null4.c -expect 1
382 $(LCLINTR) null5.c -expect 4
383 $(LCLINTR) null6 -expect 4
384 $(LCLINTR) +quiet null6.lcl -dump null6
385 $(LCLINTR) null6.c -load null6 -expect 4
386
387#
388# Before 2.4, expected one more because error was reported both as
389# dependent and observer.
390#
391
392observer:
393 $(LCLINTRN) observer +checks -exportlocal -exportheader -expect 9
394 $(LCLINTRN) observer.c +checks -exportlocal -exportheader -expect 8
395 $(LCLINTR) observer.c -expect 7
396
397oldstyle:
398 $(LCLINTR) oldstyle -expect 3
399
400outglob:
401 $(LCLINTR) outglob -expect 10
402
403outparam:
404 $(LCLINTR) outparam -expect 12
405
406preds:
407 $(LCLINTR) +hints preds.c -expect 6
408 $(LCLINTRN) +hints preds.c -weak -expect 1
409 $(LCLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 8
410
411prefixes:
412 $(LCLINTR) prefixes.c +partial
413 $(LCLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4
414 $(LCLINTR) prefixes.c -typeprefix "T" -expect 2
415 $(LCLINTR) prefixes.c -typeprefix "^" -expect 1
416 $(LCLINTR) prefixes.c -typeprefix "^*" -expect 2
417 $(LCLINTR) prefixes.c -typeprefix "^%*" -expect 2
418 $(LCLINTR) prefixes.c -typeprefix "^~*" -expect 2
419 $(LCLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7
420 $(LCLINTR) prefixes.c -filestaticprefix "^^" -expect 4
421 $(LCLINTR) prefixes.c -filestaticprefix "^#" -expect 5
422 $(LCLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5
423 $(LCLINTR) prefixes.c -globalprefix "G" -expect 1
424 $(LCLINTR) prefixes.c -globalprefix "&G?_^" -expect 1
425 $(LCLINTR) prefixes.c -externalprefix "G" -expect 5
426 $(LCLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4
427 $(LCLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13
428
429printflike:
430 $(LCLINTR) printflike.c -expect 6
431 $(LCLINTR) printflike.c -warnlintcomments -expect 5
432
433rc:
cc78dedd 434 $(LCLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1
435 $(LCLINTR) -DMYSTERY=12 rc.c -expect 1
436 $(LCLINTR) -f rc1.lclintrc rc.c -expect 1
437 $(LCLINTR) -UMYSTERY -f rc1.lclintrc rc.c -expect 1
438 $(LCLINTR) -f rc3.lclintrc rc.c -expect 1
885824d3 439
440refcounts:
441 $(LCLINTR) refcounts.c -expect 7
442
443release:
444 $(LCLINTR) release.c +memchecks -expect 1
445
446repexpose:
447 $(LCLINTR) +lh repexpose +memchecks -expect 12
448 $(LCLINTR) repexpose +memchecks +retalias -expect 15
449 $(LCLINTRN) repexpose +checks -exportlocal -expect 27
450
451sharing:
452 $(LCLINTR) sharing1.c -expect 21
453 $(LCLINTR) sharing3.c -expect 3
454 $(LCLINTR) sharing4.c -expect 13
455 $(LCLINTR) sharing4.c -paramimptemp -expect 12
456 $(LCLINTR) sharing5.c -expect 6
457
458slovaknames:
459 $(LCLINTR) +hints slovaknames.c -expect 1
460 $(LCLINTR) +hints slovaknames.c +accessslovak
461 $(LCLINTR) +hints +slovak slovaknames.c -expect 3
462 $(LCLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2
463 $(LCLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7
464
465specclauses:
466 $(LCLINTR) specclauses.c -expect 6
467 $(LCLINTR) specclauses2.c -expect 8
468 $(LCLINTR) specclauses3.c -expect 6
469 $(LCLINTR) specclauses4.c -expect 3
470 $(LCLINTR) specclauses5.c -expect 3
471
472special:
473 $(LCLINTR) special -expect 20
474 $(LCLINTR) special -relaxquals -expect 22
475
476stack:
477 $(LCLINTR) stack.c -expect 5
478 $(LCLINTR) stack.c -stackref
479
480staticarray:
481 $(LCLINTR) staticarray.c -expect 3
482
483strings:
484 $(LCLINTR) strings.c -expect 3
485 $(LCLINTR) -readonlystrings -expect 1 strings.c
486 $(LCLINTR) +modobserverstrict -maintype -expect 4 strings.c
487
488structassign:
489 $(LCLINTR) structassign.c -expect 4
490
491typequals:
492 $(LCLINTR) typequals.c tq.lcl -expect 5
493 $(LCLINTR) typequals.c -expect 2
494
495ud:
496 $(LCLINTR) ud.c -expect 9
497 $(LCLINTR) ud2 -specundef -expect 3
498
499ulstypes:
500 $(LCLINTR) ulstypes.c -expect 8
501 $(LCLINTR) ulstypes.c +ignorequals
502 $(LCLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28
cc78dedd 503# 3 more detected with version 2.5 (change in -numliteral setting)
885824d3 504
505union:
506 $(LCLINTR) +memchecks union.c -expect 8
507
508unreachable:
509 $(LCLINTR) unreachable.c -expect 5
510 $(LCLINTR) -unreachable unreachable.c -expect 2
511 $(LCLINTR) switch.c -expect 4
512
513unused:
514 $(LCLINTRN) unused.c +checks -exportlocal -expect 3
515 $(LCLINTRN) unused.c +checks -exportlocal +topuse -expect 6
516
517###
518### Bugs fixed and new features since version 2.1b
519###
520
521tests2.2:
522 @cd tests2.2 ; \
523 $(LCLINTR) boolops.c -expect 1 ; \
524 $(LCLINTR) bool.lcl booldef.c -expect 1 ; \
525 $(LCLINTR) boolenum.c -booltype BOOLEAN -expect 1 ; \
526 $(LCLINTR) break.c -expect 1 ; \
527 $(LCLINTR) bstring.c -expect 2 ; \
528 $(LCLINTR) decl.c -expect 1 ; \
529 $(LCLINTR) enumbool.c -expect 2 ; \
530 $(LCLINTR) enumbool.c -booltrue "true" -boolfalse "false" ; \
531 $(LCLINTR) extension.c ; \
532 $(LCLINTR) -gnuextensions extension.c ; \
533 $(LCLINTR) modarray.c ; \
534 $(LCLINTR) nestext.c -expect 1 ; \
535 $(LCLINTR) offsetof.c ; \
536 $(LCLINTR) sizeofarray.c -expect 3 ; \
537 $(LCLINTR) rex.c -expect 1 ; \
538 $(LCLINTR) struct.c -expect 1
539
540tests2.2a:
541 @cd tests2.2a ; \
542 $(LCLINTR) erik.c -expect 1 ; \
543 $(LCLINTR) boolcomp.c -expect 5 ; \
544 $(LCLINTR) boolenum.c ; \
545 $(LCLINTR) addassign.c -expect 1; \
546 $(LCLINTR) toralf.c -expect 5 ; \
547 $(LCLINTR) fred.c -booltype Bool ; \
548 $(LCLINTR) sizeof.c ; \
549 $(LCLINTR) arrayparam.c -expect 5 ; \
550 $(LCLINTR) notreached.c ; \
cc78dedd 551 $(LCLINTR) duff.c -casebreak -firstcase ; \
885824d3 552 $(LCLINTR) obviousloop.c -expect 4 ; \
553 $(LCLINTR) bitops.c +bitwisesigned -expect 11 ; \
554 $(LCLINTR) bitops.c -expect 5 ; \
555 $(LCLINTR) isalpha.c +strictlib -expect 1 ; \
556 $(LCLINTR) isalpha.c -expect 1 ; \
557 $(LCLINTR) dobb.c ; \
558 $(LCLINTR) popik.c -expect 11
559
560tests2.4:
561 @cd tests2.4 ; \
562 $(LCLINTR) emptycase.c ; \
563 $(LCLINTR) enumtest.c ; \
564 $(LCLINTR) duffs.c ; \
565 $(LCLINTR) bitfields.c ; \
566 $(LCLINTR) bug1.c ; \
567 $(LCLINTR) bug2.c -expect 5 ; \
568 $(LCLINTR) bug3.c ; \
569 $(LCLINTR) test0.c ; \
570 $(LCLINTR) test1.c ; \
571 $(LCLINTR) test2.c ; \
572 $(LCLINTR) hexconstants.c -expect 1 ; \
573 $(LCLINTR) +checks hexconstants.c -expect 4 ; \
574 $(LCLINTR) innercomment.c ; \
575 $(LCLINTR) nothing.c ; \
576 $(LCLINTR) offsetof.c -expect 2 ; \
577 $(LCLINTR) komazi.c ; \
578 $(LCLINTR) print.c ; \
579 $(LCLINTR) syslog.c -warnunixlib +unixlib ; \
580 $(LCLINTR) error.c -expect 1 ; \
581 $(LCLINTR) ulrich.c ; \
582 $(LCLINTR) cpptest.c '-D__P(x)=x' ; \
583 $(LCLINTR) longlong.c -expect 4; \
584 $(LCLINTR) subdir/main.c subdir/main.lcl ; \
585 $(LCLINTR) fink.c ; \
586 $(LCLINTR) driverstub.c ; \
587 $(LCLINTR) alignof.c -expect 2 ; \
588 $(LCLINTR) -D DBL_MANT_DIG=25 source.c
589
e4c9f289 590sizeoftest:
591 @cd sizeoftest; \
592 $(LCLINTR) +functionconstraint sizeof.c
1ac6313d 593
01b933c3 594bufferTest:
595 @cd bufferTest; \
596 $(LCLINTR) +functionconstraint test4.c test6.c
597
598simplebufferConstraintTests:
599 @cd simplebufferConstraintTests; \
600 $(LCLINTR) +functionconstraint m.c sizeof.c test3.c test7.c
601
754e4dbd 602maxset:
603 @cd maxset; \
604 $(LCLINTR) -f .lclintrc -booltype "lltX_bool" maxsetannotations.c; \
605 pwd; \
606 echo $(LCLINTR); \
607 $(LCLINTR) -f .lclintrc -booltype "lltX_bool" maxsetnoannotations.c
608
609globalbufferannotation:
610 @cd globalbufferannotation; \
611 $(LCLINTR) +functionconstraint globalvariable.c
612
613
614strchr:
615 @cd strchr; \
616 $(LCLINTR) -f .lclintrc -booltype "lltX_bool" strchr.c
617
618for:
619 @cd for; \
620 $(LCLINTR) -f .lclintrc -booltype "lltX_bool" for.c
621
cc78dedd 622tests2.5:
623 setenv LCLINT '$(LCLINTRN)'; cd tests2.5 ; $(MAKE) -e
624
885824d3 625###
626### Integration Tests
627###
628
629db1:
630 setenv LCLINT '$(LCLINTRN)'; cd db1; $(MAKE) -e test
631
632db2:
633 setenv LCLINT '$(LCLINTRN)'; cd db2; $(MAKE) -e test
634
635db3:
636 setenv LCLINT '$(LCLINTRN)'; cd db3; $(MAKE) -e test
637
885824d3 638clean:
639 -rm -f *~ #*# *.o *.lcs a.out
640 -cd db1 ; $(MAKE) clean
641 -cd db2 ; $(MAKE) clean
642 -cd db3 ; $(MAKE) clean
643
644
645
cc78dedd 646
git-cvsimport mirror of splint
This page took 0.832744 seconds and 5 git commands to generate.