pragma Profile_Warnings (Ravenscar | Restricted | Rational);
This is an implementation-defined pragma that is similar in
effect to pragma Profile except that instead of
generating Restrictions pragmas, it generates
Restriction_Warnings pragmas. The result is that
violations of the profile generate warning messages instead
of error messages.