diff options
| author | jbj <jbj> | 2008-02-16 20:57:38 +0000 |
|---|---|---|
| committer | jbj <jbj> | 2008-02-16 20:57:38 +0000 |
| commit | f66417cc1f4b12807bf8c26a3b06a649a5a0f3c6 (patch) | |
| tree | 875959f438b6dcf3a3211dd70fc08ea970458e4f /.splintrc | |
| parent | f315bda6f0f4e29c4edcb44936f6d19ee2ecdba5 (diff) | |
| download | libpopt-f66417cc1f4b12807bf8c26a3b06a649a5a0f3c6.tar.gz | |
- splint fiddles.
Diffstat (limited to '.splintrc')
| -rw-r--r-- | .splintrc | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -15,7 +15,6 @@ #+bounds -bufferoverflowhigh --bitwisesigned -branchstate # --- +partial artifacts @@ -41,4 +40,3 @@ # --- not-yet at standard level -boolops # 127 -predboolint # 42 -+ignorequals # 30 |