widening_mul: Fix up signed multiplication overflow check handling [PR98727]
authorJakub Jelinek <jakub@redhat.com>
Mon, 18 Jan 2021 18:13:44 +0000 (19:13 +0100)
committerJakub Jelinek <jakub@redhat.com>
Mon, 18 Jan 2021 18:13:44 +0000 (19:13 +0100)
commit9675ccd64efe78bc4791436c34d57cd894640f39
tree17ad2b20b99e70564ddda936ce64259643e570af
parentf56e14101b9f808b4cdded9bf6900b2ec4b1417a
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.
gcc/testsuite/gcc.c-torture/execute/pr98727.c [new file with mode: 0644]
gcc/tree-ssa-math-opts.c