63   for (auto &VH : AssumeHandles) {  in registerAssumption()  local
64     if (!VH)  in registerAssumption()
67     assert(&F == cast<Instruction>(VH)->getParent()->getParent() &&  in registerAssumption()
69     assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) &&  in registerAssumption()
71     assert(AssumptionSet.insert(VH).second &&  in registerAssumption()
84   for (auto &VH : AC.assumptions())  in run()  local
85     if (VH)  in run()
86       OS << "  " << *cast<CallInst>(VH)->getArgOperand(0) << "\n";  in run()
119     for (auto &VH : I.second->assumptions())  in verifyAnalysis()  local
120       if (VH)  in verifyAnalysis()
121         AssumptionSet.insert(cast<CallInst>(VH));  in verifyAnalysis()