More front end type mismatch problems

Paul Schlie schlie@comcast.net
Sat May 28 22:47:00 GMT 2005


> 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.






More information about the Gcc mailing list