{
MAC_Mempool* mp;
- mp = (MAC_Mempool*)VG_(HT_remove) ( MAC_(mempool_list), (UWord)pool );
+ mp = VG_(HT_remove) ( MAC_(mempool_list), (UWord)pool );
if (mp == NULL) {
ThreadId tid = VG_(get_running_tid)();
{
MAC_Mempool* mp;
- mp = (MAC_Mempool*)VG_(HT_lookup) ( MAC_(mempool_list), (UWord)pool );
+ mp = VG_(HT_lookup) ( MAC_(mempool_list), (UWord)pool );
if (mp == NULL) {
MAC_(record_illegal_mempool_error) ( tid, pool );
MAC_Chunk* mc;
ThreadId tid = VG_(get_running_tid)();
- mp = (MAC_Mempool*)VG_(HT_lookup)(MAC_(mempool_list), (UWord)pool);
+ mp = VG_(HT_lookup)(MAC_(mempool_list), (UWord)pool);
if (mp == NULL) {
MAC_(record_illegal_mempool_error)(tid, pool);
return;
// Use zero as the redzone for client blocks.
if (VG_(addr_is_in_block)(a, cgbs[i].start, cgbs[i].size, 0)) {
/* OK - maybe it's a mempool, too? */
- MAC_Mempool* mp = (MAC_Mempool*)VG_(HT_lookup)(MAC_(mempool_list),
- (UWord)cgbs[i].start);
+ MAC_Mempool* mp = VG_(HT_lookup)(MAC_(mempool_list),
+ (UWord)cgbs[i].start);
if(mp != NULL) {
if(mp->chunks != NULL) {
MAC_Chunk *mc;