[PATCH][1/n] Make sizetype no longer sign-extended

Eric Botcazou ebotcazou@adacore.com
Wed Aug 17 18:56:00 GMT 2011


> 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  <rguenther@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



More information about the Gcc-patches mailing list