On 11/11/22 09:22, Aldy Hernandez wrote:
A return of false means the operation is not handled, similar to what the default operators defined at the top of range-op*.cc do. The caller (gori?) is free to disregard the range altogether. In practice this means VARYING, so you're getting the same behavior. But you should probably return TRUE,
When false is returned, the range i suppose to be ignored as it is not guaranteed to be set. It means, "I cant tell you anything additional to what is already known". (which is similar to returning VARYING..)
Andrew
