Searched defs:StFalse (Results 1 – 8 of 8) sorted by relevance
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 105 ProgramStateRef StFalse = assume(State, Cond, false); in assumeDual() local
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 91 ProgramStateRef StFalse = assume(State, Cond, false); in assumeDual() local
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerContext.cpp | 118 ProgramStateRef StTrue, StFalse; in evalComparison() local
|
| D | ExprEngine.cpp | 2205 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2251 ProgramStateRef StTrue, StFalse; in processBranch() local
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ExprInspectionChecker.cpp | 84 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | ExprInspectionChecker.cpp | 132 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 600 ProgramStateRef StTrue, StFalse; in VisitLogicalExpr() local
|
| D | ExprEngine.cpp | 1653 ProgramStateRef StTrue, StFalse; in processBranch() local
|