diff options
| author | Richard Biener <rguenther@suse.de> | 2020-02-11 10:52:31 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-02-11 10:53:31 +0100 |
| commit | 9714f1a70d184fb6d282ac543c57734ed1fb39ac (patch) | |
| tree | fb53fdfefed3ec4b2302ceb7b8754921ffa7f775 /gcc | |
| parent | dfffecb802681fbdb56629d3bdd96491ac660be0 (diff) | |
| download | gcc-9714f1a70d184fb6d282ac543c57734ed1fb39ac.zip gcc-9714f1a70d184fb6d282ac543c57734ed1fb39ac.tar.gz gcc-9714f1a70d184fb6d282ac543c57734ed1fb39ac.tar.bz2 | |
tree-optimization/93661 properly guard tree_to_poly_int64
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-sra.c | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-sccvn.c | 1 |
4 files changed, 19 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9f44b6f..3eafd66 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -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 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 81ebea0..1844550 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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 diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index ea8594d..f03ad3a 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -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; } diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index 2ffbc64..33cd12b 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -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) |