On Thu, Jan 09, 2014 at 12:48:49PM +0100, Richard Biener wrote:
> *************** gimple_canonical_types_compatible_p (tre
> *** 458,465 ****
> return true;
>
> /* Can't be the same type if they have different alignment, or mode. */
> ! if (TYPE_ALIGN (t1) != TYPE_ALIGN (t2)
> ! || TYPE_MODE (t1) != TYPE_MODE (t2))
> return false;
>
> /* Non-aggregate types can be handled cheaply. */
> --- 451,457 ----
> return true;
>
> /* Can't be the same type if they have different alignment, or mode. */
> ! if (TYPE_MODE (t1) != TYPE_MODE (t2))
The comment needs updating then.
Jakub
