https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98727
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:9675ccd64efe78bc4791436c34d57cd894640f39 commit r11-6776-g9675ccd64efe78bc4791436c34d57cd894640f39 Author: Jakub Jelinek <ja...@redhat.com> Date: Mon Jan 18 19:13:44 2021 +0100 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 <ja...@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.