From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 111727 invoked by alias); 19 Nov 2015 17:54:38 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 111672 invoked by uid 89); 19 Nov 2015 17:54:38 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.0 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD,SPF_HELO_PASS autolearn=ham version=3.3.2 X-Spam-User: qpsmtpd, 2 recipients X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Thu, 19 Nov 2015 17:54:37 +0000 Received: from int-mx10.intmail.prod.int.phx2.redhat.com (int-mx10.intmail.prod.int.phx2.redhat.com [10.5.11.23]) by mx1.redhat.com (Postfix) with ESMTPS id CD8387D; Thu, 19 Nov 2015 17:54:35 +0000 (UTC) Received: from localhost.localdomain (ovpn-113-91.phx2.redhat.com [10.3.113.91]) by int-mx10.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id tAJHsZ7d028161; Thu, 19 Nov 2015 12:54:35 -0500 Subject: Re: PATCH to shorten_compare -Wtype-limits handling To: =?UTF-8?B?TWFudWVsIEzDs3Blei1JYsOhw7Fleg==?= References: <564D4F77.3010005@redhat.com> <564E023A.5040301@redhat.com> Cc: David Edelsohn , Jason Merrill , gcc-patches List , =?UTF-8?B?TWFudWVsIEzDs3Blei1JYsOhw7Fleg==?= From: Jeff Law Message-ID: <564E0CDB.1070800@redhat.com> Date: Thu, 19 Nov 2015 17:54:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-IsSubscribed: yes X-SW-Source: 2015-11/txt/msg02402.txt.bz2 On 11/19/2015 10:48 AM, Manuel López-Ibáñez wrote: > On 19 November 2015 at 17:09, Jeff Law 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