From 2db15b1d05e7c42b11a0a7cdff27266189187ea3 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 8 Apr 2009 15:59:47 +0200 Subject: [multiple changes] 2009-04-08 Robert Dewar * 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 * 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 * 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 --- gcc/ada/vms_data.ads | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'gcc/ada/vms_data.ads') diff --git a/gcc/ada/vms_data.ads b/gcc/ada/vms_data.ads index 6795a0a..6af3479 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, -- cgit v1.1