諸々の修正

Author: K10-K10

reference/csetjmp/jmp_buf.md

@@ -8,12 +8,13 @@ namespace std {
   using jmp_buf = unspecified;
 }
 ```
+* unspecified[italic]
 
 ## 概要
 
 `jmp_buf`は、非ローカルジャンプ（関数を跨いだジャンプ）を実現するために、現在の実行環境を保存するための配列型である。
 
-`setjmp()`マクロによって現在の環境がこの型に保存され、後に`longjmp()`関数がその環境を復元するために使用される。
+[`setjmp()`](setjmp.md)マクロによって現在の環境がこの型に保存され、後に[`longjmp()`](longjmp.md)関数がその環境を復元するために使用される。
 
 ## 例
 
@@ -23,14 +24,14 @@ namespace std {
 
 std::jmp_buf env;
 
-void low_level_function() {
+void inner_function_function() {
   std::cout << "何らかのエラー" << std::endl;
   std::longjmp(env, 42);
 }
 
 int main () {
   if (setjmp(env) == 0) {
-    low_level_function();
+    inner_function_function();
   } else {
     std::cout << "エラーから復帰しました" << std::endl;
   }

reference/csetjmp/longjmp.md

@@ -11,24 +11,30 @@ namespace std {
 
 ## 概要
 
-引数`env`に保存された実行環境を復元し、対応する`setjmp()`の呼び出し地点へプログラムの制御を移す（非ローカルジャンプ）。
+引数`env`に保存された実行環境を復元し、対応する[`setjmp()`](setjmp.md)の呼び出し地点へプログラムの制御を移す（非ローカルジャンプ）。
 
 ## 効果
 
 * `setjmp()`によって第一引数`env`に保存された実行環境（スタックポインタ、プログラムカウンタ等）を復元する。
 
-* プログラムの実行地点を、対応する`setjmp()`の呼び出し地点へジャンプさせる。
+* プログラムの実行地点を、対応する[`setjmp()`](setjmp.md)の呼び出し地点へジャンプさせる。
 
-* ジャンプ先の`setjmp()`は、この関数の第二引数`val`を戻り値として返す。ただし、`val`が0の場合は1を返す。
+* ジャンプ先の[`setjmp()`](setjmp.md)は、この関数の第二引数`val`を戻り値として返す。ただし、`val`が0の場合は1を返す。
 
 ## 戻り値
 
 この関数は決して返らない。
 
 ## 備考
 
-* ジャンプによって自動記憶域期間を持つオブジェクトのスコープを抜ける際、そのオブジェクトが非トリビアルなデストラクタを持つ場合、動作は未定義である。
-* コルーチンのサスペンションコンテキスト内で呼び出された場合、動作は未定義である。
+以下の場合、動作は未定義である。
+* 対応する`setjmp` と `longjmp` の間で、自動記憶域期間を持つ非トリビアルなデストラクタを持つオブジェクトの生存期間が開始し、終了しない場合（ジャンプによってデストラクタを飛ばす場合）
+* コルーチンのサスペンションコンテキスト内で呼び出された場合
+* 対応する`setjmp`が存在しない場合(`env`が有効な環境を保存していない場合)
+* `longjmp`は、対応する`setjmp`の呼び出しから同一スレッド内で呼び出されなければならない。異なるスレッドから呼び出された場合
+* `setjmp`を実行した関数が終了している場合
+
+また、`volatile`修飾子のついていない`setjmp`を呼び出した関数に対してローカルな変数で、その値が`setjmp`から`longjmp`の呼び出しの間で変更されたものがある場合、その変数の値は不定となる。
 
 ## 例
 

reference/csetjmp/setjmp.md

@@ -3,34 +3,35 @@
 * macro[meta id-type]
 
 ```cpp
-#define setjmp(env)
+#define setjmp(env) unspecified
 ```
+* unspecified[italic]
 
 ## 概要
 
 現在の環境を引数`env`に保存するマクロ。
-`env`は、`jmp_buf`型のオブジェクトでなければならない。
+`env`は、[`jmp_buf`](jmp_buf.md)型のオブジェクトでなければならない。
 
 ## 事前条件
 
 このマクロは以下の文脈でのみ現れる。
 
-1. `if`文、`switch`文やループの条件式全体
+1. 1. `if`文、`switch`文やループの条件全体
 2. 関係演算子または等価演算子のオペランドの一つ(もう一つのオペランドは整数定数)で、その結果式が1を満たす場合
-3. `!`のオペランドであり、その結果式が1を満たす場合
-4. expression statementの式全体(`void`型へのキャストを含む)
+3. `!`のオペランドであり、その式が1を満たす場合
+4. 式文の式全体(`void`型へのキャストを含む)
 
 上記以外の箇所での呼び出しは未定義の動作となる。
 
 ## 戻り値
 
 直接マクロが呼び出された場合、0を返す。
-それ以外(`longjmp`関数から)の呼び出しでは非0を返す。
-なお、`longjmp`関数の第二引数が0の場合は、1を返す。
+それ以外([`longjmp`](longjmp.md)関数から)の呼び出しでは非0を返す。
+なお、[`longjmp`](longjmp.md)関数の第二引数が0の場合は、1を返す。
 
 ## 備考
 
-* 対応する`setjmp` と `longjmp` の間で、自動記憶域期間を持つ非トリビアルなデストラクタを持つオブジェクトの生存期間が終了する場合（ジャンプによってデストラクタを飛ばす場合）、その動作は未定義である。
+* 対応する`setjmp` と `longjmp` の間で、自動記憶域期間を持つ非トリビアルなデストラクタを持つオブジェクトの生存期間が開始し、終了しない場合（ジャンプによってデストラクタを飛ばす場合）、その動作は未定義である。
 * コルーチンのサスペンションコンテキスト内で呼び出された場合、動作は未定義である。
 
 
@@ -51,7 +52,7 @@ int main () {
   if (setjmp(env) == 0) {
     low_level_function();
   } else {
-    std::cout << "エラーから復帰しました"std::endl;
+    std::cout << "エラーから復帰しました" << std::endl;
   }
 
   return 0;