tree-optimization/97151 - improve PTA for C++ operator delete

C++ operator delete, when DECL_IS_REPLACEABLE_OPERATOR_DELETE_P,
does not cause the deleted object to be escaped.  It also has no
other interesting side-effects for PTA so skip it like we do
for BUILT_IN_FREE.

2020-09-23  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/97151
	* tree-ssa-structalias.c (find_func_aliases_for_call):
	DECL_IS_REPLACEABLE_OPERATOR_DELETE_P has no effect on
	arguments.

	* g++.dg/cpp1y/new1.C: Adjust for two more handled transforms.
This commit is contained in:
Richard Biener 2020-09-23 10:11:03 +02:00
parent 371f0b990f
commit 9e64f17d04
2 changed files with 4 additions and 2 deletions

View File

@ -69,5 +69,5 @@ test_unused() {
delete p;
}
/* { dg-final { scan-tree-dump-times "Deleting : operator delete" 5 "cddce1"} } */
/* { dg-final { scan-tree-dump-times "Deleting : _\\d+ = operator new" 7 "cddce1"} } */
/* { dg-final { scan-tree-dump-times "Deleting : operator delete" 6 "cddce1"} } */
/* { dg-final { scan-tree-dump-times "Deleting : _\\d+ = operator new" 8 "cddce1"} } */

View File

@ -4857,6 +4857,8 @@ find_func_aliases_for_call (struct function *fn, gcall *t)
point for reachable memory of their arguments. */
else if (flags & (ECF_PURE|ECF_LOOPING_CONST_OR_PURE))
handle_pure_call (t, &rhsc);
else if (fndecl && DECL_IS_REPLACEABLE_OPERATOR_DELETE_P (fndecl))
;
else
handle_rhs_call (t, &rhsc);
if (gimple_call_lhs (t))