[llvm-commits] [llvm] r166157 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Rafael Espíndola]

>> On reachable code that would be a bug on the pass creating it.
>>
> Oh...Hmm, I guess I just don't understand this whole dominance thing...

Take the same definition:  A dominates B if all execution paths that
reach B pass through A. Now, since

%xx = getelementptr i8* %xx, i32 0

is reachable, there is a counter example to the "all execution paths".
In fact, any execution path that reaches this will will not pass by
the definition before they get to the use.

Cheers,
Rafael