[llvm-commits] [llvm] r150885 - /llvm/trunk/lib/Analysis/ScalarEvolutionExpander.cpp

[Rafael Ávila de Espíndola]

On 19/02/12 04:56 AM, Duncan Sands wrote:
> Hi Rafael,
..
> note what the comment says: if A dominates *a use* in B.  An instruction can't
> use itself (in a reachable basic block), so the A == B check is wrong.

Ah, I missed that. While there are still some bugs in the function (not
finding that an invoke can dominate instructions on the normal successor
block), I should use something else in the assert.

Thanks,
Rafael