Searched refs:ConditionVal (Results 1 – 7 of 7) sorted by relevance
| /external/llvm-project/clang/include/clang/Analysis/Analyses/ |
| D | ReachableCode.h | 53 SourceRange ConditionVal,
|
| /external/clang/include/clang/Analysis/Analyses/ |
| D | ReachableCode.h | 54 SourceRange ConditionVal,
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | IteratorModeling.cpp | 523 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison() local
524 if (!ConditionVal) in processComparison()
528 StateTrue = StateTrue->assume(*ConditionVal, true); in processComparison()
533 StateFalse = StateFalse->assume(*ConditionVal, false); in processComparison()
|
| /external/llvm-project/llvm/lib/Analysis/ |
| D | LazyValueInfo.cpp | 1339 APInt ConditionVal(1, isTrueDest ? 1 : 0); in getEdgeValueLocal() local
1340 Result = constantFoldUser(Usr, Condition, ConditionVal, DL); in getEdgeValueLocal()
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/ |
| D | LazyValueInfo.cpp | 1426 APInt ConditionVal(1, isTrueDest ? 1 : 0); in getEdgeValueLocal() local
1427 Result = constantFoldUser(Usr, Condition, ConditionVal, DL); in getEdgeValueLocal()
|
| /external/clang/lib/Analysis/ |
| D | CFG.cpp | 3840 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors() local
3841 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()
3845 bothKnownTrue(Context.KnownExecuted, ConditionVal)); in VisitConditionalOperatorForTemporaryDtors()
|
| /external/llvm-project/clang/lib/Analysis/ |
| D | CFG.cpp | 4870 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors() local
4871 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()
4875 bothKnownTrue(Context.KnownExecuted, ConditionVal)); in VisitConditionalOperatorForTemporaryDtors()
|