The #pragma reachable directive takes a function name, and declares that the point in the program after that function can be the target of a branch from some unknown location. In other words, the instruction after the specified function can be reached from a program point other than the return statement in the named function.
Preprocessor
Directives
C
Language Levels
#pragma Preprocessor
Directives
List of Preprocessor
Directives