/* { dg-do run } */
/* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
/* { dg-options "-fsanitize=object-size" } */

#define N 20

struct S { int a; };

__attribute__((noinline, noclone)) struct S
f1 (int i)
{
  struct S a[N];
  struct S *p = a;
  struct S s;
  s = p[i];
  return s;
}

int
main ()
{
  f1 (N);
  return 0;
}

/* { dg-output "load of address \[^\n\r]* with insufficient space for an object of type\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*note: pointer points here\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*\\^" } */