Skip to content

Commit 49966ca

Browse files
committed
observable_checkpoint : printf → fputsの修正漏れ
@tshino さんからのコメントに対応 d8f8beb#commitcomment-180806498
1 parent d8f8beb commit 49966ca

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

reference/utility/observable_checkpoint.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ void inc(int* p) {
5050
- Unicode出力時はネイティブのOS API(Windowsでの`WriteConsoleW()`など)を直接使用しC標準の入出力を経由しないため、このルールで明示的にカバーしている
5151
- 非Unicode出力時はC標準I/O関数を経由するため、上記のC標準入出力関数のルールでカバーされる
5252
53-
上記の例では`std::printf()`がC標準の入出力関数であるため、(1)の呼び出しの復帰が暗黙の観測可能チェックポイントとなり、`"Hello, "`の出力は(2)の未定義動作によって遡って消去されない。
53+
上記の例では`std::fputs()`がC標準の入出力関数であるため、(1)の呼び出しの復帰が暗黙の観測可能チェックポイントとなり、`"Null!\n"`の出力は(2)の未定義動作によって遡って消去されない。
5454
5555
5656
## 効果

0 commit comments

Comments
 (0)