Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h596 BoolValue &makeOr(BoolValue &LHS, BoolValue &RHS) const { in makeOr() function
598 arena().makeOr(LHS.formula(), RHS.formula())); in makeOr()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp642 A.makeImplies(EqVal, A.makeOr(A.makeAnd(LHS, RHS), in evaluateEquality()
644 A.makeImplies(A.makeNot(EqVal), A.makeOr(LHS, RHS))); in evaluateEquality()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp166 arena().makeOr(arena().makeAtomRef(FirstToken), in joinFlowConditions()
H A DTransfer.cpp182 Env.setValue(*S, Env.makeOr(LHSVal, RHSVal)); in VisitBinaryOperator()
H A DDataflowEnvironment.cpp147 A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()), in joinDistinctValues()