On 2019-02-06 23:05, Simon Marchi wrote:
> I have not yet found the motivation to write a proper test for this
> (in particular, I am not sure how to build the lib with separate debug
> info in the testsuite).  But I attached a reproducer for future
> reference.  You should just need to "make" and "gdb -x run.gdb".  The
> wrong value is printed with today's GDB.

And of course I forgot the attachment... here it is.

Simon