252   for (auto &VH : AssumeHandles) {  in registerAssumption()  local
253     if (!VH)  in registerAssumption()
256     assert(&F == cast<Instruction>(VH)->getParent()->getParent() &&  in registerAssumption()
258     assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) &&  in registerAssumption()
260     assert(AssumptionSet.insert(VH).second &&  in registerAssumption()
281   for (auto &VH : AC.assumptions())  in run()  local
282     if (VH)  in run()
283       OS << "  " << *cast<CallInst>(VH)->getArgOperand(0) << "\n";  in run()
332     for (auto &VH : I.second->assumptions())  in verifyAnalysis()  local
333       if (VH)  in verifyAnalysis()
334         AssumptionSet.insert(cast<CallInst>(VH));  in verifyAnalysis()