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
       8  foo (V *a) 
       9  { 
      10    *a = *a * 3; 
      11  }