Lines Matching defs:PS
275 if (auto PS = N->getLocationAs<PostStmt>())
276 if (auto *BO = PS->getStmtAs<BinaryOperator>())
1399 Optional<PostStore> PS = Succ->getLocationAs<PostStore>();
1400 if (!PS || PS->getLocationValue() != R)
1466 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) {
1467 const Stmt *S = PS->getStmt();
2177 if (Optional<PostStmt> PS = ProgPoint.getAs<PostStmt>()) {
2178 const ProgramPointTag *CurrentNodeTag = PS->getTag();
2183 return VisitTrueTest(cast<Expr>(PS->getStmt()), BRC, BR, N, TookTrue);