Searched refs:makeNot (Results 1 – 9 of 9) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | Arena.cpp | 67 const Formula &Arena::makeNot(const Formula &Val) { in makeNot() function in clang::dataflow::Arena
85 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()
|
| H A D | DataflowAnalysisContext.cpp | 187 Constraints.insert(&arena().makeNot(F)); in flowConditionImplies()
207 Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2))); in equivalentFormulas()
|
| H A D | SimplifyConstraints.cpp | 30 return arena.makeNot(substitute(*F.operands()[0], Substitutions, arena)); in substitute()
|
| H A D | Transfer.cpp | 194 : Env.makeNot(LHSEqRHSValue)); in VisitBinaryOperator()
394 Env.setValue(*S, Env.makeNot(*SubExprVal)); in VisitUnaryOperator()
|
| H A D | TypeErasedDataflowAnalysis.cpp | 316 BranchVal ? CondVal : &Copy.Env.makeNot(*CondVal); in computeBlockInputState()
|
| H A D | DataflowEnvironment.cpp | 184 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) && in widenDistinctValues()
185 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()
|
| H A D | HTMLLogger.cpp | 117 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 474 State.Env.setValue(*CallExpr, State.Env.makeNot(*HasValueVal)); in transferOptionalIsNullCall()
512 return A.makeImplies(A.makeNot(ExprVal), in transferValueOrStringEmptyCall()
835 A.makeAnd(A.makeNot(LHS), A.makeNot(RHS)))), in evaluateEquality()
836 A.makeImplies(A.makeNot(EqVal), A.makeOr(LHS, RHS))); in evaluateEquality()
850 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndOptionalCmp()
864 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndValueCmp()
877 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndNulloptCmp()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 603 BoolValue &makeNot(BoolValue &Val) const { in makeNot() function
604 return arena().makeBoolValue(arena().makeNot(Val.formula())); in makeNot()
|