431c431,432
< std::list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = activeThreads->begin();
> std::list<unsigned>::iterator end = activeThreads->end();
433,434c434,436
< while (threads != (*activeThreads).end()) {
< if (!skidBuffer[*threads++].empty())
---
> while (threads != end) {
> unsigned tid = *threads++;
> if (!skidBuffer[tid].empty())
447c449,450
< std::list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = activeThreads->begin();
> std::list<unsigned>::iterator end = activeThreads->end();
449,451c452
< threads = (*activeThreads).begin();
<
< while (threads != (*activeThreads).end()) {
---
> while (threads != end) {
604c605,606
< std::list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = activeThreads->begin();
> std::list<unsigned>::iterator end = activeThreads->end();
609,610c611,612
< while (threads != (*activeThreads).end()) {
< unsigned tid = *threads++;
---
> while (threads != end) {
> unsigned tid = *threads++;