[PATCH, debug] Emit basic block markers in .debug_line section

[Tom Tromey]

>>>>> "Roberto" == Roberto Agostino Vitillo <ravitillo@lbl.gov> writes:

Roberto> I ended up not using it and it's clear to me that its practical
Roberto> uses may be questionable ("fast" single stepping in a
Roberto> debugger?) but I thought it might be worth to share it.

Thanks.

I think that if there is no use for the output, then the patch should
not go in.

Tom