+2011-12-22 Arnaud Charlet <charlet@adacore.com>
+
+ * s-osinte-hpux-dce.ads: Update header to GPLv3
+
+2011-12-22 Ed Schonberg <schonberg@adacore.com>
+
+ * a-cohase.ads, a-cohase.adb: Update to latest RM version. Add
+ aspect Constant_Reference to set type, and corresponding
+ functions.
+ * a-cihama.ads, a-cihama.adb: Update to latest RM version. Add
+ function Reference to provide a proper element iterator construct
+ over indefinite maps.
+
+2011-12-22 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute, case 'Access): Do not insert
+ implicit conversion on prefix of Unrestricted_Access when prefix
+ is an explicit dereference.
+
+2011-12-22 Vincent Pucci <pucci@adacore.com>
+
+ * sem_dim.adb: Addressed all ??? comments. Replacement of warnings by
+ errors using continuation marks.
+ (Error_Dim_Msg_For_?): Renaming of Error_Dim_For_?.
+
+2011-12-22 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch3.adb, sem_ch3.ads, sem_prag.adb: Minor code clean up.
+
+2011-12-21 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * s-oscons-tmplt.c [__alpha__ && __osf__] (_XOPEN_SOURCE): Define.
+
+2011-12-21 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.ads, sem_ch3.adb (Check_CPP_Type): New subprogram.
+ (Process_Full_View): Invoke Check_CPP_Type if processing the
+ full-view of a CPP type.
+ * sem_prag.adb (Process_Import_Or_Interface): Add missing support
+ for importing a CPP type that has an incomplete declaration. Move
+ to new routine Check_CPP_Type the code that verifies that
+ components of imported CPP types do not have default expressions.
+
+2011-12-21 Vincent Celier <celier@adacore.com>
+
+ * prj-nmsc.adb (Report_No_Sources): Remove argument Lang. Report
+ no sources even for languages that are not allowed.
+ (Add_Source): Get the source even when the language is not allowed.
+
+2011-12-21 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch6.adb (Process_Formals): Add defensive code.
+
+2011-12-21 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch7.adb, sem_ch13.adb (Analyze_Package_Specification): Build the
+ invariant procedure of a type declaration that is a completion and has
+ aspect specifications.
+ (Build_Invariant_Procedure): If the procedure is built for a
+ type declaration that is a completion, analyze body expliitly
+ because all private declarations have been already analyzed.
+
+2011-12-21 Claire Dross <dross@adacore.com>
+
+ * a-cfdlli.adb, a-cfhase.adb, a-cforma.adb, a-cforse.adb,
+ a-cofove.adb: Minor reformating on formal containers
+
+2011-12-21 Vincent Celier <celier@adacore.com>
+
+ * makeutl.adb (Mains.Complete_Mains.Do_Complete): Remove
+ any main that is not in the list of restricted languages.
+ (Insert_Project_Sources.Do_Insert): Only add sources of languages
+ in the list of restricted languages.
+
+2011-12-21 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Valid_Conversion): A type conversion is valid when
+ the target type is an anonymous access type and the operand is a
+ rewriting of an allocator. The conversion is typically inserted
+ when the designated type is an interface.
+
+2011-12-21 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch9.adb (Establish_Task_Master): If the enclosing block
+ has no declarations, create new declarative list for it.
+
+2011-12-21 Matthew Heaney <heaney@adacore.com>
+
+ * a-rbtgbk.adb (Generic_Conditional_Insert): Fixed incorrect comment.
+
+2011-12-21 Yannick Moy <moy@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not
+ ignore representation attributes in Alfa mode, since formal
+ verification backend does not depend on actual physical
+ representation, but code may still refer to attribute values.
+
+2011-12-21 Yannick Moy <moy@adacore.com>
+
+ * par-ch13.adb (P_Aspect_Specifications): Recognize the cases
+ where a comma between two aspects is missing, or erroneously
+ replaced by a semicolon, issue an error and proceed with next
+ aspect.
+ * par.adb, sinfo.ads: Fix typos.
+
+2011-12-21 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_util.adb (Mark_Coextensions): A coextension for an
+ object that is part of the expression in a return statement,
+ or part of the return object in an extended return statement,
+ must be allocated dynamically.
+
+2011-12-21 Matthew Heaney <heaney@adacore.com>
+
+ * a-crbtgk.adb (Generic_Conditional_Insert): Fixed incorrect comment.
+
+2011-12-21 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch5.adb (Analyze_Iterator_Specification): If the name
+ of an element iterator is not an entity name we introduce a
+ local renaming declaration for it. To prevent spurious warnings
+ on parameterless function calls that return a container, when
+ expansion is disabled (either explicitly or because of a previous
+ errors) the name must be marked as not coming from source.
+
+2011-12-21 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Separate
+ handling in CodePeer mode and only ignore Component_Size
+ attribute.
+
+2011-12-21 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch6.adb (Process_Formals): Set proper mechanism for
+ formals whose types have conventions Ada_Pass_By_Copy or
+ Ada_Pass_By_Reference.
+
+2011-12-21 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat1drv.adb (Gnat1Drv): Always delete old scil files in
+ CodePeer mode.
+
+2011-12-21 Robert Dewar <dewar@adacore.com>
+
+ * comperr.adb: Minor reformatting.
+
+2011-12-21 Ed Schonberg <schonberg@adacore.com>
+
+ * aspects.ads: New table Base_Aspect, to indicate that an aspect
+ is defined on a base type.
+ * aspects.adb (Find_Aspect): If the aspect is a Base_Aspect,
+ examine the representation items of the base type.
+
+2011-12-21 Pascal Obry <obry@adacore.com>
+
+ * gnat_ugn.texi, prj.ads, prj-nmsc.adb, prj-attr.adb, projects.texi,
+ snames.ads-tmpl: Use Encapsulated instead of Fully Standalone library.
+
+2011-12-21 Pascal Obry <obry@adacore.com>
+
+ * adaint.c (__gnat_is_executable_file_attr) [_WIN32]: Add parentheses
+ to kill warning.
+
+2011-12-21 Arnaud Charlet <charlet@adacore.com>
+
+ * comperr.adb (Delete_SCIL_Files): Also delete .scilx files.
+ Fix implementation for child packages and package specs.
+ (Delete_SCIL_Files.Decode_Name_Buffer): New function.
+
+2011-12-21 Robert Dewar <dewar@adacore.com>
+
+ * err_vars.ads, a-cdlili.adb, a-cfdlli.ads, prj.adb, prj-nmsc.adb,
+ a-cbdlli.adb, a-cbdlli.ads, a-cfdlli.adb: Minor reformatting.
+
+2011-12-21 Vincent Pucci <pucci@adacore.com>
+
+ * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads,
+ s-llflex.ads: Fix header.
+
+2011-12-21 Thomas Quinot <quinot@adacore.com>
+
+ * thread.c, s-oscons-tmplt.c, init.c (pthread_condattr_setclock): For
+ AIX 5.2, define as a dummy weak symbol in init.c.
+ (CLOCK_RT_Ada): Set to CLOCK_MONOTONIC on all versions of AIX.
+
+2011-12-21 Thomas Quinot <quinot@adacore.com>
+
+ * snames.ads-tmpl, sem_ch8.adb: Minor reformatting.
+ * sem_prag.adb: Minor comment clarification.
+
+2011-12-21 Vincent Celier <celier@adacore.com>
+
+ * prj-nmsc.adb (Report_No_Sources): New argument Lang for the
+ language name as a Name_Id. Do not report no sources if language
+ is not allowed.
+ (Add_Source): Do not add source if language is not allowed.
+ * prj.adb (Add_Restricted_Language): New procedure
+ (Is_Allowed_Language): New function
+ * prj.ads (Add_Restricted_Language): New procedure
+ (Is_Allowed_Language): New function
+
+2011-12-21 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch5.adb, sem_dim.adb, sem_dim.ads, sem_ch12.adb, prj-conf.adb:
+ Minor reformatting.
+
+2011-12-21 Claire Dross <dross@adacore.com>
+
+ * a-cfdlli.ads (Constant_Indexing, Default_Iterator,
+ Iterator_Element): Added to type List.
+ (Not_No_Element, List_Iterator_Interfaces, Iterate,
+ Constant_Reference_Type, Constant_Reference): New.
+ * a-cfdlli.adb (type Iterator, Finalize, First, Last, Next,
+ Previous, Iterate, Not_No_Element, Constant_Reference): New.
+
+2011-12-21 Gary Dismukes <dismukes@adacore.com>
+
+ * gnat_ugn.texi: Minor reformatting.
+
+2011-12-21 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch5.adb (Expand_Iterator_Loop): The cursor operation
+ Has_Element is the formal of Iterator_Interfaces, and within
+ the instantion of this package it is a renaming of some local
+ function with an unrelated name. Retrieve the operation from
+ the instance itself, not from the container package.
+
+2011-12-21 Vincent Pucci <pucci@adacore.com>
+
+ * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_String
+ replaced by Expand_Put_Call_With_Dimension_Symbol
+ * sem_ch12.adb (Analyze_Package_Instantiation): New check for
+ System.Dim_Float_IO and System.Dim_Integer_IO instantiation.
+ * sem_ch3.adb (Analyze_Declarations): Removed
+ Remove_Dimension_In_Declaration call.
+ * sem_dim.adb: Update comments. Redefine the
+ representation of a Rational. Propagate all changes involving
+ data structures and types throughout the pakage. Output the
+ dimension aggregates for each error messages.
+ ("/"): Rational constructor "/" removed for Whole operands.
+ ("/"): New rational operation "/" for Rational operands.
+ ("*"): Operation "*" between Rational and Int removed.
+ ("abs"): New unary operator "abs" for Rational.
+ (Analyze_Aspect_Dimension_System): Reorganized.
+ (Analyze_Dimension_Identifier): Removed.
+ (Copy_Dimensions): Removed.
+ (Create_Rational_From_Expr): New Boolean parameter.
+ (Dimensions_Msg_Of): New routine. Return
+ a string with the dimensions of the parameter.
+ (From_Dimension_To_String_Of_Symbols): Renaming of
+ From_Dimension_To_String_Id.
+ * sem_dim.ads: Update comments.
+ (Is_Dim_IO_Package_Instantiation): New routine.
+ (Remove_Dimension_In_Declaration): Removed.
+ * sem_res.adb (Resolve_Op_Expon): Reorganized calls of
+ Eval_Op_Expon_For_Dimensioned_Type and Eval_Op_Expon.
+ * s-diflio.ads, s-diinio.ads: Update comments.
+
+2011-12-21 Pascal Obry <obry@adacore.com>
+
+ * prj-attr.adb, snames.ads-tmpl: Add Library_Standalone,
+ Library_Fully_Standalone_Options and
+ Library_Fully_Standalone_Supported attributes.
+ * prj-nmsc.adb (Check_Library): Update check to take into
+ account fully standalone libraries. Such shared libraries can
+ only depend on static libraries.
+ (Check_Stand_Alone_Library): Add support for fully standalone libraries.
+ (Process_Project_Level_Simple_Attributes): Store value for
+ configuration attribute Library_Fully_Standalone_Supported.
+ * prj.ads, makeutl.adb (Standalone): New enumeration type.
+ (Project_Data): Standalone_Library now of type Standlone.
+ (Project_Configuration): Add Lib_Fully_Standalone_Supported
+ field.
+ (Default_Project_Config): Initialize new Lib_Fully_Standalone_Supported
+ field.
+ * clean.adb (Clean_Project): Adjust to new type for Standalone.
+ * make.adb (Library_Phase): Adjust to new type for Standalone.
+ (Gnatmake): Likewise.
+ * mlib-prj.adb (Build_Library): Adjust to new type for
+ Standalone.
+
+2011-12-21 Thomas Quinot <quinot@adacore.com>
+
+ * gnatls.adb (Gnatls): Call Set_Standard_Error at startup, and then
+ Set_Standard_Output just before producing normal (non-diagnostic)
+ output.
+ * gnatcmd.adb (Gnatcmd): Call Set_Standard_Error at initialization
+ (and again after parsing project files).
+
+2011-12-21 Vincent Celier <celier@adacore.com>
+
+ * prj-conf.adb (Do_Autoconf): When the object directory does
+ not exist, create auto.cgpr in the directory where temporary
+ files are created.
+
+2011-12-20 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.adb (Insert_Freeze_Node_For_Instance): Further
+ refinements on the placement of a freeze node for a package
+ instantiation, when the generic appears within a previous
+ instantiation in the same unit.If the current instance is within
+ the one that contains the generic, the freeze node for the
+ current one must appear in the current declarative part. Ditto
+ if the current instance is within another package instance. In
+ these cases the freeze node of the previous instance is is not
+ relevant. New predicate Enclosing_Body simplifies the process.
+ (Freeze_Subprogram_Body): Rename Enclosing_Body to
+ Enclosing_Package_Body, to prevent confusion with subprogram of
+ same name elsewhere.
+ (Install_Body): Recognize enclosing subprogram bodies to determine
+ whether freeze_node belongs in current declarative list.
+
+2011-12-20 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Allow
+ attribute definition clause for renaming if generated internally
+ and generate duplicate clause to apply to renamed object.
+ (Rep_Item_Too_Late): Only diagnose source level entities
+ * prj-nmsc.adb: Minor reformatting.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2011-12-20 Bob Duff <duff@adacore.com>
+
+ * opt.ads (List_Inherited_Aspects): Default to False
+ (i.e. -gnatw.L is the default).
+ * usage.adb: Document new default for -gnatw.L.
+ * gnat_ugn.texi: Document -gnatw.l and -gnatw.L switches.
+ * warnsw.adb (Set_Warning_Switch): Do not include
+ List_Inherited_Aspects in -gnatwa.
+
+2011-12-20 Ed Schonberg <schonberg@adacore.com>
+
+ * checks.adb (Apply_Type_Conversion_Checks): For a discrete type
+ with predicates, indicate unconditionally that a range check
+ is needed.
+ * exp_ch4.adb (Expand_N_In): When the membership test is rewritten
+ to incorporate a call to a predicate function, analyze expression
+ with checks suppressed, to prevent infinite recursion.
+
+2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch11.adb (Find_Local_Handler): Guard the
+ search over individual exception choices in case the list of
+ handlers contains other (possibly illegal) constructs.
+
+2011-12-20 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch8.adb (Find_Type): Test taggedness
+ of the Available_Type when checking for an illegal use of an
+ incomplete type, when the incomplete view is a limited view of
+ a type. Remove redundant Is_Tagged test.
+
+2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_util.adb: Add with and use clause for Aspects.
+ (Is_Finalizable_Transient): Objects which denote Ada containers
+ in the context of iterators are not considered transients. Such
+ object must live for as long as the loop is around.
+ (Is_Iterated_Container): New routine.
+
+2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_imgv.adb (Expand_Width_Attribute): Add a
+ type conversion from the enumeration subtype to its base subtype.
+
+2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sem_ch4.adb (Operator_Check): Update the call to
+ Is_Dimensioned_Type.
+ * sem_dim.adb: Remove with and use clause for Namet.Sp. Reorganize
+ all type declarations and datastructures involved. Propagate
+ all changes involving data structures and types throughout
+ the pakage. Alphabetize all subprograms. Add ??? comments.
+ (AD_Hash): Removed.
+ (Analyze_Aspect_Dimension): Rewritten. This
+ routine now does all its checks in one pass rather than
+ two. Refactor code. The error message are now in a more GNAT-ish style.
+ (Create_Rational_From_Expr): This is now a function.
+ (Get_Dimensions): Removed.
+ (Get_Dimensions_String_Id): Removed.
+ (Dimensions_Of): New rouitne.
+ (Exists): New routines.
+ (Is_Invalid): New routine.
+ (Permits_Dimensions): Removed.
+ (Present): Removed.
+ (Set_Symbol): New routine.
+ (System_Of): New routine.
+ * sem_dim.ads: Rewrite the top level description of the
+ package. Alphabetize subprograms. Add various comments on
+ subprogram usage. Add ??? comments.
+ (Is_Dimensioned_Type):
+ Renamed to Has_Dimension_System.
+ * sem_res.adb (Resolve_Op_Expon): Update the call to Is_Dimensioned_Type
+
+2011-12-20 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch13.adb (Check_Indexing_Functions): The return type of an
+ indexing function can be the default element type, and does not
+ need to be a reference type.
+ * sem_ch4.adb (Try_Container_Indexing): Ditto.
+
+2011-12-20 Robert Dewar <dewar@adacore.com>
+
+ * a-cdlili.ads, sem_cat.adb, sem_ch10.adb: Minor reformatting.
+
+2011-12-20 Bob Duff <duff@adacore.com>
+
+ * s-taprop-mingw.adb (Yield): Do_Yield is no longer Unreferenced.
+
+2011-12-20 Vincent Pucci <pucci@adacore.com>
+
+ * impunit.adb: s-dimkio, s-dimmks and s-dmotpr defined as GNAT
+ Defined Additions to System.
+ * Makefile.rtl: s-dimkio, s-dimmks and s-dmotpr added.
+ * s-dimkio.ads, s-dimmks.ads, s-dmotpr.ads: New files.
+
+2011-12-20 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch4.adb (Traverse_Homonyms): Allow a homonym to match when
+ within an instance, even if the homonym is marked Is_Hidden at
+ this point.
+
+2011-12-20 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch3.adb, sem_ch5.adb, s-diinio.adb, s-diinio.ads, sem_dim.adb,
+ sem_dim.ads, sem_res.adb, s-stposu.adb, s-stposu.ads, sem_ch4.adb,
+ s-diflio.adb, s-diflio.ads, exp_disp.adb, s-llflex.ads: Minor
+ reformatting.
+ * aspects.ads: Dimension[_Aspects] are GNAT defined.
+
+2011-12-20 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Check
+ renaming case.
+
+2011-12-20 Thomas Quinot <quinot@adacore.com>
+
+ * sem_cat.adb, sem_ch10.adb (Analyze_With_Clause): For a WITH clause on
+ a child unit that is an illegal instantiation, mark the WITH clause in
+ error.
+ (Install_Siblings, Validate_Categorization_Dependency): Guard
+ against WITH clause marked as in error.
+
+2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sem_res.adb (Resolve_Allocator): Warning on allocation
+ of tasks on a subpool and rewrite the allocator into a raise
+ Program_Error statement.
+ * s-stposu.ads, s-stposu.adb: Code reformatting.
+ (Create_Subpool): Remove formal parameter Storage_Size.
+ (Default_Subpool_For_Pool): Add the default implementation of this
+ routine.
+ (Set_Pool_Of_Subpool): Rename formal parameter Pool to To. Update
+ all the uses of the parameter.
+
+2011-12-20 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * gcc-interface/Makefile.in (%86 linux%):
+ (LIBGNAT_TARGET_PAIRS_32): Split off from LIBGNAT_TARGET_PAIRS.
+ (LIBGNAT_TARGET_PAIRS_64): New.
+ (LIBGNAT_TARGET_PAIRS): Add either depending on multilib.
+
+2011-12-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_param): Add comment about double
+ reference and DECL_POINTS_TO_READONLY_P.
+ * gcc-interface/trans.c (Identifier_to_gnu) <by_ref>: Always set the
+ TREE_READONLY flag on the first dereference of a double dereference.
+
+2011-12-15 Arnaud Charlet <charlet@adacore.com>
+
+ * a-numaux-vms.ads, s-asthan-vms-ia64.adb, s-auxdec-vms-ia64.adb,
+ s-memory-vms_64.adb, s-memory-vms_64.ads, s-osinte-vms-ia64.adb,
+ s-osinte-vms-ia64.ads, s-tasdeb-vms.adb: New files.
+
+2011-12-15 Vincent Pucci <pucci@adacore.com>
+
+ * aspects.adb, aspects.ads Aspect_Dimension and
+ Aspect_Dimension_System added
+ * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_String
+ case added
+ * gcc-interface/Make-lang.in: s-llflex, sem_dim added.
+ * impunit.adb :s-diflio and s-diinio defined as GNAT Defined
+ Additions to System.
+ * Makefile.rtl: s-diflio, s-diinio and s-llflex added
+ * par-prag.adb, sem_prag.adb: Pragma_Dimension removed
+ * rtsfind.ads: Expon_LLF added
+ * sem_aggr.adb (Resolve_Aggregate): handles aggregate for
+ Aspect_Dimension case
+ * sem_attr.adb (Resolve_Attribute): analyze dimension for
+ attribute
+ * sem_ch10.adb (Analyze_With_Clause): Avoid the warning messages
+ due to the use of a GNAT library for Dimension packages
+ * sem_ch13.adb (Analyze_Aspect_Specifications):
+ Aspect_Dimension and Aspect_Dimension_System cases added
+ (Check_Aspect_At_Freeze_Point): Aspect_Dimension and
+ Aspect_Dimension_System cases added
+ * sem_ch2.adb (Analyze_Identifier): analyze dimension for
+ identifier
+ * sem_ch3.adb (Analyze_Component_Declaration): analyze dimension
+ for component declaration (Analyze_Object_Declaration): analyze
+ dimension for object declaration (Analyze_Subtype_Declaration):
+ analyze dimension for subtype declaration
+ * sem_ch4.adb (Operator_Check): checks exponent is a rational
+ for dimensioned operand for a N_Op_Expon
+ * sem_ch5.adb (Analyze_Assignment): analyze dimension for
+ assignment (Analyze_Statements): removal of dimensions in all
+ statements
+ * sem_ch6.adb (Analyze_Return_Statement): analyze dimension for
+ return statement
+ * sem_ch8.adb (Analyze_Object_Renaming): analyze dimension for
+ object renaming
+ * sem_dim.adb, sem_dim.ads (Analyze_Aspect_Dimension):
+ analyze the expression for aspect dimension and store the
+ values in a Htable.
+ (Analyze_Aspect_Dimension_System): analyze
+ the expression for aspect dimension system and store the new
+ system in a Table.
+ (Analyze_Dimension): propagates dimension
+ (Expand_Put_Call_With_Dimension_String): add the dimension
+ string as a suffix of the numeric value in the output
+ (Has_Dimension): return True if the node has a dimension
+ (Remove_Dimension_In_Declaration): removal of dimension in the
+ expression of the declaration.
+ (Remove_Dimension_In_Statement): removal of dimension in statement
+ * sem_res.adb (Resolve): analyze dimension if the node
+ has already been analyzed.
+ (Resolve_Arithmetic_Op): analyze
+ dimension for arithmetic op.
+ (Resolve_Call): analyze dimension for function call.
+ (Resolve_Comparison_Op): analyze dimension for comparison op.
+ (Resolve_Equality_Op): analyze dimension for equality op.
+ (Resolve_Indexed_Component): analyze dimension for indexed component.
+ (Resolve_Op_Expon): analyze dimension for op expon.
+ (Resolve_Selected_Component): analyze dimension
+ for selected component.
+ (Resolve_Slice): analyze dimension for slice.
+ (Resolve_Unary_Op): analyze dimension for unary op
+ (Resolve_Type_Conversion): analyze dimension for type conversion
+ (Resolve_Unchecked_Type_Conversion): analyze dimension for
+ unchecked type conversion
+ * snames.ads-tmpl Name_Dimension, Name_Dimension_System,
+ Name_Dim_Float_IO, Name_Dim_Integer_IO,
+ Name_Generic_Elementary_Functions, Name_Sqrt added.
+ Pragma_Dimension removed
+ * s-diflio.adb, s-diflio.ads New GNAT library generic package
+ for dimensioned float type IO
+ * s-diinio.adb, s-diinio.ads New GNAT library generic package
+ for dimensioned integer type IO
+ * s-llflex.ads (Expon_LLF): exponentiation routine for long long
+ floats operand and exponent
+
+2011-12-15 Robert Dewar <dewar@adacore.com>
+
+ * sem_aggr.adb: Minor comment addition.
+
+2011-12-15 Bob Duff <duff@adacore.com>
+
+ * s-tasren.adb (Task_Count): Do not call Yield; E'Count is not a
+ task dispatching point.
+ * s-taprop-mingw.adb (Yield): Do not yield if Do_Yield is False.
+
+2011-12-15 Robert Dewar <dewar@adacore.com>
+
+ * sigtramp-ppcvxw.c, sigtramp.h: Fix header.
+
+2011-12-15 Javier Miranda <miranda@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): For 'alignment
+ applied to a class-wide type under VM targets generate code which
+ invokes the function Get_Alignment to retrieve the value of the
+ alignment from the TSD.
+ * rtsfind.ads (RE_Get_Alignment): New entity.
+
+2011-12-15 Robert Dewar <dewar@adacore.com>
+
+ * g-comlin.adb: Fix header.
+
+2011-12-15 Tristan Gingold <gingold@adacore.com>
+
+ * gnatls.adb: Fix typo.
+
+2011-12-15 Ed Falis <falis@adacore.com>
+
+ * s-tpopsp-vxworks.adb: Update comment.
+
+2011-12-15 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_aggr.adb (Resolve_Array_Aggregate, Resolve_Aggr_Expr); If
+ the component type has predicates, generate corresponding check.
+ (Resolve_Record_Aggregate, Resolve_Aggr_Expr): Ditto.
+
+2011-12-13 Cesar Strauss <cestrauss@gmail.com>
+ Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/49084
+ * types.h (Byte): Change typedef to 'unsigned char'.
+ * atree.h (struct Flag_Word): Use Byte for 'convention' field.
+
+2011-12-12 Robert Dewar <dewar@adacore.com>
+
+ * s-taprop-mingw.adb: Minor reformatting.
+
+2011-12-12 Nicolas Roche <roche@adacore.com>
+
+ * gcc-interface/Make-lang.in: Update dependencies.
+ Add gnattools4 target when building tools in canadian mode
+
+2011-12-12 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Make_VM_TSD): Complete previous patch.
+
+2011-12-12 Bob Duff <duff@adacore.com>
+
+ * s-tpobop.adb: Use named notation.
+ * g-bytswa.ads, s-taprop.ads: Minor comment fix.
+
+2011-12-12 Arnaud Charlet <charlet@adacore.com>
+
+ * make.adb: Minor comment update.
+
+2011-12-12 Robert Dewar <dewar@adacore.com>
+
+ * freeze.adb, s-taprop-mingw.adb, exp_disp.adb, sem_ch13.adb: Minor
+ reformatting.
+
+2011-12-12 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch6.adb, gnatls.adb: Minor reformatting.
+
+2011-12-12 Ed Schonberg <schonberg@adacore.com>
+
+ * freeze.adb (Freeze_Entity): If a type declared in a generic
+ context has predicates, generate a freeze node for it.
+ * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): If expression
+ has not been analyzed yet, entity has not been frozen, so analyze
+ it now.
+
+2011-12-12 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Make_VM_TSD): Generate code to store the value of
+ 'alignment in the TSD.
+
+2011-12-12 Bob Duff <duff@adacore.com>
+
+ * s-taprop-mingw.adb (Yield): Do not delay 1 millisecond in Annex D
+ mode.
+
+2011-12-12 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Allocator): Update the master of an
+ anonymous access-to-controlled type to utilize the heterogeneous
+ master associated with the current unit.
+
+2011-12-12 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Expression_Function): If the function
+ is not a completion, pre-analyze the expression now to prevent
+ spurious visibility on later entities. The body is inserted at
+ the end of the current declaration list or package to prevent
+ early freezing, but the visibility is established at the point
+ of definition.
+
+2011-12-12 Bob Duff <duff@adacore.com>
+
+ * sem.adb, sem.ads: Add debugging routines.
+
+2011-12-12 Tristan Gingold <gingold@adacore.com>
+
+ * gnatls.adb: (gnatls): Also add the objects dir in search list.
+
+2011-12-12 Robert Dewar <dewar@adacore.com>
+
+ * exp_atag.adb, exp_atag.ads, exp_util.adb, exp_attr.adb,
+ sem_ch13.adb: Minor reformatting.
+
+2011-12-12 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch7.adb (Uninstall_Declarations): Don't
+ apply check for incomplete types used as a result type for an
+ access-to-function type when compiling for Ada 2012 or later.
+ * sem_ch6.adb (Analyze_Subprogram_Declaration):
+ Specialize error message for interface subprograms that are
+ not declared abstract nor null (functions can't be declared as
+ null). Also, remove "(Ada 2005)" from message.
+
2011-12-12 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (GNAT_Pragma): Check comes from source.
OSDN Git Service
