diff options
| author | jbj <devnull@localhost> | 2002-06-23 19:47:08 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-06-23 19:47:08 +0000 |
| commit | 13d177beb233e111b3ede3edc1340747433a7556 (patch) | |
| tree | bbc977014bf90f658b0181792ea42aad52b449d6 /build/pack.c | |
| parent | 05cb73a7ee762065339393057d421613866e0418 (diff) | |
| download | rpm-13d177beb233e111b3ede3edc1340747433a7556.tar.gz rpm-13d177beb233e111b3ede3edc1340747433a7556.tar.bz2 rpm-13d177beb233e111b3ede3edc1340747433a7556.zip | |
Add boundswrite annotations everywhere.
CVS patchset: 5522
CVS date: 2002/06/23 19:47:08
Diffstat (limited to 'build/pack.c')
| -rw-r--r-- | build/pack.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build/pack.c b/build/pack.c index eb9519dc6..21cd0a922 100644 --- a/build/pack.c +++ b/build/pack.c @@ -280,6 +280,7 @@ static int processScriptFiles(Spec spec, Package pkg) return 0; } +/*@-boundswrite@*/ int readRPM(const char *fileName, Spec *specp, struct rpmlead *lead, Header *sigs, CSA_t csa) { @@ -368,6 +369,7 @@ int readRPM(const char *fileName, Spec *specp, struct rpmlead *lead, return 0; } +/*@=boundswrite@*/ #ifdef DYING /*@unchecked@*/ @@ -402,6 +404,7 @@ static int rpmLeadVersion(void) return rpmlead_version; } +/*@-boundswrite@*/ int writeRPM(Header *hdrp, const char *fileName, int type, CSA_t csa, char *passPhrase, const char **cookie) { @@ -711,6 +714,7 @@ exit: return rc; } +/*@=boundswrite@*/ /*@unchecked@*/ static int_32 copyTags[] = { @@ -720,6 +724,7 @@ static int_32 copyTags[] = { 0 }; +/*@-boundswrite@*/ int packageBinaries(Spec spec) { struct cpioSourceArchive_s csabuf; @@ -818,7 +823,9 @@ int packageBinaries(Spec spec) return 0; } +/*@=boundswrite@*/ +/*@-boundswrite@*/ int packageSources(Spec spec) { struct cpioSourceArchive_s csabuf; @@ -856,3 +863,4 @@ int packageSources(Spec spec) } return rc; } +/*@=boundswrite@*/ |