1 /* PR sanitizer/79904 */
2 /* { dg-do compile } */
3 /* { dg-options "-fsanitize=signed-integer-overflow -Wno-psabi" } */
4 
5 typedef signed char V __attribute__((vector_size (8)));
6 
7 void
foo(V * a)8 foo (V *a)
9 {
10   *a = *a * 3;
11 }
12