summaryrefslogtreecommitdiff
path: root/elfutils/splint.rc
blob: bd85094c2d74d1e4bb81cb2dd431727a4620dce6 (plain)
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
83
84
85
86
87
88
+partial
+forcehints

-warnunixlib
-warnposix

#+unixlib
+posixlib

+strict			# lclint level

# --- in progress
-branchstate
-compdef		# 34
-compmempass		# 17
-internalglobs
-moduncon		# 3
-noeffect		# 1
-noeffectuncon		# 19
-nullderef		# 2
-nullpass		# 1
-nullptrarith		# 16
-nullstate		# 11
-paramuse
-protoparammatch
-retalias		# 12
-retvalint
-shadow			# 2
-sysunrecog
-type
-unrecog		# 8
-usereleased		# 21

-dependenttrans		# 7
-immediatetrans		# 35
-kepttrans		# 13
-onlytrans		# 2
-temptrans		# 15
-unqualifiedtrans	# 6

-casebreak
-ifempty
-loopswitchbreak
-sizeoftype

# --- +partial artifacts
-declundef
-exportheader
-exportheadervar
-exportlocal

-enummemuse
-fcnuse
-typeuse
-varuse

# --- not-yet at strict level
-bitwisesigned
-elseifcomplete
-exportconst
-exportfcn
-exporttype
-exportvar
-fielduse
-forblock               # tedious
-ifblock                # tedious
-namechecks             # tedious ANSI compliance checks
-ptrarith               # tedious

-compdestroy
-mustdefine
-sys-dir-errors

-strictops
-whileblock             # tedious

# --- not-yet at checks level
+enumint
-mustfree
-predboolptr
-usedef

# --- not-yet at standard level
-boolops
+boolint
+charint
+ignorequals
+matchanyintegral