1/* { dg-do compile } */
2/* { dg-options "-fsanitize=undefined" } */
3
4/* Test that we don't instrument functions marked with
5   no_sanitize_undefined attribute.  */
6
7struct S { int a[16]; };
8
9__attribute__((no_sanitize_undefined)) long long
10foo (int *a, long long *b, struct S *c)
11{
12  return a[1] + *b + c->a[a[0]];
13}
14
15/* { dg-final { scan-assembler-not "__ubsan_handle" } } */
16