Searched refs:makeNot (Results 1 – 10 of 10) sorted by relevance
67 const Formula &Arena::makeNot(const Formula &Val) { in makeNot() function in clang::dataflow::Arena85 return RHS.literal() ? &RHS : &makeNot(LHS); in makeImplies()96 return LHS.literal() ? &RHS : &makeNot(RHS); in makeEquals()98 return RHS.literal() ? &LHS : &makeNot(LHS); in makeEquals()128 return &A.makeNot(*Arg); in parse()
187 Constraints.insert(&arena().makeNot(F)); in flowConditionImplies()207 Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2))); in equivalentFormulas()
30 return arena.makeNot(substitute(*F.operands()[0], Substitutions, arena)); in substitute()
165 : Env.makeNot(LHSEqRHSValue)); in VisitBinaryOperator()365 Env.setValue(*S, Env.makeNot(*SubExprVal)); in VisitUnaryOperator()
175 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool->formula())) && in widenDistinctValues()176 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()
139 Val = &Env.makeNot(*Val); in extendFlowCondition()
118 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
380 return A.makeImplies(A.makeNot(ExprVal), in transferValueOrStringEmptyCall()573 A.makeAnd(A.makeNot(LHS), A.makeNot(RHS)))), in evaluateEquality()574 A.makeImplies(A.makeNot(EqVal), A.makeOr(LHS, RHS))); in evaluateEquality()588 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndOptionalCmp()602 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndValueCmp()615 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndNulloptCmp()
552 BoolValue &makeNot(BoolValue &Val) const { in makeNot() function553 return arena().makeBoolValue(arena().makeNot(Val.formula())); in makeNot()
99 const Formula &makeNot(const Formula &Val);