From 2f3ec56d606df6665d93599b2a018db631a13113 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 21 Feb 2017 15:39:21 +0100 Subject: [PATCH] re PR target/79494 (ICE in maybe_record_trace_start, at dwarf2cfi.c:2330) PR target/79494 * config/i386/i386.c (ix86_expand_split_stack_prologue): Call make_reg_eh_region_note_nothrow_nononlocal on call_insn. * config/rs6000/rs6000.c: Include except.h. (rs6000_expand_split_stack_prologue): Call make_reg_eh_region_note_nothrow_nononlocal on the call insn. * gcc.dg/pr79494.c: New test. From-SVN: r245629 --- gcc/ChangeLog | 9 +++++++++ gcc/config/i386/i386.c | 2 ++ gcc/config/rs6000/rs6000.c | 3 +++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr79494.c | 22 ++++++++++++++++++++++ 5 files changed, 41 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr79494.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1286f16d546..0d39438c673 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2017-02-21 Jakub Jelinek + + PR target/79494 + * config/i386/i386.c (ix86_expand_split_stack_prologue): Call + make_reg_eh_region_note_nothrow_nononlocal on call_insn. + * config/rs6000/rs6000.c: Include except.h. + (rs6000_expand_split_stack_prologue): Call + make_reg_eh_region_note_nothrow_nononlocal on the call insn. + 2017-02-21 Martin Jambor PR lto/79579 diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index fe2dd6a0ce7..14ac189fc42 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -15057,6 +15057,8 @@ ix86_expand_split_stack_prologue (void) add_function_usage_to (call_insn, call_fusage); if (!TARGET_64BIT) add_reg_note (call_insn, REG_ARGS_SIZE, GEN_INT (0)); + /* Indicate that this function can't jump to non-local gotos. */ + make_reg_eh_region_note_nothrow_nononlocal (as_a (call_insn)); /* In order to make call/return prediction work right, we now need to execute a return instruction. See diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c index 41ad008e2a2..25b10f12742 100644 --- a/gcc/config/rs6000/rs6000.c +++ b/gcc/config/rs6000/rs6000.c @@ -66,6 +66,7 @@ #include "builtins.h" #include "context.h" #include "tree-pass.h" +#include "except.h" #if TARGET_XCOFF #include "xcoffout.h" /* get declarations of xcoff_*_section_name */ #endif @@ -31680,6 +31681,8 @@ rs6000_expand_split_stack_prologue (void) split_stack_return use r0. */ use_reg (&call_fusage, r0); add_function_usage_to (insn, call_fusage); + /* Indicate that this function can't jump to non-local gotos. */ + make_reg_eh_region_note_nothrow_nononlocal (insn); emit_insn (gen_frame_load (r0, r1, info->lr_save_offset)); insn = emit_move_insn (lr, r0); add_reg_note (insn, REG_CFA_RESTORE, lr); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7161eb0cfda..b9c70a7b77b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-02-21 Jakub Jelinek + + PR target/79494 + * gcc.dg/pr79494.c: New test. + 2017-02-21 Segher Boessenkool * gcc.dg/plugin/diagnostic-test-expressions-1.c: Add -Wno-psabi diff --git a/gcc/testsuite/gcc.dg/pr79494.c b/gcc/testsuite/gcc.dg/pr79494.c new file mode 100644 index 00000000000..e8543f8c43f --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr79494.c @@ -0,0 +1,22 @@ +/* PR target/79494 */ +/* { dg-do compile } */ +/* { dg-require-effective-target split_stack } */ +/* { dg-options "-O2 -fsplit-stack -g" } */ + +void +foo (int a) +{ + __label__ lab; + __attribute__((noinline, noclone)) void bar (int b) + { + switch (b) + { + case 1: + goto lab; + case 2: + goto lab; + } + } + bar (a); +lab:; +} -- 2.30.2