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

  /external/clang/lib/StaticAnalyzer/Checkers/
UndefBranchChecker.cpp 68 ProgramPoint PP = PostCondition(Condition, Pred->getLocationContext(), Tag);
  /external/clang/include/clang/Analysis/
ProgramPoint.h 216 // PostCondition represents the post program point of a branch condition.
217 class PostCondition : public PostStmt {
219 PostCondition(const Stmt *S, const LocationContext *L,

Completed in 258 milliseconds