On Sun, May 29, 2005 at 08:53:55AM -0400, Paul Schlie wrote: > 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? > OK, now you have completely lost me. I have no idea what you are talking about.
If you think there's a VRP bug somewhere, send me a test cases showing what the bug is? Diego.