From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2116) id A9E66385742B; Sun, 3 Jul 2022 00:34:28 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A9E66385742B MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Ian Lance Taylor To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-1408] tree-optimization: only DSE trapping insn if -fdelete-dead-exceptions X-Act-Checkin: gcc X-Git-Author: Ian Lance Taylor X-Git-Refname: refs/heads/master X-Git-Oldrev: 20f0f30522de3cfc7e3cff5069deb737ca4c6049 X-Git-Newrev: d86a20ee8bed8840d39ab781c935a411e28fa0b6 Message-Id: <20220703003428.A9E66385742B@sourceware.org> Date: Sun, 3 Jul 2022 00:34:28 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 03 Jul 2022 00:34:28 -0000 https://gcc.gnu.org/g:d86a20ee8bed8840d39ab781c935a411e28fa0b6 commit r13-1408-gd86a20ee8bed8840d39ab781c935a411e28fa0b6 Author: Ian Lance Taylor Date: Fri Jul 1 14:51:45 2022 -0700 tree-optimization: only DSE trapping insn if -fdelete-dead-exceptions gcc/ChangeLog: * tree-ssa-dse.cc (dse_optimize_stmt): Only delete a trapping statement if -fdelete-dead-exceptions. gcc/testsuite/ChangeLog: * g++.dg/torture/except-1.C: New test. Diff: --- gcc/testsuite/g++.dg/torture/except-1.C | 44 +++++++++++++++++++++++++++++++++ gcc/tree-ssa-dse.cc | 3 ++- 2 files changed, 46 insertions(+), 1 deletion(-) diff --git a/gcc/testsuite/g++.dg/torture/except-1.C b/gcc/testsuite/g++.dg/torture/except-1.C new file mode 100644 index 00000000000..7050a33cc27 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/except-1.C @@ -0,0 +1,44 @@ +// { dg-do run { target { i?86-*-linux* i?86-*-gnu* x86_64-*-linux* } } } +// { dg-additional-options "-fexceptions -fnon-call-exceptions -fno-delete-dead-exceptions" } + +#include +#include +#include + +static void +sighandler (int signo, siginfo_t* si, void* uc) +{ + throw (5); +} + +struct S { void *p1, *p2; }; + +struct S v; + +__attribute__ ((noinline)) +int +dosegv () +{ + struct S *p = 0; + struct S s __attribute__((unused)) = *p; + return 0; +} + +int main () +{ + struct sigaction sa; + + memset (&sa, 0, sizeof sa); + sa.sa_sigaction = sighandler; + sigaction (SIGSEGV, &sa, NULL); + sigaction (SIGBUS, &sa, NULL); + + try { + dosegv (); + } + catch (int x) { + return (x != 5); + } + + return 1; +} diff --git a/gcc/tree-ssa-dse.cc b/gcc/tree-ssa-dse.cc index 62efafe384d..8d1739a4510 100644 --- a/gcc/tree-ssa-dse.cc +++ b/gcc/tree-ssa-dse.cc @@ -1463,7 +1463,8 @@ dse_optimize_stmt (function *fun, gimple_stmt_iterator *gsi, sbitmap live_bytes) gimple_call_set_lhs (stmt, NULL_TREE); update_stmt (stmt); } - else + else if (!stmt_could_throw_p (fun, stmt) + || fun->can_delete_dead_exceptions) delete_dead_or_redundant_assignment (gsi, "dead", need_eh_cleanup, need_ab_cleanup); }