From: Eric Botcazou Date: Fri, 21 Apr 2017 08:03:54 +0000 (+0000) Subject: re PR tree-optimization/80426 (wrong manipulation of range based on INT_MIN) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f23a412086f3ecaee7007ae85033e5bc3b70609;p=gcc.git re PR tree-optimization/80426 (wrong manipulation of range based on INT_MIN) PR tree-optimization/80426 * gcc.c-torture/execute/20170429-1.c: Rename into... * gcc.c-torture/execute/20170419-1.c: ...this. From-SVN: r247046 --- diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f0a4f46967b..22176e677b6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2017-04-21 Eric Botcazou + + PR tree-optimization/80426 + * gcc.c-torture/execute/20170429-1.c: Rename into... + * gcc.c-torture/execute/20170419-1.c: ...this. + 2017-04-20 Uros Bizjak PR target/79804 diff --git a/gcc/testsuite/gcc.c-torture/execute/20170419-1.c b/gcc/testsuite/gcc.c-torture/execute/20170419-1.c new file mode 100644 index 00000000000..f59dbc7a057 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20170419-1.c @@ -0,0 +1,24 @@ +/* PR tree-optimization/80426 */ +/* Testcase by */ + +#define INT_MAX 0x7fffffff +#define INT_MIN (-INT_MAX-1) + +int x; + +int main (void) +{ + volatile int a = 0; + volatile int b = -INT_MAX; + int j; + + for(j = 0; j < 18; j += 1) { + x = ( (a == 0) != (b - (int)(INT_MIN) ) ); + } + + if (x != 0) + __builtin_abort (); + + return 0; +} + diff --git a/gcc/testsuite/gcc.c-torture/execute/20170429-1.c b/gcc/testsuite/gcc.c-torture/execute/20170429-1.c deleted file mode 100644 index f59dbc7a057..00000000000 --- a/gcc/testsuite/gcc.c-torture/execute/20170429-1.c +++ /dev/null @@ -1,24 +0,0 @@ -/* PR tree-optimization/80426 */ -/* Testcase by */ - -#define INT_MAX 0x7fffffff -#define INT_MIN (-INT_MAX-1) - -int x; - -int main (void) -{ - volatile int a = 0; - volatile int b = -INT_MAX; - int j; - - for(j = 0; j < 18; j += 1) { - x = ( (a == 0) != (b - (int)(INT_MIN) ) ); - } - - if (x != 0) - __builtin_abort (); - - return 0; -} -