On Wed, 17 Aug 2011, Eric Botcazou wrote: > > I don't expect any issues, the patch is a noop right now (because > > of that sign-extension of unsigned sizetype), but I'll leave it > > until tomorrow for comments anyway. > > > > Thanks, > > Richard. > > > > 2011-08-17 Richard Guenther <rguent...@suse.de> > > > > * expr.c (get_inner_reference): Sign-extend the constant > > twos-complement offset before doing arbitrary precision > > arithmetic on it. > > * tree-ssa-structalias.c (get_constraint_for_ptr_offset): Likewise. > > (get_constraint_for_1): Pass the offset of a MEM_REF unchanged > > to get_constraint_for_ptr_offset. > > * tree-cfg.c (verify_types_in_gimple_reference): Do not > > compare integer constants by pointer. > > The verify_types_in_gimple_reference change would suggest that we now can > have > TYPE_SIZEs with different types. Is that true?
No, ISTR the issue was arising with LTO where we'd happily merge bitsizetype with sizetype or so. I'll leave out this hunk and will check if that still is a problem after I changed us not to merge sizetypes but leave them alone. Thanks, Richard.
