diff options
| author | jbj <devnull@localhost> | 2001-10-15 03:22:10 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-10-15 03:22:10 +0000 |
| commit | d8dc44f36377c59164d19106f0f93843ea5b3a09 (patch) | |
| tree | 8f521d9b295dd0e9d05721cfd97f3d8a5b30801d /rpmio/rpmurl.h | |
| parent | 4b67d7621c20e1f2c5aa1ebdf7bb26eb3a6ae0d5 (diff) | |
| download | librpm-tizen-d8dc44f36377c59164d19106f0f93843ea5b3a09.tar.gz librpm-tizen-d8dc44f36377c59164d19106f0f93843ea5b3a09.tar.bz2 librpm-tizen-d8dc44f36377c59164d19106f0f93843ea5b3a09.zip | |
lclint fiddles to annotate globals.
CVS patchset: 5106
CVS date: 2001/10/15 03:22:10
Diffstat (limited to 'rpmio/rpmurl.h')
| -rw-r--r-- | rpmio/rpmurl.h | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/rpmio/rpmurl.h b/rpmio/rpmurl.h index cc91d8267..3c81f56a9 100644 --- a/rpmio/rpmurl.h +++ b/rpmio/rpmurl.h @@ -51,6 +51,9 @@ typedef /*@abstract@*/ /*@refcounted@*/ struct urlinfo { extern "C" { #endif +/** + */ +/*@unchecked@*/ extern int url_iobuf_size; /** @@ -90,14 +93,16 @@ urlinfo XurlLink(urlinfo u, const char * msg, const char * file, unsigned line) /** @todo Remove debugging entry from the ABI. */ urlinfo XurlFree( /*@killref@*/ urlinfo u, const char * msg, const char * file, unsigned line) - /*@modifies u @*/; + /*@globals fileSystem@*/ + /*@modifies u, fileSystem @*/; #define urlFree(_u, _msg) XurlFree(_u, _msg, __FILE__, __LINE__) /** * Free cached URL control structures. */ void urlFreeCache(void) - /*@modifies internalState @*/; + /*@globals fileSystem@*/ + /*@modifies fileSystem @*/; /** * Return type of URL. @@ -132,6 +137,7 @@ int urlSplit(const char * url, /*@out@*/ urlinfo * u) * @return 0 on success, otherwise FTPERR_* code */ int urlGetFile(const char * url, /*@null@*/ const char * dest) + /*@globals fileSystem@*/ /*@modifies fileSystem @*/; #ifdef __cplusplus |