Ada Programming/Aspects/No Return
Description[edit | edit source]
Specifying the aspect No_Return indicates that a procedure cannot return normally; it may raise an exception, loop forever, or terminate the program.
A non-returning procedure may not contain any return statements. If a non-returning procedure implicitly returns (by reaching the end of its statement sequence), Program_Error will be raised at the point of call.
On the call site, this enables detection of dead code and suppression of warnings about missing return statements or missing assignment to variables.
Example[edit | edit source]
procedureP ( … )
procedureQ (x :
thenP ( … ); Some_Thing_Else; -- This is dead code--and due to No_Return probably a compiler warning!
elsex := … ;
if; -- No warning about a missing assignment to x here