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