Lines Matching defs:PredDep

687     const PredicateBase *PredDep;
690                const PredicateBase *PredDep = nullptr)
691         : Expr(Expr), ExtraDep(ExtraDep), PredDep(PredDep) {}
694         : Expr(Other.Expr), ExtraDep(Other.ExtraDep), PredDep(Other.PredDep) {
697       Other.PredDep = nullptr;
711                            const PredicateBase *PredDep) {
712       return {Expr, nullptr, PredDep};
715                            const PredicateBase *PredDep) {
716       return {Expr, ExtraDep, PredDep};
2104   if (Res.PredDep) {
2105     if (const auto *PBranch = dyn_cast<PredicateBranch>(Res.PredDep))
2107     else if (const auto *PAssume = dyn_cast<PredicateAssume>(Res.PredDep))
2110   Res.PredDep = nullptr;