gcc/testsuite/gcc.dg/20040123-1.c

   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
   8 void foo (void)
   9 {
  10   if ((void *) a == (void *) 0x4000UL)
  11     abort ();
  12 }