[multiple changes]

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

	* a-direct.ads, einfo.ads: Minor comment updates

	* s-taprop-lynxos.adb, s-taprop-tru64.adb, s-taprop-irix.adb,
	s-taprop-irix-athread.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb,
	s-taprop-dummy.adb, s-taprop-os2.adb, s-taprop-solaris.adb,
	s-taprop-vms.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb,
	s-taprop-posix.adb, s-taprop.ads, exp_dbug.adb: Minor reformatting.

	* s-interr-sigaction.adb: Remove unreferenced variable
	(Attached_Interrupts).  Minor reformatting.
	Avoid use of variable I (replace by J).

	* par-ch10.adb: Fix text of one error message

	* checks.adb, checks.ads, cstand.adb, vms_data.ads, errout.ads,
	exp_aggr.adb, exp_ch3.adb, exp_ch3.ads, exp_ch5.adb, exp_ch6.adb,
	exp_ch9.adb, exp_code.adb, gnat1drv.adb, lib-load.adb, lib-writ.adb,
	opt.adb, par.adb, opt.ads, par-ch11.adb, par-ch3.adb, par-ch4.adb,
	par-ch5.adb, par-ch6.adb, par-ch8.adb, par-ch9.adb, par-prag.adb,
	par-util.adb, scng.adb, sem_aggr.adb, sem_attr.adb, sem_cat.adb,
        sem_ch10.adb, sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch2.adb,
	sem_ch3.adb, sem_ch3.ads, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb,
	sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_eval.adb, sem_prag.adb,
	sem_res.adb, sem_type.adb, sem_util.adb, sinfo.ads, snames.adb,
	snames.ads, snames.h, sprint.adb, switch-c.adb: Modifications for Ada
	2005 support.

2004-06-07  Doug Rupp  <rupp@gnat.com>

	* mlib-tgt-vms.adb: Rename mlib-tgt-vms.adb mlib-tgt-vms-alpha.adb

	* s-vaflop-vms.adb: Rename s-vaflop-vms.adb to s-vaflop-vms-alpha.adb

	* mlib-tgt-vms-ia64.adb: New file.

	* Makefile.in: Rename mlib-tgt-vms.adb to mlib-tgt-vms-alpha.adb
	Add mlib-tgt-vms-ia64.adb
	Rename s-vaflop-vms.adb to s-vaflop-vms-alpha.adb.
	Move to alpha specific ifeq section.
	Add VMS specific versions of symbols.adb
	Renaming of 5q vms files.

	* 5qsystem.ads renamed to system-vms_64.ads.

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

	* a-calend.ads: Add a GNAT Note comment after function Time_Of to
	explain that when a time of day corresponding to the non existing hour
	on the day switching to DST is specified, Split may return a different
	value for Seconds.

	* gnatcmd.adb: Add processing of GNAT METRIC (for gnatmetric), similar
	to GNAT PRETTY.

	* g-os_lib.adb (OpenVMS): New Boolean value imported from System.
	(Normalize_Pathname): Only resolve VMS logical names when on VMS.

	* mlib-prj.adb (Build_Library): New flag Gtrasymobj_Needed, initialize
	to False.
	If Gtrasymobj_Needed is True, add the full path of g-trasym.obj to
	the linking options.
	(Build_Library.Check_Libs): On VMS, if there is a dependency on
	g-trasym.ads, set Gtrasymobj_Needed to True.

	* prj-attr.adb: Add new package Metrics for gnatmetric

	* prj-nmsc.adb (Record_Other_Sources): Put source file names in
	canonical case to take into account files with upper case characters on
	Windows.
	(Ada_Check): Load the reference symbol file name in the name buffer to
	check it, not the symbol file name.

	* snames.ads, snames.adb: Add standard name Metrics (name of project
	file package for gnatmetric).

	* vms_conv.ads: Add Metric to Comment_Type

	* vms_conv.adb (Initialize): Add component dor Metric in Command_List

	* vms_data.ads: Add qualifiers for GNAT METRIC

	* makegpr.adb (Link_Executables): Take into account the switches
	specified in package Linker of the main project.

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

	* bindgen.adb (Set_Unit_Number): Units is an instance of Table, and so
	the index of the last element is Units.Last, not Units.Table'Last
	(which is usually not a valid index within the actually allocated
	storage for the table).

	* exp_ch4.adb (Insert_Dereference_Action): Change predicate that
	determines whether to generate a call to a checked storage pool
	Dereference action.
	Generate such a call only for a dereference that either comes from
	source, or is the result of rewriting a dereference that comes from
	source.

2004-06-07  Romain Berrendonner  <berrendo@act-europe.fr>

	* bindgen.adb (Gen_Output_File): Add support for GAP builds.

2004-06-07  Eric Botcazou  <ebotcazou@act-europe.fr>

	(gnat_to_gnu_entity) <E_Array_Subtype>: For multi-dimensional arrays at
	file level, elaborate the stride for inner dimensions in alignment
	units, not bytes.

	* exp_ch5.adb: Correct wrong reference to Component_May_Be_Bit_Aligned
	in a comment.

2004-06-07  Javier Miranda  <miranda@gnat.com>

	* exp_ch6.adb: Correct wrong modification in previous patch

2004-06-07  Vasiliy Fofanov  <fofanov@act-europe.fr>

	* g-trasym.ads: Corrected comment to properly reflect level of support
	on VMS.

2004-06-07  Hristian Kirtchev  <kirtchev@gnat.com>

	* lib-xref.adb (Generate_Reference): Add nested function Is_On_LHS. It
	includes case of a variable referenced on the left hand side of an
	assignment, therefore remove redundant code. Variables and prefixes of
	indexed or selected components are now marked as referenced on left
	hand side. Warnings are now properly emitted when variables or prefixes
	are assigned but not read.

	* sem_warn.adb (Output_Unreferenced_Messages): Add additional checks to
	left hand side referenced variables. Private access types do not
	produce the warning "variable ... is assigned but never read".
	Add also additional checks to left hand side referenced variables.
	Aliased, renamed objects and access types do not produce the warning
	"variable ... is assigned but never read" since other entities may read
	the memory location.

2004-06-07  Jerome Guitton  <guitton@act-europe.fr>

	* Makefile.in: In the powerpc/vxworks-specific section, restore
	EXTRA_GNATRTL_NONTASKING_OBJS and EXTRA_GNATRTL_TASKING_OBJS (removed
	by mistake).

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

	* sem_ch4.adb (Remove_Abstract_Operations): Refine the removal of
	predefined operators.
	Removes spurious type errors from g-trasym-vms.adb.

	* sem_res.adb (Rewrite_Renamed_Operator): If intrinsic operator is
	distinct from the operator appearing in the source, call appropriate
	routine to insert conversions when needed, and complete resolution of
	node.
	(Resolve_Intrinsic_Operator): Fix cut-and-paste bug on transfer of
	interpretations for rewritten right operand.
	(Set_Mixed_Mode_Operand): Handle properly a universal real operand when
	the other operand is overloaded and the context is a type conversion.

2004-06-07  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

	* ada-tree.def (BLOCK_STMT): Now has two operands.
	(BREAK_STMT): New.

	* ada-tree.h: (BLOCK_STMT_BLOCK): New macro.

	* gigi.h: (gnat_poplevel): Now returns a tree.

	* trans.c (end_block_stmt): Add arg; all callers changed.
	(tree_transform, case N_Case_Statement): Make a BLOCK_STMT for a WHEN.
	(start_block_stmt): Clear BLOCK_STMT_BLOCK.
	(add_stmt): Set TREE_TYPE.
	(gnat_expand_stmt, case BLOCK_STMT): Handle BLOCK_STMT_BLOCK.
	(gnat_expand_stmt, case BREAK_STMT): New case.

	* utils.c (gnat_poplevel): Return a BLOCK, if we made one.

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

	* s-stchop.adsm s-stchop.adb, s-stchop-vxworks.adb: Remove the
	procedure Set_Stack_Size that is not needed.

2004-06-07  Sergey Rybin  <rybin@act-europe.fr>

	* gnat_ugn.texi: Clarify the case when non-standard naming scheme is
	used for gnatpp input file and for the files upon which it depends

2004-06-07  Ben Brosgol  <brosgol@gnat.com>

	* gnat_ugn.texi: Wordsmithing of "GNAT and Libraries" chapter

2004-06-07  Arnaud Charlet  <charlet@act-europe.fr>

	* gnatvsn.ads: Bump version numbers appropriately.
	Add new build type.

2004-06-07  Pascal Obry  <obry@gnat.com>

	* gnat_ugn.texi: Improve comments about imported names and link names
	on Windows. Add a note about the requirement to use -k gnatdll's option
	when working with a DLL which has stripped stdcall symbols (no @nn
	suffix).

From-SVN: r82691

1 files changed, 141 insertions, 140 deletions

diff --git a/gcc/ada/snames.h b/gcc/ada/snames.h
index 58dc87f..38033da 100644
--- a/gcc/ada/snames.h
+++ b/gcc/ada/snames.h
@@ -198,152 +198,153 @@ extern unsigned char Get_Pragma_Id (int);
 
 #define  Pragma_Ada_83                        0
 #define  Pragma_Ada_95                        1
-#define  Pragma_C_Pass_By_Copy                2
-#define  Pragma_Compile_Time_Warning          3
-#define  Pragma_Component_Alignment           4
-#define  Pragma_Convention_Identifier         5
-#define  Pragma_Discard_Names                 6
-#define  Pragma_Elaboration_Checking          7
-#define  Pragma_Eliminate                     8
-#define  Pragma_Explicit_Overriding           9
-#define  Pragma_Extend_System                10
-#define  Pragma_Extensions_Allowed           11
-#define  Pragma_External_Name_Casing         12
-#define  Pragma_Float_Representation         13
-#define  Pragma_Initialize_Scalars           14
-#define  Pragma_Interrupt_State              15
-#define  Pragma_License                      16
-#define  Pragma_Locking_Policy               17
-#define  Pragma_Long_Float                   18
-#define  Pragma_No_Run_Time                  19
-#define  Pragma_No_Strict_Aliasing           20
-#define  Pragma_Normalize_Scalars            21
-#define  Pragma_Polling                      22
-#define  Pragma_Persistent_Data              23
-#define  Pragma_Persistent_Object            24
-#define  Pragma_Profile                      25
-#define  Pragma_Propagate_Exceptions         26
-#define  Pragma_Queuing_Policy               27
-#define  Pragma_Ravenscar                    28
-#define  Pragma_Restricted_Run_Time          29
-#define  Pragma_Restrictions                 30
-#define  Pragma_Restriction_Warnings         31
-#define  Pragma_Reviewable                   32
-#define  Pragma_Source_File_Name             33
-#define  Pragma_Source_File_Name_Project     34
-#define  Pragma_Style_Checks                 35
-#define  Pragma_Suppress                     36
-#define  Pragma_Suppress_Exception_Locations 37
-#define  Pragma_Task_Dispatching_Policy      38
-#define  Pragma_Universal_Data               39
-#define  Pragma_Unsuppress                   40
-#define  Pragma_Use_VADS_Size                41
-#define  Pragma_Validity_Checks              42
-#define  Pragma_Warnings                     43
+#define  Pragma_Ada_05                        2
+#define  Pragma_C_Pass_By_Copy                3
+#define  Pragma_Compile_Time_Warning          4
+#define  Pragma_Component_Alignment           5
+#define  Pragma_Convention_Identifier         6
+#define  Pragma_Discard_Names                 7
+#define  Pragma_Elaboration_Checking          8
+#define  Pragma_Eliminate                     9
+#define  Pragma_Explicit_Overriding          10
+#define  Pragma_Extend_System                11
+#define  Pragma_Extensions_Allowed           12
+#define  Pragma_External_Name_Casing         13
+#define  Pragma_Float_Representation         14
+#define  Pragma_Initialize_Scalars           15
+#define  Pragma_Interrupt_State              16
+#define  Pragma_License                      17
+#define  Pragma_Locking_Policy               18
+#define  Pragma_Long_Float                   19
+#define  Pragma_No_Run_Time                  20
+#define  Pragma_No_Strict_Aliasing           21
+#define  Pragma_Normalize_Scalars            22
+#define  Pragma_Polling                      23
+#define  Pragma_Persistent_Data              24
+#define  Pragma_Persistent_Object            25
+#define  Pragma_Profile                      26
+#define  Pragma_Propagate_Exceptions         27
+#define  Pragma_Queuing_Policy               28
+#define  Pragma_Ravenscar                    29
+#define  Pragma_Restricted_Run_Time          30
+#define  Pragma_Restrictions                 31
+#define  Pragma_Restriction_Warnings         32
+#define  Pragma_Reviewable                   33
+#define  Pragma_Source_File_Name             34
+#define  Pragma_Source_File_Name_Project     35
+#define  Pragma_Style_Checks                 36
+#define  Pragma_Suppress                     37
+#define  Pragma_Suppress_Exception_Locations 38
+#define  Pragma_Task_Dispatching_Policy      39
+#define  Pragma_Universal_Data               40
+#define  Pragma_Unsuppress                   41
+#define  Pragma_Use_VADS_Size                42
+#define  Pragma_Validity_Checks              43
+#define  Pragma_Warnings                     44
 
 /* Remaining pragmas */
 
-#define  Pragma_Abort_Defer                  44
-#define  Pragma_All_Calls_Remote             45
-#define  Pragma_Annotate                     46
-#define  Pragma_Assert                       47
-#define  Pragma_Asynchronous                 48
-#define  Pragma_Atomic                       49
-#define  Pragma_Atomic_Components            50
-#define  Pragma_Attach_Handler               51
-#define  Pragma_Comment                      52
-#define  Pragma_Common_Object                53
-#define  Pragma_Complex_Representation       54
-#define  Pragma_Controlled                   55
-#define  Pragma_Convention                   56
-#define  Pragma_CPP_Class                    57
-#define  Pragma_CPP_Constructor              58
-#define  Pragma_CPP_Virtual                  59
-#define  Pragma_CPP_Vtable                   60
-#define  Pragma_Debug                        61
-#define  Pragma_Elaborate                    62
-#define  Pragma_Elaborate_All                63
-#define  Pragma_Elaborate_Body               64
-#define  Pragma_Export                       65
-#define  Pragma_Export_Exception             66
-#define  Pragma_Export_Function              67
-#define  Pragma_Export_Object                68
-#define  Pragma_Export_Procedure             69
-#define  Pragma_Export_Value                 70
-#define  Pragma_Export_Valued_Procedure      71
-#define  Pragma_External                     72
-#define  Pragma_Finalize_Storage_Only        73
-#define  Pragma_Ident                        74
-#define  Pragma_Import                       75
-#define  Pragma_Import_Exception             76
-#define  Pragma_Import_Function              77
-#define  Pragma_Import_Object                78
-#define  Pragma_Import_Procedure             79
-#define  Pragma_Import_Valued_Procedure      80
-#define  Pragma_Inline                       81
-#define  Pragma_Inline_Always                82
-#define  Pragma_Inline_Generic               83
-#define  Pragma_Inspection_Point             84
-#define  Pragma_Interface                    85
-#define  Pragma_Interface_Name               86
-#define  Pragma_Interrupt_Handler            87
-#define  Pragma_Interrupt_Priority           88
-#define  Pragma_Java_Constructor             89
-#define  Pragma_Java_Interface               90
-#define  Pragma_Keep_Names                   91
-#define  Pragma_Link_With                    92
-#define  Pragma_Linker_Alias                 93
-#define  Pragma_Linker_Options               94
-#define  Pragma_Linker_Section               95
-#define  Pragma_List                         96
-#define  Pragma_Machine_Attribute            97
-#define  Pragma_Main                         98
-#define  Pragma_Main_Storage                 99
-#define  Pragma_Memory_Size                 100
-#define  Pragma_No_Return                   101
-#define  Pragma_Obsolescent                 102
-#define  Pragma_Optimize                    103
-#define  Pragma_Optional_Overriding         104
-#define  Pragma_Overriding                  105
-#define  Pragma_Pack                        106
-#define  Pragma_Page                        107
-#define  Pragma_Passive                     108
-#define  Pragma_Preelaborate                109
-#define  Pragma_Priority                    110
-#define  Pragma_Psect_Object                111
-#define  Pragma_Pure                        112
-#define  Pragma_Pure_Function               113
-#define  Pragma_Remote_Call_Interface       114
-#define  Pragma_Remote_Types                115
-#define  Pragma_Share_Generic               116
-#define  Pragma_Shared                      117
-#define  Pragma_Shared_Passive              118
-#define  Pragma_Source_Reference            119
-#define  Pragma_Stream_Convert              120
-#define  Pragma_Subtitle                    121
-#define  Pragma_Suppress_All                122
-#define  Pragma_Suppress_Debug_Info         123
-#define  Pragma_Suppress_Initialization     124
-#define  Pragma_System_Name                 125
-#define  Pragma_Task_Info                   126
-#define  Pragma_Task_Name                   127
-#define  Pragma_Task_Storage                128
-#define  Pragma_Thread_Body                 129
-#define  Pragma_Time_Slice                  130
-#define  Pragma_Title                       131
-#define  Pragma_Unchecked_Union             132
-#define  Pragma_Unimplemented_Unit          133
-#define  Pragma_Unreferenced                134
-#define  Pragma_Unreserve_All_Interrupts    135
-#define  Pragma_Volatile                    136
-#define  Pragma_Volatile_Components         137
-#define  Pragma_Weak_External               138
+#define  Pragma_Abort_Defer                  45
+#define  Pragma_All_Calls_Remote             46
+#define  Pragma_Annotate                     47
+#define  Pragma_Assert                       48
+#define  Pragma_Asynchronous                 49
+#define  Pragma_Atomic                       50
+#define  Pragma_Atomic_Components            51
+#define  Pragma_Attach_Handler               52
+#define  Pragma_Comment                      53
+#define  Pragma_Common_Object                54
+#define  Pragma_Complex_Representation       55
+#define  Pragma_Controlled                   56
+#define  Pragma_Convention                   57
+#define  Pragma_CPP_Class                    58
+#define  Pragma_CPP_Constructor              59
+#define  Pragma_CPP_Virtual                  60
+#define  Pragma_CPP_Vtable                   61
+#define  Pragma_Debug                        62
+#define  Pragma_Elaborate                    63
+#define  Pragma_Elaborate_All                64
+#define  Pragma_Elaborate_Body               65
+#define  Pragma_Export                       66
+#define  Pragma_Export_Exception             67
+#define  Pragma_Export_Function              68
+#define  Pragma_Export_Object                69
+#define  Pragma_Export_Procedure             70
+#define  Pragma_Export_Value                 71
+#define  Pragma_Export_Valued_Procedure      72
+#define  Pragma_External                     73
+#define  Pragma_Finalize_Storage_Only        74
+#define  Pragma_Ident                        75
+#define  Pragma_Import                       76
+#define  Pragma_Import_Exception             77
+#define  Pragma_Import_Function              78
+#define  Pragma_Import_Object                79
+#define  Pragma_Import_Procedure             80
+#define  Pragma_Import_Valued_Procedure      81
+#define  Pragma_Inline                       82
+#define  Pragma_Inline_Always                83
+#define  Pragma_Inline_Generic               84
+#define  Pragma_Inspection_Point             85
+#define  Pragma_Interface                    86
+#define  Pragma_Interface_Name               87
+#define  Pragma_Interrupt_Handler            88
+#define  Pragma_Interrupt_Priority           89
+#define  Pragma_Java_Constructor             90
+#define  Pragma_Java_Interface               91
+#define  Pragma_Keep_Names                   92
+#define  Pragma_Link_With                    93
+#define  Pragma_Linker_Alias                 94
+#define  Pragma_Linker_Options               95
+#define  Pragma_Linker_Section               96
+#define  Pragma_List                         97
+#define  Pragma_Machine_Attribute            98
+#define  Pragma_Main                         99
+#define  Pragma_Main_Storage                100
+#define  Pragma_Memory_Size                 101
+#define  Pragma_No_Return                   102
+#define  Pragma_Obsolescent                 103
+#define  Pragma_Optimize                    104
+#define  Pragma_Optional_Overriding         105
+#define  Pragma_Overriding                  106
+#define  Pragma_Pack                        107
+#define  Pragma_Page                        108
+#define  Pragma_Passive                     109
+#define  Pragma_Preelaborate                110
+#define  Pragma_Priority                    111
+#define  Pragma_Psect_Object                112
+#define  Pragma_Pure                        113
+#define  Pragma_Pure_Function               114
+#define  Pragma_Remote_Call_Interface       115
+#define  Pragma_Remote_Types                116
+#define  Pragma_Share_Generic               117
+#define  Pragma_Shared                      118
+#define  Pragma_Shared_Passive              119
+#define  Pragma_Source_Reference            120
+#define  Pragma_Stream_Convert              121
+#define  Pragma_Subtitle                    122
+#define  Pragma_Suppress_All                123
+#define  Pragma_Suppress_Debug_Info         124
+#define  Pragma_Suppress_Initialization     125
+#define  Pragma_System_Name                 126
+#define  Pragma_Task_Info                   127
+#define  Pragma_Task_Name                   128
+#define  Pragma_Task_Storage                129
+#define  Pragma_Thread_Body                 130
+#define  Pragma_Time_Slice                  131
+#define  Pragma_Title                       132
+#define  Pragma_Unchecked_Union             133
+#define  Pragma_Unimplemented_Unit          134
+#define  Pragma_Unreferenced                135
+#define  Pragma_Unreserve_All_Interrupts    136
+#define  Pragma_Volatile                    137
+#define  Pragma_Volatile_Components         138
+#define  Pragma_Weak_External               139
 
 /* The following are deliberately out of alphabetical order, see Snames */
 
-#define  Pragma_AST_Entry                   139
-#define  Pragma_Storage_Size                140
-#define  Pragma_Storage_Unit                141
+#define  Pragma_AST_Entry                   140
+#define  Pragma_Storage_Size                141
+#define  Pragma_Storage_Unit                142
 
 /* Define the numeric values for the conventions.  */