https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97520
--- Comment #3 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:966fdb2e12c0347aa3f9efaf5f4e1cd8237fa024 commit r11-4200-g966fdb2e12c0347aa3f9efaf5f4e1cd8237fa024 Author: Andrew MacLeod <amacl...@redhat.com> Date: Wed Oct 21 20:11:16 2020 -0400 Handle a_2= &b properly in range calculations. when processing assignments, we were using the type of b instead of type of &b when computing a range. This was usually filtered out by FRE. turning it off exposed it. gcc/ PR tree-optimization/97520 * gimple-range.cc (range_of_non_trivial_assignment): Handle x = &a by returning a non-zero range. gcc/testsuite/ * gcc.dg/pr97520.c: New.