https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79891
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- The instrumentation looks ok to me, we can recover all individual BB counts from that. What is the issue is likely the association of BB 5 (the merger block of if (false_var)) with line 13. Not sure where that is done.