On Fri, 01 Feb 2013 20:13:23 +0100, Tom Tromey wrote: > I wonder if this works. Yes, I had such initial patch, it worked. Just in this patch - or it can be another patch - I believe it should be more foolproof against other possibly broken debug infos. Jan