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
foo(void)9 foo (void)
10 {
11 return v;
12 }
13