Como posso fazer o GDB fazer dereferências extras em uma função de impressão comox/s?

Quando tento desreferências explícitas emx/ Eu recebo o erro "Tentativa de desreferenciar um ponteiro genérico". Usandox/ várias vezes funciona, já que cada uso inclui um desreference implícito, mas isso é chato, já que tenho que copiar e colar cada resultado intermediário.

Exemplo

Considere o muito útil programa C,example.c:

#include <stdio.h>
int main(int argc, char **argv) {
  printf("argv[0] = %s\n", argv[0]);
}

Se eu construí-lo e carregá-lo no GDB, vejo queargv é armazenado em0xc(%ebp), uma vez que uma dupla dererência do que é passado como o segundo argumento paraprintf (isto é, em0x4(%esp)) na linha 26:

$ gcc -o example example.c
$ gdb example

(gdb) disass main
Dump of assembler code for function main:
   0x080483e4 <+0>:   push   %ebp
   0x080483e5 <+1>:   mov    %esp,%ebp
   0x080483e7 <+3>:   and    $0xfffffff0,%esp
   0x080483ea <+6>:   sub    $0x10,%esp
   0x080483ed <+9>:   mov    0xc(%ebp),%eax
   0x080483f0 <+12>:  mov    (%eax),%edx
   0x080483f2 <+14>:  mov    $0x80484e0,%eax
   0x080483f7 <+19>:  mov    %edx,0x4(%esp)
   0x080483fb <+23>:  mov    %eax,(%esp)
   0x080483fe <+26>:  call   0x8048300 <printf@plt>
   0x08048403 <+31>:  leave  
   0x08048404 <+32>:  ret    
End of assembler dump.

Eu quebro aprintf e execute o programa com argumentosfirst esecond:

(gdb) break *main + 26
Breakpoint 1 at 0x80483fe

(gdb) run first second
Starting program: /var/tmp/SO-attempt-to-dereference-generic-pointer/example first second

Tento imprimirargv[0] no GDB, mas recebo o erro "ponteiro genérico":

Breakpoint 1, 0x080483e5 in main ()
(gdb) x/s **(0xc + $ebp)
Attempt to dereference a generic pointer.

No entanto, usando 'x / xw' para manualmente desreferenciar algumas vezes, finalmente conseguirei imprimirargv[0] (eargv[1]):

(gdb) x/xw 0xc + $ebp
0xbfffeba4: 0xbfffec34
(gdb) x/xw 0xbfffec34
0xbfffec34: 0xbfffedc8
(gdb) x/s 0xbfffedc8
0xbfffedc8:  "/var/tmp/SO-attempt-to-dereference-generic-pointer/example"

(gdb) x/xw 0xbfffec34 + 4
0xbfffec38: 0xbfffee03
(gdb) x/s 0xbfffee03
0xbfffee03:  "first"
(gdb) 

Mas isso é chato e indireto (como a programação apontada costuma ser?)