Home
last modified time | relevance | path

Searched refs:StFalse (Results 1 – 4 of 4) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h105 ProgramStateRef StFalse = assume(State, Cond, false); in assumeDual() local
106 if (!StFalse) { in assumeDual()
113 return ProgramStatePair(StTrue, StFalse); in assumeDual()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp118 ProgramStateRef StTrue, StFalse; in evalComparison() local
119 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
120 return StTrue && !StFalse; in evalComparison()
H A DExprEngine.cpp2210 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2256 ProgramStateRef StTrue, StFalse; in processBranch() local
2258 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch()
2265 if (StTrue && StFalse) in processBranch()
2278 if (StFalse) in processBranch()
2279 builder.generateNode(StFalse, false, PredN); in processBranch()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp140 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local
141 std::tie(StTrue, StFalse) = in getArgumentValueString()
145 if (StFalse) in getArgumentValueString()
150 if (StFalse) in getArgumentValueString()