Searched refs:makeAnd (Results 1 – 8 of 8) sorted by relevance
| /src/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 | 140 Invariant = &arena().makeAnd(*Invariant, Constraint); in addInvariant()
148 &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 | 147 A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()), in joinDistinctValues()
149 A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()), in joinDistinctValues()
|
| H A D | Transfer.cpp | 180 Env.setValue(*S, Env.makeAnd(LHSVal, RHSVal)); in VisitBinaryOperator()
|
| /src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Arena.h | 93 const Formula &makeAnd(const Formula &LHS, const Formula &RHS);
|
| 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()
|
| /src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 641 return A.makeAnd( in evaluateEquality()
642 A.makeImplies(EqVal, A.makeOr(A.makeAnd(LHS, RHS), in evaluateEquality()
643 A.makeAnd(A.makeNot(LHS), A.makeNot(RHS)))), in evaluateEquality()
|