mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 07:40:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

tree-optimization/93661 properly guard tree_to_poly_int64

Browse Source 
2020-02-11  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/93661
	PR tree-optimization/93662
	* tree-ssa-sccvn.c (vn_reference_lookup_3): Properly guard
	tree_to_poly_int64.
	* tree-sra.c (get_access_for_expr): Likewise.

	* gcc.dg/pr93661.c: New testcase.
This commit is contained in:
Richard Biener 2020-02-11 10:52:31 +01:00
parent dfffecb802
commit 9714f1a70d
4 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2020-02-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/93661
PR tree-optimization/93662
* tree-ssa-sccvn.c (vn_reference_lookup_3): Properly guard
tree_to_poly_int64.
* tree-sra.c (get_access_for_expr): Likewise.
2020-02-10 Jakub Jelinek <jakub@redhat.com>
PR target/93637

6
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,9 @@
2020-02-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/93661
PR tree-optimization/93662
* gcc.dg/pr93661.c: New testcase.
2020-02-12 Patrick Palka <ppalka@redhat.com>
PR c++/69448

6
gcc/tree-sra.c
View File

@ -3605,8 +3605,10 @@ get_access_for_expr (tree expr)
if (tree basesize = DECL_SIZE (base))
{
poly_int64 sz = tree_to_poly_int64 (basesize);
if (offset < 0 || known_le (sz, offset))
poly_int64 sz;
if (offset < 0
|| !poly_int_tree_p (basesize, &sz)
|| known_le (sz, offset))
return NULL;
}

1
gcc/tree-ssa-sccvn.c
View File

@ -2504,6 +2504,7 @@ vn_reference_lookup_3 (ao_ref *ref, tree vuse, void *data_,
/* For now handle clearing memory with partial defs. */
else if (known_eq (ref->size, maxsize)
&& integer_zerop (gimple_call_arg (def_stmt, 1))
&& tree_fits_poly_int64_p (len)
&& tree_to_poly_int64 (len).is_constant (&leni)
&& offset.is_constant (&offseti)
&& offset2.is_constant (&offset2i)