diff options
| author |  Lukacs T. Berki <lberki@google.com> | 2016-04-01 15:34:12 +0200 |
|---|---|---|
| committer | Lukacs T. Berki <lberki@google.com> | 2016-04-06 14:30:37 +0200 |
| commit | 8796230139f1be08c1cf21eb5571da563abce603 (patch) | |
| tree | 3e490c4cf88c0979d78bf5db0c8c25ff0942d6e0 /third_party/nanopb/tests/splint/splint.rc | |
| parent | 168031d21624741411ac238373cbd8544b8948df (diff) | |
Add nanopb to the set of third-party libraries.
This is needed for gRPC.
Change-Id: I68c6b500d0e26742a25afef1754f5fcabf959ef0
Diffstat (limited to 'third_party/nanopb/tests/splint/splint.rc')
| -rw-r--r-- | third_party/nanopb/tests/splint/splint.rc | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/third_party/nanopb/tests/splint/splint.rc b/third_party/nanopb/tests/splint/splint.rc new file mode 100644 index 0000000000..e47d3c21c0 --- /dev/null +++ b/third_party/nanopb/tests/splint/splint.rc @@ -0,0 +1,37 @@ ++checks ++partial ++matchanyintegral ++strictlib +-nullassign +-predboolint +-predboolptr ++ptrnegate +-switchloopbreak ++ignoresigns +-infloopsuncon +-type + +# splint's memory checks don't quite work without annotations +-mustfreeonly +-compmempass +-nullret +-observertrans +-statictrans +-compdestroy +-nullpass +-nullstate +-compdef +-usereleased +-temptrans +-dependenttrans +-kepttrans +-branchstate +-immediatetrans +-mustfreefresh + +# These tests give false positives, compiler typically has +# better warnings for these. +-noret +-noeffect +-usedef + |