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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-31 23:05 -------
Here is another example without LIM:
char *a;
void g()
{
  a[0] = 0;
  a[1] = 0;
}
there should be two loads of a.

It broke between 2004-05-11 and 2004-05-14.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.5 Regression] LIM can    |[3.5 Regression] not marking
                   |create wrong code because of|char types as aliasing
                   |aliasing                    |anything


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