Home | History | Annotate | Download | only in Analysis

Lines Matching refs:verifyRemoved

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