On Sun, Dec 16, 2007 at 07:11:49PM +0100, Eric Botcazou wrote:
> > This sounds like PR31081.
>
> Indeed, the C++ testcase is the exact translation of my Ada testcase. :-)
>
> The problem seems to arise relatively often in Ada, I think the PR should be
> made "critical".
Yeah, to me this looks l
> This sounds like PR31081.
Indeed, the C++ testcase is the exact translation of my Ada testcase. :-)
The problem seems to arise relatively often in Ada, I think the PR should be
made "critical".
--
Eric Botcazou
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
>
>
Hi,
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
in a function that gets inlined into a loop. The liveness of s_1(D) in BB0
w
