25 Mar
2013
25 Mar
'13
4:27 p.m.
I think this change is fine but we should have dwarflint complain about such malformed DWARF and you should immediately report the bugs in any compilers known to produce it.