From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 54519 invoked by alias); 4 May 2015 14:21:27 -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 54506 invoked by uid 89); 4 May 2015 14:21:27 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.9 required=5.0 tests=AWL,BAYES_05,KAM_LAZY_DOMAIN_SECURITY,T_RP_MATCHES_RCVD autolearn=no version=3.3.2 X-HELO: smtp-relay.CeBiTec.Uni-Bielefeld.DE Received: from snape.CeBiTec.Uni-Bielefeld.DE (HELO smtp-relay.CeBiTec.Uni-Bielefeld.DE) (129.70.160.84) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 04 May 2015 14:21:25 +0000 Received: from localhost (localhost.CeBiTec.Uni-Bielefeld.DE [127.0.0.1]) by smtp-relay.CeBiTec.Uni-Bielefeld.DE (Postfix) with ESMTP id B69B6D1F; Mon, 4 May 2015 16:21:23 +0200 (CEST) Received: from smtp-relay.CeBiTec.Uni-Bielefeld.DE ([127.0.0.1]) by localhost (malfoy.CeBiTec.Uni-Bielefeld.DE [127.0.0.1]) (amavisd-new, port 10024) with LMTP id WBxGRQUhdiT1; Mon, 4 May 2015 16:21:21 +0200 (CEST) Received: from lokon.CeBiTec.Uni-Bielefeld.DE (lokon.CeBiTec.Uni-Bielefeld.DE [129.70.161.110]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp-relay.CeBiTec.Uni-Bielefeld.DE (Postfix) with ESMTPS id 2A44AD1E; Mon, 4 May 2015 16:21:21 +0200 (CEST) Received: (from ro@localhost) by lokon.CeBiTec.Uni-Bielefeld.DE (8.15.1+Sun/8.15.1/Submit) id t44ELK0X009318; Mon, 4 May 2015 16:21:20 +0200 (CEST) From: Rainer Orth To: Jan Hubicka Cc: gcc-patches@gcc.gnu.org Subject: Re: Extend verify_type to check various uses of TYPE_MINVAL References: <20150503160833.GA529@kam.mff.cuni.cz> Date: Mon, 04 May 2015 14:21:00 -0000 In-Reply-To: <20150503160833.GA529@kam.mff.cuni.cz> (Jan Hubicka's message of "Sun, 3 May 2015 18:08:33 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (usg-unix-v) MIME-Version: 1.0 Content-Type: text/plain X-IsSubscribed: yes X-SW-Source: 2015-05/txt/msg00216.txt.bz2 Jan Hubicka writes: > Hi, > this patch extends verify_type to check various uses of TYPE_MINVAL. > I also added check that MIN_VALUE have compatible type with T: > useless_type_conversion_p (const_cast (t), TREE_TYPE (TYPE_MIN_VALUE (t))) > but that one fails interesting ways for C sizetype. I will try to look > into this and thus this patch omits it. > > The main motivation is to check that various frontend overrides of TYPE_MINVAL > are under control. > > Bootstrapped/regtested x86_64-linux, will commit it as obvious. Not obvious enough, it seems: this patch broke gnat.dg/lto* tests at least on i386-pc-solaris2.10. E.g. FAIL: gnat.dg/lto1.adb (test for excess errors) WARNING: gnat.dg/lto1.adb compilation failed to produce executable FAIL: gnat.dg/lto1.adb (test for excess errors) Excess errors: /vol/gcc/src/hg/trunk/solaris/gcc/testsuite/gnat.dg/lto1_pkg.adb:23:1: error: TYPE_MIN_VALUE is not constant unit size align 32 symtab 0 alias set -1 canonical type fea16000 precision 32 min max > > unit size align 32 symtab 0 alias set -1 canonical type fea16000 precision 32 min max > sizes-gimplified visited SI size unit size align 32 symtab 0 alias set -1 canonical type feb67ba0 precision 32 min max index type unit size align 8 symtab 0 alias set -1 canonical type feb67960 precision 8 min max values value chain value chain value chain value >>>> context chain > QI size unit size align 8 symtab 0 alias set -1 canonical type feb67b40 precision 8 min max RM min RM max > chain > Rainer -- ----------------------------------------------------------------------------- Rainer Orth, Center for Biotechnology, Bielefeld University