1  /* PR debug/25023 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2" } */
       4  /* { dg-options "-O2 -mtune=i686" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
       5  
       6  extern unsigned char v;
       7  
       8  float
       9  foo (void)
      10  {
      11    return v;
      12  }