[Bug c++/80075] [7 regression] ICE: "statement marked for throw, but doesn’t" with -fnon-call-exceptions

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Mar 17 12:48:56 2017
New Revision: 246223

URL: https://gcc.gnu.org/viewcvs?rev=246223&root=gcc&view=rev
Log:
2017-03-17  Richard Biener  <rguenther@suse.de>

        PR middle-end/80075
        * tree-eh.c (stmt_could_throw_1_p): Only handle gimple assigns.
        Properly verify the LHS before the RHS possibly claims to be
        handled.
        (stmt_could_throw_p): Hande gimple conds fully here.  Clobbers
        do not throw.

        * g++.dg/torture/pr80075.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr80075.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-eh.c