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

Completed in 724 milliseconds