1  /* PR sanitizer/82072 */
       2  /* { dg-do run } */
       3  /* { dg-options "-fsanitize=signed-integer-overflow" } */
       4  
       5  int
       6  main ()
       7  {
       8    long long l = -__LONG_LONG_MAX__ - 1;
       9    int i = 0;
      10    asm volatile ("" : "+r" (i));
      11    i -= l;
      12    asm volatile ("" : "+r" (i));
      13    i = -l;
      14    asm volatile ("" : "+r" (i));
      15    return 0;
      16  }
      17  
      18  /* { dg-output "signed integer overflow: 0 - -9223372036854775808 cannot be represented in type 'long long int'\[^\n\r]*(\n|\r\n|\r)" } */
      19  /* { dg-output "\[^\n\r]*negation of -9223372036854775808 cannot be represented in type 'long long int'\[^\n\r]*; cast to an unsigned type to negate this value to itself" } */