Searched refs:makeAnd (Results 1 – 5 of 5) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| 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 | 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()
|
| /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 | 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()
|