This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Fix optimization regression in constant folder
firstname.lastname@example.org (Richard Kenner) writes:
> But what's the problem here? We have a flag, TYPE_IS_SIZETYPE. We have
> a transformation and we want to decide if it's safe for sizetypes. So we
> look at it and figure it out, knowing what we know about sizetypes. If it's
> safe, we say "|| TYPE_IS_SIZETYPE" and if not we say "&& !TYPE_IS_SIZETYPE".
> It's as simple as that. There's no reason why we have to try to invent
> yet another flag that describes the semantics: we already have one that
> does the job just fine!
But the rest of us don't understand the semantics of sizetypes. That
is why we are trying to pin it down in terms of other flags. We
understand what those other flags mean.