[Bug gcov-profile/86411] Some lines are considered as uncoverable when using __gcov_flush

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Marco Castelluccio from comment #2)
> Line 14 and line 16 should be "#####" (not covered), instead they are "-"
> (not coverable, a line not containing any code).

I don't see a problem with lines 14 and 16 as not being coverable as _exit is
marked as noreturn so they can never be executed (coverable).