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

   1 /* { dg-do run { target { { nonpic || pie_enabled } && weak_undefined } } } */
   2 /* { dg-require-alias "" } */
   3 /* { dg-options "-O2 -fdelete-null-pointer-checks" } */
   4 /* { dg-skip-if "function pointers can be NULL" { keeps_null_pointer_checks } } */
   5 /* { dg-add-options weak_undefined } */
   6 void abort (void);
   7 extern int undef_var0, undef_var1;
   8 extern __attribute__ ((weak)) int weak_undef_var0;
   9 extern __attribute__ ((weak)) int weak_undef_var1;
  10 __attribute__ ((weak)) int weak_def_var0;
  11 int def_var0=0, def_var1=0;
  12 static int alias_var0 __attribute__ ((alias("def_var0")));
  13 extern int weak_alias_var0 __attribute__ ((alias("def_var0"))) __attribute__ ((weak));
  14 void undef_fn0(void);
  15 void undef_fn1(void);
  16 void def_fn0(void)
  17 {
  18 }
  19 void def_fn1(void)
  20 {
  21 }
  22 __attribute__ ((weak))
  23 void weak_def_fn0(void)
  24 {
  25 }
  26 __attribute__ ((weak))
  27 void weak_def_fn1(void)
  28 {
  29 }
  30 __attribute__ ((weak)) void weak_undef_fn0(void);
  31
  32 inline
  33 void inline_fn0(void)
  34 {
  35 }
  36 inline
  37 void inline_fn1(void)
  38 {
  39 }
  40
  41 int
  42 main(int argc, char **argv)
  43 {
  44   /* Two definitions are always different unless they can be interposed.  */
  45   if (!__builtin_constant_p (def_fn0 == def_fn1))
  46     abort();
  47   if (def_fn0 == def_fn1)
  48     abort();
  49
  50   if (!__builtin_constant_p (&def_var0 == &def_var1))
  51     abort();
  52   if (&def_var0 == &def_var1)
  53     abort();
  54
  55   /* Same symbol is the same no matter on interposition.  */
  56   if (!__builtin_constant_p (undef_fn0 != undef_fn0))
  57     abort ();
  58   if (undef_fn0 != undef_fn0)
  59     abort ();
  60
  61   /* Do not get confused by same offset.  */
  62   if (!__builtin_constant_p (&undef_var0 + argc != &undef_var0 + argc))
  63     abort ();
  64   if (&undef_var0 + argc != &undef_var0 + argc)
  65     abort ();
  66
  67   /* Alias and its target is equivalent unless one of them can be interposed.  */
  68   if (!__builtin_constant_p (&def_var0 != &alias_var0))
  69     abort ();
  70   if (&def_var0 != &alias_var0 )
  71     abort ();
  72
  73   if (__builtin_constant_p (&def_var0 != &weak_alias_var0))
  74     abort ();
  75   if (&def_var0 != &weak_alias_var0)
  76     abort ();
  77
  78   /* Weak definitions may be both NULL.  */
  79   if (__builtin_constant_p ((void *)weak_undef_fn0 == (void *)&weak_undef_var0))
  80     abort ();
  81   if ((void *)weak_undef_fn0 != (void *)&weak_undef_var0)
  82     abort ();
  83
  84   /* Variables and functions do not share same memory locations otherwise.  */
  85   if (!__builtin_constant_p ((void *)undef_fn0 == (void *)&undef_var0))
  86     abort ();
  87   if ((void *)undef_fn0 == (void *)&undef_var0)
  88     abort ();
  89
  90   /* This works for cases where one object is just weakly defined, too.  */
  91   if (!__builtin_constant_p ((void *)weak_undef_fn0 == (void *)&weak_def_var0))
  92     abort ();
  93   if ((void *)weak_undef_fn0 == (void *)&weak_def_var0)
  94     abort ();
  95
  96   /* Inline functions are known to be different.  */
  97   if (!__builtin_constant_p (inline_fn0 != inline_fn1))
  98     abort ();
  99   if (inline_fn0 == inline_fn1)
 100     abort ();
 101   return 0;
 102 }