[Bug tree-optimization/17252] [3.5 Regression] not marking char types as aliasing anything

[dnovillo at redhat dot com]

------- Additional Comments From dnovillo at redhat dot com  2004-08-31 23:07 -------
Subject: Re:  [3.5 Regression] LIM can create
	wrong code because of aliasing

On Tue, 2004-08-31 at 19:01, pinskia at gcc dot gnu dot org wrote:

> @@ -25,10 +10,10 @@ g ()
>    char * a.0;
>  
>  <bb 0>:
> +  a.0_4 = a;
>  
>    # i_15 = PHI <0(0), i_8(3)>;
>  <L0>:;
> -  a.0_4 = a;
>    i.1_5 = (unsigned int)i_15;
>    i.2_6 = (char *)i.1_5;
>    T.3_7 = a.0_4 + i.2_6;
> 
> Basically since *a can change a by the definition of the C aliasing rules we cannot move the load of the 
> global out of the loop.
> 
Well, since I can't seem to reproduce it here, I can't really help.  Do
you have any local changes to LIM?


Diego.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17252