UncheckedOptionalAccessModel.cpp - OpenGrok cross reference for /llvm-project/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp

Lines Matching defs:CmpValue

822   auto *CmpValue = &forceBoolValue(Env, *CmpExpr);
828         CmpValue = &A.makeNot(*CmpValue);
829       Env.assume(evaluateEquality(A, *CmpValue, LHasVal->formula(),
838   auto *CmpValue = &forceBoolValue(Env, *CmpExpr);
842       CmpValue = &A.makeNot(*CmpValue);
844         evaluateEquality(A, *CmpValue, HasVal->formula(), A.makeLiteral(true)));
851   auto *CmpValue = &forceBoolValue(Env, *CmpExpr);
855       CmpValue = &A.makeNot(*CmpValue);
856     Env.assume(evaluateEquality(A, *CmpValue, HasVal->formula(),