Versión corta de la pregunta: ¿Cómo puedo hacer que gdb use los símbolos de depuración para libc?

Versión más larga: Estoy depurando un programa con gdb y quiero ver información sobre un futex utilizado por libc. Sin embargo, en algún momento durante la depuración obtengo resultados como:

<code>Catchpoint 2 (call to syscall futex), 0x00007ffff772b73e in ?? () from /lib/libc.so.6
(gdb) bt
#0  0x00007ffff772b73e in ?? () from /lib/libc.so.6
#1  0x00007ffff767fb90 in ?? () from /lib/libc.so.6
#2  0x00007ffff767a4c0 in vfprintf () from /lib/libc.so.6
#3  0x00007ffff768565a in printf () from /lib/libc.so.6
....
</code>

Cuando corroinfo sharedlibrary en gdb en el punto de interrupción veo:

<code>(gdb) info sharedlibrary
From                To                  Syms Read   Shared Object Library
0x00007ffff7dddaf0  0x00007ffff7df6704  Yes (*)     /lib64/ld-linux-x86-64.so.2
0x00007ffff7bc53e0  0x00007ffff7bd1388  Yes (*)     /lib/libpthread.so.0
0x00007ffff79ba190  0x00007ffff79bd7d8  Yes (*)     /lib/librt.so.1
0x00007ffff76538c0  0x00007ffff7766c60  Yes (*)     /lib/libc.so.6
0x00007ffff6c1fd80  0x00007ffff6c303c8  Yes (*)     /lib/libgcc_s.so.1
(*): Shared library is missing debugging information.
</code>

Y cuando corroldd Veo:

<code>linux-vdso.so.1 =>  (0x00007ffff7fde000)
libpthread.so.0 => /lib/libpthread.so.0 (0x00007ffff7dbf000)
librt.so.1 => /lib/librt.so.1 (0x00007ffff7bb6000)
libc.so.6 => /lib/libc.so.6 (0x00007ffff7833000)
/lib64/ld-linux-x86-64.so.2 (0x00007ffff7fdf000)
</code>

Estoy usando Ubuntu 10.04 y creo que la versión de libc con símbolos de depuración está en/usr/lib/debug/lib. Intenté configurar miLD_LIBRARY_PATH Variable para tener esto al frente del camino, pero eso no parece hacer una diferencia.

No estoy completamente claro cómo el programa elige qué bibliotecas compartidas cargar, ya sea que esté configurado en tiempo de ejecución o de compilación (de alguna manera asumí el tiempo de ejecución pero ahora no estoy seguro). Por lo tanto, se agradece la información sobre cómo hacer que gdb use la versión de depuración de libc.