1/* { dg-do run } */ 2/* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable" } */ 3 4#define INT_MAX __INT_MAX__ 5#define LONG_MAX __LONG_MAX__ 6 7int 8main (void) 9{ 10 volatile int j = INT_MAX; 11 volatile int i = 2; 12 volatile int k = j * i; 13 k = i * j; 14 15 volatile long int m = LONG_MAX; 16 volatile long int n = 2; 17 volatile long int o = m * n; 18 o = n * m; 19 20 return 0; 21} 22 23/* { dg-output "signed integer overflow: 2147483647 \\* 2 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */ 24/* { dg-output "\[^\n\r]*signed integer overflow: 2 \\* 2147483647 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */ 25/* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\* 2 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */ 26/* { dg-output "\[^\n\r]*signed integer overflow: 2 \\* \[^\n\r]* cannot be represented in type 'long int'\[^\n\r]*" } */ 27