Home | History | Annotate | Download | only in Analysis

Lines Matching refs:verifyRemoved

1514   DEBUG(verifyRemoved(RemInst));
1516 /// verifyRemoved - Verify that the specified instruction does not occur
1518 void MemoryDependenceAnalysis::verifyRemoved(Instruction *D) const {