Code Review
/
apps
/
low-level-can-service.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
e47d3c21c0dbad45d8cc3f48f7617e57718cc507
[apps/low-level-can-service.git]
/
libs
/
nanopb
/
tests
/
splint
/
splint.rc
1
+checks
2
+partial
3
+matchanyintegral
4
+strictlib
5
-nullassign
6
-predboolint
7
-predboolptr
8
+ptrnegate
9
-switchloopbreak
10
+ignoresigns
11
-infloopsuncon
12
-type
13
14
# splint's memory checks don't quite work without annotations
15
-mustfreeonly
16
-compmempass
17
-nullret
18
-observertrans
19
-statictrans
20
-compdestroy
21
-nullpass
22
-nullstate
23
-compdef
24
-usereleased
25
-temptrans
26
-dependenttrans
27
-kepttrans
28
-branchstate
29
-immediatetrans
30
-mustfreefresh
31
32
# These tests give false positives, compiler typically has
33
# better warnings for these.
34
-noret
35
-noeffect
36
-usedef
37