On Sun, Dec 16, 2007 at 06:54:29PM +0100, Eric Botcazou wrote:
> How SSA inlining and default defs for uninitialized variables are supposed to
> interact? Suppose you have the following situation
>
> BB0 ...
> | \
> (ab) | BB1 s_2 = f(s_1(D))
> | /
> BB2 s_3 = PHI <s_1(D), s2>
>
> in a function that gets inlined into a loop. The liveness of s_1(D) in BB0
> will propagate to BB2 along the backwards edge and you get overlapping live
> ranges for s_1(D) and s_3. If s_1(D) is SSA_NAME_OCCURS_IN_ABNORMAL_PHI, the
> compilation will abort during SSA coalescing because they must be coalesced.
This sounds like PR31081.
Jakub
