On Fri, Jul 13, 2012 at 1:11 AM, Richard Guenther <rguent...@suse.de> wrote:
>
> A patch that's in my local tree for quite some time. This removes
> redundant tests.
>
> LTO bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
>
> Richard.
>
> 2012-07-13 Richard Guenther <rguent...@suse.de>
>
> * gimple.c (gimple_types_compatible_p_1): Remove redundant
> type attribute comparisons.
> (gimple_canonical_types_compatible_p): Likewise.
>
> Index: gcc/gimple.c
> ===================================================================
> --- gcc/gimple.c (revision 189311)
> +++ gcc/gimple.c (working copy)
> @@ -3422,10 +3422,6 @@ gimple_types_compatible_p_1 (tree t1, tr
> goto different_types;
> }
>
> - /* If their attributes are not the same they can't be the same type. */
> - if (!attribute_list_equal (TYPE_ATTRIBUTES (t1), TYPE_ATTRIBUTES (t2)))
> - goto different_types;
> -
> /* Do type-specific comparisons. */
> switch (TREE_CODE (t1))
> {
I don't see why this is redundant since attributes aren't checked anywhere
else. Revert this part fixes:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53959
--
H.J.
