[Bug middle-end/42805] [4.5 Regression] FAIL: gcc.c-torture/execute/pr42248.c compilation at -O1 and above

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2010-03-01 11:48 -------
Confirmed with a cross to hppa-linux.

I believe this is again related to DECL_VALUE_EXPR.  SRA does:

@@ -122,8 +60,9 @@

 <bb 2>:
   x.0 = x;
+  SR.3_7 = x.a;
   y.1_6 = y_1(D);
-  D.1959_2 = x.0.a;
+  D.1959_2 = SR.3_7;
   y.2_3 = y.1_6;
   if (D.1959_2 != y.2_3)
     goto <bb 3>;

but x is replaced with x.0 (callee copy).  SRA shouldn't undo this
(thus, never create replacements involving a DECL with DECL_HAS_VALUE_EXPR_P
set).

Reduced testcase:

typedef struct {
  _Complex double a;
  _Complex double b;
} Scf10;

void
check (Scf10 x, _Complex double y)
{
  if (x.a != y) __builtin_abort ();
}


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jamborm at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|hppa-unknown-linux-gnu      |
   GCC host triplet|hppa-unknown-linux-gnu      |
 GCC target triplet|hppa-unknown-linux-gnu      |hppa-unknown-linux-gnu,
                   |                            |hppa2.0w-hp-hpux11.11
           Priority|P3                          |P1
   Last reconfirmed|0000-00-00 00:00:00         |2010-03-01 11:48:54
               date|                            |


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