Searched refs:PostCondition (Results 1 - 2 of 2) sorted by relevance
/external/clang/include/clang/Analysis/ | ||
H A D | ProgramPoint.h | 303 // PostCondition represents the post program point of a branch condition. 304 class PostCondition : public PostStmt { class in namespace:clang 306 PostCondition(const Stmt *S, const LocationContext *L, function in class:clang::PostCondition 312 PostCondition() {} function in class:clang::PostCondition |
/external/clang/lib/StaticAnalyzer/Core/ | ||
H A D | CheckerManager.cpp | 392 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(), |
Completed in 71 milliseconds