------- Comment #8 from rguenther at suse dot de 2009-04-27 08:16 -------
Subject: Re: [4.3/4.4/4.5 Regression] LIM
inserts loads from uninitialized local memory
On Mon, 27 Apr 2009, jakub at gcc dot gnu dot org wrote:
> ------- Comment #7 from jakub at gcc dot gnu dot org 2009-04-27 07:24 -------
> Won't that disable the warning in the valid cases though?
Good question. I suppose it would.
> int
> f2 (int R)
> {
> int i, inter[3];
>
> for (i = 1; i < R; i++)
> {
> inter[0] = 1;
> inter[1] = 1;
> inter[2] = 1;
> }
>
> return inter[0];
> }
>
> I've tried apparently doesn't warn even without the change, because ccp for a
> PHI which has undefined SSA name and defined SSA name just propagates the
> defined one (without a warning), so I don't have a testcase.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39612
