Sept. 17, 2014
11:12 p.m.
Hi! FYI: For mysterious reasons, I was now able to reproduce this bug with "-O0" in gdb, so a fix was not so difficult anymore and is now in the main repository. Nevertheless, thanks for your help. Sebastian PS: (i) "-O1" still showed too much <optimized out>, and (ii) valgrind did not help, either.