Pragma Profile_Warnings - GNAT Reference Manual

Next: Pragma Propagate_Exceptions, Previous: Pragma Profile, Up: Implementation Defined Pragmas

2.134 Pragma Profile_Warnings

Syntax:

    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.