Searched refs:PostStmtKind (Results 1 – 5 of 5) sorted by relevance
29 case ProgramPoint::PostStmtKind: in getProgramPoint()
74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
379 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){389 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
46 PostStmtKind, enumerator53 MinPostStmtKind = PostStmtKind,293 : StmtPoint(S, nullptr, PostStmtKind, L, tag) {} in StmtPoint() argument
156 ProgramPoint::PostStmtKind; in runChecker()541 ProgramPoint::Kind K = ProgramPoint::PostStmtKind; in runCheckersForEvalCall()