Searched refs:makeOr (Results 1 – 8 of 8) sorted by relevance
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
H A D | Arena.cpp | 54 const Formula &Arena::makeOr(const Formula &LHS, const Formula &RHS) { in makeOr() function in clang::dataflow::Arena 138 decltype(&Arena::makeOr) Op; in parse() 140 Op = &Arena::makeOr; in parse()
|
H A D | SimplifyConstraints.cpp | 35 return arena.makeOr(substitute(*F.operands()[0], Substitutions, arena), in substitute()
|
H A D | DataflowAnalysisContext.cpp | 165 arena().makeOr(arena().makeAtomRef(FirstToken), in joinFlowConditions()
|
H A D | Transfer.cpp | 158 Env.setValue(*S, Env.makeOr(LHSVal, RHSVal)); in VisitBinaryOperator()
|
H A D | DataflowEnvironment.cpp | 119 A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()), in mergeDistinctValues()
|
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
H A D | DataflowEnvironment.h | 545 BoolValue &makeOr(BoolValue &LHS, BoolValue &RHS) const { in makeOr() function 547 arena().makeOr(LHS.formula(), RHS.formula())); in makeOr()
|
H A D | Arena.h | 96 const Formula &makeOr(const Formula &LHS, const Formula &RHS);
|
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
H A D | UncheckedOptionalAccessModel.cpp | 572 A.makeImplies(EqVal, A.makeOr(A.makeAnd(LHS, RHS), in evaluateEquality() 574 A.makeImplies(A.makeNot(EqVal), A.makeOr(LHS, RHS))); in evaluateEquality()
|