Fix false coverage info for virtual dtors