- ClockVector *cv = model->get_cv(tid);
- raceCheckRead(tid, addr, cv);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1), cv);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2), cv);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3), cv);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 4), cv);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 5), cv);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 6), cv);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 7), cv);
+ raceCheckRead(tid, addr);
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 4));
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 5));
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 6));
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 7));