diff options
| -rw-r--r-- | gcc/testsuite/gcc.dg/ipa/ipa-sra-ret-nonull.c | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/ipa/ipa-sra-ret-nonull.c b/gcc/testsuite/gcc.dg/ipa/ipa-sra-ret-nonull.c new file mode 100644 index 0000000..18c13ef --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/ipa-sra-ret-nonull.c @@ -0,0 +1,40 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-ipa-sra-details" } */ + +volatile void *gp; +volatile void *gq; +char buf[16]; + +__attribute__((returns_nonnull, noinline)) +static char * +foo (char *p, char *q) +{ + gq = q; + gp = p; + return q; +} + +__attribute__((returns_nonnull, noinline)) +static char * +bar (char *p, char *q) +{ + return foo (p, q) + 8; +} + +__attribute__((noipa)) +static char * +get_charp (void) +{ + return &buf[0]; +} + +int +main () +{ + char *r; + asm volatile ("" : : : "memory"); + r = bar (get_charp (), get_charp ()); + return 0; +} + +/* { dg-final { scan-ipa-dump-times "Will SKIP return." 2 "sra" } } */ |