/* { dg-do compile } */
/* { dg-options "-fsanitize=undefined" } */

/* Test that we don't instrument functions marked with
   no_sanitize_undefined attribute.  */

struct S { int a[16]; };

__attribute__((no_sanitize_undefined)) long long
foo (int *a, long long *b, struct S *c)
{
  return a[1] + *b + c->a[a[0]];
}

/* { dg-final { scan-assembler-not "__ubsan_handle" } } */