Jean-Marc Lasgouttes wrote: > I suspect a compiler bug.
After further thinking about it I agree and reported it: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67557 >> The attached patch fixes the crash. Shall I apply it? > > Sure, it makes the code cleaner anyway. Did you try to run valgrind with > it to make sure that everything is OK? Yes, and it did not complain. Georg
