http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54487
--- Comment #6 from Teresa Johnson <tejohnson at google dot com> 2012-09-05 19:02:51 UTC --- I finally got a reproducer for the error that H.J. reported. I will work on fixing that first. Markus, I looked at the gcda file you sent but don't see anything obviously wrong with it. gcov-dump reports that most of the counts in that file are 0 or very small, so I am not sure why there were messages about exceeding the maximal count.
