diff options
| author | Martin Liska <mliska@suse.cz> | 2015-02-11 14:33:47 +0100 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2015-02-11 13:33:47 +0000 |
| commit | c43ade800481f77c8fcd70c6d795b0adee045810 (patch) | |
| tree | 81e26b69e9721be6b9ce0cea3e83f9f11043cfb2 /gcc/cgraphunit.c | |
| parent | ece70d335d7d88dc3524708b854518b997e6cf80 (diff) | |
| download | gcc-c43ade800481f77c8fcd70c6d795b0adee045810.zip gcc-c43ade800481f77c8fcd70c6d795b0adee045810.tar.gz gcc-c43ade800481f77c8fcd70c6d795b0adee045810.tar.bz2 | |
Handle noreturn function thunk creation.
PR ipa/64813
* cgraphunit.c (cgraph_node::expand_thunk): Do not create
a return value for call to a function that is noreturn.
From-SVN: r220616
Diffstat (limited to 'gcc/cgraphunit.c')
| -rw-r--r-- | gcc/cgraphunit.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/cgraphunit.c b/gcc/cgraphunit.c index 48a4b35..f2c40d4 100644 --- a/gcc/cgraphunit.c +++ b/gcc/cgraphunit.c @@ -1580,6 +1580,7 @@ cgraph_node::expand_thunk (bool output_asm_thunks, bool force_gimple_thunk) gcall *call; greturn *ret; + bool alias_is_noreturn = TREE_THIS_VOLATILE (alias); if (in_lto_p) get_untransformed_body (); @@ -1616,7 +1617,7 @@ cgraph_node::expand_thunk (bool output_asm_thunks, bool force_gimple_thunk) bsi = gsi_start_bb (bb); /* Build call to the function being thunked. */ - if (!VOID_TYPE_P (restype)) + if (!VOID_TYPE_P (restype) && !alias_is_noreturn) { if (DECL_BY_REFERENCE (resdecl)) { @@ -1675,14 +1676,14 @@ cgraph_node::expand_thunk (bool output_asm_thunks, bool force_gimple_thunk) callees->call_stmt = call; gimple_call_set_from_thunk (call, true); gimple_call_set_with_bounds (call, instrumentation_clone); - if (restmp) + if (restmp && !alias_is_noreturn) { gimple_call_set_lhs (call, restmp); gcc_assert (useless_type_conversion_p (TREE_TYPE (restmp), TREE_TYPE (TREE_TYPE (alias)))); } gsi_insert_after (&bsi, call, GSI_NEW_STMT); - if (!(gimple_call_flags (call) & ECF_NORETURN)) + if (!alias_is_noreturn) { if (restmp && !this_adjusting && (fixed_offset || virtual_offset)) |