Searched refs:PostStmtKind (Results 1 – 6 of 6) sorted by relevance
29 case ProgramPoint::PostStmtKind: in getProgramPoint()
74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
382 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){392 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
69 PostStmtKind, enumerator76 MinPostStmtKind = PostStmtKind,316 : StmtPoint(S, nullptr, PostStmtKind, L, tag) {} in StmtPoint() argument
156 ProgramPoint::PostStmtKind; in runChecker()602 ProgramPoint::Kind K = ProgramPoint::PostStmtKind; in runCheckersForEvalCall()
2111 ProgramPoint::PostStmtKind); in VisitAtomicExpr()