On Jun 3, 2013, at 1:27 AM, Richard Biener <richard.guent...@gmail.com> wrote: >> Yes. Speaking of which, so how should this be handled? Imagine we have >> asm("# no bytes") before the unreachable. The compiler can't know the size >> (though, the linker can), and yet, a good solution handles this as well. >> Hopefully a dwarf person can weigh in, as engineering a bad solution is >> worse than leaving it broken in my book. > > Let the assembler compute it as difference of two labels?
We do use two labels, one for the start, one for the end.