https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119099
--- Comment #6 from Jeffrey A. Law <law at gcc dot gnu.org> --- Sorry my bad. Conflated bi-direction dataflow with the sets expanding/contracting. We don't do bi-directional dataflow in here. In this case it's the dataflow sets contracting and expanding and never converging as a result.
