“When feasible, the implementation should take advantage of the specified restrictions to produce a more efficient implementation.”
GNAT currently takes advantage of these restrictions by providing an optimized
run time when the Ravenscar profile and the GNAT restricted run time set
of restrictions are specified. See pragma
Profile (Ravenscar) and
Profile (Restricted) for more details.