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

  /external/clang/lib/StaticAnalyzer/Checkers/
UndefBranchChecker.cpp 109 Builder.markInfeasible(true);
110 Builder.markInfeasible(false);
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 318 void markInfeasible(bool branch) {
  /external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 937 builder.markInfeasible(false);
    [all...]

Completed in 24 milliseconds