Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/
H A DReachableCode.h53 SourceRange ConditionVal,
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp522 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison() local
523 if (!ConditionVal) in processComparison()
527 StateTrue = StateTrue->assume(*ConditionVal, true); in processComparison()
532 StateFalse = StateFalse->assume(*ConditionVal, false); in processComparison()
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DLazyValueInfo.cpp1341 APInt ConditionVal(1, isTrueDest ? 1 : 0); in getEdgeValueLocal() local
1342 Result = constantFoldUser(Usr, Condition, ConditionVal, DL); in getEdgeValueLocal()
/llvm-project-15.0.7/clang/lib/Analysis/
H A DCFG.cpp5095 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors() local
5096 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()
5100 bothKnownTrue(Context.KnownExecuted, ConditionVal)); in VisitConditionalOperatorForTemporaryDtors()