/* { 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" } } */