[Bug tree-optimization/83523] [6 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 #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Jun 25 17:04:14 2018
New Revision: 262048

URL: https://gcc.gnu.org/viewcvs?rev=262048&root=gcc&view=rev
Log:
        Backported from mainline
        2017-12-21  Jakub Jelinek  <jakub@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-6-branch/gcc/testsuite/g++.dg/tree-ssa/pr83523.C
Modified:
    branches/gcc-6-branch/gcc/ChangeLog
    branches/gcc-6-branch/gcc/testsuite/ChangeLog
    branches/gcc-6-branch/gcc/tree-ssa-math-opts.c