1/* { dg-do run } */
2/* { dg-options "-fsanitize=signed-integer-overflow -fno-sanitize-recover=signed-integer-overflow" } */
3
4int
5main (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}
14