diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-03-12 11:32:54 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-03-12 11:32:54 +0000 |
| commit | 1c1a1b9a6a88eefc9b6420840a19fc964725cea9 (patch) | |
| tree | aa5518b7e4f38b4b97980697060af4ff059ecb56 | |
| parent | 490ee78a39cc213839d963d7917937839b8b4dec (diff) | |
| download | gcc-1c1a1b9a6a88eefc9b6420840a19fc964725cea9.tar.gz | |
PR ada/70017
* calls.c (emit_library_call_value_1): Clear the ECF_NOTHROW flag if
the libcall is LCT_THROW.
* explow.c (probe_stack_range): Pass LCT_THROW to emit_library_call
for the checking routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@234160 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/calls.c | 4 | ||||
| -rw-r--r-- | gcc/explow.c | 2 |
3 files changed, 11 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6fd40f57436..0ee79e0c0a4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2016-03-12 Eric Botcazou <ebotcazou@adacore.com> + + PR ada/70017 + * calls.c (emit_library_call_value_1): Clear the ECF_NOTHROW flag if + the libcall is LCT_THROW. + * explow.c (probe_stack_range): Pass LCT_THROW to emit_library_call + for the checking routine. + 2016-03-11 Michael Meissner <meissner@linux.vnet.ibm.com> PR target/70131 diff --git a/gcc/calls.c b/gcc/calls.c index 8f573b83430..7b28f4315ab 100644 --- a/gcc/calls.c +++ b/gcc/calls.c @@ -3852,7 +3852,7 @@ emit_library_call_value_1 (int retval, rtx orgfun, rtx value, reg_parm_stack_space = REG_PARM_STACK_SPACE ((tree) 0); #endif - /* By default, library functions can not throw. */ + /* By default, library functions cannot throw. */ flags = ECF_NOTHROW; switch (fn_type) @@ -3869,7 +3869,7 @@ emit_library_call_value_1 (int retval, rtx orgfun, rtx value, flags |= ECF_NORETURN; break; case LCT_THROW: - flags = ECF_NORETURN; + flags &= ~ECF_NOTHROW; break; case LCT_RETURNS_TWICE: flags = ECF_RETURNS_TWICE; diff --git a/gcc/explow.c b/gcc/explow.c index cd7c56813f3..249318f44b5 100644 --- a/gcc/explow.c +++ b/gcc/explow.c @@ -1566,7 +1566,7 @@ probe_stack_range (HOST_WIDE_INT first, rtx size) stack_pointer_rtx, plus_constant (Pmode, size, first))); - emit_library_call (stack_check_libfunc, LCT_NORMAL, VOIDmode, 1, addr, + emit_library_call (stack_check_libfunc, LCT_THROW, VOIDmode, 1, addr, Pmode); } |