http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55051
--- Comment #13 from Jan Hubicka <hubicka at gcc dot gnu.org> 2012-11-15 01:03:09 UTC --- OK, the false positive is on quite sloppy code in gcov-io.c. I attached testcase to PR55079 and will fix the gcc_assert specifying the loop bounds to not allow out-of-bound read.
