From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14545 invoked by alias); 13 May 2011 22:33:01 -0000 Received: (qmail 14537 invoked by uid 22791); 13 May 2011 22:33:01 -0000 X-SWARE-Spam-Status: No, hits=-1.9 required=5.0 tests=AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from mel.act-europe.fr (HELO mel.act-europe.fr) (194.98.77.210) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 13 May 2011 22:32:46 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id B5944CB0202; Sat, 14 May 2011 00:32:45 +0200 (CEST) Received: from mel.act-europe.fr ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id stLWBcV-EU2M; Sat, 14 May 2011 00:32:42 +0200 (CEST) Received: from [192.168.1.2] (bon31-9-83-155-120-49.fbx.proxad.net [83.155.120.49]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mel.act-europe.fr (Postfix) with ESMTP id AE9F7CB01F8; Sat, 14 May 2011 00:32:42 +0200 (CEST) From: Eric Botcazou To: Andrew Pinski Subject: Re: [patch gimplifier]: Make sure TRUTH_NOT_EXPR has boolean_type_node type and argument Date: Sat, 14 May 2011 07:15:00 -0000 User-Agent: KMail/1.9.9 Cc: gcc-patches@gcc.gnu.org, Kai Tietz , Richard Guenther References: In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <201105140026.01280.ebotcazou@adacore.com> 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 X-SW-Source: 2011-05/txt/msg01026.txt.bz2 > In Fortran (and maybe other langauges) there are booleans with > different sizes but the same precision. Ada doesn't have a C-like boolean type either. The patches have introduced: FAIL: gnat.dg/lto1.adb (test for excess errors) /home/eric/svn/gcc/gcc/testsuite/gnat.dg/lto1_pkg.adb:23:1: error: type mismatch in binary truth expression boolean boolean boolean D.2419_18 = D.2417_16 || D.2418_17; +===========================GNAT BUG DETECTED==============================+ | 4.7.0 20110513 (experimental) [trunk revision 173737] (i586-suse-linux-gnu) GCC error:| | verify_gimple failed -- Eric Botcazou