diff options
| author | jbj <devnull@localhost> | 2002-11-05 23:08:19 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-11-05 23:08:19 +0000 |
| commit | 47b8b814681c26307b0599558634cadf96bcb5da (patch) | |
| tree | cf9f5f23349fe2a791c9782382a54b7f5c6bef6b /rpmdb | |
| parent | 75d27753a7d589afce7bc4b3109fce96c30a09f7 (diff) | |
| download | librpm-tizen-47b8b814681c26307b0599558634cadf96bcb5da.tar.gz librpm-tizen-47b8b814681c26307b0599558634cadf96bcb5da.tar.bz2 librpm-tizen-47b8b814681c26307b0599558634cadf96bcb5da.zip | |
splint fiddles.
CVS patchset: 5828
CVS date: 2002/11/05 23:08:19
Diffstat (limited to 'rpmdb')
| -rw-r--r-- | rpmdb/legacy.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpmdb/legacy.c b/rpmdb/legacy.c index 11f5340ee..ebf0c4472 100644 --- a/rpmdb/legacy.c +++ b/rpmdb/legacy.c @@ -79,11 +79,13 @@ static int open_dso(const char * path, /*@null@*/ pid_t * pidp, /*@null@*/ size_ (void) elf_version(EV_CURRENT); +/*@-evalorder@*/ if ((elf = elf_begin (fdno, ELF_C_READ, NULL)) == NULL || elf_kind(elf) != ELF_K_ELF || gelf_getehdr(elf, &ehdr) == NULL || !(ehdr.e_type == ET_DYN || ehdr.e_type == ET_EXEC)) goto exit; +/*@=evalorder@*/ bingo = 0; /*@-branchstate -uniondef @*/ |