diff options
| author | jbj <devnull@localhost> | 2002-07-02 23:54:35 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-07-02 23:54:35 +0000 |
| commit | e5fb770e7d9aac53a513965c0f2bcf360934794b (patch) | |
| tree | d8d581ec8f694a4811172b401e4dcda68898954a /.lclintrc | |
| parent | 77076c7c8d83f8b783634c7328b132b938389987 (diff) | |
| download | rpm-e5fb770e7d9aac53a513965c0f2bcf360934794b.tar.gz rpm-e5fb770e7d9aac53a513965c0f2bcf360934794b.tar.bz2 rpm-e5fb770e7d9aac53a513965c0f2bcf360934794b.zip | |
Add boundsread annotations throughout, enable +bounds checking.
Start narrowing the scope of bounds annotations by adding more annotations.
CVS patchset: 5537
CVS date: 2002/07/02 23:54:35
Diffstat (limited to '.lclintrc')
| -rw-r--r-- | .lclintrc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -13,8 +13,8 @@ +strict # lclint level # --- in progress -#+bounds -+boundswrite ++bounds +#+boundswrite +slovak-fcns -redecl |