This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: More front end type mismatch problems
- From: Paul Schlie <schlie at comcast dot net>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: Andrew Pinski <pinskia at physics dot uc dot edu>,<gcc at gcc dot gnu dot org>,Richard Henderson <rth at redhat dot com>
- Date: Sat, 28 May 2005 12:09:51 -0400
- Subject: Re: More front end type mismatch problems
> From: Diego Novillo <dnovillo@redhat.com>
>> On Sat, May 28, 2005 at 01:02:49AM -0400, Paul Schlie wrote:
>> Especially for the purpose of VRP, why wouldn't it be most ideally
>> appropriate to define the result of a comparison to be a _Bool, as it's
>> constrained to the range of 0:1; and by "usual arithmetic conversion",
>> need only typically be promoted to a char rank integer (presuming _Bool
>> is not specified to be of greater rank than char) ...
> Read my original message. (_Bool)1 + (_Bool)1 is folded to 0. I
> needed it to be folded to 2.
- Yes thanks; but my point was that the result of comparison should remain
'_Bool' not 'int', and be properly promoted to likely 'char' not 'int'. As
for VRP to be most useful it needs to know the minimal precision required.