diff options
Diffstat (limited to 'gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst')
| -rw-r--r-- | gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst index 495e9fa4578..4c6e137ddcd 100644 --- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst +++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst @@ -4676,8 +4676,12 @@ checks to be performed. The following checks are defined: :samp:`-gnatyO` *Check that overriding subprograms are explicitly marked as such.* - The declaration of a primitive operation of a type extension that overrides - an inherited operation must carry an overriding indicator. + This applies to all subprograms of a derived type that override a primitive + operation of the type, for both tagged and untagged types. In particular, + the declaration of a primitive operation of a type extension that overrides + an inherited operation must carry an overriding indicator. Another case is + the declaration of a function that overrides a predefined operator (such + as an equality operator). .. index:: -gnatyp (gcc) |