]> git.ipfire.org Git - thirdparty/gcc.git/commit
Allow IPA_CP to handle UNDEFINED as VARYING.
authorAndrew MacLeod <amacleod@redhat.com>
Fri, 2 May 2025 19:48:08 +0000 (15:48 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Mon, 5 May 2025 15:13:18 +0000 (11:13 -0400)
commit7f285b7ad7cb89a9b29b52e0d25a7666dc9bd645
tree67b9a76ea5b6f9091b10cf96c4172b2f70a49e83
parentfcc74146e3e0bfd30f9ccc12359991d73fe928f9
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]