]> git.ipfire.org Git - thirdparty/gcc.git/commit
Allow IPA_CP to handle UNDEFINED as VARYING.
authorAndrew MacLeod <amacleod@redhat.com>
Mon, 5 May 2025 16:17:13 +0000 (12:17 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Tue, 6 May 2025 14:45:44 +0000 (10:45 -0400)
commit93b85bdf830477fec8db1d8afcaca13530776161
treeee795d0fffd3eb4e3919527012b7bb314fd9b085
parent9d9800938ef61b7978abb33a8b202beeb3efed6b
Allow IPA_CP to handle UNDEFINED as VARYING.

When applying a bitmask to reflect ranges, it is sometimes deferred and
this can result in an UNDEFINED result.  IPA is not expecting this, and
add a check for it, and convert to VARYING if encountered.

PR tree-optimization/120048
gcc/
* ipa-cp.cc (ipcp_store_vr_results): Check for UNDEFINED.

gcc/testsuite/
* gcc.dg/pr120048.c: New.
gcc/ipa-cp.cc
gcc/testsuite/gcc.dg/pr120048.c [new file with mode: 0644]