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