diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2023-01-26 04:46:54 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2023-04-18 15:22:23 +0200 |
| commit | 10e481b154c5fc63e6ce4b449ce86cecb87a6015 (patch) | |
| tree | 918728044c2eca9b0f877a7ed9f70ea3984bac91 /gcc/ada/gcc-interface/utils.cc | |
| parent | 4d747ea3a4e5b94eda4a46dada0726eaa1b7b5fd (diff) | |
| download | gcc-10e481b154c5fc63e6ce4b449ce86cecb87a6015.zip gcc-10e481b154c5fc63e6ce4b449ce86cecb87a6015.tar.gz gcc-10e481b154c5fc63e6ce4b449ce86cecb87a6015.tar.bz2 | |
Return true from operator== for two identical ranges containing NAN.
The == operator for ranges signifies that two ranges contain the same
thing, not that they are ultimately equal. So [2,4] == [2,4], even
though one may be a 2 and the other may be a 3. Similarly with two
VARYING ranges.
There is an oversight in frange::operator== where we are returning
false for two identical NANs. This is causing us to never cache NANs
in sbr_sparse_bitmap::set_bb_range.
gcc/ChangeLog:
* value-range.cc (frange::operator==): Adjust for NAN.
(range_tests_nan): Remove some NAN tests.
Diffstat (limited to 'gcc/ada/gcc-interface/utils.cc')
0 files changed, 0 insertions, 0 deletions