Author: martinboehme Date: 2023-11-08T05:32:04+01:00 New Revision: a0700532ddcc850ff381e08576590ee26fad1f1e
URL: https://github.com/llvm/llvm-project/commit/a0700532ddcc850ff381e08576590ee26fad1f1e DIFF: https://github.com/llvm/llvm-project/commit/a0700532ddcc850ff381e08576590ee26fad1f1e.diff LOG: [clang][dataflow] Replace one remaining call to deprecated `addToFlowCondition()`. (#71547) Added: Modified: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp Removed: ################################################################################ diff --git a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp index 2b000eb7b370868..a1051c529ab0d58 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