diff options
Diffstat (limited to 'lib/rpmchecksig.c')
| -rw-r--r-- | lib/rpmchecksig.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/rpmchecksig.c b/lib/rpmchecksig.c index 73b57c941..164c71d82 100644 --- a/lib/rpmchecksig.c +++ b/lib/rpmchecksig.c @@ -17,6 +17,7 @@ static int manageFile(FD_t *fdp, const char **fnp, int flags, /*@unused@*/ int rc) + /*@modifies *fdp, *fnp, fileSystem @*/ { const char *fn; FD_t fd; @@ -69,6 +70,7 @@ static int manageFile(FD_t *fdp, const char **fnp, int flags, static int copyFile(FD_t *sfdp, const char **sfnp, FD_t *tfdp, const char **tfnp) + /*@modifies *sfdp, *sfnp, *tfdp, *tfnp, fileSystem @*/ { unsigned char buffer[BUFSIZ]; ssize_t count; |