llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang-analysis Author: None (martinboehme) <details> <summary>Changes</summary> --- Full diff: https://github.com/llvm/llvm-project/pull/71547.diff 1 Files Affected: - (modified) clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp (+1-1) ``````````diff 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()), `````````` </details> https://github.com/llvm/llvm-project/pull/71547 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
