Home | History | Annotate | Download | only in Checkers

Lines Matching full:succ

127   PathDiagnosticPiece *VisitNode(const ExplodedNode *Succ,
899 NonLocalizedStringBRVisitor::VisitNode(const ExplodedNode *Succ,
905   Optional<StmtPoint> Point = Succ->getLocation().getAs<StmtPoint>();
913   ProgramStateRef State = Succ->getState();
914   SVal LiteralSVal = State->getSVal(LiteralExpr, Succ->getLocationContext());