diff options
author | Jakub Jelinek <jakub@redhat.com> | 2021-01-18 19:13:44 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@redhat.com> | 2021-01-18 19:13:44 +0100 |
commit | 9675ccd64efe78bc4791436c34d57cd894640f39 (patch) | |
tree | 17ad2b20b99e70564ddda936ce64259643e570af | |
parent | f56e14101b9f808b4cdded9bf6900b2ec4b1417a (diff) | |
download | gcc-9675ccd64efe78bc4791436c34d57cd894640f39.zip gcc-9675ccd64efe78bc4791436c34d57cd894640f39.tar.gz gcc-9675ccd64efe78bc4791436c34d57cd894640f39.tar.bz2 |
widening_mul: Fix up signed multiplication overflow check handling [PR98727]
I forgot one line, which means that if the second operand of the multiplication
isn't constant, it would be just the same as the first one.
2021-01-18 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/98727
* tree-ssa-math-opts.c (match_arith_overflow): Fix up computation of
second .MUL_OVERFLOW operand for signed multiplication with overflow
checking if the second operand of multiplication is not constant.
* gcc.c-torture/execute/pr98727.c: New test.
-rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr98727.c | 20 | ||||
-rw-r--r-- | gcc/tree-ssa-math-opts.c | 1 |
2 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr98727.c b/gcc/testsuite/gcc.c-torture/execute/pr98727.c new file mode 100644 index 0000000..7ecdef8 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr98727.c @@ -0,0 +1,20 @@ +/* PR tree-optimization/98727 */ + +__attribute__((noipa)) long int +foo (long int x, long int y) +{ + long int z = (unsigned long) x * y; + if (x != z / y) + return -1; + return z; +} + +int +main () +{ + if (foo (4, 24) != 96 + || foo (124, 126) != 124L * 126 + || foo (__LONG_MAX__ / 16, 17) != -1) + __builtin_abort (); + return 0; +} diff --git a/gcc/tree-ssa-math-opts.c b/gcc/tree-ssa-math-opts.c index 5175ab5..d6201d3 100644 --- a/gcc/tree-ssa-math-opts.c +++ b/gcc/tree-ssa-math-opts.c @@ -4170,6 +4170,7 @@ match_arith_overflow (gimple_stmt_iterator *gsi, gimple *stmt, rhs2 = fold_convert (type, rhs2); else { + g = SSA_NAME_DEF_STMT (rhs2); if (gimple_assign_cast_p (g) && useless_type_conversion_p (type, TREE_TYPE (gimple_assign_rhs1 (g))) |