[Bug tree-optimization/34363] [4.2 Regression] Aliasing failure during tree fre

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2007-12-07 10:25 -------
Confirmed.  Wrong alias info:

foo (p)
{
  unsigned int n.0;

<bb 2>:
  #   n_2 = V_MUST_DEF <n_1>;
  n = 4;
  #   NONLOCAL.6_6 = V_MAY_DEF <NONLOCAL.6_5>;
  *p_3 = 0;
  #   VUSE <n_2>;
  n.0_4 = n;
  if (n.0_4 != 0) goto <L0>; else goto <L1>;

<L0>:;
  #   VUSE <n_2>;
  #   VUSE <NONLOCAL.6_6>;
  abort ();

<L1>:;
  return;


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c                           |tree-optimization
     Ever Confirmed|0                           |1
           Keywords|                            |alias, wrong-code
      Known to fail|                            |4.2.2
      Known to work|                            |4.1.3 4.3.0
   Last reconfirmed|0000-00-00 00:00:00         |2007-12-07 10:25:13
               date|                            |
            Summary|Aliasing failure during tree|[4.2 Regression] Aliasing
                   |fre                         |failure during tree fre
   Target Milestone|---                         |4.2.3


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