https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97609
--- Comment #6 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:0162d00d12be24ee3f02ce876adafeaa91c6f7f9 commit r11-4515-g0162d00d12be24ee3f02ce876adafeaa91c6f7f9 Author: Andrew MacLeod <amacl...@redhat.com> Date: Wed Oct 28 16:41:15 2020 -0400 Call infer_non_null() directly when checking for non-null. Simply call infer_non_null directly and avoid uneccessary checks of the statement being modified. gcc/ PR tree-optimization/97609 * gimple-range-cache.cc (non_null_ref::process_name): Call infer_nonnull_range directly instead of infer_value_range. gcc/testsuite/ * g++.dg/pr97609.C: New.