diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2016-05-20 13:58:49 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-05-20 13:58:49 +0200 |
| commit | 1895484016aa288d135e1e475eb3afaa04a4e7b6 (patch) | |
| tree | f40d460b0d22bea9c8d8b3aaed1d75663960dafa /gcc/gimple-fold.c | |
| parent | 6804797178f4c4c831fa43e94f51fdaaad4641f3 (diff) | |
| download | gcc-1895484016aa288d135e1e475eb3afaa04a4e7b6.zip gcc-1895484016aa288d135e1e475eb3afaa04a4e7b6.tar.gz gcc-1895484016aa288d135e1e475eb3afaa04a4e7b6.tar.bz2 | |
re PR c++/71210 (internal compiler error: in assign_temp, at function.c:961)
PR c++/71210
* gimple-fold.c (gimple_fold_call): Do not remove lhs of noreturn
calls if the LHS is variable length or has addressable type.
If targets[0]->decl is a noreturn call with void return type and
zero arguments, adjust fntype and remove lhs in that case.
* g++.dg/opt/pr71210-1.C: New test.
* g++.dg/opt/pr71210-2.C: New test.
From-SVN: r236506
Diffstat (limited to 'gcc/gimple-fold.c')
| -rw-r--r-- | gcc/gimple-fold.c | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index d3968e9..858f484 100644 --- a/gcc/gimple-fold.c +++ b/gcc/gimple-fold.c @@ -3039,10 +3039,25 @@ gimple_fold_call (gimple_stmt_iterator *gsi, bool inplace) } if (targets.length () == 1) { - gimple_call_set_fndecl (stmt, targets[0]->decl); + tree fndecl = targets[0]->decl; + gimple_call_set_fndecl (stmt, fndecl); changed = true; + /* If changing the call to __cxa_pure_virtual + or similar noreturn function, adjust gimple_call_fntype + too. */ + if ((gimple_call_flags (stmt) & ECF_NORETURN) + && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (fndecl))) + && TYPE_ARG_TYPES (TREE_TYPE (fndecl)) + && (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (fndecl))) + == void_type_node)) + gimple_call_set_fntype (stmt, TREE_TYPE (fndecl)); /* If the call becomes noreturn, remove the lhs. */ - if (lhs && (gimple_call_flags (stmt) & ECF_NORETURN)) + if (lhs + && (gimple_call_flags (stmt) & ECF_NORETURN) + && (VOID_TYPE_P (TREE_TYPE (gimple_call_fntype (stmt))) + || ((TREE_CODE (TYPE_SIZE_UNIT (TREE_TYPE (lhs))) + == INTEGER_CST) + && !TREE_ADDRESSABLE (TREE_TYPE (lhs))))) { if (TREE_CODE (lhs) == SSA_NAME) { |