This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [patch gimplifier]: Make sure TRUTH_NOT_EXPR has boolean_type_node type and argument

From: Eric Botcazou <ebotcazou at adacore dot com>
To: Andrew Pinski <pinskia at gmail dot com>
Cc: gcc-patches at gcc dot gnu dot org, Kai Tietz <ktietz70 at googlemail dot com>, Richard Guenther <richard dot guenther at gmail dot com>
Date: Sat, 14 May 2011 00:26:00 +0200
Subject: Re: [patch gimplifier]: Make sure TRUTH_NOT_EXPR has boolean_type_node type and argument
References: <BANLkTimCEzBM4KAzoOHFL4=39YzLU996-A@mail.gmail.com> <BANLkTimHNDjfnWGg3wWeNzcWx=9QBeaG2g@mail.gmail.com>

> 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

Follow-Ups:
- Re: [patch gimplifier]: Make sure TRUTH_NOT_EXPR has boolean_type_node type and argument
  - From: Kai Tietz

References:
- [patch gimplifier]: Make sure TRUTH_NOT_EXPR has boolean_type_node type and argument
  - From: Kai Tietz
- Re: [patch gimplifier]: Make sure TRUTH_NOT_EXPR has boolean_type_node type and argument
  - From: Andrew Pinski

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]