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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I think this is working as designed.  You explictly flushed the gcov buffers;
therefor it is not going to be flushed again.

Reply via email to