diff options
| author | jbj <devnull@localhost> | 2002-06-22 18:51:56 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-06-22 18:51:56 +0000 |
| commit | 05cb73a7ee762065339393057d421613866e0418 (patch) | |
| tree | 533b7192c83e882aab90c337d4356735932de7f0 /lib/manifest.h | |
| parent | ba41c1ccb13a7a27466470e501a0d4f30fddec40 (diff) | |
| download | librpm-tizen-05cb73a7ee762065339393057d421613866e0418.tar.gz librpm-tizen-05cb73a7ee762065339393057d421613866e0418.tar.bz2 librpm-tizen-05cb73a7ee762065339393057d421613866e0418.zip | |
Factor bounds checking annotations into source code.
CVS patchset: 5521
CVS date: 2002/06/22 18:51:56
Diffstat (limited to 'lib/manifest.h')
| -rw-r--r-- | lib/manifest.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/manifest.h b/lib/manifest.h index d62d74f6a..77a9fa5b7 100644 --- a/lib/manifest.h +++ b/lib/manifest.h @@ -15,8 +15,12 @@ extern "C" { * @param mode file mode * @return (malloc'd) formatted mode string */ +/*@-incondefs@*/ +/*@only@*/ char * rpmPermsString(int mode) - /*@*/; + /*@*/ + /*@ensures maxSet(result) == 10 /\ maxRead(result) == 10 @*/; +/*@=incondefs@*/ /** * Read manifest, glob items, and append to existing args. |