diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-08 15:59:47 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-08 15:59:47 +0200 |
| commit | 2db15b1d05e7c42b11a0a7cdff27266189187ea3 (patch) | |
| tree | 23093a5608fbec55e93dfbc2c683d545379350b8 /gcc/ada/vms_data.ads | |
| parent | 94fd3dc67710fa4d44903375d6257101b1d9fa95 (diff) | |
| download | gcc-2db15b1d05e7c42b11a0a7cdff27266189187ea3.tar.gz | |
[multiple changes]
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.
From-SVN: r145733
Diffstat (limited to 'gcc/ada/vms_data.ads')
| -rw-r--r-- | gcc/ada/vms_data.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ada/vms_data.ads b/gcc/ada/vms_data.ads index 6795a0a5110..6af3479b191 100644 --- a/gcc/ada/vms_data.ads +++ b/gcc/ada/vms_data.ads @@ -1228,6 +1228,17 @@ package VMS_Data is -- filetype, instead of the object file. This may be useful if you need -- to examine the generated assembly code. + S_GCC_AValid : aliased constant S := "/ASSUME_VALID " & + "-gnatB"; + -- /NO_ASSUME_VALID (D) + -- /ASSUME_VALID + -- + -- Use to tell the compiler to assume that all objects have valid values + -- except those occurring as prefixes to 'Valid attributes. In the default + -- mode, the compiler assumes that values may be invalid unless it can + -- be sure that they are valid, and code is generated to allow for this + -- possibility. The use of /ASSUME_VALID will improve the code. + S_GCC_Checks : aliased constant S := "/CHECKS=" & "FULL " & "-gnato,!-gnatE,!-gnatp " & @@ -3346,6 +3357,7 @@ package VMS_Data is S_GCC_Ada_05 'Access, S_GCC_Add 'Access, S_GCC_Asm 'Access, + S_GCC_AValid 'Access, S_GCC_Checks 'Access, S_GCC_ChecksX 'Access, S_GCC_Compres 'Access, |