https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106831
--- Comment #10 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Aldy Hernandez <al...@gcc.gnu.org>: https://gcc.gnu.org/g:b4d8a56a4c62ba8bca55469ae2b841fb4e1334a4 commit r13-2445-gb4d8a56a4c62ba8bca55469ae2b841fb4e1334a4 Author: Aldy Hernandez <al...@redhat.com> Date: Mon Sep 5 15:41:39 2022 +0200 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.
