[C言語]printfの後の入力待ちで入力バッファがクリアされる理由

#include<stdio.h>
int main()
{
    int value;
    printf( "数字を入力して下さい:" );
    scanf( "%d", &value );
 
    printf( "入力値は%dです\n", value );
    return 0;
}

    printf( "数字を入力して下さい:" );
    fflush( stdout );                // バッファのフラッシュが必要では?
    scanf( "%d", &value );

$ gcc -O0 -g -o inputcheck inputcheck.c
$ gdb inputcheck
GNU gdb (Ubuntu/Linaro 7.3-0ubuntu2) 7.3-2011.08
Reading symbols from /home/user1/work/inputcheck...done.
(gdb) list
1   #include<stdio.h>
2   int main()
3   {
4       int value;
5       printf( "数字を入力して下さい:" );
6       scanf( "%d", &value );
7   
8       printf( "入力値は%dです\n", value );
9       return 0;
10  }
(gdb) break 5
Breakpoint 1 at 0x804843d: file inputcheck.c, line 5.
(gdb) start
Temporary breakpoint 2 at 0x804843d: file inputcheck.c, line 5.
Starting program: /home/user1/work/inputcheck 
 
Breakpoint 1, main () at inputcheck.c:5
5       printf( "数字を入力して下さい:" );
(gdb) next                                                 <= ここで表示されずに...
6       scanf( "%d", &value );
(gdb) next                                                 <= scanf()のタイミングで出る
数字を入力して下さい:10
8       printf( "入力値は%dです\n", value );
(gdb) continue
Continuing.
入力値は10です
[Inferior 1 (process 7573) exited normally]
(gdb)

5.1.2.3 プログラムの実行
*中略*
対話型装置に対する入出力動作は7.19.3で規定する通りに行う。この要求は、入力要求メッセージ
が実際にプログラムの入力待ち以前に現れることを確実にするため、バッファリングされない出力
又は、行バッファリングされた出力ができる限り早く現れることを意図する。

7.19.3 ファイル
*中略*
ストリームをバッファリングしていない(unbuffered)場合,
    文字が入力もとから又は出力先へ可能な限りすぐに表れることを意図する。
    そうでない場合、文字を貯めているホスト環境へまたはホスト環境からブロック単位で転送してもよい。
 
ストリームを完全バッファリングしている(fully buffered)場合,
    バッファが一杯になった時点で,ホスト環境へまたはホスト環境から文字をブロック単位することを意図する。
 
ストリームを行バッファリングしている(line buffered)場合、
    改行文字に達した時点で、ホスト環境へまたはホスト環境から文字をブロック単位することを意図する。
 
 
さらに、次に掲げる三つの場合、ホスト環境へ文字をブロック単位で転送することを意図する。
 -バッファがいっぱいになった場合
 -バッファリングしていないストリームに対して入力要求があった場合
 -行バッファリングしているストリームに対して、ホスト環境からの文字転送を必要とする入力要求があった場合
 
これらの特性のサポートは処理系定義とし、setbuf関数およびsetvbuf関数の影響を受けてもよい。

さらに、次に掲げる三つの場合、ホスト環境へ文字をブロック単位で転送することを意図する。
 -行バッファリングしているストリームに対して、ホスト環境からの文字転送を必要とする入力要求があった場合