[multiple changes]

2004-07-06  Vincent Celier  <celier@gnat.com>

	* vms_conv.ads: Minor reformatting.
	Alphabetical order for enumerated values of type Command_Type, to have
	the command in alphabetical order for the usage.

	* vms_conv.adb (Process_Argument): Set Keep_Temporary_Files to True for
	the special qualifier /KEEP_TEMPORARY_FILES (minimum 6 characters).

	* gnat_ugn.texi: Document new switch -dn for the GNAT driver.

	* makegpr.adb (Global_Archive_Exists): New global Boolean variable
	(Add_Archive_Path): Only add the global archive if there is one.
	(Build_Global_Archive): Set Global_Archive_Exists depending if there is
	or not any object file to put in the global archive, and don't build
	a global archive if there is none.
	(X_Switches): New table
	(Compile_Link_With_Gnatmake): Pass to gnatmake the -X switches stored
	in the X_Switches table, if any.
	(Initialize): Make sure the X_Switches table is empty
	(Scan_Arg): Record -X switches in table X_Switches

	* opt.ads (Keep_Temporary_Files): New Boolean flag, defaulted to False.

	* make.adb: Minor comment fix

	* gnatname.adb (Gnatname): When not on VMS, and gnatname has been
	invoked with directory information, add the directory in front of the
	path.

	* gnatchop.adb (Gnatchop): When not on VMS, and gnatchop has been
	invoked with directory information, add the directory in front of the
	path.

	* gnatcmd.adb (Delete_Temp_Config_Files): Only delete temporary files
	when Keep_Temporary_Files is False.
	(GNATCmd): When not on VMS, and the GNAT driver has been invoked with
	directory information, add the directory in front of the path.
	When not on VMS, handle new switch -dn before the command to set
	Keep_Temporary_Files to True.
	(Non_VMS_Usage): Use lower case for the non VMS usage: this is valid
	everywhere.

	* gnatlink.adb (Gnatlink): When not on VMS, and gnatlink has been
	invoked with directory information, add the directory in front of the
	path.

2004-07-06  Thomas Quinot  <quinot@act-europe.fr>

	* snames.ads, snames.adb (Name_Stub): New name for the distributed
	systems annex.

	* rtsfind.ads: New RTE TC_Object, for DSA/PolyORB.
	New RTEs RAS_Proxy_Type and RAS_Proxy_Type_Access, for DSA.

	* g-socket.adb (To_Timeval): Fix incorrect conversion of
	Selector_Duration to Timeval for the case of 0.0.

	* exp_util.ads (Evolve_Or_Else): Fix overenthusiastic copy/paste of
	documentation from Evolve_And_Then.

2004-07-06  Jose Ruiz  <ruiz@act-europe.fr>

	* s-taprop-tru64.adb, s-taprop-os2.adb,
	s-taprop-mingw.adb, s-taprop-posix.adb: Update comment.

2004-07-06  Robert Dewar  <dewar@gnat.com>

	* s-osinte-hpux.ads, s-osinte-freebsd.ads,
	s-osinte-lynxos.ads, s-taprop-lynxos.adb, s-osinte-tru64.ads,
	s-osinte-aix.ads, s-osinte-irix.ads, s-taprop-irix.adb,
	s-interr-sigaction.adb, s-taprop-irix-athread.adb,
	s-osinte-hpux-dce.adb, s-taprop-hpux-dce.adb,
	s-taprop-linux.adb, s-taprop-dummy.adb, s-taprop-solaris.adb,
	s-interr-vms.adb, s-osinte-vms.ads, s-taprop-vms.adb,
	s-osinte-vxworks.ads, s-osprim-vxworks.adb, a-numaux-x86.adb,
	a-except.adb, a-exexpr.adb, a-intsig.adb, a-tags.adb,
	a-tags.ads, bindgen.ads, checks.adb, checks.adb,
	csets.ads, einfo.ads, einfo.ads, elists.adb, exp_ch4.adb,
	exp_ch7.adb, exp_dist.adb, exp_util.adb, freeze.adb,
	g-dynhta.adb, gnatmem.adb, g-regexp.adb, inline.adb,
	i-os2thr.ads, osint.adb, prj.adb, scng.adb, sem_cat.adb,
	sem_ch10.adb, sem_ch12.adb, sem_ch4.adb, sem_ch7.adb,
	sem_ch8.adb, sem_disp.adb, sem_prag.adb, sem_res.adb,
	sem_type.adb, sem_type.ads, sem_warn.adb, s-ficobl.ads,
	s-finimp.adb, s-htable.adb, sinfo.ads, sinput-l.ads,
	s-interr.adb, s-interr.ads, sprint.adb, s-tarest.adb,
	s-tasini.ads, s-taskin.ads, s-taskin.ads, uname.adb,
	vms_data.ads: Minor reformatting,
	Fix bad box comment format.

	* gnat_rm.texi: Fix minor grammatical error

	* sem_attr.adb, exp_attr.adb: New attribute Has_Access_Values

	* sem_util.ads, sem_util.adb (Requires_Transient_Scope): Allow many
	more cases of discriminated records to be recognized as not needing a
	secondary stack.
	(Has_Access_Values): New function.

	* snames.h, snames.adb, snames.ads: New attribute Has_Access_Values

	* cstand.adb, layout.ads, layout.adb, sem_ch13.ads: Change name
	Set_Prim_Alignment to Set_Elem_Alignment (more accurate correspondence
	with LRM terminology).
	Change terminology in comments primitive type => elementary type.

2004-07-06  Ed Schonberg  <schonberg@gnat.com>

	PR ada/15602
	* sem_ch7.adb (Unit_Requires_Body): For a generic package, the formal
	parameters do not impose any requirements on the presence of a body.

2004-07-06  Ed Schonberg  <schonberg@gnat.com>

	PR ada/15593
	* sem_ch12.adb (Analyze_Package_Instantiation): If the generic is not a
	compilation unit and is in an open scope at the point of instantiation,
	assume that a body may be present later.

2004-07-06  Ed Schonberg  <schonberg@gnat.com>

	* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case 'Size):
	Improve error message when specified size is not supported.

	* sem_ch6.adb (Maybe_Primitive_Operation): A library-level subprogram
	is never a primitive operation.

From-SVN: r84152

1 files changed, 95 insertions, 94 deletions

diff --git a/gcc/ada/snames.h b/gcc/ada/snames.h
index d14d9279ed3..08a9b887f17 100644
--- a/gcc/ada/snames.h
+++ b/gcc/ada/snames.h
@@ -80,104 +80,105 @@ extern unsigned char Get_Attribute_Id (int);
 #define  Attr_First_Bit                     32
 #define  Attr_Fixed_Value                   33
 #define  Attr_Fore                          34
-#define  Attr_Has_Discriminants             35
-#define  Attr_Identity                      36
-#define  Attr_Img                           37
-#define  Attr_Integer_Value                 38
-#define  Attr_Large                         39
-#define  Attr_Last                          40
-#define  Attr_Last_Bit                      41
-#define  Attr_Leading_Part                  42
-#define  Attr_Length                        43
-#define  Attr_Machine_Emax                  44
-#define  Attr_Machine_Emin                  45
-#define  Attr_Machine_Mantissa              46
-#define  Attr_Machine_Overflows             47
-#define  Attr_Machine_Radix                 48
-#define  Attr_Machine_Rounds                49
-#define  Attr_Machine_Size                  50
-#define  Attr_Mantissa                      51
-#define  Attr_Max_Size_In_Storage_Elements  52
-#define  Attr_Maximum_Alignment             53
-#define  Attr_Mechanism_Code                54
-#define  Attr_Model_Emin                    55
-#define  Attr_Model_Epsilon                 56
-#define  Attr_Model_Mantissa                57
-#define  Attr_Model_Small                   58
-#define  Attr_Modulus                       59
-#define  Attr_Null_Parameter                60
-#define  Attr_Object_Size                   61
-#define  Attr_Partition_ID                  62
-#define  Attr_Passed_By_Reference           63
-#define  Attr_Pool_Address                  64
-#define  Attr_Pos                           65
-#define  Attr_Position                      66
-#define  Attr_Range                         67
-#define  Attr_Range_Length                  68
-#define  Attr_Round                         69
-#define  Attr_Safe_Emax                     70
-#define  Attr_Safe_First                    71
-#define  Attr_Safe_Large                    72
-#define  Attr_Safe_Last                     73
-#define  Attr_Safe_Small                    74
-#define  Attr_Scale                         75
-#define  Attr_Scaling                       76
-#define  Attr_Signed_Zeros                  77
-#define  Attr_Size                          78
-#define  Attr_Small                         79
-#define  Attr_Storage_Size                  80
-#define  Attr_Storage_Unit                  81
-#define  Attr_Tag                           82
-#define  Attr_Target_Name                   83
-#define  Attr_Terminated                    84
-#define  Attr_To_Address                    85
-#define  Attr_Type_Class                    86
-#define  Attr_UET_Address                   87
-#define  Attr_Unbiased_Rounding             88
-#define  Attr_Unchecked_Access              89
-#define  Attr_Unconstrained_Array           90
-#define  Attr_Universal_Literal_String      91
-#define  Attr_Unrestricted_Access           92
-#define  Attr_VADS_Size                     93
-#define  Attr_Val                           94
-#define  Attr_Valid                         95
-#define  Attr_Value_Size                    96
-#define  Attr_Version                       97
-#define  Attr_Wide_Character_Size           98
-#define  Attr_Wide_Width                    99
-#define  Attr_Width                        100
+#define  Attr_Has_Access_Values             35
+#define  Attr_Has_Discriminants             36
+#define  Attr_Identity                      37
+#define  Attr_Img                           38
+#define  Attr_Integer_Value                 39
+#define  Attr_Large                         40
+#define  Attr_Last                          41
+#define  Attr_Last_Bit                      42
+#define  Attr_Leading_Part                  43
+#define  Attr_Length                        44
+#define  Attr_Machine_Emax                  45
+#define  Attr_Machine_Emin                  46
+#define  Attr_Machine_Mantissa              47
+#define  Attr_Machine_Overflows             48
+#define  Attr_Machine_Radix                 49
+#define  Attr_Machine_Rounds                50
+#define  Attr_Machine_Size                  51
+#define  Attr_Mantissa                      52
+#define  Attr_Max_Size_In_Storage_Elements  53
+#define  Attr_Maximum_Alignment             54
+#define  Attr_Mechanism_Code                55
+#define  Attr_Model_Emin                    56
+#define  Attr_Model_Epsilon                 57
+#define  Attr_Model_Mantissa                58
+#define  Attr_Model_Small                   59
+#define  Attr_Modulus                       60
+#define  Attr_Null_Parameter                61
+#define  Attr_Object_Size                   62
+#define  Attr_Partition_ID                  63
+#define  Attr_Passed_By_Reference           64
+#define  Attr_Pool_Address                  65
+#define  Attr_Pos                           66
+#define  Attr_Position                      67
+#define  Attr_Range                         68
+#define  Attr_Range_Length                  69
+#define  Attr_Round                         70
+#define  Attr_Safe_Emax                     71
+#define  Attr_Safe_First                    72
+#define  Attr_Safe_Large                    73
+#define  Attr_Safe_Last                     74
+#define  Attr_Safe_Small                    75
+#define  Attr_Scale                         76
+#define  Attr_Scaling                       77
+#define  Attr_Signed_Zeros                  78
+#define  Attr_Size                          79
+#define  Attr_Small                         80
+#define  Attr_Storage_Size                  81
+#define  Attr_Storage_Unit                  82
+#define  Attr_Tag                           83
+#define  Attr_Target_Name                   84
+#define  Attr_Terminated                    85
+#define  Attr_To_Address                    86
+#define  Attr_Type_Class                    87
+#define  Attr_UET_Address                   88
+#define  Attr_Unbiased_Rounding             89
+#define  Attr_Unchecked_Access              90
+#define  Attr_Unconstrained_Array           91
+#define  Attr_Universal_Literal_String      92
+#define  Attr_Unrestricted_Access           93
+#define  Attr_VADS_Size                     94
+#define  Attr_Val                           95
+#define  Attr_Valid                         96
+#define  Attr_Value_Size                    97
+#define  Attr_Version                       98
+#define  Attr_Wide_Character_Size           99
+#define  Attr_Wide_Width                   100
+#define  Attr_Width                        101
+#define  Attr_Word_Size                    102
 
-#define  Attr_Word_Size                    101
-#define  Attr_Adjacent                     102
-#define  Attr_Ceiling                      103
-#define  Attr_Copy_Sign                    104
-#define  Attr_Floor                        105
-#define  Attr_Fraction                     106
-#define  Attr_Image                        107
-#define  Attr_Input                        108
-#define  Attr_Machine                      109
-#define  Attr_Max                          110
-#define  Attr_Min                          111
-#define  Attr_Model                        112
-#define  Attr_Pred                         113
-#define  Attr_Remainder                    114
-#define  Attr_Rounding                     115
-#define  Attr_Succ                         116
-#define  Attr_Truncation                   117
-#define  Attr_Value                        118
-#define  Attr_Wide_Image                   119
-#define  Attr_Wide_Value                   120
+#define  Attr_Adjacent                     103
+#define  Attr_Ceiling                      104
+#define  Attr_Copy_Sign                    105
+#define  Attr_Floor                        106
+#define  Attr_Fraction                     107
+#define  Attr_Image                        108
+#define  Attr_Input                        109
+#define  Attr_Machine                      110
+#define  Attr_Max                          111
+#define  Attr_Min                          112
+#define  Attr_Model                        113
+#define  Attr_Pred                         114
+#define  Attr_Remainder                    115
+#define  Attr_Rounding                     116
+#define  Attr_Succ                         117
+#define  Attr_Truncation                   118
+#define  Attr_Value                        119
+#define  Attr_Wide_Image                   120
+#define  Attr_Wide_Value                   121
 
-#define  Attr_Output                       121
-#define  Attr_Read                         122
-#define  Attr_Write                        123
+#define  Attr_Output                       122
+#define  Attr_Read                         123
+#define  Attr_Write                        124
 
-#define  Attr_Elab_Body                    124
-#define  Attr_Elab_Spec                    125
-#define  Attr_Storage_Pool                 126
+#define  Attr_Elab_Body                    125
+#define  Attr_Elab_Spec                    126
+#define  Attr_Storage_Pool                 127
 
-#define  Attr_Base                         127
-#define  Attr_Class                        128
+#define  Attr_Base                         128
+#define  Attr_Class                        129
 
 /* Define the function to check if a Name_Id value is a valid pragma */