H.5 Pragma Detect_Blocking
This Reference Manual output has not been verified, and may contain omissions or errors. Report any problems on the tracking issue
pragma requires an implementation to detect potentially blocking operations during the execution of a protected operation or a parallel construct.
The form of a
pragma Detect_Blocking is as follows:
pragma Detect_Blocking is a configuration pragma.
An implementation is required to detect a potentially blocking operation that occurs during the execution of a protected operation or a parallel construct defined within a compilation unit to which the pragma applies, and to raise Program_Error (see 9.5 ).
An implementation is allowed to reject a
compilation_unit to which a pragma Detect_Blocking applies if a potentially blocking operation is present directly within an
entry_body, the body of a protected subprogram, or a parallel construct occurring within the compilation unit.