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).
