[PATCH] MemoryDependenceAnalysis always depends on DominatorTree

[Matt Arsenault]

On 04/04/2013 01:04 PM, Nick Lewycky wrote:
> No. The test for DT->isReachableFromEntry(I->getBB()) is to ensure 
> that the code that follows it is safe. Just because you don't have a 
> DT available doesn't mean that the code in the if-body is safe.
>
I don't understand. My interpretation of Bill's comment is that this 
should work correctly (a conservative answer for the DT check would be 
that a block is reachable from isReachableFromEntry).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130405/0d1bdec2/attachment.html>