diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 15:50:34 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 15:50:34 +0200 |
| commit | 7c821effc4714595e7923fb466946abb38055edc (patch) | |
| tree | 417f83743832170dac8844cee4c94048bc49dd91 /gcc/ada/ug_words | |
| parent | c2cd3032e67390915044effcfe7d0ffd2c6fccbd (diff) | |
| download | gcc-7c821effc4714595e7923fb466946abb38055edc.zip gcc-7c821effc4714595e7923fb466946abb38055edc.tar.gz gcc-7c821effc4714595e7923fb466946abb38055edc.tar.bz2 | |
[multiple changes]
2013-10-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Validated_Access_Subprogram_Instance): According
to AI05-288, actuals for access_to_subprograms must be subtype
conformant with the generic formal. Previous to AI05-288
only mode conformance was required, but the AI is a binding
interpretation that applies to previous versions of the language,
2013-10-17 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Minor text correction.
* ug_words: Add entry for -gnateu /IGNORE_UNRECOGNIZED.
* vms_data.ads: Add /IGNORE_UNRECOGNIZED for -gnateu.
2013-10-17 Tristan Gingold <gingold@adacore.com>
* impunit.adb (Non_Imp_File_Names_95): Add g-cppexc.
2013-10-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Constituent): Move the check
concerning option Part_Of to routine Check_Matching_Constituent.
(Check_Matching_Constituent): Verify that an abstract state
that acts as a constituent has the prope Part_Op option in
its aspect/pragma Abstract_State. Account for the case when a
constituent comes from a private child or private sibling.
* sem_util.ads, sem_util.adb (Is_Child_Or_Sibling): New routine.
From-SVN: r203760
Diffstat (limited to 'gcc/ada/ug_words')
| -rw-r--r-- | gcc/ada/ug_words | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/ug_words b/gcc/ada/ug_words index bae43b9..1f73288 100644 --- a/gcc/ada/ug_words +++ b/gcc/ada/ug_words @@ -74,6 +74,7 @@ gcc -c ^ GNAT COMPILE -gnateS ^ /SCO_OUTPUT -gnatet ^ /WRITE_TARGET_DEPENDENT_INFO -gnateT ^ /READ_TARGET_DEPENDENT_INFO +-gnateu ^ /IGNORE_UNRECOGNIZED -gnateV ^ /PARAMETER_VALIDITY_CHECK -gnateY ^ /IGNORE_STYLE_CHECKS_PRAGMAS -gnatE ^ /CHECKS=ELABORATION |