[Bug c/123569] Wrong code when using counted_by attribute

[uecker at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from uecker at gcc dot gnu.org ---

The fix should be backported together with the then needed fix for PR125604