]> git.ipfire.org Git - thirdparty/gcc.git/commit
Allow non-null adjustments for pointers even when there is a known range.
authorAldy Hernandez <aldyh@redhat.com>
Thu, 22 Jul 2021 14:03:53 +0000 (16:03 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Thu, 22 Jul 2021 15:29:07 +0000 (17:29 +0200)
commit4048d8a08621820dd6cc6035e13de3c3c82af4a5
treeb8fcf105a222bef8503c43e2be5e69f4313767ef
parent3f7a2374d312112ea9a858dbbb883edf50730e96
Allow non-null adjustments for pointers even when there is a known range.

Fix non_null_ref::adjust_range so it always adjust ranges, not just
varying ranges.  This will allow pointers that have a range, but are not
necessarily non-null, to be adjusted.

gcc/ChangeLog:

* gimple-range-cache.cc (non_null_ref::adjust_range): Replace
varying_p check for null/non-null check.
gcc/gimple-range-cache.cc