Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp625 const Formula &evaluateEquality(Arena &A, const Formula &EqVal, in evaluateEquality() argument
642 A.makeImplies(EqVal, A.makeOr(A.makeAnd(LHS, RHS), in evaluateEquality()
644 A.makeImplies(A.makeNot(EqVal), A.makeOr(LHS, RHS))); in evaluateEquality()