reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2103 if (auto *PBranch = dyn_cast<PredicateBranch>(PB)) 2105 else if (auto *PAssume = dyn_cast<PredicateAssume>(PB))