+2009-09-14 Richard Henderson <rth@redhat.com>
+
+ * gcc-interface/trans.c (Pragma_to_gnu): Use build5 for ASM_EXPR.
+
+2009-09-14 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_dbug.ads (Packed Array Encoding): Document the new encoding for
+ the unconstrained case.
+ * gcc-interfaces/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Implement
+ the encoding. Do not give a name to the pointer type to the XUT type.
+ * gcc-interfaces/utils.c (gnat_pushdecl): Propagate DECL_ORIGINAL_TYPE
+ for fat pointer types, if any. Make sure DECL_ARTIFICIAL is cleared
+ on nodes with DECL_ORIGINAL_TYPE set.
+ (update_pointer_to): Set DECL_ORIGINAL_TYPE to the original pointer
+ for fat pointer types. Make sure DECL_ARTIFICIAL is cleared.
+
+2009-09-14 Richard Henderson <rth@redhat.com>
+
+ * gcc-interface/misc.c (gnat_init_gcc_eh): Don't call
+ default_init_unwind_resume_libfunc.
+ * gcc-interface/trans.c (Exception_Handler_to_gnu_zcx): Use
+ __builtin_eh_pointer.
+ * gcc-interface/utils.c (gnat_install_builtins): Update call
+ to build_common_builtin_nodes.
+
+2009-09-13 Richard Guenther <rguenther@suse.de>
+ Rafael Avila de Espindola <espindola@google.com>
+
+ * gcc-interface/misc.c (gnat_init_gcc_eh): Do not set variables
+ eh_personality_libfunc and lang_eh_runtime_type.
+ (LANG_HOOKS_EH_PERSONALITY): Define.
+ (gnat_eh_personality_decl): New static variable.
+ (gnat_eh_personality): New static function.
+ Include gt-ada-misc.h.
+ * gcc-interface/Make-lang.in (misc.o): Add gt-ada-misc.h dependency.
+ * gcc-interface/config-lang.in (gtfiles): Add misc.c.
+
+2009-09-10 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ PR ada/18302
+ * gcc-interface/Make-lang.in (check-acats): Export rootme, EXPECT.
+
+2009-09-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Tidy
+ flow of control.
+ Avoid useless work when processing the Treat_As_Volatile flag.
+
+2009-09-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/targtyps.c: Reorder include directives.
+
+2009-09-07 Laurent GUERBY <laurent@guerby.net>
+
+ * gcc-interface/targtyps.c: Add missing include for tm_p.h.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2009-09-07 Laurent GUERBY <laurent@guerby.net>
+
+ * make.adb: Add missing documentation for multilib handling.
+
+2009-09-03 Diego Novillo <dnovillo@google.com>
+
+ * gcc-interface/misc.c (lang_hooks): Remove const qualifier.
+
+2009-09-02 Richard Henderson <rth@redhat.com>
+
+ * tb-gcc.c (__gnat_backtrace): Mark all arguments unused.
+
+2009-09-02 Olivier Hainque <hainque@adacore.com>
+
+ * init.c (__gnat_error_handler, AIX): Add ATTRIBUTE_UNUSED on si
+ and uc arguments.
+
+2009-09-02 Olivier Hainque <hainque@adacore.com>
+
+ * gcc-interface/decl.c (cannot_be_superflat_p): Handle
+ Signed_Integer_Type_Definition Scalar_Ranges.
+
+2009-09-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (gnat_gimplify_expr) <ADDR_EXPR>: Gimplify the
+ SAVE_EXPR built for misaligned arguments. Remove redundant stuff.
+ (addressable_p): Return true for more rvalues.
+
+2009-09-01 Jakub Jelinek <jakub@redhat.com>
+
+ * gcc-interface/utils2.c (maybe_wrap_malloc, maybe_wrap_free): Cast
+ POINTER_SIZE to HOST_WIDE_INT.
+
+2009-09-01 Richard Guenther <rguenther@suse.de>
+
+ * gcc-interface/misc.c (LANG_HOOKS_MARK_ADDRESSABLE): Remove.
+
+2009-08-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (call_to_gnu): Tidy.
+ (gnat_to_gnu) <N_Slice>: Set TYPE_ARRAY_MAX_SIZE if the slice has
+ non-constant size but the array itself has constant size.
+ * gcc-interface/utils.c (convert_vms_descriptor64): Fix type
+ consistency error.
+ (convert_vms_descriptor32): Likewise.
+
+2009-08-22 Aurelien Jarno <aurelien@aurel32.net>
+
+ * gcc-interface/Makefile.in: Add Ada support for
+ GNU/kFreeBSD x86_64.
+ * system-freebsd-x86_64.ads: New file based on
+ system-freebsd-x86.ads.
+
+2009-08-20 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (convert): In the padded case, do the final
+ conversion as an unchecked conversion if the underlying types are
+ array types with variable size.
+
+2009-08-20 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/ada-tree.h (SET_TYPE_RM_VALUE): Mark the expression
+ as visited.
+ * gcc-interface/misc.c (gnat_get_subrange_bounds): Always return the
+ bounds.
+ * gcc-interface/trans.c (add_decl_expr): Do not mark gigi-specific
+ fields.
+ (gnat_gimplify_expr) <DECL_EXPR>: New case.
+
+2009-08-17 Aurelien Jarno <aurelien@aurel32.net>
+
+ * s-osinte-kfreebsd-gnu.ads (SA_ONSTACK): New constant.
+ (stack_t): New record type.
+ (sigaltstack): New imported function.
+ (Alternate_Stack): New imported variable.
+ (Alternate_Stack_Size): New constant.
+
+2009-08-17 Vasiliy Fofanov <fofanov@adacore.com>
+
+ * a-calend-vms.adb: Fix typo.
+
+2009-08-17 Tristan Gingold <gingold@adacore.com>
+
+ * s-taprop-posix.adb: Round up the stack size to avoid failure on
+ Darwin.
+
+2009-08-17 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_cat.adb (Validate_Static_Object_Name): Update comment.
+
+2009-08-17 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Arguments_Collected): Unneeded, removed
+ (Change_To_Object_Directory): Use Project directly. Add pragma Assert to
+ ensure caller does not pass in No_Project.
+ (Compile): Add new parameter Project. Let procedure
+ Collect_Arguments_And_Compile provide the proper value.
+
+ * switch-c.adb: Add documentation for -gnatea and -gnatez
+
+2009-08-17 Ben Brosgol <brosgol@adacore.com>
+
+ * gnat_ugn.texi: Changed name of package in SAL example, to avoid
+ clash with Ada 2005 reserved word (interface).
+
+2009-08-17 Robert Dewar <dewar@adacore.com>
+
+ * a-crbtgk.adb, a-crdlli.adb, a-direct.adb, a-caldel-vms.adb,
+ a-calend-vms.adb, a-calfor.adb, a-cdlili.adb, a-chahan.adb,
+ a-cidlli.adb, a-coinve.adb, a-comlin.adb: Minor code reorganization
+ (use conditional expressions).
+
+2009-08-17 Robert Dewar <dewar@adacore.com>
+
+ * make.adb: Add ??? comment
+ * tbuild.adb: Minor reformatting
+
+2009-08-17 Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch4.adb (Exp_Ch4.Expand_N_Slice.Make_Temporary): Rename to
+ Make_Temporary_For_Slice to avoid confusion with Tbuild.Make_Temporary.
+ Use Tbuild.Make_Temporary to create entity for the temporary.
+
+2009-08-17 Arnaud Charlet <charlet@adacore.com>
+
+ * make.adb (Process_Multilib, Scan_Make_Arg): Refine previous change
+ and ignore -mieee switch to avoid spawning an extra gcc in this case.
+
+2009-08-17 Thomas Quinot <quinot@adacore.com>
+
+ * tbuild.adb: Minor reformatting
+
+2009-08-17 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch3.adb (Build_Discriminant_Formals): If the discriminals already
+ exist, as is the case for synchronized types, use the type of the
+ discriminal in the parameter specification, to prevent a spurious
+ subtype mismatch in gigi.
+
+2009-08-17 Robert Dewar <dewar@adacore.com>
+
+ * prj-env.adb: Minor reformatting
+ * make.adb: Minor reformatting
+ Comment updates
+
+2009-08-17 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch7.adb (Wrap_Transient_Expression): Update comments.
+
+2009-08-17 Emmanuel Briot <briot@adacore.com>
+
+ * prj-part.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-conf.adb
+ (Processing_Flags.Require_Obj_Dirs): new field, which controls whether
+ object directories must be present. In the case of gprclean at least,
+ these are optional (if they do not exist there is nothing to clean)
+
+2009-08-17 Robert Dewar <dewar@adacore.com>
+
+ * prj-env.adb: Minor reformatting
+ * sem_ch3.adb: Minor reformatting
+
+2009-08-17 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sysdep.c (__gnat_localtime_tzoff): VxWorks case - Flip the sign of
+ the time zone since VxWorks chose positive values to represent west
+ time zones and negative for east zones.
+
+2009-08-17 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Access_Definition): Do not create an Itype reference for
+ an anonymous access type whose designated type is generic.
+
+2009-08-17 Arnaud Charlet <charlet@adacore.com>
+
+ * comperr.adb (Compiler_Abort): Do not generate a bug box when in
+ codepeer mode, friendlier.
+
+2009-08-10 Laurent GUERBY <laurent@guerby.net>
+
+ * make.adb: Handle multilib
+
+2009-08-10 Vincent Celier <celier@adacore.com>
+
+ * prj-env.adb (Create_Config_Pragmas_File.Write_Temp_File): Do not use
+ the temporary file name in the error message when the temporary file
+ cannot be created.
+
+2009-08-10 Yannick Moy <moy@adacore.com>
+
+ * gnat_ugn.texi: Fix typo
+
+2009-08-10 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch7.adb: Add ??? comment for last change
+
+2009-08-10 Vincent Celier <celier@adacore.com>
+
+ * prj-env.adb (Add_To_Buffer): New procedure
+ (Create_Config_Pragmas_File): Write to temporary file in one shot
+ (Create_Mapping_File): Ditto
+ (Set_Ada_Paths): Ditto
+
+2009-08-10 Vincent Celier <celier@adacore.com>
+
+ PR ada/17566
+ * xref_lib.adb (Print_Xref): Make sure that there is at least one space
+ between a declaration name and its type.
+
+2009-08-07 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch7.adb (Wrap_Transient_Expression): Add missing adjustment of
+ SCIL node.
+
+2009-08-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_warn.adb (Warn_On_Unreferenced_Entity): Fix obvious typo.
+
+2009-08-07 Vincent Celier <celier@adacore.com>
+
+ * gnatcmd.adb (GNATCmd): If -U is not used, one and only one main is
+ specified on the command line and there are switches in the Compiler
+ package of the project file, use these compilation switches to invoke
+ the tool.
+
+2009-08-07 Ben Brosgol <brosgol@adacore.com>
+
+ * gnat_ugn.texi: Wordsmithing edits at beginning of gnatcheck chapter.
+
+2009-08-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch10.adb (Analyze_Proper_Body): Indicate name of missing subunit
+ even if not in main unit, to simplify debugging.
+
+2009-08-07 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Makefile.in: Fix handling of GCC_FOR_TARGET.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2009-08-07 Robert Dewar <dewar@adacore.com>
+
+ * types.ads: Minor reformatting
+ * sem_ch12.ads (Check_Generic_Child_Unit): Add missing documentation.
+ * frontend.adb, sem_warn.adb, sem_warn.ads: Fix spelling of
+ Output_Non_Modified_In_Out_Warnings.
+ * sem_ch13.adb: Remove ??? comment.
+
+2009-08-07 Vincent Celier <celier@adacore.com>
+
+ * mlib-prj.adb (Build_Library): Include binder generate object file
+ for SAL when library name is only one character.
+
+2009-08-07 Thomas Quinot <quinot@adacore.com>
+
+ * targparm.adb: Minor reformatting
+ * sem.adb: Minor reformatting
+ * exp_ch4.adb (Expand_N_Conditional_Expression): Add comment.
+
+2009-08-07 Emmanuel Briot <briot@adacore.com>
+
+ * prj-conf.adb: Remove duplicate directory separator in the output when
+ an object directory does not exist.
+
+2009-08-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_util.adb: Minor reformatting
+
+2009-08-07 Vincent Celier <celier@adacore.com>
+
+ * mlib-prj.adb (Build_Library): Fixed bug in name of ALI file (wrong
+ length used).
+
+2009-08-07 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch9.adb (Expand_N_Protected_Type_Declaration): In Ravenscar mode,
+ detect non-static private components that will violate restriction
+ No_Implicit_Heap_Allocation.
+
+2009-08-07 Ben Brosgol <brosgol@adacore.com>
+
+ * gnat_ugn.texi: Edited Rule Exemption section of gnatcheck chapter.
+
+2009-08-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/gigi.h (end_subprog_body): Tweak comment.
+ * gcc-interface/utils.c (end_subprog_body): Likewise.
+ * gcc-interface/trans.c (gigi): Likewise.
+ (gnat_to_gnu): Likewise.
+
+2009-07-30 Ben Brosgol <brosgol@adacore.com>
+
+ * gnat_ugn.texi: Correct minor texi glitch.
+
+2009-07-30 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_util.adb (Expand_Subtype_From_Expr): If the type of the
+ expression has an underlying representation that is an unchecked union,
+ there is no subtype to build.
+
+2009-07-30 Robert Dewar <dewar@adacore.com>
+
+ * a-teioed.adb, exp_disp.adb, s-linux-hppa.ads, s-linux.ads,
+ s-tasini.adb, sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch6.adb,
+ sem_ch7.adb, adaint.c: Minor reformatting
+
+2009-07-29 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.ads, sem_ch3.adb (Add_Internal_Interface_Entities): Routine
+ moved from the expander to the semantic analyzer to allow the
+ generation of these internal entities when compiling with no code
+ generation. Required by ASIS.
+ * sem.adb (Analyze): Add processing for N_Freeze_Entity nodes.
+ * sem_ch13.ads, sem_ch13.adb (Analyze_Freeze_Entity): New subprogram.
+ * exp_ch3.adb (Add_Internal_Interface_Entities): Moved to sem_ch3
+ (Expand_Freeze_Record_Type): Remove call to
+ Add_Internal_Interface_Entities because this routine is now called at
+ early stage --when the freezing node is analyzed.
+
+2009-07-29 Robert Dewar <dewar@adacore.com>
+
+ * exp_atag.ads, exp_atag.adb, s-tasini.adb, s-soflin.ads,
+ exp_disp.adb, g-socket.adb: Minor reformatting
+
+2009-07-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch7.adb (New_Private_Type): Create class-wide type after other
+ attributes have been established, so that they are all inherited by the
+ class-wide type.
+ * sem_cat.adb (Validate_Remote_Access_Object_Type_Declaration): Handle
+ properly named subtypes of class-wide types.
+
+2009-07-29 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Check_Overriding_Indicator): Handle properly overriding
+ indicators on user-defined operators.
+
+2009-07-29 Vadim Godunko <godunko@adacore.com>
+
+ * g-socket.adb (Receive_Vector): Add comment.
+
+2009-07-29 Javier Miranda <miranda@adacore.com>
+
+ * frontend.adb (Frontend): Code cleanup.
+ * exp_atag.ads, exp_atag.adb (Build_Get_Predefined_Prim_Op_Address):
+ Rewriten as a procedure because it a new out-mode parameters to
+ keep up-to-date the controlling tag node in the caller.
+ (Build_Get_Prim_Op_Address): Rewriten as a procedure because it has a
+ new out-mode parameter to keep up-to-date the controlling tag node in
+ the caller.
+ * exp_ch7.adb, sem_ch5.adb, exp_util.adb, sem_util.adb, exp_ch4.adb,
+ exp_ch6.adb, sem_ch4.adb, exp_ch3.adb: Add new dependency on new
+ package Sem_SCIL.
+ * sem_aux.ads, sem_aux.adb (First_Non_SCIL_Node): Removed. Routine
+ available in new package Sem_SCIL.
+ (Next_Non_SCIL_Node): Ditto.
+ * exp_disp.adb (Adjust_SCIL_Node): Removed. Routine available in new
+ package Sem_SCIL.
+ (Expand_Dispatching_Call): Update call to modified Exp_Atags routines
+ plus complete decoration of SCIL dispatching node.
+ (Find_SCIL_Node): Removed. Routine available in new package Sem_SCIL.
+ * exp_disp.ads (Adjust_SCIL_Node): Removed. Routine available in new
+ package Sem_SCIL.
+ (Find_SCIL_Node): Removed. Routine available in new package Sem_SCIL.
+ * exp_ch3.adb (Build_Init_Procedure): Fix comment.
+ * sem_scil.ads, sem_scil.adb: New files.
+ * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Addition of sem_scil.o.
+ Update dependencies.
+
+2009-07-28 Robert Dewar <dewar@adacore.com>
+
+ * adaint.h, einfo.ads, prj.adb, sem_util.adb, makeutl.ads,
+ makeutl.adb: Minor reformatting & code reorganization
+ * sem_ch3.adb: Minor reformatting.
+ Fix spelling error (constraint for constrain) in error msg.
+
+2009-07-28 Emmanuel Briot <briot@adacore.com>
+
+ * make.adb, makeutl.adb, makeutl.ads (Project_Tree): Duplicates the
+ global variable that also exists in makeutl.ads, and that some routines
+ in that package use already.
+ (Check): Moved part of the code to makeutl.adb for better sharing with
+ gprbuild.
+
+2009-07-28 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2009-07-28 Emmanuel Briot <briot@adacore.com>
+
+ * prj.adb, prj.ads (Compute_All_Imported_Projects): Make sure the
+ importing project does not end up in the list, in the case of extending
+ projects.
+ * make.adb, makeutl.adb, makeutl.ads (File_Not_A_Source_Of): Moved to
+ makeutl.ads, for better sharing with gprbuild.
+
+2009-07-28 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat_ugn.texi: Fix typo.
+
+2009-07-28 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Build_Derived_Concurrent_Type): Handle properly a
+ derivation that renames some discriminants and constrain others.
+ * exp_ch9.adb (Build_Protected_Subprogram_Call): If the type of the
+ prefix is a derived untagged type, convert to the root type to conform
+ to the signature of the protected operations.
+
+2009-07-28 Robert Dewar <dewar@adacore.com>
+
+ * sinfo.ads: Update comments.
+ * exp_attr.adb: Minor reformatting
+
+2009-07-28 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_aggr.adb (Get_Value): A named association in a record aggregate
+ should be treated as a modification of the named component, not as a
+ reference.
+
+2009-07-28 Quentin Ochem <ochem@adacore.com>
+
+ * prj-tree.ads, prj-tree.adb (Free): Minor editing.
+ * prj.ads, prj.adb (Image): Ditto.
+
+2009-07-28 Arnaud Charlet <charlet@adacore.com>
+
+ * frontend.adb: Minor reformatting.
+ (Frontend): Only call Check_SCIL_Nodes if assertions are enabled,
+ for efficiency.
+
+2009-07-28 Bob Duff <duff@adacore.com>
+
+ * exp_attr.adb (Expand_Access_To_Protected_Op): Use 'Access instead of
+ 'Address to get a pointer to the protected body wrapper.
+
+2009-07-28 Javier Miranda <miranda@adacore.com>
+
+ * gnat1drv.adb (Adjust_Global_Switches): Disable generation of SCIL
+ nodes if we are not generating code.
+ * frontend.adb (Check_SCIL_Node): New subprogram. Used to check
+ attribute SCIL_Related_Node of SCIL dispatching nodes.
+ (Check_SCIL_Nodes): New instantiation of Traverse_Proc.
+ * sinfo.ads (Is_SCIL_Node,Set_Is_SCIL_Node): Removed
+ (SCIL_Nkind,Set_SCIL_Nkind): Removed.
+ (SCIL_Entity): Update documentation.
+ (SCIL_Related_Node): Update documentation.
+ (SCIL_Controlling_Tag): New attribute.
+ (SCIL_Target_Prim): Update documentation.
+ (N_Null_Statement): Remove attributes associated with SCIL nodes.
+ (N_SCIL_Dispatch_Table_Object_Init): New node.
+ (N_SCIL_Dispatch_Table_Tag_Init): New node.
+ (N_SCIL_Dispatching_Call): New node.
+ (N_SCIL_Tag_Init): New node.
+ * sinfo.adb (Is_SCIL_Node,Set_Is_SCIL_Node): Removed
+ (SCIL_Nkind,Set_SCIL_Nkind): Removed.
+ (SCIL_Controlling_Tag/Set_SCIL_Controlling_Tag): New subprogram.
+ (SCIL_Entity,Set_SCIL_Entity): Applicable only to SCIL nodes.
+ (SCIL_Related_Node,Set_SCIL_Related_Node): Applicable only to SCIL nodes
+ (SCIL_Target_Prim,Set_SCIL_Target_Prim): Applicable only to
+ N_SCIL_Dispatching_Call nodes.
+ * sem.adb (Analyze): No need to analyze SCIL nodes.
+ * sem_aux.ads, sem_aux.adb (First_Non_SCIL_Node): New subprogram
+ (Next_Non_SCIL_Node): New subprogram
+ * sem_ch4.adb (Analyze_Type_Conversion): Adjust relocated SCIL
+ dispatching nodes.
+ * sem_ch5.adb (Analyze_Iteration_Scheme): Adjust relocated SCIL
+ dispatching node.
+ * sem_util.adb (Insert_Explicit_Dereference): Adjust relocated SCIL
+ dispatching node.
+ * exp_ch3.adb (Build_Array_Init_Proc): Skip SCIL nodes when processing
+ null statement nodes.
+ (Build_Init_Procedure): Generate new SCIL node.
+ * exp_ch4.adb (Expand_N_And_Then): Adjust relocated SCIL dispatching
+ node.
+ * exp_ch6.adb (Is_Null_Procedure): Skip SCIL nodes. Required because
+ they are currently implemented as special N_Null_Statement nodes.
+ * exp_ch7.adb (Wrap_Transient_Statement): If the relocated node is a
+ procedure call then check if some SCIL node references it and needs
+ readjustment.
+ * exp_disp.ads (SCIL_Node_Kind): Removed.
+ (Adjust_SCIL_Node): New subprogram.
+ (Find_SCIL_Node): New subprogram.
+ (Get_SCIL_Node_Kind): Removed.
+ (New_SCIL_Node): Removed.
+ * exp_disp.adb (Adjust_SCIL_Node): New subprogram
+ (Expand_Dispatching_Call): Generate new SCIL dispatching node including
+ decoration of its new controlling_tag attribute.
+ (Get_SCIL_Node_Kind): Removed.
+ (Find_SCIL_Node): New subprogram.
+ (Make_Secondary_DT): Generate new SCIL nodes.
+ (Make_Tags): Generate new SCIL nodes.
+ (New_SCIL_Node): Removed.
+ * exp_util.adb (Insert_Actions): Handle SCIL nodes.
+ (Remove_Side_Effects): Check if relocated nodes require readjustment
+ of some SCIL dispatching node.
+ * gcc-interface/trans.c (gnat_to_gnu): Do nothing with new SCIL nodes.
+
+2009-07-28 Robert Dewar <dewar@adacore.com>
+
+ * prj-nmsc.adb, g-expect.adb, prj.ads: Minor reformatting
+
+2009-07-28 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: Add section about gnatcheck rule exemption.
+
+2009-07-28 Vadim Godunko <godunko@adacore.com>
+
+ * s-oscons-tmplt.c: Define _XOPEN_SOURCE on Linux, otherwise IOV_MAX is
+ not defined by limits.h.
+
+ * g-socket.adb (Receive_Vector): Use minimum length from user's vector
+ length and maximum supported length of data vector.
+
+2009-07-28 Gary Dismukes <dismukes@adacore.com>
+
+ * usage.adb: Inhibit printing gcc-specific switches for AAMP target.
+ * make.adb: Call Get_Target_Parameters before calling Usage so that
+ VM_Target and AAMP_On_Target will be set.
+
+2009-07-28 Olivier Hainque <hainque@adacore.com>
+
+ * g-ssinty.ads: Remove, pointless and just confusing at this stage.
+ * gnat_rm.texi: Remove documentation.
+ * g-sse.ads: Minor reorg along the way.
+ * gcc-interface/Makefile.in: Remove processing for g-ssinty.
+ * g-ssvety.ads: Minor comment updates.
+
+2009-07-28 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: gnatcheck 'Format of the Report File' section - update
+ for the new format of the report file.
+
+2009-07-28 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: gnatcheck Deeply_Nested_Inlining rule: Update doc.
+
+2009-07-28 Pascal Obry <obry@adacore.com>
+
+ * g-expect.adb: Record standard handles only on Windows.
+
+2009-07-27 Emmanuel Briot <briot@adacore.com>
+
+ * prj.ads, prj-nmsc.adb (Override_Kind): add debug trace
+ Add comments.
+
+2009-07-27 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: gnatcheck Unconstrained_Array_Returns rule: Add to the
+ rule definition the paragraph that explains that generic functions and
+ functions from generic packages are not checked.
+
+2009-07-27 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch6.adb (New_Overloaded_Entity): Add test for an expanded null
+ procedure when determining whether to set the Overridden_Operation
+ field of a subprogram overriding an inherited subprogram.
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * a-except.adb, a-except-2005.ads: Minor reformatting
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * sem_util.adb, sem_util.ads (Kill_Current_Values): Reset Is_Known_Valid
+
+2009-07-27 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Expand_Dispatching_Call): Reverse previous patch and
+ add some documentation explaining why the SCIL nodes must be generated
+ at that point.
+
+2009-07-27 Olivier Hainque <hainque@adacore.com>
+
+ * a-except.adb: Bind to __builtin_longjmp directly.
+ * a-except-2005.ads: Provide direct binding to __builtin_longjmp
+ for sjlj variants.
+ * a-exexpr.adb: Use it.
+ * a-except-xi.adb: Likewise.
+ * raise.c (_gnat_builtin_longjmp): Remove and update comments.
+ * raise.h (_gnat_builtin_longjmp): Remove declaration.
+
+2009-07-27 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_eval.adb (Compile_Time_Compare): More precise handling of
+ Known_Valid flag, to prevent spurious range deductions when scalar
+ variables may be uninitialized. New predicate Is_Known_Valid_Operand.
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * gnatfind.adb, osint.ads, sem.adb, xr_tabls.adb: Minor reformatting
+ and code clean up.
+
+2009-07-27 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch9.adb (Expand_N_Timed_Entry_Call): Do not attempt expansion in
+ Ravenscar mode. Error has already been posted on specification.
+
+ * sem.adb: Further code clean ups.
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * g-sse.ads: Minor reformatting
+
+2009-07-27 Arnaud Charlet <charlet@adacore.com>
+
+ * xref_lib.adb (Add_Xref_File_Internal, Find_ALI_Files): Add support for
+ alternate ali extension.
+ * xr_tabls.adb (ALI_File_Name, Get_File, Set_Unvisited): Take into
+ account Osint.ALI_Suffix.
+ * osint.ads (ALI_Suffix): Make visible.
+ * gnatfind.adb (Gnatfind): Add support for --ext= switch.
+ * gnat_ugn.texi: Document new gnatfind --ext= switch.
+
+2009-07-27 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Walk_Library_Items): If main unit is an instance body, do
+ its spec first.
+
+2009-07-27 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Expand_Dispatching_Call): Generate the SCIL node after
+ the dispatching call has is expanded.
+
+2009-07-27 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_attr.adb (Expand_Attribute_Reference, case 'Valid): Reset the
+ Is_Known_Valid flag on the temporary created for the value whose
+ validity is being checked.
+
+ * sem.adb (Do_Unit_And_Dependents): Further code reorganization to
+ handle properly main units that are package specifications.
+
+2009-07-27 Geert Bosch <bosch@adacore.com>
+
+ * einfo.ads (Checks_May_Be_Suppressed): Fix typo in comment
+ * sem_aux.ads: Fix typo in comment
+ * sem_util.ads (Is_LHS): Adjust comment to match body
+
+2009-07-27 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi (gnatcheck Complex_Inlined_Subprograms rule): Update
+ rule definition.
+
+2009-07-27 Olivier Hainque <hainque@adacore.com>
+
+ * g-sse.ads, g-ssvety.ads: Update comments.
+
+2009-07-27 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi: Update gnatcheck doc.
+
+2009-07-27 Arnaud Charlet <charlet@adacore.com>
+
+ * lib-xref.ads: Allocate/document 'o' char for use by references to
+ spark 'own' variables.
+
+2009-07-27 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch6.adb (Analyze_Function_Return): Set Referenced on return
+ objects, since these are implicitly referenced by the return statement.
+ * sem_warn.adb (Warn_On_Unreferenced_Entity): No longer a need to test
+ Is_Return_Object in this procedure, as return objects will never make
+ it here since they're now marked as Referenced.
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch2.adb, sem_util.adb, sem_util.ads: Minor reformnatting
+
+2009-07-27 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch6.adb (Expand_Call): Reset Is_Known_Valid after call
+
+ * sem_ch3.adb, sem_eval.adb, sem_aux.adb: Minor comment reformatting
+
+2009-07-27 Geert Bosch <bosch@adacore.com>
+
+ * checks.adb (Find_Check): Minor streamlining of logic.
+ * gnat1drv.adb(Gnat1drv): Put Check_Rep_Info in its alphabetical order.
+ * debug.adb: Document -gnatdX debug flag
+ * exp_ch2.adb(Expand_Entity_Reference): Implement new -gnatdX flag to
+ list information about reads from scalar entities.
+ Also slightly simplify condition for Expand_Current_Value.
+ * sem_util.ads, sem_util.adb (Is_LHS, Is_Actual_Out_Parameter): New
+ functions.
+
+2009-07-26 Dave Korn <dave.korn.cygwin@gmail.com>
+
+ PR bootstrap/40578
+ * adaint.h (FOPEN, STAT, FSTAT, LSTAT, STRUCT_STAT): Rename from these
+ (GNAT_FOPEN, GNAT_STAT, GNAT_FSTAT, GNAT_LSTAT, GNAT_STRUCT_STAT): ...
+ to these.
+ (__gnat_stat): Adjust reference to STAT in prototype.
+ * adaint.c (__gnat_try_lock, __gnat_fopen, __gnat_file_length,
+ __gnat_named_file_length, __gnat_file_time_name, __gnat_file_time_fd,
+ __gnat_get_libraries_from_registry, __gnat_stat, __gnat_file_exists,
+ __gnat_is_regular_file, __gnat_is_directory, __gnat_is_readable_file,
+ __gnat_is_writable_file, __gnat_is_executable_file,
+ __gnat_set_writable, __gnat_set_executable, __gnat_set_non_writable,
+ __gnat_set_readable, __gnat_set_non_readable, __gnat_is_symbolic_link,
+ __gnat_copy_attribs): Adjust all references to the above.
+ * cstreams.c (__gnat_is_regular_file_fd): Likewise.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Do_Unit_And_Dependents): Now that specs and bodies are not
+ done at the same time, guard against listing a body more than once.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch6.adb: Minor reformatting
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Analyze_Object_Declaration): A scalar constant with a
+ static expression is known valid.
+ * sem_eval.adb (Compile_Time_Compare): Handle properly non-static
+ operands of a subtype with a single value.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Do_Units_And_Dependents): Process bodies only for units that
+ are in the context of the main unit body.
+
+2009-07-23 Sergey Rybin <rybin@adacore.com>
+
+ * gnat_ugn.texi (Misnamed_Controlling_Parameters gnatcheck rule): Fix
+ misprint in rule description.
+
+2009-07-23 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Replace
+ test that the object declaration is within an extended return statement
+ with direct test of whether the declared object associated with the
+ build-in-place call is a return object, since the enclosing function
+ might not even be a build-in-place function.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * freeze.adb, prj-nmsc.adb, errout.adb: Minor reformatting
+ Minor code reorganization
+
+2009-07-23 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Do not ignore pragma Pack on records
+ for static analysis, only packed arrays are causing troubles.
+
+2009-07-23 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_aggr.adb (Resolve_Extension_Aggregate): Report an error when the
+ ancestor part is a call to a limited function with an unconstrained
+ result subtype unless the aggregate has a null extension type.
+ * sem_ch3.adb (Is_Null_Extension): Use the base type when retrieving
+ the parent type declaration to avoid blowups on subtype cases.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * par-ch4.adb (P_Aggregate_Or_Paren_Expr): Better message for missing
+ comma.
+
+ * sem_util.adb (Wrong_Type): Special message for cases like A and B = 0
+
+ * s-regexp.adb: Minor reformatting
+ * scos.ads: Minor reformatting.
+
+2009-07-23 Arnaud Charlet <charlet@adacore.com>
+
+ * freeze.adb (Set_Small_Size): Remove extra space for consistency with
+ other similar messages.
+ * sem_prag.adb (Freeze_Record_Type, Freeze_Entity): Disable error
+ messages/implicit packing in CodePeer mode.
+ (Analyze_Pragma [case pragma Pack]): Ignore pragma in CodePeer mode.
+ * errout.adb (Special_Msg_Delete): Suppress 'size too small' message in
+ CodePeer mode.
+
+2009-07-23 Pascal Obry <obry@adacore.com>
+
+ * prj-nmsc.adb: Fix spec/body naming extension on case insensitive
+ systems.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * einfo.ads, g-ssvety.ads, s-regexp.adb, g-sse.ads: Update comment.
+ Minor reformatting.
+
+2009-07-23 Yannick Moy <moy@adacore.com>
+
+ * s-regexp.adb (Check_Well_Formed_Pattern): Called before compiling the
+ pattern.
+ (Raise_Exception_If_No_More_Chars): Remove extra blank in exception
+ string.
+ (Raise_Exception): Ditto.
+
+2009-07-23 Olivier Hainque <hainque@adacore.com>
+
+ * g-sse.ads: Simplify comment.
+
+2009-07-23 Olivier Hainque <hainque@adacore.com>
+
+ * g-ssinty.ads: New unit. GNAT.SSE.Internal_Types. Factorize
+ low level internal type definitions for distinct higher level
+ binding development activities (user type definitions and
+ operations).
+ * gnat_rm.texi: Document it.
+ * g-ssvety.ads: Use it.
+ * gcc-interface/Makefile.in: (x86 32/64 linux, cygwin32 sections): Add
+ g-ssinty.o to EXTRA_GNATRTL_NONTASKING_OBJS.
+ * gcc-interface/utils.c (gnat_internal_attribute_table): Add entry
+ for the "may_alias" attribute.
+
+2009-07-23 Thomas Quinot <quinot@adacore.com>
+
+ * scos.ads: Minor typo fix
+
+ * gcc-interface/decl.c (validate_alignment): For the case of an
+ implicit array base type, look for alignment clause on first subtype.
+
+2009-07-23 Robert Dewar <dewar@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_field): Don't check for overlap
+ with tagged parent if tagged parent is fully repped.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * sem.adb (Walk_Library_Units): Handle properly the case where a unit
+ in the context depends on the spec of the main unit, by delaying
+ processing of the main unit body until all other units have been
+ processed.
+
+2009-07-23 Arnaud Charlet <charlet@adacore.com>
+
+ * a-convec.adb: Add comments about suspicious/subtle code.
+
+2009-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * einfo.ads: Document use of Alias in private overriding
+
+2009-07-23 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): For the case of
+ an array type, propagate alignment from first subtype to implicit base
+ type so that other subtypes (such as the itypes for aggregates of the
+ type) also receive the expected alignment.
+
+ * g-comlin.ads: Minor documentation clarification/rewording.
+ * scos.ads: Minor comments update.
+ * lib-writ.ads: Minor reformatting
+
2009-07-23 Gary Dismukes <dismukes@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): For an initialized object
* vms_data.ads: Add entry for SCO_OUTPUT (-gnateS)
* gnat_ugn.texi: Add documentation for -gnateS switch
* ug_words: Add entry for -gnateS /SCO_OUTPUT
- * gcc-interface/Make-lang.in: Update dependenciest.3
+ * gcc-interface/Make-lang.in: Update dependencies.
* get_scos.adb, get_scos.ads, gnat1drv.adb, par_sco.adb,
par_sco.ads, put_scos.adb, put_scos.ads, scos.adb, scos.ads: Initial