https://github.com/martinboehme created
https://github.com/llvm/llvm-project/pull/71547
None
>From 62ba37b3df939ecda968893a03066adb9a78a75b Mon Sep 17 00:00:00 2001
From: Martin Braenne <mboe...@google.com>
Date: Tue, 7 Nov 2023 15:24:50 +0000
Subject: [PATCH] [clang][dataflow] Replace one remaining call to deprecated
`addToFlowCondition()`.
---
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
index cf1e9eb7b1fd7f2..7932fb28b5b033b 100644
--- a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
+++ b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
@@ -115,7 +115,7 @@ static Value *mergeDistinctValues(QualType Type, Value
&Val1,
auto &Expr2 = cast<BoolValue>(Val2).formula();
auto &A = MergedEnv.arena();
auto &MergedVal = A.makeAtomRef(A.makeAtom());
- MergedEnv.addToFlowCondition(
+ MergedEnv.assume(
A.makeOr(A.makeAnd(A.makeAtomRef(Env1.getFlowConditionToken()),
A.makeEquals(MergedVal, Expr1)),
A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()),
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
