3 // { dg-options "-fsanitize=bounds -fsanitize-recover=bounds" }
4 // { dg-output "index 15 out of bounds for type 'int \\\[15\\\]'\[^\n\r]*(\n|\r\n|\r)" }
5 // { dg-output "\[^\n\r]*index 0 out of bounds for type 'int \\\[\[0-9x]*\\\]'\[^\n\r]*(\n|\r\n|\r)" }
6 // { dg-output "\[^\n\r]*index 16 out of bounds for type 'int \\\[15\\\]'" }
8 #include "../../gcc.dg/ubsan/bounds-4.c"