6736 static bool directlyImpliesPoison(const Value *ValAssumedPoison, const Value *V,  in directlyImpliesPoison()  argument
6738   if (ValAssumedPoison == V)  in directlyImpliesPoison()
6748                  directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1);  in directlyImpliesPoison()
6757         (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) ||  in directlyImpliesPoison()
6758          llvm::is_contained(II->args(), ValAssumedPoison)))  in directlyImpliesPoison()
6764 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V,  in impliesPoison()  argument
6766   if (isGuaranteedNotToBePoison(ValAssumedPoison))  in impliesPoison()
6769   if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0))  in impliesPoison()
6776   const auto *I = dyn_cast<Instruction>(ValAssumedPoison);  in impliesPoison()
6785 bool llvm::impliesPoison(const Value *ValAssumedPoison, const Value *V) {  in impliesPoison()  argument
6786   return ::impliesPoison(ValAssumedPoison, V, /* Depth */ 0);  in impliesPoison()