gcc/testsuite/gcc.dg/ipa/pure-const-3.c

   1 /* { dg-do run } */
   2 /* { dg-require-alias "" }  */
   3 /* { dg-options "-O2 -fdump-tree-local-pure-const1" } */
   4
   5 __attribute__ ((weak))
   6 __attribute__ ((noinline))
   7 int a(int v)
   8 {
   9   return v;
  10 }
  11 __attribute__ ((noinline))
  12 static int b(int v) __attribute__ ((alias("a")));
  13 int
  14 main()
  15 {
  16   int c = a(1)==a(1);
  17   int d = b(1)==b(1);
  18   if (__builtin_constant_p (c))
  19     __builtin_abort ();
  20   if (!__builtin_constant_p (d))
  21     __builtin_abort ();
  22   return 0;
  23 }
  24 /* { dg-final { scan-tree-dump "found to be const" "local-pure-const1"} } */