void do_it(Use* u) { if (theLoop->isInLoop(u->node) && // the cast to AbstractArrayAtNode* isn't correct (u->node may be something else), // but it's safe since we're only searching in the array list using pointer identity theArrayList->contains((AbstractArrayAtNode*)u->node)) { u->node->assert_in_bounds(theLoopPReg, theLoop->loopHeader()); } }