https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89673
--- Comment #2 from Yibiao Yang <yangyibiao at nju dot edu.cn> --- (In reply to Martin Liška from comment #1) > Confirmed, again an empty label, thus we generate not precise results. I am not sure whether this is really a bug or only default behavior of gcov. Since these two labels are close to each other and the first label is followed with empty statement, it is reasonable to combine these two labels together. Thus, I am wondering this is the default behavior of gcov. Am I right?
