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  }