Lines Matching refs:PredDep
675 const PredicateBase *PredDep; member
678 const PredicateBase *PredDep = nullptr) in ExprResult()
679 : Expr(Expr), ExtraDep(ExtraDep), PredDep(PredDep) {} in ExprResult()
682 : Expr(Other.Expr), ExtraDep(Other.ExtraDep), PredDep(Other.PredDep) { in ExprResult()
685 Other.PredDep = nullptr; in ExprResult()
699 const PredicateBase *PredDep) { in some()
700 return {Expr, nullptr, PredDep}; in some()
703 const PredicateBase *PredDep) { in some()
704 return {Expr, ExtraDep, PredDep}; in some()
2063 if (Res.PredDep) { in addAdditionalUsers()
2064 if (const auto *PBranch = dyn_cast<PredicateBranch>(Res.PredDep)) in addAdditionalUsers()
2066 else if (const auto *PAssume = dyn_cast<PredicateAssume>(Res.PredDep)) in addAdditionalUsers()
2069 Res.PredDep = nullptr; in addAdditionalUsers()