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()
188 Constraints.insert(&arena().makeNot(F)); in flowConditionImplies()208 Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2))); in equivalentFormulas()
30 return arena.makeNot(substitute(*F.operands()[0], Substitutions, arena)); in substitute()
189 : Env.makeNot(LHSEqRHSValue)); in VisitBinaryOperator()389 Env.setValue(*S, Env.makeNot(*SubExprVal)); in VisitUnaryOperator()
186 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) && in widenDistinctValues()187 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()
301 BranchVal ? CondVal : &Copy.Env.makeNot(*CondVal); in computeBlockInputState()
117 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
452 return A.makeImplies(A.makeNot(ExprVal), in transferValueOrStringEmptyCall()643 A.makeAnd(A.makeNot(LHS), A.makeNot(RHS)))), in evaluateEquality()644 A.makeImplies(A.makeNot(EqVal), A.makeOr(LHS, RHS))); in evaluateEquality()658 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndOptionalCmp()672 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndValueCmp()685 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndNulloptCmp()
99 const Formula &makeNot(const Formula &Val);
603 BoolValue &makeNot(BoolValue &Val) const { in makeNot() function604 return arena().makeBoolValue(arena().makeNot(Val.formula())); in makeNot()