5209 static bool directlyImpliesPoison(const Value *ValAssumedPoison,  in directlyImpliesPoison()  argument
5211   if (ValAssumedPoison == V)  in directlyImpliesPoison()
5221         return directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1);  in directlyImpliesPoison()
5226       return directlyImpliesPoison(ValAssumedPoison, SI->getCondition(),  in directlyImpliesPoison()
5233         (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) ||  in directlyImpliesPoison()
5234          llvm::is_contained(II->args(), ValAssumedPoison)))  in directlyImpliesPoison()
5240 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V,  in impliesPoison()  argument
5242   if (isGuaranteedNotToBeUndefOrPoison(ValAssumedPoison))  in impliesPoison()
5245   if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0))  in impliesPoison()
5252   const auto *I = dyn_cast<Instruction>(ValAssumedPoison);  in impliesPoison()
5261 bool llvm::impliesPoison(const Value *ValAssumedPoison, const Value *V) {  in impliesPoison()  argument
5262   return ::impliesPoison(ValAssumedPoison, V, /* Depth */ 0);  in impliesPoison()