常に nullreturn ステートメントの変数を報告します。