[Bug gcov-profile/95994] Line containing "do" reported as "not run"

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 96000 has been marked as a duplicate of this bug. ***