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