Hello Basile, thank you for the tips, but I have since managed to get a good backtrace. -O is what I used by compiling GTK with configure flag -Dc_args=-O0. -g did not work with g-golf (this is Guix’ with-debug-info transformation), but stripped binaries with debug info in a separate output and setting GDB_DEBUG_FILE_DIRECTORY as documented in the Guix manual did work. For this I had to patch Guix and change its gtk package to list "debug" in its outputs field.
RefPerSys’ approach to use AGI seems like overkill to me here and its memory and disk space requirements are prohibitively enormous, but as I understand it, it was not your suggestion to use it but just and example. Regards, Florian
