[Bug tree-optimization/39612] [4.3/4.4/4.5 Regression] LIM inserts loads from uninitialized local memory

[rguenther at suse dot de]

------- 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