[PATCH] D50295: Let GetUnderlyingObject/Objects use MemorySSA

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: lib/Analysis/ValueTracking.cpp:3512
+                if (DefI && DefI->getValueOperand()->getType()->isPointerTy()) {
+                  V = DefI->getValueOperand();
+                  continue;
----------------
Couldn't the store write to more than just the values read by the load? 
If so, do we need to take that into account?


https://reviews.llvm.org/D50295