Como inspecionar o valor de retorno de uma função no GDB?

103

É possível inspecionar o valor de retorno de uma função no gdb assumindo que o valor de retorno não é atribuído a uma variável?

— fuad
fonte

120

Imagino que haja maneiras melhores de fazer isso, mas o comando terminar é executado até que o quadro da pilha atual seja exibido e imprima o valor de retorno - dado o programa

int fun() {
    return 42;
}

int main( int argc, char *v[] ) {
    fun();
    return 0;
}

Você pode depurá-lo como tal -

(gdb) r
Starting program: /usr/home/hark/a.out 

Breakpoint 1, fun () at test.c:2
2               return 42;
(gdb) finish
Run till exit from #0  fun () at test.c:2
main () at test.c:7
7               return 0;
Value returned is $1 = 42
(gdb)

O finishcomando pode ser abreviado como fin. NÃO use o f, que é a abreviatura de framecommand!

— ouvir
fonte

3

Ótima resposta cara. Eu estava usando "return" que realmente retorna forçosamente do quadro (sem nenhum valor de retorno obviamente), e não consegui descobrir o que estava errado: P

— Matt Joiner

Pode ser uma pergunta estúpida E se a função não tiver valor de retorno?

— Roon13,

45

Sim, basta examinar o EAXregistro digitando print $eax. Para a maioria das funções, o valor de retorno é armazenado nesse registro, mesmo se não for usado.

As exceções são funções que retornam tipos maiores que 32 bits, especificamente inteiros de 64 bits ( long long), doubles e structsou classes.

A outra exceção é se você não estiver executando em uma arquitetura Intel. Nesse caso, você terá que descobrir qual registro é usado, se houver.

— Adam Rosenfield
fonte

8

Não usando uma máquina Intel, rodando em sparc. g0 é onde o valor de retorno é armazenado, mas eu gostaria de algo independente da arquitetura ..

— fuad

1

Obrigado pelo esclarecimento; Achei que você estava usando x86. Mas, a menos que você vá criar um script GDB em várias arquiteturas, não vejo uma boa razão para não usar "print $ g0", que não tem nenhum efeito colateral (ao contrário das outras respostas).

— Adam Rosenfield

Certo. Desculpe, porém, é o0 e não g0. O registro g0 é sempre 0.

— fuad

8

Veja como fazer isso sem símbolos.

gdb ls
This GDB was configured as "ppc64-yellowdog-linux-gnu"...
(no debugging symbols found)
Using host libthread_db library "/lib64/libthread_db.so.1".

(gdb) break __libc_start_main
Breakpoint 1 at 0x10013cb0
(gdb) r
Starting program: /bin/ls
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
Breakpoint 1 at 0xfdfed3c
(no debugging symbols found)
[Thread debugging using libthread_db enabled]
[New Thread 4160418656 (LWP 10650)]
(no debugging symbols found)
(no debugging symbols found)
[Switching to Thread 4160418656 (LWP 10650)]

Breakpoint 1, 0x0fdfed3c in __libc_start_main () from /lib/libc.so.6
(gdb) info frame
Stack level 0, frame at 0xffd719a0:
 pc = 0xfdfed3c in __libc_start_main; saved pc 0x0
 called by frame at 0x0
 Arglist at 0xffd71970, args:
 Locals at 0xffd71970, Previous frame's sp is 0xffd719a0
 Saved registers:
  r24 at 0xffd71980, r25 at 0xffd71984, r26 at 0xffd71988, r27 at 0xffd7198c,
  r28 at 0xffd71990, r29 at 0xffd71994, r30 at 0xffd71998, r31 at 0xffd7199c,
  pc at 0xffd719a4, lr at 0xffd719a4
(gdb) frame 0
#0  0x0fdfed3c in __libc_start_main () from /lib/libc.so.6
(gdb) info fr
Stack level 0, frame at 0xffd719a0:
 pc = 0xfdfed3c in __libc_start_main; saved pc 0x0
 called by frame at 0x0
 Arglist at 0xffd71970, args:
 Locals at 0xffd71970, Previous frame's sp is 0xffd719a0
 Saved registers:
  r24 at 0xffd71980, r25 at 0xffd71984, r26 at 0xffd71988, r27 at 0xffd7198c,
  r28 at 0xffd71990, r29 at 0xffd71994, r30 at 0xffd71998, r31 at 0xffd7199c,
  pc at 0xffd719a4, lr at 0xffd719a4

A formatação está meio confusa, observe o uso de "info frame" para inspecionar frames e "frame #" para navegar seu contexto para outro contexto (para cima e para baixo na pilha)

bt também mostra uma pilha abreviada para ajudar.

— RandomNickName42
fonte

Não consigo ver nenhuma informação de valor de retorno lá.

— Trass3r