Hi Andrew,
I think this commit causes two regressions on powerpc64le-linux,
still present on current master (e0d8f6fc386):
FAIL: gdb.compile/compile.exp: expect no 5
FAIL: gdb.compile/compile-cplus.exp: expect 5
I bisected these to 32090b27e92cb8fd4998e8e8e65d43f445545bc7. They
reproduce on two machines here, one Fedora 43 and one Fedora 44.
Both tests check that the memory used by an injected module is released
after the compile command finishes. After this commit it is not.
Before the commit, with "set debug compile on":
allocated 0x5f0 bytes at 0x7ffff7f30000 prot 5
allocated 0x10 bytes at 0x7ffff7db0000 prot 3
allocated 0x34 bytes at 0x7ffff7da0000 prot 1
allocated 0x8 bytes at 0x7ffff7d90000 for registers
and none of those addresses appear in "info proc mappings" once the
command has finished. After this commit they are still mapped,
for example:
(gdb) p intptr
$1 = (int *) 0x7ffff7db0000
0x00007ffff7db0000 0x00007ffff7dc0000 0x10000 0x0 rw-p
so "p *intptr" still reads 5 from the module's memory, which is what the
tests check against.
That memory is released by munmap_list::~munmap_list in
compile/compile-object-load.c, which calls gdbarch_infcall_munmap. On
Linux that is linux_infcall_munmap (linux-tdep.c:2960), which looks up
"munmap" with find_function_in_inferior. The destructor discards any
exception, so a failure there would be silent.
The allocations themselves still work, and linux_infcall_mmap looks up
"mmap64" through the same function, so whatever changed seems to affect
the lookup of "munmap" but not "mmap64".
Since GDB 18.1 is due on the 11th, I thought it was worth flagging now.
Thanks,
Abhay
On 02/09/26 21:46, Andrew Burgess
wrote:
The find_function_in_inferior function is used when GDB needs to make
an inferior function call as part of expression evaluation, for
example, calling malloc to allocate space in the inferior, or calling
an object's constructor.
The function lookup has two phases, first we search for full symbols.
If that search fails then we fallback to looking for a minimal symbol.
The problem I see here is that the full symbol search uses
SEARCH_TYPE_DOMAIN, and has done since commit:
commit ccf41c248737eb6650211481366c4e1156ce01ae
Date: Thu Mar 30 23:00:26 2023 -0600
Use domain_search_flags in lookup_symbol et al
Prior to this commit the search was done using VAR_DOMAIN, which would
find types, variables, and functions, there was even code in place to
raise an error if the symbol we found was not a function.
The ccf41c248737eb66 commit switched to SEARCH_TYPE_DOMAIN and removed
the "is a function" check. I think this was a mistake. Given that
find_function_in_inferior is always used to look for a function, I
think we should have switched to SEARCH_FUNCTION_DOMAIN. The "is a
function" check can be removed as the search will now only find
functions.
So the first thing I fixed in this commit is to change
SEARCH_TYPE_DOMAIN to SEARCH_FUNCTION_DOMAIN in
find_function_in_inferior.
With that done the next problem we encounter is that if the full
symbol is for a GNU IFUNC then we need to handle this via the minimal
symbol path. For inspiration here I looked at the 'variable:
name_not_typename' rule in the c-exp.y file, where we say:
/* If we found a function, see if it's
an ifunc resolver that has the same
address as the ifunc symbol itself.
If so, prefer the ifunc symbol. */
I think find_function_in_inferior should apply the same logic. To
achieve this I added a call to find_gnu_ifunc and restructured the
code slightly so that after the full symbol lookup the minimal symbol
can come from either calling lookup_minimal_symbol, or from the
find_gnu_ifunc path.
There are no new tests, but I have been using gdb.base/gnu-ifunc.exp
as a smoke test for this change. When I have glibc debug information
installed I can (by attaching GDB to GDB) see the full symbol lookup
path now triggering, so I know that the updated code path is now being
used.
It was while reviewing commits:
commit ca0908d623605250e6d84afb90d742c328e6bb90
Date: Tue Aug 11 13:12:19 2026 +0000
gdb: Keep original IFUNC return type when target type is unknown
commit de930032d883219559d1dba575f2c0f5359e80fc
Date: Tue Aug 11 13:12:18 2026 +0000
gdb: Preserve IFUNC marker when finding inferior functions
which touched gdb.base/gnu-ifunc.exp that I spotted this bug.
---
gdb/valops.c | 79 ++++++++++++++++++++++++++--------------------------
1 file changed, 40 insertions(+), 39 deletions(-)
diff --git a/gdb/valops.c b/gdb/valops.c
index 82c796bd254..e214342c40d 100644
--- a/gdb/valops.c
+++ b/gdb/valops.c
@@ -113,52 +113,53 @@ struct value *
find_function_in_inferior (const char *name, struct objfile **objf_p)
{
struct block_symbol sym;
+ bound_minimal_symbol msymbol;
- sym = lookup_symbol (name, nullptr, SEARCH_TYPE_DOMAIN, nullptr);
- if (sym.symbol != NULL)
+ sym = lookup_symbol (name, nullptr, SEARCH_FUNCTION_DOMAIN, nullptr);
+ if (sym.symbol != nullptr)
{
- if (objf_p)
- *objf_p = sym.symbol->objfile ();
+ msymbol = find_gnu_ifunc (sym.symbol);
+ if (msymbol.minsym == nullptr)
+ {
+ if (objf_p != nullptr)
+ *objf_p = sym.symbol->objfile ();
+ return value_of_variable (sym.symbol, sym.block);
+ }
+ }
+ else
+ msymbol = lookup_minimal_symbol (current_program_space, name);
- return value_of_variable (sym.symbol, sym.block);
+ if (msymbol.minsym != nullptr)
+ {
+ struct objfile *objfile = msymbol.objfile;
+ struct gdbarch *gdbarch = objfile->arch ();
+
+ struct type *type;
+ CORE_ADDR maddr;
+ type = lookup_pointer_type (builtin_type (gdbarch)->builtin_char);
+ type = lookup_function_type (type);
+ type = lookup_pointer_type (type);
+ maddr = msymbol.value_address ();
+ minimal_symbol_type minsym_type = msymbol.minsym->type ();
+
+ if (minsym_type == mst_text_gnu_ifunc
+ || minsym_type == mst_data_gnu_ifunc)
+ type->target_type ()->set_is_gnu_ifunc (true);
+
+ if (objf_p != nullptr)
+ *objf_p = objfile;
+
+ return value_from_pointer (type, maddr);
}
else
{
- bound_minimal_symbol msymbol
- = lookup_minimal_symbol (current_program_space, name);
-
- if (msymbol.minsym != NULL)
- {
- struct objfile *objfile = msymbol.objfile;
- struct gdbarch *gdbarch = objfile->arch ();
-
- struct type *type;
- CORE_ADDR maddr;
- type = lookup_pointer_type (builtin_type (gdbarch)->builtin_char);
- type = lookup_function_type (type);
- type = lookup_pointer_type (type);
- maddr = msymbol.value_address ();
- minimal_symbol_type minsym_type = msymbol.minsym->type ();
-
- if (minsym_type == mst_text_gnu_ifunc
- || minsym_type == mst_data_gnu_ifunc)
- type->target_type ()->set_is_gnu_ifunc (true);
-
- if (objf_p)
- *objf_p = objfile;
-
- return value_from_pointer (type, maddr);
- }
+ if (!target_has_execution ())
+ error (_("evaluation of this expression "
+ "requires the target program to be active"));
else
- {
- if (!target_has_execution ())
- error (_("evaluation of this expression "
- "requires the target program to be active"));
- else
- error (_("evaluation of this expression requires the "
- "program to have a function \"%s\"."),
- name);
- }
+ error (_("evaluation of this expression requires the "
+ "program to have a function \"%s\"."),
+ name);
}
}
base-commit: 9c1937eb7103bee8c329b9c4f5137fcd1726b23d