PATCH to shorten_compare -Wtype-limits handling

[Jeff Law]

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