gcc/testsuite/c-c++-common/ubsan/pr59503.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fsanitize=signed-integer-overflow -fno-sanitize-recover=signed-integer-overflow" } */
   3
   4 int
   5 main (void)
   6 {
   7   long long int a = 14;
   8   long int b = 9;
   9   asm volatile ("" : "+r" (a), "+r" (b));
  10   if ((a - b) != 5)
  11     __builtin_abort ();
  12   return 0;
  13 }