Searched refs:PostCondition (Results 1 – 2 of 2) sorted by relevance
304 class PostCondition : public PostStmt {306 PostCondition(const Stmt *S, const LocationContext *L,312 PostCondition() {} in PostCondition() function
419 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(), in runChecker()