From: Tom de Vries <tdevries@suse.de>
To: gdb-patches@sourceware.org
Cc: "Ludovic Courtès" <ludo@gnu.org>
Subject: [PATCH][gdb/guile] Don't allow libguile to change libgmp mem fns
Date: Mon, 3 May 2021 10:54:29 +0200 [thread overview]
Message-ID: <20210503085428.GA20738@delia> (raw)
Hi,
Since gdb commit 880ae75a2b7 "gdb delay guile initialization until
gdbscm_finish_initialization" I'm running into:
...
(gdb) print My_Var > 10.0^M
free(): invalid pointer^M
ERROR: GDB process no longer exists
GDB process exited with wait status 5995 exp9 0 0 CHILDKILLED SIGABRT SIGABRT
UNRESOLVED: gdb.ada/fixed_cmp.exp: gnat_encodings=all: print My_Var > 10.0
...
The problem is that both gdb and libguile try to set the libgmp memory functions,
and since the gdb commit the ones from libguile are effective, which results
in gdb freeing some memory in a way that is not compatible with the way that
memory was actually allocated.
The fact that libguile tries to set the libgmp memory functions is a bug which
should be fixed starting version v3.0.6.
Meanwhile, work around this in gdb by not allowing libguile to set the libgomp
memory functions.
Tested on x86_64-linux.
Any comments?
Thanks,
- Tom
[gdb/guile] Don't allow libguile to change libgmp mem fns
gdb/ChangeLog:
2021-05-03 Tom de Vries <tdevries@suse.de>
PR guile/27806
* guile/guile.c (gdbscm_initialize): Save and restore libgmp memory
functions.
---
gdb/guile/guile.c | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gdb/guile/guile.c b/gdb/guile/guile.c
index bdf15cd498b..6ee8b3f47ce 100644
--- a/gdb/guile/guile.c
+++ b/gdb/guile/guile.c
@@ -662,10 +662,32 @@ gdbscm_initialize (const struct extension_language_defn *extlang)
{
gdb::block_signals blocker;
+ /* There are libguile versions (f.i. v3.0.5) that by default call
+ mp_get_memory_functions during initialization to install custom
+ libgmp memory functions. This is considered a bug and should be
+ fixed starting v3.0.6.
+ Before gdb commit 880ae75a2b7 "gdb delay guile initialization until
+ gdbscm_finish_initialization", that bug had no effect for gdb,
+ because gdb subsequently called mp_get_memory_functions to install
+ its own custom functions in _initialize_gmp_utils. However, since
+ aforementioned gdb commit the initialization order is reversed,
+ allowing libguile to install a custom malloc that is incompatible
+ with the custom free as used in gmp-utils.c, resulting in a
+ "double free or corruption (out)" error.
+ Work around the libguile bug by saving the libgmp memory functions
+ before guile initialization, and restoring them afterwards. */
+ void *(*alloc_func) (size_t);
+ void *(*realloc_func) (void *, size_t, size_t);
+ void (*free_func) (void *, size_t);
+ mp_get_memory_functions (&alloc_func, &realloc_func, &free_func);
+
/* scm_with_guile is the most portable way to initialize Guile. Plus
we need to initialize the Guile support while in Guile mode (e.g.,
called from within a call to scm_with_guile). */
scm_with_guile (call_initialize_gdb_module, NULL);
+
+ /* Restore libgmp memory functions. */
+ mp_set_memory_functions (alloc_func, realloc_func, free_func);
}
/* Set Guile's backtrace to match the "set guile print-stack" default.
next reply other threads:[~2021-05-03 8:54 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-03 8:54 Tom de Vries [this message]
2021-05-03 11:18 ` Andrew Burgess
2021-05-03 12:20 ` Tom de Vries
2021-05-03 20:10 ` Ludovic Courtès via Gdb-patches
2021-05-04 8:27 ` Tom de Vries
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20210503085428.GA20738@delia \
--to=tdevries@suse.de \
--cc=gdb-patches@sourceware.org \
--cc=ludo@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox