On Mon, 19 Nov 2018, David Malcolm wrote:
> +/* C implementation of same_type_p.
> + Returns true iff TYPE1 and TYPE2 are the same type, in the usual
> + sense of `same'. */
> +
> +bool
> +same_type_p (tree type1, tree type2)
> +{
> + return comptypes (type1, type2) == 1;
> +}
I don't think "compatible" and "same" are the same concept. Normally in C
you'd be concerned with compatibility; "same type" is only used for the
rule on duplicate typedefs, which uses comptypes_check_different_types.
--
Joseph S. Myers
[email protected]
