Ada 2012 Reference Manual

J.15.2 Pragma No_Return

Syntax

The form of a pragma No_Return, which is a representation pragma (see 13.1), is as follows:

pragma No_Return (procedure_local_name{, procedure_local_name});

Legality Rules

Each procedure_local_name shall denote one or more procedures or generic procedures. The procedure_local_name shall not denote a null procedure nor an instance of a generic unit.

Static Semantics

Pragma No_Return specifies that the No_Return aspect (see 6.5.1) for each procedure denoted by each local_name given in the pragma has the value True.