]> git.ipfire.org Git - thirdparty/gcc.git/commit
Disable decimal floating point in frange.
authorAldy Hernandez <aldyh@redhat.com>
Mon, 5 Sep 2022 13:41:39 +0000 (15:41 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Mon, 5 Sep 2022 15:57:25 +0000 (17:57 +0200)
commitb4d8a56a4c62ba8bca55469ae2b841fb4e1334a4
tree22733b97adc15a7a01817f4d5dfe987c6dd6ed45
parentba0db24386107ffa237a2af0d1fdef9030460157
Disable decimal floating point in frange.

As Jakub mentioned in the PR, because many numbers have multiple
possible representations, we can't reliably return true for singleton_p.
For that matter, we may not be capable of modeling them just yet.
Disabling them until someone with DFP knowledge can opine or extend
frange.

PR middle-end/106831

gcc/ChangeLog:

* value-range.h (frange::supports_p): Disable decimal floats.
* range-op-float.cc (frange_drop_inf): Remove DECIMAL_FLOAT_MODE_P
check.
(frange_drop_ninf): Same.
gcc/range-op-float.cc
gcc/value-range.h