On 03/07/2018 04:04 PM, Richard Sandiford wrote:
Martin Sebor <mse...@gmail.com> writes:
@@ -409,23 +412,33 @@ builtin_memref::set_base_and_offset (tree expr)
base = get_inner_reference (expr, &bitsize, &bitpos, &var_off,
&mode, &sign, &reverse, &vol);
+ /* get_inner_reference is not expected to return null. */
+ gcc_assert (base != NULL);
+
poly_int64 bytepos = exact_div (bitpos, BITS_PER_UNIT);
- HOST_WIDE_INT const_off;
- if (!base || !bytepos.is_constant (&const_off))
+ /* Convert the poly_int64 offset to to offset_int. The offset
+ should be constant but be prepared for it not to be just in
+ case. */
I know it's just repeating what I said in the other reply, but I think
we should drop this comment. It doesn't add anything and it will quickly
become out of date once the frontend supports variable-length types.
For some reason I never got the email you're referring to (I just
found it in the archives, after some head scratching as to what
you meant above).
I added the comment based on your feedback that it can't happen
yet (as an explanation for not calling to_constant() instead),
but I'll remove it before I commit the patch.
Otherwise, I only made these changes here because Jakub asked
me to. They are unrelated to the fix for the ICE and so they
should have been made independently of it. But since they are
correct and any difference in efficiency between HOST_WIDE_INT
and offset_int here is surely insignificant (and since you
also said you were fine either way) I'll leave the offset_int
in place.
Thanks
Martin
