1  /* { dg-do compile } */
       2  /* { dg-options "-O -fno-tree-sra -fdump-tree-fre1-details -fdump-tree-optimized" } */
       3  #if (__SIZEOF_INT__ == __SIZEOF_FLOAT__)
       4  typedef int intflt;
       5  #elif (__SIZEOF_LONG__ == __SIZEOF_FLOAT__)
       6  typedef long intflt;
       7  #else
       8  #error Add target support here for type that will union float size
       9  #endif
      10  
      11  struct X {
      12    int i;
      13    union {
      14      intflt j;
      15      intflt k;
      16      float f;
      17    } u;
      18  };
      19  
      20  intflt foo(intflt j)
      21  {
      22    struct X a;
      23  
      24    a.u.j = j;
      25    a.u.f = a.u.f;
      26    a.u.f = a.u.f;
      27    a.u.j = a.u.j;
      28    a.u.f = a.u.f;
      29    return a.u.k;
      30  }
      31  
      32  /* { dg-final { scan-tree-dump-times "Inserted" 1 "fre1" } } */
      33  /* { dg-final { scan-tree-dump-times "Replaced a.u.f with" 3 "fre1" } } */
      34  /* { dg-final { scan-tree-dump-times "Replaced a.u.k with j" 1 "fre1" } } */
      35  /* { dg-final { scan-tree-dump "= VIEW_CONVERT_EXPR<float>\\\(j_" "fre1" } } */
      36  /* { dg-final { scan-tree-dump "return j" "optimized" } } */