[Bug tree-optimization/96146] VRP turns a terminating loop into an infinite loop

[rsandifo at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96146

--- Comment #3 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> 
---
Sorry, scratch that last message.  The optimisation is of course
correct in that case. ;-)