On Tue, 24 Jul 2018, Andrew Haley wrote:
Unfortunately, the backtrace isn't giving me file names. I guess that's because these files weren't compiled with debug symbol info (hence "no debugging symbols found")?That's right.
On the other hand, gdb doesn't need debug symbols to know that this function is in libgmp.so and not in f951.
-- Marc Glisse
