[Bug c/22371] C front-end produces mis-match types in MODIFY_EXPR
rguenther at suse dot de
gcc-bugzilla@gcc.gnu.org
Wed Aug 22 15:03:00 GMT 2007
------- Comment #11 from rguenther at suse dot de 2007-08-22 15:03 -------
Subject: Re: C front-end produces mis-match types in MODIFY_EXPR
On Wed, 22 Aug 2007, joseph at codesourcery dot com wrote:
> Subject: Re: C front-end produces mis-match types in MODIFY_EXPR
>
> On Wed, 22 Aug 2007, rguenther at suse dot de wrote:
>
> > As far as I see we still need to re-instantiate transitiveness
> > of useless_type_converison_p somehow, by handling all of the
> > aggregate type compatibilities in the middle-end without dispatching
> > back to the frontends. Like with something like
>
> Arrays aren't the only case where C type compatibility isn't transitive.
> For example, two enums compatible with the same integer type aren't
> compatible with each other.
They are as far as the middle-end is concerned, so this is a non-issue
there. The issue is really that for all aggregate types we still ask
the frontend via the langhook for middle-end type compatibility.
Richard.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22371
More information about the Gcc-bugs
mailing list