[patch] Deal with larger anti-ranages in compare_range_with_value
Tom Truscott
trt@unx.sas.com
Wed Jul 27 17:26:00 GMT 2005
Interesting. But don't EQ/NE work the same way?
E.g. ~[0,1] != 0 should be considered true, I think.
Something like:
/* VAL_1 <= VAL <= VAL_2 implies ~[VAL1, VAL2] != VAL */
if ((min_comp == 0 || min_comp == -1) && (max_comp == 0 || max_comp == 1))
return (comp == NE_EXPR) ? boolean_true_node : boolean_false_node;
Tom Truscott
More information about the Gcc-patches
mailing list