https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100512
--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>: https://gcc.gnu.org/g:3f476de7fd274f619a0b04c2e2f7077ee8ab17a5 commit r12-852-g3f476de7fd274f619a0b04c2e2f7077ee8ab17a5 Author: Andrew MacLeod <amacl...@redhat.com> Date: Mon May 17 15:53:39 2021 -0400 Once a range becomes constant, make it invariant. Once a range is forced to a constant globally, simply make it invariant. Unify this with the code which makes non-zero pointer ranges invariant. gcc/ PR tree-optimization/100512 * gimple-range-cache.cc (ranger_cache::set_global_range): Mark const and non-zero pointer ranges as invariant. * gimple-range.cc (gimple_ranger::range_of_stmt): Remove pointer processing from here. gcc/testsuite/ PR tree-optimization/100512 * gcc.dg/pr100512.c: New.