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