diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-08 13:59:47 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-08 13:59:47 +0000 |
| commit | 326f781ed299d1047cb8697fa0f19e9517d33187 (patch) | |
| tree | 23093a5608fbec55e93dfbc2c683d545379350b8 /gcc/ada/ug_words | |
| parent | d7fb5ea8f8db283c774c2e8b49e89a0a0a7d8305 (diff) | |
| download | gcc-326f781ed299d1047cb8697fa0f19e9517d33187.tar.gz | |
2009-04-08 Robert Dewar <dewar@adacore.com>
* ug_words: Add /ASSUME_VALID for -gnatB
* vms_data.ads: Add /ASSUME_VALID for -gnatB
* sem_cat.adb: Add clarifying commment
* a-direio.ads (Bytes): Make sure value is non-zero
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Variable): If the prefix is an explicit dereference
that does not come from source, check for a rewritten function call in
prefixed notation before other forms of rewriting.
2009-04-08 Robert Dewar <dewar@adacore.com>
* Makefile.rtl: Remove s-strops and s-sopco? from the run time, since
these are now obsolescent units used only for bootrapping with an
older compiler.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145733 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 532bf0ae513..eb490b203be 100644 --- a/gcc/ada/ug_words +++ b/gcc/ada/ug_words @@ -52,6 +52,7 @@ gcc -c ^ GNAT COMPILE -gnata ^ /CHECKS=ASSERTIONS -gnatA ^ /NO_GNAT_ADC -gnatb ^ /REPORT_ERRORS=BRIEF +-gnatB ^ /ASSUME_VALID -gnatc ^ /NOLOAD -gnatdc ^ /TRACE_UNITS -gnatdO ^ /REPORT_ERRORS=IMMEDIATE |