pragma No_Return (procedure_LOCAL_NAME);
procedure_local_NAME must refer to one or more procedure
declarations in the current declarative part. A procedure to which this
pragma is applied may not contain any explicit
and also may not contain any implicit return statements from falling off
the end of a statement sequence. One use of this pragma is to identify
procedures whose only purpose is to raise an exception.
Another use of this pragma is to suppress incorrect warnings about missing returns in functions, where the last statement of a function statement sequence is a call to such a procedure.