https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109593
--- 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:5830953a446959c5d8d9b569ffcd3e3bb16a06dc commit r14-174-g5830953a446959c5d8d9b569ffcd3e3bb16a06dc Author: Aldy Hernandez <al...@redhat.com> Date: Sun Apr 23 08:04:55 2023 +0200 Handle NANs in frange::operator== [PR109593] This patch... commit 10e481b154c5fc63e6ce4b449ce86cecb87a6015 Return true from operator== for two identical ranges containing NAN. removed the check for NANs, which caused us to read from m_min and m_max which are undefined for NANs. gcc/ChangeLog: PR tree-optimization/109593 * value-range.cc (frange::operator==): Handle NANs.