234   for (auto &VH : AssumeHandles) {  in registerAssumption()  local
235     if (!VH)  in registerAssumption()
238     assert(&F == cast<Instruction>(VH)->getParent()->getParent() &&  in registerAssumption()
240     assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) &&  in registerAssumption()
242     assert(AssumptionSet.insert(VH).second &&  in registerAssumption()
257   for (auto &VH : AC.assumptions())  in run()  local
258     if (VH)  in run()
259       OS << "  " << *cast<CallInst>(VH)->getArgOperand(0) << "\n";  in run()
305     for (auto &VH : I.second->assumptions())  in verifyAnalysis()  local
306       if (VH)  in verifyAnalysis()
307         AssumptionSet.insert(cast<CallInst>(VH));  in verifyAnalysis()