diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-02-06 10:24:21 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-02-06 10:24:21 +0000 |
| commit | d7ec9a296ba141573d8bd39161df37f196699699 (patch) | |
| tree | 101818bea7dd9a225ff9577318d645145d5b8615 /gcc/ada/ug_words | |
| parent | 927ebdefbbcd37784036f28e0b85b979e9f9d70c (diff) | |
| download | gcc-d7ec9a296ba141573d8bd39161df37f196699699.tar.gz | |
2013-02-06 Javier Miranda <miranda@adacore.com>
* exp_ch5.adb (Expand_N_Assignment_Statement): Do not generate the
runtime check on assignment to tagged types if compiling with checks
suppressed.
2013-02-06 Robert Dewar <dewar@adacore.com>
* exp_util.adb, checks.adb, sem_ch12.adb, sem_res.adb, prj-conf.adb,
s-os_lib.adb: Minor reformatting
2013-02-06 Vincent Celier <celier@adacore.com>
* ug_words: Add -gnateY = /IGNORE_STYLE_CHECKS_PRAGMAS.
2013-02-06 Ed Schonberg <schonberg@adacore.com>
* snames.ads-tmpl: Add Name_Rational and pragma Rational.
* par-prag.adb: Recognize pragma Rational.
* opt.ads (Rational_Profile): flag to control compatibility mode
with Rational compiler.
* sem_ch8.adb (Analyze_Subprogram_Renaming): When Rational profile
is enable, accept renaming declarations where the new subprogram
and the renamed entity have the same name.
* sem_prag.adb (analyze_pragma): Add pragma Rational, and recognize
Rational as a profile.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195793 138bc75d-0d04-0410-961f-82ee72b054a4
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 10f03f5c6f3..77a36ca095f 100644 --- a/gcc/ada/ug_words +++ b/gcc/ada/ug_words @@ -74,6 +74,7 @@ gcc -c ^ GNAT COMPILE -gnateS ^ /SCO_OUTPUT -gnatet ^ /TARGET_DEPENDENT_INFO -gnateV ^ /PARAMETER_VALIDITY_CHECK +-gnateY ^ /IGNORE_STYLE_CHECKS_PRAGMAS -gnatE ^ /CHECKS=ELABORATION -gnatf ^ /REPORT_ERRORS=FULL -gnatF ^ /UPPERCASE_EXTERNALS |