> 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? -- Eric Botcazou
