diff options
Diffstat (limited to 'lib/rpmts.c')
| -rw-r--r-- | lib/rpmts.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/rpmts.c b/lib/rpmts.c index a4a01bbf8..14308929b 100644 --- a/lib/rpmts.c +++ b/lib/rpmts.c @@ -192,6 +192,7 @@ static int sugcmp(const void * a, const void * b) /*@*/ return strcmp(astr, bstr); } +/*@-bounds@*/ int rpmtsSolve(rpmts ts, rpmds ds) { const char * errstr; @@ -287,6 +288,7 @@ exit: return rc; /*@=nullstate@*/ } +/*@=bounds@*/ int rpmtsAvailable(rpmts ts, const rpmds ds) { |