From 833eddffb0a850f332d856dbcb628730455102ec Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 16 Aug 2007 14:22:05 +0200 Subject: [PATCH] Resync From-SVN: r127553 --- gcc/ada/ChangeLog | 195 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 195 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4cd1c60d34b..07e95a684c9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,198 @@ +2007-08-16 Gary Dismukes + + * cstand.adb (Create_Standard): Create an entity for a zero-sized type + associated with Standard_Debug_Renaming_Type, to be used as the type of + the special variables whose names provide debugger encodings for + renaming declarations. + + * einfo.ads, einfo.adb (Debug_Renaming_Link): Change to return Node25. + (Set_Debug_Renaming_Link): Change to set Node25. + (Write_Field13_Name): Remove case for E_Enumeration_Literal. + (Write_Field25_Name): Add case for E_Variable to output + "Debug_Renaming_Link". + (Write_Field23_Name): Correct the output string for "Limited_View". + + * exp_dbug.adb: Add with and use of Tbuild. + (Debug_Renaming_Declaration): Replace creation of an enumeration type + and literal with creation of a variable of type + Standard_Debug_Renaming_Type whose name encodes both the renamed object + and the entity of the renaming declaration. + (Qualify_Entity_Name): Add the delayed qualification of the entity name + part of the name of a variable that has a Debug_Renaming_Link. + + * stand.ads (Standard_Debug_Renaming_Type): New Entity_Id denoting a + special type to be associated with variables that provide debugger + encodings for renaming declarations. + +2007-08-16 Gary Dismukes + Ed Schonberg + Javier Miranda + + * exp_aggr.adb (Build_Record_Aggr_Code): Extend the test for an + ancestor part given by an aggregate to test for an unchecked conversion, + since this can occur in some cases when the ancestor part is a function + call, and we don't want to fall into the recursive call to this + procedure in that case. + + * exp_ch3.adb (Stream_Operation_OK): Revise tests for availability of + stream attributes on limited types to account for user-specified + attributes as well as whether Input (resp. Output) becomes available + due to Read (resp. Write) being available for the type. Change Boolean + variable to the more accurate name + Has_Predefined_Or_Specified_Stream_Attribute. Change convoluted + double-"not" predicate at beginning of return statement to more + understandable form. + + * exp_ch5.adb (Expand_N_Extended_Return_Statement): If the extended + return has an associated N_Handled_Sequence_Of_Statements, then wrap it + in a block statement and use that as the first statement of the + expanded return rather than incorrectly using the handled sequence as + the first statement. + + * exp_ch6.adb (Expand_N_Subprogram_Declaration): If this is a protected + operation, generate an explicit freeze node for it rather than + generating extra formals, to ensure that gigi has the proper order of + elaboration for anonymous subtypes in the signature of the subprograms. + (Build_In_Place_Formal): Move assertion to beginning of loop. + (Is_Build_In_Place_Function_Call): Allow for an unchecked conversion + applied to a function call (occurs for some cases of 'Input). + (Make_Build_In_Place_Call_In_*): Allow for an unchecked conversion + applied to a function call (occurs for some cases of 'Input). + + * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): For Ada + 2005, generate an extended return statement enclosing the result object + and 'Read call. + + * freeze.adb (Freeze_Record_Type): Extend the current management of + components that are access type with an allocator as default value: add + missing support to the use of qualified expressions of the + allocator (which also cause freezing of the designated type!) + (Freeze_Entity): Call Freeze_Subprogram in the case of a predefined + dispatching operation, since extra formals may be needed by calls to + build-in-place functions (such as stream 'Input). + + * sem_ch6.adb (Create_Extra_Formals): Skip creation of the extra + formals for 'Constrained and accessibility level in the case of a + predefined dispatching operation. + + * exp_util.adb (Insert_Actions): A protected body is a valid insertion + point, no need to find the parent node. + +2007-08-16 Javier Miranda + + * exp_attr.adb (Attribute_Priority): Add missing support for entries + and entry barriers. + +2007-08-16 Javier Miranda + + * exp_ch9.adb (Build_Protected_Entry): Undo previous change because it + is not really required and can introduce regression with the debugger. + The original problem is fixed with the patch written for checks.adb. + +2007-08-16 Thomas Quinot + + * g-dyntab.adb, g-table.adb, table.adb: (Set_Item): Suppress + Range_Check on Allocated_Table. + +2007-08-16 Vincent Celier + + * make.adb (Collect_Arguments): Call Test_If_Relative_Path with + Including_Non_Switch set to False. + (Gnatmake): For the compiler, call Test_If_Relative_Path with + Including_Non_Switch set to False. + + * makeutl.adb, makeutl.ads (Test_If_Relative_Path): New Boolean + parameter Including_Non_Switch, defaulted to True. When + Including_Non_Switch is False, options that are not switches and + appear as relative path are not converted to absolute paths. + +2007-08-16 Nicolas Roche + + * Makefile.in (gnatlib): Propagate FORCE_DEBUG_ADAFLAGS value to sub + makefiles + + * Make-lang.in: Update dependencies + +2007-08-16 Hristian Kirtchev + + * sem_ch10.adb (Has_With_Clause): If the name of the with clause + currently inspected is a selected component, retrieve the entity of + its selector. + (Install_Limited_Withed_Unit): Call Has_Limited_With_Clause starting + from the immediate ancestor of Main_Unit_Entity. + (Install_Limited_Withed_Unit): Do not install the limited view of + package P if P is reachable through an ancestor chain from package C + and C also has a with clause for P in its body. + (Has_Limited_With_Clause): New routine. + (Has_With_Clause): New routine. + +2007-08-16 Ed Schonberg + + * sem_ch12.adb (Copy_Generic_Node): A reference to a child unit of the + generic for an enclosing instance is a global reference, even though + its scope is the enclosing instance. + +2007-08-16 Gary Dismukes + Javier Miranda + + * sem_ch3.adb (OK_For_Limited_Init_In_05): Allow calls to 'Input to + initialize a limited object. + (Build_Derived_Record_Type): Add missing check of rules ARM 3.9.4 + 13/2 and 14/2. + Make sure Has_Complex_Representation is inherited by derived type. + +2007-08-16 Robert Dewar + + * sem_ch5.adb (Analyze_Assignment): Make sure we still note update in + exception case + +2007-08-16 Ed Schonberg + + * sem_disp.adb (Check_Dispatching_Operation): If the operation + implements an operation inherited from a progenitor interface, verify + that they are subtype-conformant. + +2007-08-16 Hristian Kirtchev + Bob Duff + Nicolas Setton + + * sem_res.adb (Comes_From_Predefined_Lib_Unit): New. + (Resolve): Alphabetize local variables. Add new variable From_Lib. When + the statement which is being resolved comes from a predefined library + unit, all non-predefined library interpretations are skipped. + (Resolve_Op_Concat): If string concatenation was folded in the parser, + but the "&" is user defined, give an error, because the folding would + be wrong. + + * sinfo.ads, sinfo.adb (Is_Folded_In_Parser): New flag to indicate that + the parser has folded a long sequence of concatenations of string + literals. + + * trans.c (Handled_Sequence_Of_Statements_to_gnu): Mark "JMPBUF_SAVE" + and "JMP_BUF" variables as artificial. + (N_String_Literal): Do not use alloca for very long string literals. Use + xmalloc/free instead. Otherwise the stack might overflow. + + * utils.c (init_gigi_decls): Mark "JMPBUF_T" type as created by the + compiler. + +2007-08-16 Vincent Celier + + * vms_conv.adb (Process_Argument): Ensure that project related options + are not put in the -cargs section when using GNAT COMPILE. + +2007-08-16 Robert Dewar + + * gnat_ugn.texi: Add note on preprocessing (output file not written) + +2007-08-16 Thomas Quinot + + * a-tags.adb: Minor reformatting. + +2007-08-16 Bob Duff + + * sem_type.ads, sem_ch4.adb: Minor reformatting. + 2007-08-14 Thomas Quinot * g-soccon-interix.ads, a-excpol-interix.adb, a-intnam-interix.ads, -- 2.30.2