------- Additional Comments From jbuck at gcc dot gnu dot org 2005-07-25 20:54 ------- It's OK if NVR uses the same location and emits no code, and if coverage information reflects this. The problem is that part of the coverage machinery appears to "think" that there is unreached code on the line with the return statement, so a "#####" is output rather than a "-". Emitting a "-" rather than a count would also be OK, and arguably correct if there is no real object code corresponding to the source line.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12076
