From abc16c7a5b0a63d14172262153608b3d24de957f Mon Sep 17 00:00:00 2001 From: Yitzhak Mandelbaum Date: Fri, 9 Sep 2022 17:04:24 +0000 Subject: [PATCH] [NFC] Remove a FIXME fixed by an earlier patch. Commit 28bd7945eabdbde2b1fc071ab2f9b78e6e754a1a incidentally fixed the associated FIXME, but didn't delete it. Differential Revision: https://reviews.llvm.org/D133588 --- clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp index 9acd993eb25d..8b761bef226a 100644 --- a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp +++ b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp @@ -81,9 +81,6 @@ static Value *mergeDistinctValues(QualType Type, Value *Val1, Environment::ValueModel &Model) { // Join distinct boolean values preserving information about the constraints // in the respective path conditions. - // - // FIXME: Does not work for backedges, since the two (or more) paths will not - // have mutually exclusive conditions. if (auto *Expr1 = dyn_cast(Val1)) { auto *Expr2 = cast(Val2); auto &MergedVal = MergedEnv.makeAtomicBoolValue();