+2007-08-16 Gary Dismukes <dismukes@adacore.com>
+
+ * 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 <dismukes@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
+ Javier Miranda <miranda@adacore.com>
+
+ * 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 <miranda@adacore.com>
+
+ * exp_attr.adb (Attribute_Priority): Add missing support for entries
+ and entry barriers.
+
+2007-08-16 Javier Miranda <miranda@adacore.com>
+
+ * 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 <quinot@adacore.com>
+
+ * g-dyntab.adb, g-table.adb, table.adb: (Set_Item): Suppress
+ Range_Check on Allocated_Table.
+
+2007-08-16 Vincent Celier <celier@adacore.com>
+
+ * 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 <roche@adacore.com>
+
+ * Makefile.in (gnatlib): Propagate FORCE_DEBUG_ADAFLAGS value to sub
+ makefiles
+
+ * Make-lang.in: Update dependencies
+
+2007-08-16 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * 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 <schonberg@adacore.com>
+
+ * 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 <dismukes@adacore.com>
+ Javier Miranda <miranda@adacore.com>
+
+ * 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 <dewar@adacore.com>
+
+ * sem_ch5.adb (Analyze_Assignment): Make sure we still note update in
+ exception case
+
+2007-08-16 Ed Schonberg <schonberg@adacore.com>
+
+ * 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 <kirtchev@adacore.com>
+ Bob Duff <duff@adacore.com>
+ Nicolas Setton <setton@adacore.com>
+
+ * 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 <celier@adacore.com>
+
+ * 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 <dewar@adacore.com>
+
+ * gnat_ugn.texi: Add note on preprocessing (output file not written)
+
+2007-08-16 Thomas Quinot <quinot@adacore.com>
+
+ * a-tags.adb: Minor reformatting.
+
+2007-08-16 Bob Duff <duff@adacore.com>
+
+ * sem_type.ads, sem_ch4.adb: Minor reformatting.
+
2007-08-14 Thomas Quinot <quinot@adacore.com>
* g-soccon-interix.ads, a-excpol-interix.adb, a-intnam-interix.ads,
projects / platform / upstream / linaro-gcc.git / commitdiff