https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94675
--- Comment #10 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 21 Apr 2020, law at redhat dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94675 > > --- Comment #9 from Jeffrey A. Law <law at redhat dot com> --- > Yea, unrolling and the array-bounds warning do have bad interactions. Note I agree they don't belong in the SSA based VRP pass. Driving them from the DOM-based early VRP range analysis engine would be better. I still would like to see the SSA propagator VRP pass to go away (its jump threading is another blocker there).