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