]> git.ipfire.org Git - thirdparty/gcc.git/commit
Allow varying ranges of unknown types in irange::verify_range [PR109711]
authorAldy Hernandez <aldyh@redhat.com>
Wed, 3 May 2023 15:29:24 +0000 (17:29 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Wed, 3 May 2023 17:15:51 +0000 (19:15 +0200)
commit2b8a27634f5d28e3e7c4a08bf065f2daada7aed2
treedb6b1153e7ddd638f5512cda09beccab20abafef
parentcef0c0bb13e2953b41caca0506ab1d41c56f29de
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.
gcc/testsuite/gcc.dg/tree-ssa/pr109711-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr109711-2.c [new file with mode: 0644]
gcc/value-range.cc