diff options
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 9940f50..27f7c37 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4952,7 +4952,9 @@ vrp_prop::search_for_addr_array (tree t, location_t location) || TREE_CODE (el_sz) != INTEGER_CST) return; - idx = mem_ref_offset (t); + if (!mem_ref_offset (t).is_constant (&idx)) + return; + idx = wi::sdiv_trunc (idx, wi::to_offset (el_sz)); if (idx < 0) { @@ -5266,7 +5268,6 @@ remove_range_assertions (void) } } - /* Return true if STMT is interesting for VRP. */ bool |