diff options
| author | jbj <devnull@localhost> | 2002-07-08 14:21:26 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-07-08 14:21:26 +0000 |
| commit | 241fad12870c58bd76468267f2816d409dbc7e57 (patch) | |
| tree | 74806f5c8a6c458ba922b6df8550dfed0d3918c3 /rpmio/rpmurl.h | |
| parent | a273ea6a095daa16e663d96e474c75115c3c2bdc (diff) | |
| download | rpm-241fad12870c58bd76468267f2816d409dbc7e57.tar.gz rpm-241fad12870c58bd76468267f2816d409dbc7e57.tar.bz2 rpm-241fad12870c58bd76468267f2816d409dbc7e57.zip | |
Propagate splint-3.0.1.7 close(2) internalState annotation throughout.
CVS patchset: 5542
CVS date: 2002/07/08 14:21:26
Diffstat (limited to 'rpmio/rpmurl.h')
| -rw-r--r-- | rpmio/rpmurl.h | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/rpmio/rpmurl.h b/rpmio/rpmurl.h index 0f06eb267..770c610c3 100644 --- a/rpmio/rpmurl.h +++ b/rpmio/rpmurl.h @@ -109,21 +109,22 @@ urlinfo XurlLink(urlinfo u, const char * msg, const char * file, unsigned line) * @return dereferenced instance (NULL if freed) */ /*@unused@*/ urlinfo urlFree( /*@killref@*/ urlinfo u, const char * msg) - /*@modifies u @*/; + /*@globals fileSystem, internalState @*/ + /*@modifies u, fileSystem, internalState @*/; /** @todo Remove debugging entry from the ABI. */ urlinfo XurlFree( /*@killref@*/ urlinfo u, const char * msg, const char * file, unsigned line) - /*@globals fileSystem@*/ - /*@modifies u, fileSystem @*/; + /*@globals fileSystem, internalState @*/ + /*@modifies u, fileSystem, internalState @*/; #define urlFree(_u, _msg) XurlFree(_u, _msg, __FILE__, __LINE__) /** * Free cached URL control structures. */ void urlFreeCache(void) - /*@globals _url_cache, _url_count, fileSystem @*/ - /*@modifies _url_cache, _url_count, fileSystem @*/; + /*@globals _url_cache, _url_count, fileSystem, internalState @*/ + /*@modifies _url_cache, _url_count, fileSystem, internalState @*/; /** * Return type of URL. @@ -152,7 +153,8 @@ urltype urlPath(const char * url, /*@out@*/ const char ** pathp) * @return 0 on success, -1 on error */ int urlSplit(const char * url, /*@out@*/ urlinfo * uret) - /*@modifies *uret @*/; + /*@globals internalState @*/ + /*@modifies *uret, internalState @*/; /** * Copy data from URL to local file. @@ -161,8 +163,8 @@ int urlSplit(const char * url, /*@out@*/ urlinfo * uret) * @return 0 on success, otherwise FTPERR_* code */ int urlGetFile(const char * url, /*@null@*/ const char * dest) - /*@globals fileSystem @*/ - /*@modifies fileSystem @*/; + /*@globals fileSystem, internalState @*/ + /*@modifies fileSystem, internalState @*/; #ifdef __cplusplus } |