gcc/testsuite/gcc.dg/ipa/propmalloc-3.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-ipa-pure-const-details -fdelete-null-pointer-checks" } */
   3 /* { dg-skip-if "" keeps_null_pointer_checks } */
   4
   5 static void *foo(__SIZE_TYPE__, int) __attribute__((noinline, no_icf, used));
   6
   7 __attribute__((noinline, used, no_icf))
   8 static void *bar(__SIZE_TYPE__ n, int m)
   9 {
  10   return foo (n, m);
  11 }
  12
  13 static void *foo(__SIZE_TYPE__ n, int m)
  14 {
  15   void *p;
  16   if (m > 0)
  17     p = bar (n, --m);
  18   else
  19     p = __builtin_malloc (n);
  20
  21   return p;
  22 }
  23
  24 /* { dg-final { scan-ipa-dump "Function foo/\[0-9+\]+ found to be malloc" "pure-const" } } */
  25 /* { dg-final { scan-ipa-dump "Function bar/\[0-9+\]+ found to be malloc" "pure-const" } } */