gcc/testsuite/c-c++-common/ubsan/overflow-add-2.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable" } */
   3
   4 #define INT_MAX __INT_MAX__
   5 #define INT_MIN (-__INT_MAX__ - 1)
   6 #define LONG_MAX __LONG_MAX__
   7 #define LONG_MIN (-__LONG_MAX__ - 1L)
   8 #define LLONG_MAX __LONG_LONG_MAX__
   9 #define LLONG_MIN (-__LONG_LONG_MAX__ - 1L)
  10
  11 int
  12 main (void)
  13 {
  14   volatile int j = INT_MAX;
  15   volatile int i = 1;
  16   volatile int k = j + i;
  17   k = i + j;
  18   j++;
  19   j = INT_MAX - 100;
  20   j += (1 << 10);
  21
  22   j = INT_MIN;
  23   i = -1;
  24   k = i + j;
  25   k = j + i;
  26   j = INT_MIN + 100;
  27   j += -(1 << 10);
  28
  29   volatile long int m = LONG_MAX;
  30   volatile long int n = 1;
  31   volatile long int o = m + n;
  32   o = n + m;
  33   m++;
  34   m = LONG_MAX - 100;
  35   m += (1 << 10);
  36
  37   m = LONG_MIN;
  38   n = -1;
  39   o = m + n;
  40   o = n + m;
  41   m = LONG_MIN + 100;
  42   m += -(1 << 10);
  43
  44   return 0;
  45 }
  46
  47 /* { dg-output "signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'(\n|\r\n|\r)" } */
  48 /* { dg-output "\[^\n\r]*signed integer overflow: 1 \\+ 2147483647 cannot be represented in type 'int'(\n|\r\n|\r)" } */
  49 /* { dg-output "\[^\n\r]*signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'(\n|\r\n|\r)" } */
  50 /* { dg-output "\[^\n\r]*signed integer overflow: 2147483547 \\+ 1024 cannot be represented in type 'int'(\n|\r\n|\r)" } */
  51 /* { dg-output "\[^\n\r]*signed integer overflow: -1 \\+ -2147483648 cannot be represented in type 'int'(\n|\r\n|\r)" } */
  52 /* { dg-output "\[^\n\r]*signed integer overflow: -2147483648 \\+ -1 cannot be represented in type 'int'(\n|\r\n|\r)" } */
  53 /* { dg-output "\[^\n\r]*signed integer overflow: -2147483548 \\+ -1024 cannot be represented in type 'int'(\n|\r\n|\r)" } */
  54 /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1 cannot be represented in type 'long int'(\n|\r\n|\r)" } */
  55 /* { dg-output "\[^\n\r]*signed integer overflow: 1 \\+ \[^\n\r]* cannot be represented in type 'long int'(\n|\r\n|\r)" } */
  56 /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1 cannot be represented in type 'long int'(\n|\r\n|\r)" } */
  57 /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1024 cannot be represented in type 'long int'(\n|\r\n|\r)" } */
  58 /* { dg-output "\[^\n\r]*signed integer overflow: -\[^\n\r]* \\+ -1 cannot be represented in type 'long int'(\n|\r\n|\r)" } */
  59 /* { dg-output "\[^\n\r]*signed integer overflow: -1 \\+ -\[^\n\r]* cannot be represented in type 'long int'(\n|\r\n|\r)" } */
  60 /* { dg-output "\[^\n\r]*signed integer overflow: -\[^\n\r]* \\+ -1024 cannot be represented in type 'long int'" } */