[Bug tree-optimization/83523] [6/7 Regression] ICE: verify_gimple failed (error: statement marked for throw, but doesn't)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83523

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Dec 22 08:52:28 2017
New Revision: 255970

URL: https://gcc.gnu.org/viewcvs?rev=255970&root=gcc&view=rev
Log:
        Backported from mainline
        2017-12-21  Jakub Jelinek  <ja...@redhat.com>

        PR tree-optimization/83523
        * tree-ssa-math-opts.c (is_widening_mult_p): Return false if
        for INTEGER_TYPE TYPE_OVERFLOW_TRAPS.
        (convert_mult_to_fma): Likewise.

        * g++.dg/tree-ssa/pr83523.C: New test.

Added:
    branches/gcc-7-branch/gcc/testsuite/g++.dg/tree-ssa/pr83523.C
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/testsuite/ChangeLog
    branches/gcc-7-branch/gcc/tree-ssa-math-opts.c