gcc/testsuite/c-c++-common/ubsan/object-size-5.c

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

/* Test structures with -fsanitize=object-size.  */

#define N 20

struct S { char *p; int i; };
struct T { struct S *s; };

__attribute__((noinline, noclone)) void
f1 (int i)
{
  volatile int j;
  struct S s;
  s.p = (char *) __builtin_calloc (N, 1);
  j = s.p[i];
  j = *(s.p + i);
  __builtin_free (s.p);
}

/* { dg-output "load of address \[^\n\r]* with insufficient space for an object of type 'char'\[^\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]*\\^\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*load of address \[^\n\r]* with insufficient space for an object of type 'char'\[^\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]*\\^" } */

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