[Bug gcov-profile/99443] [GCOV] No coverage with "Aborted(core dumped)"

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

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This behavior might even be documented but I have not looked yet.