`stdio`がいつ変更されるのをgdbが見ないのですか？

Question

GNU Cライブラリによれば、普通の変数と同じようにstdioに割り当てることができます（これは拡張機能です）。プログラムを実行する場合は、予想通り、それはセグメンテーションフォールトます

#include <stdio.h> 
int main() 
{ 
    stdout = NULL; 

    printf("Crash and %s\n", "burn"); 

    return 0; 
} 

が、私はgdbでそれを実行するとstdoutの値がまだNULLではありません：私は、プログラムの次試してみました

_IO_vfprintf_internal (s=0x0, format=0x400631 "Crash and %s\n", ap=0x7fffffffe210) at vfprintf.c:1297 
1297 vfprintf.c: No such file or directory. 
(gdb) print stdout 
$1 = (struct _IO_FILE *) 0x7ffff7dd77a0 
(gdb) 

しないのはなぜgdbstdoutの正しい値を報告しますか？

(gdb) print stdout 
$1 = (struct _IO_FILE *) 0x7ffff7dd77a0 
(gdb) print (void*)0x600940 
$2 = (void *) 0x600940 
(gdb) print (struct _IO_FILE*)0x600940 
$3 = (struct _IO_FILE *) 0x600940 
(gdb) print *(struct _IO_FILE**)0x600940 
$4 = (struct _IO_FILE *) 0x7ffff7dd77a0 
(gdb) n 
7  puts("Crash and burn"); 
(gdb) print *(struct _IO_FILE**)0x600940 
$5 = (struct _IO_FILE *) 0x0 
(gdb) print &stdio 
No symbol "stdio" in current context. 
(gdb) print &stdout 
$6 = (struct _IO_FILE **) 0x7ffff7dd7d90 

ここでは、次のようになります。これは、さらに私はstdioとしてgdbレポートと同じだポインタを見つけるだろうがstruct _IO_FILE*を探して、アドレス0x600940でstdoutを保存するように見えることがわかり調査

gdbはstdoutが0x7ffff7dd7d90にあると考えますが、実際には0x600940にあります。

私はGNU gdb (GDB) 7.4.1-debianとgcc version 4.7.2 (Debian 4.7.2-5)（x86-64）を使用しています。

Answer 1

あなたのgdbは正しく機能していると思います。あなたが引用されたこれらの行を見てください：

_IO_vfprintf_internal (s=0x0, format=0x400631 "Crash and %s\n", ap=0x7fffffffe210) at vfprintf.c:1297 
1297 vfprintf.c: No such file or directory. 
(gdb) print stdout 
$1 = (struct _IO_FILE *) 0x7ffff7dd77a0 
(gdb) 

_IO_vfprintf_internal()の署名が最初のパラメータとして先ストリームsを持っています。あなたはスタックの異なるレベルにあり、stdoutはグローバル変数ではないため、再割り当てされます。しかし、s=0x0という理由で割り当てが保留になったことがわかります。