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 /rpmio/rpmpgp.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 'rpmio/rpmpgp.h')
| -rw-r--r-- | rpmio/rpmpgp.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpmio/rpmpgp.h b/rpmio/rpmpgp.h index ec4004ae6..e330a3d4b 100644 --- a/rpmio/rpmpgp.h +++ b/rpmio/rpmpgp.h @@ -1,5 +1,6 @@ #ifndef H_RPMPGP #define H_RPMPGP +/*@-bounds@*/ /** \ingroup rpmio * \file rpmio/rpmpgp.h @@ -1290,4 +1291,5 @@ uint32 pgpCRC(const byte *octets, size_t len) #endif /*@=fcnuse@*/ +/*@=bounds@*/ #endif /* H_RPMPGP */ |