--- rpmdb/rpmdb.h.bak 2006-06-12 12:53:34.000000000 +0200 +++ rpmdb/rpmdb.h 2006-06-19 08:42:59.336871964 +0200 @@ -576,7 +576,7 @@ /*@globals fileSystem, internalState @*/ /*@modifies dbi, *dbcursor, fileSystem, internalState @*/ { - void * sw = dbiStatsAccumulator(dbi, 16); /* RPMTS_OP_DBDEL */ + rpmop sw = (rpmop)dbiStatsAccumulator(dbi, 16); /* RPMTS_OP_DBDEL */ int rc; assert(key->data != NULL && key->size > 0); (void) rpmswEnter(sw, 0); @@ -600,7 +600,7 @@ /*@globals fileSystem, internalState @*/ /*@modifies dbi, *dbcursor, *key, *data, fileSystem, internalState @*/ { - void * sw = dbiStatsAccumulator(dbi, 14); /* RPMTS_OP_DBGET */ + rpmop sw = (rpmop)dbiStatsAccumulator(dbi, 14); /* RPMTS_OP_DBGET */ int rc; assert((flags == DB_NEXT) || (key->data != NULL && key->size > 0)); (void) rpmswEnter(sw, 0); @@ -625,7 +625,7 @@ /*@globals fileSystem, internalState @*/ /*@modifies dbi, *dbcursor, *key, *pkey, *data, fileSystem, internalState @*/ { - void * sw = dbiStatsAccumulator(dbi, 14); /* RPMTS_OP_DBGET */ + rpmop sw = (rpmop)dbiStatsAccumulator(dbi, 14); /* RPMTS_OP_DBGET */ int rc; assert((flags == DB_NEXT) || (key->data != NULL && key->size > 0)); (void) rpmswEnter(sw, 0); @@ -649,7 +649,7 @@ /*@globals fileSystem, internalState @*/ /*@modifies dbi, *dbcursor, *key, fileSystem, internalState @*/ { - void * sw = dbiStatsAccumulator(dbi, 15); /* RPMTS_OP_DBPUT */ + rpmop sw = (rpmop)dbiStatsAccumulator(dbi, 15); /* RPMTS_OP_DBPUT */ int rc; assert(key->data != NULL && key->size > 0 && data->data != NULL && data->size > 0); (void) rpmswEnter(sw, 0);