#pragma reachable ディレクティブは、ルーチンである関数 を呼び出した後のポイントが、いくつかの不明のロケーションからの分岐の対象となる可能性があることを宣言します。このプラグマは、setjmp マクロとともに使用する必要があります。
.-,--------. V | >>-#--pragma--reachable--(----function-+--)--------------------><