Searched refs:PostStmtKind (Results 1 – 6 of 6) sorted by relevance
73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
418 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){428 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
66 PostStmtKind, enumerator74 MinPostStmtKind = PostStmtKind,324 : StmtPoint(S, nullptr, PostStmtKind, L, tag) {} in StmtPoint() argument
30 case ProgramPoint::PostStmtKind: in getProgramPoint()
173 ProgramPoint::PostStmtKind; in runChecker()669 Call.getOriginExpr(), ProgramPoint::PostStmtKind, in runCheckersForEvalCall()
3112 ProgramPoint::PostStmtKind); in VisitAtomicExpr()