Hello tomazzi,

On Sun, 26 Nov 2023 at 19:45, tomazzi <toma...@wp.pl> wrote:

> I have found the root cause of this problem:

Thanks very much! This is a very valuable investigation.
I wanted to drop a link to addr2line bug[1], could that be related?

[1] https://sourceware.org/bugzilla/show_bug.cgi?id=29785

> I thought that this BUG should be easy to eliminate - but it turns out
> that there are several serious BUGs in the gdb, and the only way to
> eliminate them is to debug the gdb first ;)

Which several serious bugs? I understand you mean in the upstream GNU
GDB, instead of the Debian GNU GDB package. Are those reported
upstream?

Regards
-- 
 Héctor Orón  -.. . -... .. .- -.   -.. . ...- . .-.. --- .--. . .-.

Reply via email to