242   for (auto &VH : AssumeHandles) {  in registerAssumption()  local
243     if (!VH)  in registerAssumption()
246     assert(&F == cast<Instruction>(VH)->getParent()->getParent() &&  in registerAssumption()
248     assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) &&  in registerAssumption()
250     assert(AssumptionSet.insert(VH).second &&  in registerAssumption()
271   for (auto &VH : AC.assumptions())  in run()  local
272     if (VH)  in run()
273       OS << "  " << *cast<CallInst>(VH)->getArgOperand(0) << "\n";  in run()
322     for (auto &VH : I.second->assumptions())  in verifyAnalysis()  local
323       if (VH)  in verifyAnalysis()
324         AssumptionSet.insert(cast<CallInst>(VH));  in verifyAnalysis()