More front end type mismatch problems

[Paul Schlie]

> From: Diego Novillo <dnovillo@redhat.com>
>> On Sat, May 28, 2005 at 12:09:51PM -0400, Paul Schlie wrote:
>> - 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.
>> 
> What makes you think that?
> 
> Converting the individual values to the type of the parent
> expression is exactly what VRP needs to do here.  And in fact
> that is exactly what fixes this problem.

Only because I perceived it to be necessary to most ideally/optimally
preserve the value-range result of a comparison expression.  As it was
unclear if a comparison expression were defined as having an 'int' vs.
'bool' result type, if its 0:1 (min:max) value-range would be preserved?