Searched defs:StTrue (Results 1 – 9 of 9) sorted by relevance
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 94 ProgramStateRef StTrue = assume(State, Cond, true); in assumeDual() local
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 76 ProgramStateRef StTrue = assume(State, Cond, true); 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/llvm-project/clang/unittests/StaticAnalyzer/ |
| D | FalsePositiveRefutationBRVisitorTest.cpp | 78 ProgramStateRef StTrue; in reportIfCanBeTrue() 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
|