The #pragma reachable directive declares that the point after the call to a routine, function, can be the target of a branch from some unknown location. This pragma should be used in conjunction with the setjmp macro.
.-,--------. V | >>-#--pragma--reachable--(----function-+--)--------------------><