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

   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" } */