diff options
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index e5ef967..d100b22 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -926,6 +926,8 @@ support is available, then the code generator will issue a message indicating that the necessary attribute for implementation of this pragma is not available. +.. _Compile_Time_Error: + Pragma Compile_Time_Error ========================= @@ -979,6 +981,11 @@ of formal parameters are tested, and warnings given appropriately. Another use with a first parameter of True is to warn a client about use of a package, for example that it is not fully implemented. +In previous versions of the compiler, combining *-gnatwe* with +Compile_Time_Warning resulted in an fatal error. Now the compiler will always +emit a warning. You can use :ref:`Compile_Time_Error` to force the generation +of an error. + Pragma Compiler_Unit ==================== |