1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
.PHONY: emptycase enumtest duffs bitfields bugs tests hexconstants innercomment nothing offsetof komazi print syslog error ulrich cpptest longlong subdir fink driverstub alignof source emptycase enumtest duffs bitfields bugs tests hexconstants innercomment nothing offsetof komazi print syslog error ulrich cpptest longlong subdir fink driverstub alignof source
SPLINT = splint
all: check
check: emptycase enumtest duffs bitfields bugs tests hexconstants innercomment nothing offsetof komazi print syslog error ulrich cpptest longlong subdir fink driverstub alignof source
emptycase:
$(SPLINT) emptycase.c
enumtest:
$(SPLINT) enumtest.c -expect 2
duffs:
$(SPLINT) duffs.c -expect 7
bitfields:
$(SPLINT) bitfields.c
bugs:
$(SPLINT) bug1.c
$(SPLINT) bug2.c -expect 5
$(SPLINT) bug3.c -expect 3
tests:
$(SPLINT) test0.c
$(SPLINT) test1.c
$(SPLINT) test2.c
hexconstants:
$(SPLINT) hexconstants.c -expect 1
$(SPLINT) +checks hexconstants.c -expect 4
innercomment:
$(SPLINT) innercomment.c -expect 2 +forcehints
$(SPLINT) innercomment.c -nestcomment
nothing:
$(SPLINT) nothing.c
offsetof:
$(SPLINT) offsetof.c -expect 2
komazi:
$(SPLINT) komazi.c
print:
$(SPLINT) print.c
syslog:
$(SPLINT) syslog.c +unixlib
error:
$(SPLINT) error.c -expect 1
ulrich:
$(SPLINT) ulrich.c -expect 1
cpptest:
$(SPLINT) cpptest.c '-D__P(x)=x' -expect 1
longlong:
$(SPLINT) longlong.c -expect 4
subdir:
$(SPLINT) subdir/main.c subdir/main.lcl
fink:
$(SPLINT) fink.c
driverstub:
$(SPLINT) driverstub.c -sysdirs "/usr/"
alignof:
$(SPLINT) alignof.c -expect 2
source:
$(SPLINT) -D DBL_MANT_DIG=25 source.c -expect 1
clean:
rm -f subdir/main.lcs
|
