Lines Matching defs:PS
490 Optional<PostStore> PS = Succ->getLocationAs<PostStore>();
491 if (!PS || PS->getLocationValue() != R)
551 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) {
552 const Stmt *S = PS->getStmt();
566 SVal V = State->getSVal(S, PS->getLocationContext());
1193 if (Optional<PostStmt> PS = progPoint.getAs<PostStmt>()) {
1200 const ProgramPointTag *tag = PS->getTag();
1202 return VisitTrueTest(cast<Expr>(PS->getStmt()), true,
1205 return VisitTrueTest(cast<Expr>(PS->getStmt()), false,