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

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