Pragma No_Return
Author: JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor

Ada Reference Manual — Legal Information

# J.15.2 Pragma No_Return

#### Syntax

1/3
The form of a pragma No_Return, which is a representation pragma (see 13.1), is as follows:
2/3
pragma No_Return (procedure_ local_name{, procedure_ local_name});

#### Legality Rules

3/3
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

4/3
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.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe