Searched refs:PostStmtKind (Results 1 – 6 of 6) sorted by relevance
73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
412 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){422 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
67 PostStmtKind, enumerator75 MinPostStmtKind = PostStmtKind,325 : StmtPoint(S, nullptr, PostStmtKind, L, tag) {} in StmtPoint() argument
30 case ProgramPoint::PostStmtKind: in getProgramPoint()
172 ProgramPoint::PostStmtKind; in runChecker()668 Call.getOriginExpr(), ProgramPoint::PostStmtKind, in runCheckersForEvalCall()
2773 ProgramPoint::PostStmtKind); in VisitAtomicExpr()