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 250 // PostCondition represents the post program point of a branch condition.
251 class PostCondition : public PostStmt {
253 PostCondition(const Stmt *S, const LocationContext *L,
  /external/clang/lib/StaticAnalyzer/Core/
CheckerManager.cpp 351 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(),

Completed in 168 milliseconds