Searched refs:makeAnd (Results 1 – 7 of 7) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | Arena.cpp | 41 const Formula &Arena::makeAnd(const Formula &LHS, const Formula &RHS) { in makeAnd() function in clang::dataflow::Arena
142 Op = &Arena::makeAnd; in parse()
|
| H A D | DataflowAnalysisContext.cpp | 138 Invariant = &arena().makeAnd(*Invariant, Constraint); in addInvariant()
146 &arena().makeAnd(*Res.first->second, Constraint); in addFlowConditionConstraint()
|
| H A D | SimplifyConstraints.cpp | 32 return arena.makeAnd(substitute(*F.operands()[0], Substitutions, arena), in substitute()
|
| H A D | DataflowEnvironment.cpp | 145 A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()), in joinDistinctValues()
147 A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()), in joinDistinctValues()
|
| H A D | Transfer.cpp | 185 Env.setValue(*S, Env.makeAnd(LHSVal, RHSVal)); in VisitBinaryOperator()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 587 BoolValue &makeAnd(BoolValue &LHS, BoolValue &RHS) const { in makeAnd() function
589 arena().makeAnd(LHS.formula(), RHS.formula())); in makeAnd()
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 833 return A.makeAnd( in evaluateEquality()
834 A.makeImplies(EqVal, A.makeOr(A.makeAnd(LHS, RHS), in evaluateEquality()
835 A.makeAnd(A.makeNot(LHS), A.makeNot(RHS)))), in evaluateEquality()
|