diff options
| author | jbj <devnull@localhost> | 2002-12-07 21:27:09 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-12-07 21:27:09 +0000 |
| commit | bb2c78fdba1cc6ea151936c5547e8cee92d02169 (patch) | |
| tree | ec322e0bf720d891c06a8b124d8b0e5e5aca8d8c /lib/rpmds.h | |
| parent | 92dee513d21e94a3aa7ee455d12cffed82db2ff2 (diff) | |
| download | librpm-tizen-bb2c78fdba1cc6ea151936c5547e8cee92d02169.tar.gz librpm-tizen-bb2c78fdba1cc6ea151936c5547e8cee92d02169.tar.bz2 librpm-tizen-bb2c78fdba1cc6ea151936c5547e8cee92d02169.zip | |
Splint fiddles.
CVS patchset: 5920
CVS date: 2002/12/07 21:27:09
Diffstat (limited to 'lib/rpmds.h')
| -rw-r--r-- | lib/rpmds.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/rpmds.h b/lib/rpmds.h index a121fdb93..ee0d6da8a 100644 --- a/lib/rpmds.h +++ b/lib/rpmds.h @@ -273,8 +273,8 @@ rpmds rpmdsInit(/*@null@*/ rpmds ds) * @return dependency index (or -1 if not found) */ /*@null@*/ -int rpmdsFind(rpmds ds, rpmds this) - /*@*/; +int rpmdsFind(rpmds ds, /*@null@*/ rpmds this) + /*@modifies ds, this @*/; /** * Merge a dependency set maintaining (N,EVR,Flags) sorted order. @@ -283,8 +283,8 @@ int rpmdsFind(rpmds ds, rpmds this) * @return (merged) dependency index */ /*@null@*/ -int rpmdsMerge(/*@out@*/ rpmds * dsp, rpmds this) - /*@*/; +int rpmdsMerge(/*@out@*/ rpmds * dsp, /*@null@*/ rpmds this) + /*@modifies *dsp, this @*/; /** * Compare two versioned dependency ranges, looking for overlap. |