HomeSort by: relevance | last modified time | path
    Searched refs:PostCondition (Results 1 - 3 of 3) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/Analysis/
ProgramPoint.cpp 210 else if (getAs<PostCondition>())
211 Out << "PostCondition";
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/
ProgramPoint.h 358 // PostCondition represents the post program point of a branch condition.
359 class PostCondition : public PostStmt {
361 PostCondition(const Stmt *S, const LocationContext *L,
367 PostCondition() = default;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
CheckerManager.cpp 484 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(),

Completed in 79 milliseconds