diff options
| author | jbj <devnull@localhost> | 2005-01-04 17:11:00 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2005-01-04 17:11:00 +0000 |
| commit | 228d0e350ac2f20ee7ca1f74c46620e219559542 (patch) | |
| tree | f4fb9f7fff14e3c3034db9ec833defcc834ffa82 /rpmdb/rpmdb.c | |
| parent | 34caf4357ac173eb273ec16611dc8da24fa75858 (diff) | |
| download | librpm-tizen-228d0e350ac2f20ee7ca1f74c46620e219559542.tar.gz librpm-tizen-228d0e350ac2f20ee7ca1f74c46620e219559542.tar.bz2 librpm-tizen-228d0e350ac2f20ee7ca1f74c46620e219559542.zip | |
Splint fiddles.
CVS patchset: 7669
CVS date: 2005/01/04 17:11:00
Diffstat (limited to 'rpmdb/rpmdb.c')
| -rw-r--r-- | rpmdb/rpmdb.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpmdb/rpmdb.c b/rpmdb/rpmdb.c index a6b550954..e54cae0c0 100644 --- a/rpmdb/rpmdb.c +++ b/rpmdb/rpmdb.c @@ -699,7 +699,9 @@ int rpmdbCheckSignals(void) rpmdb db; rpmdbMatchIterator mi; +/*@-abstract@*/ /* sigset_t is abstract type */ rpmMessage(RPMMESS_DEBUG, "Exiting on signal(0x%lx) ...\n", *((unsigned long *)&rpmsqCaught)); +/*@=abstract@*/ /*@-branchstate@*/ while ((mi = rpmmiRock) != NULL) { |