https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109711
--- 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:2b8a27634f5d28e3e7c4a08bf065f2daada7aed2 commit r14-458-g2b8a27634f5d28e3e7c4a08bf065f2daada7aed2 Author: Aldy Hernandez <al...@redhat.com> Date: Wed May 3 17:29:24 2023 +0200 Allow varying ranges of unknown types in irange::verify_range [PR109711] The old legacy code allowed building ranges of unknown types so passes like IPA could build and propagate VARYING. For now it's easiest to allow the old behavior, it's not like you can do anything with these ranges except build them and copy them. Eventually we should convert all users of set_varying() to use supported types. I will address this in my upcoming IPA work. PR tree-optimization/109711 gcc/ChangeLog: * value-range.cc (irange::verify_range): Allow types of error_mark_node.
