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 /rpmio/url.c | |
| parent | 05cb73a7ee762065339393057d421613866e0418 (diff) | |
| download | librpm-tizen-13d177beb233e111b3ede3edc1340747433a7556.tar.gz librpm-tizen-13d177beb233e111b3ede3edc1340747433a7556.tar.bz2 librpm-tizen-13d177beb233e111b3ede3edc1340747433a7556.zip | |
Add boundswrite annotations everywhere.
CVS patchset: 5522
CVS date: 2002/06/23 19:47:08
Diffstat (limited to 'rpmio/url.c')
| -rw-r--r-- | rpmio/url.c | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/rpmio/url.c b/rpmio/url.c index dddeb93da..2a39b8665 100644 --- a/rpmio/url.c +++ b/rpmio/url.c @@ -158,6 +158,7 @@ URLDBGREFS(0, (stderr, "--> url %p -- %d %s at %s:%u\n", u, u->nrefs, msg, file, return NULL; } +/*@-boundswrite@*/ void urlFreeCache(void) { if (_url_cache) { @@ -176,6 +177,7 @@ void urlFreeCache(void) _url_cache = _free(_url_cache); _url_count = 0; } +/*@=boundswrite@*/ static int urlStrcmp(/*@null@*/ const char * str1, /*@null@*/ const char * str2) /*@*/ @@ -188,12 +190,11 @@ static int urlStrcmp(/*@null@*/ const char * str1, /*@null@*/ const char * str2) return 0; } +/*@-boundswrite@*/ /*@-mods@*/ static void urlFind(/*@null@*/ /*@in@*/ /*@out@*/ urlinfo * uret, int mustAsk) - /*@globals rpmGlobalMacroContext, - fileSystem@*/ - /*@modifies *uret, rpmGlobalMacroContext, - fileSystem @*/ + /*@globals rpmGlobalMacroContext, fileSystem@*/ + /*@modifies *uret, rpmGlobalMacroContext, fileSystem @*/ { urlinfo u; int ucx; @@ -328,6 +329,7 @@ static void urlFind(/*@null@*/ /*@in@*/ /*@out@*/ urlinfo * uret, int mustAsk) return; } /*@=mods@*/ +/*@=boundswrite@*/ /** */ @@ -359,6 +361,7 @@ urltype urlIsURL(const char * url) return URL_IS_UNKNOWN; } +/*@-boundswrite@*/ /* Return path portion of url (or pointer to NUL if url == NULL) */ urltype urlPath(const char * url, const char ** pathp) { @@ -394,11 +397,13 @@ urltype urlPath(const char * url, const char ** pathp) /*@=observertrans@*/ return urltype; } +/*@=boundswrite@*/ /* * Split URL into components. The URL can look like * service://user:password@host:port/path */ +/*@-boundswrite@*/ /*@-modfilesys@*/ int urlSplit(const char * url, urlinfo *uret) { @@ -495,6 +500,7 @@ int urlSplit(const char * url, urlinfo *uret) return 0; } /*@=modfilesys@*/ +/*@=boundswrite@*/ int urlGetFile(const char * url, const char * dest) { |