web-dev-qa-db-fra.com

Comment inspecter la valeur de retour d'une fonction dans GDB?

Est-il possible d'inspecter la valeur de retour d'une fonction dans gdb en supposant que la valeur de retour est pas affectée à une variable?

97
fuad

J'imagine qu'il existe de meilleures façons de le faire, mais la commande finish s'exécute jusqu'à ce que le cadre de pile actuel soit sauté et imprime la valeur de retour - compte tenu du programme

int fun() {
    return 42;
}

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

Vous pouvez le déboguer comme tel -

(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) 

La commande finish peut être abrégée en fin. N'utilisez PAS la f, qui est l'abréviation de la commande frame!

108
hark

Oui, examinez simplement le registre EAX en tapant print $eax. Pour la plupart des fonctions, la valeur de retour est stockée dans ce registre, même si elle n'est pas utilisée.

Les exceptions à cette règle sont les fonctions renvoyant des types supérieurs à 32 bits, en particulier des entiers 64 bits (long long), doubles et structs ou classes.

L'autre exception est si vous n'exécutez pas sur une architecture Intel. Dans ce cas, vous devrez déterminer le registre utilisé, le cas échéant.

42
Adam Rosenfield

Voici comment faire cela sans symboles.

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

Le formatage a un peu gâché là-bas, notez l'utilisation de "info frame" pour inspecter les cadres et de "frame #" pour naviguer dans votre contexte vers un autre contexte (de haut en bas de la pile)

bt affiche également une pile abrégée pour vous aider.

7
RandomNickName42