diff options
Diffstat (limited to 'rpmio/rpmio.h')
| -rw-r--r-- | rpmio/rpmio.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/rpmio/rpmio.h b/rpmio/rpmio.h index 53737a983..468f0fa03 100644 --- a/rpmio/rpmio.h +++ b/rpmio/rpmio.h @@ -309,13 +309,13 @@ int Access(const char * path, int amode) int Glob(const char * pattern, int flags, int errfunc(const char * epath, int eerrno), /*@out@*/ glob_t * pglob) - /*@modifies *pglob @*/; + /*@modifies *pglob, fileSystem @*/; /** \ingroup rpmrpc * globfree(3) clone. */ void Globfree( /*@only@*/ glob_t * pglob) - /*@modifies *pglob @*/; + /*@modifies *pglob, fileSystem @*/; /** \ingroup rpmrpc @@ -435,7 +435,8 @@ typedef enum ftperrCode_e { /** \ingroup rpmio */ /*@unused@*/ -/*@dependent@*/ /*@null@*/ void * ufdGetUrlinfo(FD_t fd) /*@*/; +/*@dependent@*/ /*@null@*/ void * ufdGetUrlinfo(FD_t fd) + /*@modifies fd @*/; /** \ingroup rpmio */ |