Added more checking in "dead stores" for values that are initialized
but never used.
Fix a bug in LiveVariables where uses on the LHS of self-assign
operators (e.g +=, *=, etc) would not be properly recorded in the
liveness state of the variable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41757 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/Analysis/LiveVariables.cpp b/Analysis/LiveVariables.cpp
index 6b25f9e..bf44374 100644
--- a/Analysis/LiveVariables.cpp
+++ b/Analysis/LiveVariables.cpp
@@ -252,7 +252,10 @@
// We only need to register kills once, so we check if this block
// has been previously processed.
if (!blockPreviouslyProcessed)
- V.AddKill(CurrentStmt,DR);
+ V.AddKill(CurrentStmt,DR);
+
+ if (B->getOpcode() != BinaryOperator::Assign)
+ Visit(LHS);
}
else
Visit(LHS);