gcc/testsuite/gcc.dg/ubsan/pr79904.c

   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 }