https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123569
--- Comment #5 from uecker at gcc dot gnu.org --- This specific wrong code is fixed on trunk, but I am still clarifying the requirements for counted_by in this case. See: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125524
