https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97834
--- Comment #3 from Nathan Sidwell <nathan at gcc dot gnu.org> --- gcov has its own buffer. Hm, perhaps its not (no longer?) matching typical disc block sizes. Back then they were 512bytes, now they're usually 4K, right? Is gcov's buffer 1K?