On Mon, May 06, 2013 at 03:59:48PM +0200, Mark Wielaard wrote: > Make the printing of DW_OP_GNU_implicit_pointer consistent with other > operations that have a DIE offset as argument. I pushed this commit to master.