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: Sun, 29 May 2005 08:53:55 -0400
- Subject: Re: More front end type mismatch problems
> 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?