reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
618 if (const auto *PAssume = dyn_cast<PredicateAssume>(PossibleCopy)) { 625 VD.PInfo = PossibleCopy; 627 } else if (isa<PredicateWithEdge>(PossibleCopy)) { 631 auto BlockEdge = getBlockEdge(PossibleCopy); 638 VD.PInfo = PossibleCopy; 651 VD.PInfo = PossibleCopy;