Lines Matching refs:PostStmt
93 const Stmt *S = N->getLocationAs<PostStmt>()->getStmt();
191 while (Node && Node->getLocation().getAs<PostStmt>())
424 Optional<PostStmt> P = N->getLocationAs<PostStmt>();
499 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>())
551 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) {
957 if (Optional<PostStmt> P = LVNode->getLocation().getAs<PostStmt>()) {
1195 if (Optional<PostStmt> PS = progPoint.getAs<PostStmt>()) {
