1 /* { dg-do compile } */
2 /* { dg-options "-O2" } */
3 /* { dg-final { scan-assembler "abort" } } */
4 
5 extern void abort (void);
6 extern char a[];
7 
foo(void)8 void foo (void)
9 {
10   if ((void *) a == (void *) 0x4000UL)
11     abort ();
12 }
13