fgets関数について質問です。
この関数はEOFに達するとNULLを返すとのことですが、

FILE *fp;
char str[8];

while(fgets(str, 8, fp)){
printf("%s",str);
}

とやってファイルの内容を出力していった場合、最後はEOFが来てNULLが
返るので、最後のprintf1回が実行されないような気がするのですが、
そうではないようです・・・。それとも1文字ずつ判定してそのたびにprintfを
実行しているのでしょうか？