[PATCH] Pass multi-range from range_query::value_* routines

Andrew MacLeod amacleod@redhat.com
Thu Nov 5 20:32:58 GMT 2020

As detailed in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97725

This was a latent bug where we were passing a value_range into to 
range_ops for aq calculation. This was being used by the 
not_equal::fold() routine as an intermediary as one point, and it 
couldnt represent the full range, and info was lost.

fix si to pass an int_range_max instead of a value range, and to also 
adjust the equal/not_equal fold routines to use a normal intermediary 
range instead of counting on the return range which it knows nothing about.

Bootstrapped on x86_64-pc-linux-gnu, no regressions.  pushed.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: 725.diff
Type: text/x-patch
Size: 3240 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20201105/e63592d8/attachment.bin>

More information about the Gcc-patches mailing list