diff options
| author | Martin Liska <mliska@suse.cz> | 2019-07-30 13:00:35 +0200 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2019-07-30 11:00:35 +0000 |
| commit | 1da8ab97a129ded60471ffcc2595ddce67336cd8 (patch) | |
| tree | ecadba9c3e02b27aff8ff76cdbcd62a2611e04a6 /gcc/tree-ssa-dce.c | |
| parent | c1b3d827832f883e0634b18c88eb2bbde335aa42 (diff) | |
| download | gcc-1da8ab97a129ded60471ffcc2595ddce67336cd8.zip gcc-1da8ab97a129ded60471ffcc2595ddce67336cd8.tar.gz gcc-1da8ab97a129ded60471ffcc2595ddce67336cd8.tar.bz2 | |
Mark 2nd argument of delete operator as needed (PR tree-optimization/91270).
2019-07-30 Martin Liska <mliska@suse.cz>
PR tree-optimization/91270
* tree-ssa-dce.c (propagate_necessity): Mark 2nd argument
of delete operator as needed.
2019-07-30 Martin Liska <mliska@suse.cz>
PR tree-optimization/91270
* g++.dg/torture/pr91270.C: New test.
From-SVN: r273906
Diffstat (limited to 'gcc/tree-ssa-dce.c')
| -rw-r--r-- | gcc/tree-ssa-dce.c | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c index 763b76f..bec13cd 100644 --- a/gcc/tree-ssa-dce.c +++ b/gcc/tree-ssa-dce.c @@ -804,10 +804,11 @@ propagate_necessity (bool aggressive) /* If this is a call to free which is directly fed by an allocation function do not mark that necessary through processing the argument. */ - if (gimple_call_builtin_p (stmt, BUILT_IN_FREE) - || (is_gimple_call (stmt) - && gimple_call_operator_delete_p (as_a <gcall *> (stmt)))) - + bool is_delete_operator + = (is_gimple_call (stmt) + && gimple_call_operator_delete_p (as_a <gcall *> (stmt))); + if (is_delete_operator + || gimple_call_builtin_p (stmt, BUILT_IN_FREE)) { tree ptr = gimple_call_arg (stmt, 0); gimple *def_stmt; @@ -822,7 +823,17 @@ propagate_necessity (bool aggressive) || DECL_FUNCTION_CODE (def_callee) == BUILT_IN_MALLOC || DECL_FUNCTION_CODE (def_callee) == BUILT_IN_CALLOC)) || DECL_IS_REPLACEABLE_OPERATOR_NEW_P (def_callee))) - continue; + { + /* Some delete operators have size as 2nd argument. */ + if (is_delete_operator && gimple_call_num_args (stmt) >= 2) + { + tree size_argument = gimple_call_arg (stmt, 1); + if (TREE_CODE (size_argument) == SSA_NAME) + mark_operand_necessary (size_argument); + } + + continue; + } } FOR_EACH_SSA_TREE_OPERAND (use, stmt, iter, SSA_OP_USE) |