Re: PATCH to shorten_compare -Wtype-limits handling

[Jeff Law <law at redhat dot com>]

On 11/19/2015 10:48 AM, Manuel LÃpez-IbÃÃez wrote:
> On 19 November 2015 at 17:09, Jeff Law <law@redhat.com> wrote:
> > The even longer term direction for this code is to separate out the
> > type-limits warning from the canonicalization and shortening.  I've got a
> > blob of code form Kai that goes in that direction, but it needs more
> > engineering around it.
> >
> > Ideally the canonicalization/shortening moves into match.pd.  The warning,
> > in theory, moves out of the front-ends as well.
>
> The last attempt by Kai was here:
> https://gcc.gnu.org/ml/gcc-patches/2015-09/msg01265.html
Right.  THe problem is there wasn't any real information on how that 
affected code generation.


> But there were a couple of patches from you some time ago, for
> example: http://permalink.gmane.org/gmane.comp.gcc.patches/343476
>
> What happened with those?
On hold pending fixing the type-limits warning placement.  Essentially 
that has to be untangled first.

> There is also https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51712 It
> would be great if that was eventually fixed in the new delay-folding
> world.
Noted.

jeff