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

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 465 void markInfeasible(bool branch) {
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 1140 TempDtorBuilder.markInfeasible(false);
1143 TempDtorBuilder.markInfeasible(true);
2229 NullCondBldr.markInfeasible(false);
2273 builder.markInfeasible(true);
2281 builder.markInfeasible(false);
2311 builder.markInfeasible(!initHasRun);

Completed in 58 milliseconds