HomeSort by relevance Sort by last modified time
    Searched refs:PostCondition (Results 1 - 2 of 2) sorted by null

  /external/clang/include/clang/Analysis/
ProgramPoint.h 303 // PostCondition represents the post program point of a branch condition.
304 class PostCondition : public PostStmt {
306 PostCondition(const Stmt *S, const LocationContext *L,
312 PostCondition() {}
  /external/clang/lib/StaticAnalyzer/Core/
CheckerManager.cpp 392 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(),

Completed in 6276 milliseconds