diff options
Diffstat (limited to 'gcc/ada/vms_data.ads')
| -rw-r--r-- | gcc/ada/vms_data.ads | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gcc/ada/vms_data.ads b/gcc/ada/vms_data.ads index 91f7647a411..c6579f1cc28 100644 --- a/gcc/ada/vms_data.ads +++ b/gcc/ada/vms_data.ads @@ -2242,10 +2242,12 @@ package VMS_Data is "-gnaty-n " & "ORDERED_SUBPROGRAMS " & "-gnatyo " & - "OVERRIDING_INDICATORS " & - "-gnatyO " & "NOORDERED_SUBPROGRAMS " & "-gnaty-o " & + "OVERRIDING_INDICATORS " & + "-gnatyO " & + "NOOVERRIDING_INDICATORS " & + "-gnaty-O " & "PRAGMA " & "-gnatyp " & "NOPRAGMA " & @@ -2485,6 +2487,12 @@ package VMS_Data is -- in the ordering (e.g. Junk2 comes before -- Junk10). -- + -- OVERRIDING_INDICATORS 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. + -- -- PRAGMA Check pragma casing. -- Pragma names must be written in mixed case, -- that is, the initial letter and any letter |