+2009-04-08 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch8.adb: Minor reformatting.
+ Minor code reorganization.
+
+2009-04-08 Robert Dewar <dewar@adacore.com>
+
+ * snames.h, einfo.adb, einfo.ads, sem_prag.adb, snames.adb,
+ snames.ads, freeze.adb, par-prag.adb: Add implementation of
+ pragma Thread_Local_Storage, setting new flag
+ Has_Pragma_Thread_Local_Storage in corresponding entities.
+
+2009-04-08 Emmanuel Briot <briot@adacore.com>
+
+ * prj.ads: Update comment on switches file
+
+ * prj-nmsc.adb: Code clean up. Use renaming clauses.
+
+2009-04-08 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb (Expand_Concatenate): Further fixes to bounds handling
+
+2009-04-08 Thomas Quinot <quinot@adacore.com>
+
+ * ali-util.adb: Minor comment fix
+
+2009-04-08 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb (Analyze_Use_Type): Improve error message when clause
+ appears in a context clause, and the enclosing package is mentioned in
+ a limited_with_clause.
+ (Use_One_Type): Reject clause if type is still incomplete.
+
+2009-04-08 Emmanuel Briot <briot@adacore.com>
+
+ * prj-nmsc.adb (Check_File, Process_Sources_In_Multi_Language_Mode):
+ avoid copies of Source_Data variables when possible, since these
+ involve calls to memcpy() which are done too many times.
+
+2009-04-08 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb (Expand_Concatenate): Clean up code
+
+2009-04-07 Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch4.adb (Expand_Concatenate): Add missing conversion to index
+ type for the case of concatenating a constrained array indexed by an
+ enumeration type.
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Check_Conformance): when checking conformance of an
+ operation that overrides an abstract operation inherited from an
+ interface, return False if only one of the controlling formals is an
+ access parameter.
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb (Analyze_Object_Renaming): additional error messages
+ mandated by AI05-105.
+
+2009-04-07 Vincent Celier <celier@adacore.com>
+
+ * prj-nmsc.adb (Get_Mains): Warn if a main is an empty string
+
+2009-04-07 Thomas Quinot <quinot@adacore.com>
+
+ * usage.adb: Minor fix in usage message.
+
+ * sem_ch10.adb (Remove_Homonyms): Fix subtype of formal in body to
+ match declaration; the correct subtype is Node_Id, not Entity_Id,
+ because the expected node kind is an identifier, not a defining
+ identifier.
+
+ * switch-c.adb: Minor reformatting.
+
+ * uintp.adb: Minor reformatting.
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch13.adb: Minor reformatting
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_warn.adb (Check_Infinite_Loop_Warning.Test_Ref): Add defence
+ against missing parent.
+
+2009-04-07 Thomas Quinot <quinot@adacore.com>
+
+ * xoscons.adb: Minor reformatting
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * rtsfind.ads: Remove obsolete string concatenation entries
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb (Expand_Concatenate): Redo handling of bounds
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch10.adb (Check_Body_Required): Handle properly imported
+ subprograms.
+
+2009-04-07 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
+ Attribute_Address): When Init_Or_Norm_Scalars is True and the object
+ is of a scalar or string type then suppress the setting of the
+ expression to Empty.
+
+ * freeze.adb (Warn_Overlay): Also emit the warnings about default
+ initialization for the cases of scalar and string objects when
+ Init_Or_Norm_Scalars is True.
+
+2009-04-07 Bob Duff <duff@adacore.com>
+
+ * s-secsta.ads, g-pehage.ads, s-fileio.ads: Minor comment fixes
+
+2009-04-07 Bob Duff <duff@adacore.com>
+
+ * gnat_rm.texi, s-fileio.adb (System.File_IO.Open): New feature: A
+ Form parameter of Text_Translation=No allows binary mode for Text_IO
+ files.
+
+ * gnat_rm.texi: Document Form parameter Text_Translation=xxx.
+
+2009-04-07 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch5.adb (Expand_Assign_Array): Add implicit conversion when
+ processing the bounds for bit packed arrays or VM target machines.
+
+2009-04-07 Thomas Quinot <quinot@adacore.com>
+
+ * g-sothco.ads (Int_Access): Remove extraneous access type (use
+ anonymous access instead).
+ (Get_Socket_From_Set): Fix incorrectly reverted formals
+ Last and Socket to match the underlying C routine.
+
+ * g-socket.adb, g-socket.ads
+ (Get): Use named parameter associations instead of positional ones in
+ call go Get_Socket_From_Set, since this routine has two formals of the
+ same type.
+ (Image): New procedure.
+
+ * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
+ g-socthi-vxworks.ads, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads:
+ (C_Ioctl, Syscall_Ioctl): use "access C.int" instead of "Int_Access"
+ for type of Arg formal.
+
+ * sem_warn.adb: Minor reformatting
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_util.adb (Has_Tagged_Component): Fix typo in loop that iterates
+ over record components.
+
+2009-04-07 Nicolas Roche <roche@adacore.com>
+
+ * gsocket.h:
+ Don't include resolvLib.h on VxWorks 6 (kernel and rtp). This library
+ has disappeared between VxWorks 6.4 and VxWorks 6.5
+ In RTP mode use time.h instead of times.h
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Op_Concat): Improve lower bound handling
+
+2009-04-07 Kevin Pouget <pouget@adacore.com>
+
+ * exp_dist.adb: Modify Build_From_Any_Fonction procedure to correct
+ expanded code for constrained types.
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch4.adb (Analyze_Overloaded_Selected_Component): implement
+ AI05-105: in an object renaming declaration, anonymousness is a name
+ resolution rule.
+
+ * sem_ch8.adb (Analyze_Object_Renaming): Ditto.
+
+2009-04-07 Arnaud Charlet <charlet@adacore.com>
+
+ * g-comlin.adb (Expansion): Fix old regression: also return directory
+ names when matching.
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb:
+ (Expand_N_Op_Concat): Call Expand_Concatenate for all cases
+ (Expand_Concatenate): New name for Expand_Concatenate_String which has
+ been rewritten to handle all types.
+ (Expand_Concatenate_Other): Remove
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * lib-xref.adb (Generate_Reference): A default subprogram in an
+ instance appears within the tree for the instance, but generates an
+ implicit reference in the ALI.
+
+2009-04-07 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Build_Derived_Record_Type): When processing a tagged
+ derived type that has discriminants, propagate the list of interfaces
+ to the corresponding new base type. In addition, propagate also
+ attribute Limited_Present (found working in this patch).
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb: Rewrite concatenation expansion.
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch8.adb (Restore_Scope_Stack): First_Private_Entity is only
+ relevant to packages.
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * sem_attr.adb: Minor reformatting
+
+ * sem_ch6.adb: Minor reformatting
+
+2009-04-07 Tristan Gingold <gingold@adacore.com>
+
+ * socket.c: Add more protections against S_resolvLib_ macros.
+
+2009-04-07 Thomas Quinot <quinot@adacore.com>
+
+ * sem_attr.adb: Minor reformatting
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (New_Overloaded_Entity): New predicate
+ Is_Overriding_Alias to handle properly types that inherit two homonym
+ operations that have distinct dispatch table entries.
+
+2009-04-07 Emmanuel Briot <briot@adacore.com>
+
+ * s-regexp.adb (Create_Mapping): Ignore excaped open parenthesis when
+ looking for the end of a parenthesis group
+
+2009-04-07 Tristan Gingold <gingold@adacore.com>
+
+ * gsocket.h Don't #include resolvLib.h if __RTP__ is defined.
+
+ * socket.c Don't use resolvLib_ macros if not defined.
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * g-socket.adb: Minor reformatting.
+
+ * g-socthi-mingw.adb: Minor reformatting
+
+ * g-sothco.ads: Minor reformatting
+
+ * exp_ch4.adb:
+ (Expand_Concatenate_String): Complete rewrite to generate efficient code
+ inline instead of relying on external library routines.
+
+ * s-strops.ads, s-sopco5.ads, s-sopco5.adb, s-sopco4.ads, s-sopco4.adb,
+ s-sopco3.ads, s-sopco3.adb, s-strops.adb: Note that this unit is now
+ obsolescent
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_attr.adb:
+ (Eval_Attribute): for attributes of array objects that are not strings,
+ attributes are not static if nominal subtype of object is unconstrained.
+
+2009-04-07 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (New_Overloaded_Entity): If two implicit homonym
+ operations for a type T in an instance do not override each other,
+ when T is derived from a formal private type, the corresponding
+ operations inherited by a type derived from T outside
+ of the instance do not override each other either.
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ (Osint.Fail): Change calling sequence to have one string arg
+ (Make.Make_Failed): Same change
+ All callers are adjusted to use concatenation
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb: Fix documentation typo
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * tbuild.ads: Minor reformatting
+
+2009-04-07 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Make_DT): Avoid the generation of the OSD_Table
+ when compiling under ZFP runtime.
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * g-comlin.adb: Minor reformatting
+
+2009-04-07 Thomas Quinot <quinot@adacore.com>
+
+ * socket.c, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
+ g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
+ g-socthi.adb, g-socthi.ads, g-socket.adb, g-socket.ads, g-sothco.ads:
+ Remove dynamic allocation of Fd_Set in Socket_Set_Type objects.
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Document -gnatDnn/-gnatGnn
+
+ * opt.ads (Sprint_Line_Limit): New parameter
+
+ * sprint.adb: Usa Sprint_Line_Limit instead of Line_Limit throughout
+
+ * switch-c.adb: Recognize -gnatDnnn and -gnatGnnn switches
+
+ * usage.adb: Output information for -gnatGnn -gnatDnn
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * make.adb: Minor reformatting
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * mlib-tgt-specific-vms-alpha.adb: Minor reformatting
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * mlib-tgt-specific-vms-ia64.adb: Minor reformatting
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * checks.adb:
+ Remove Assume_Valid parameter from In_Subrange_Of calls
+
+ * sem_eval.adb:
+ (Is_Subrange_Of): Remove Assume_Valid parameter, not needed
+ (Is_In_Range): Remove incorrect use of Assume_Valid
+ (Is_Out_Of_Range): Remove incorrect use of Assume_Valid
+
+ * sem_eval.ads:
+ (Is_Subrange_Of): Remove Assume_Valid parameter, not needed
+ (Is_In_Range): Documentation cleanup
+ (Is_Out_Of_Range): Documentation cleanup
+
+ * gnat_rm.texi:
+ Add documentation for Assume_No_Invalid_Values pragma
+
+ * sem_ch12.adb: Minor reformatting
+
+ * sem_ch6.adb: (Check_Conformance): Avoid cascaded errors
+
+ * sem_prag.adb: Improve error message.
+
+ * gnatchop.adb, osint.ads, sinput.adb, sinput.ads, styleg.adb:
+ LF/CR no longer recognized as line terminator
+
+ * switch.ads: Minor documentation improvement
+
+ * vms_data.ads: Minor reformatting
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * checks.adb (Determine_Range): Add Assume_Valid parameter
+
+ * checks.ads (Determine_Range): Add Assume_Valid parameter
+
+ * errout.adb (Error_Msg_NEL): Use Suppress_Loop_Warnings rather than
+ Is_Null_Loop to suppress warnings in a loop body.
+
+ * exp_ch4.adb:
+ (Rewrite_Comparison): Major rewrite to accomodate invalid values
+
+ * exp_ch5.adb:
+ (Expand_N_Loop_Statement): Delete loop known not to execute
+
+ * opt.ads:
+ (Assume_No_Invalid_Values): Now set to False, and as documented, this
+ fully enables the proper handling of invalid values.
+
+ * sem_attr.adb:
+ New calling sequence for Is_In_Range
+
+ * sem_ch5.adb:
+ (Analyze_Iteration_Scheme): Accomodate possible invalid values
+ in determining if a loop range is null.
+
+ * sem_eval.adb:
+ (Is_In_Range): Add Assume_Valid parameter
+ (Is_Out_Of_Range): Add Assume_Valid_Parameter
+ (Compile_Time_Compare): Major rewrite to accomodate invalid values and
+ also to do more accurate and complete range analysis, catching more
+ cases.
+
+ * sem_eval.ads:
+ (Is_In_Range): Add Assume_Valid parameter
+ (Is_Out_Of_Range): Add Assume_Valid_Parameter
+
+ * sem_util.adb:
+ New calling sequence for Is_In_Range
+
+ * sinfo.adb:
+ (Suppress_Loop_Warnings): New flag
+
+ * sinfo.ads:
+ (Is_Null_Loop): Update documentation
+ (Suppress_Loop_Warnings): New flag
+
+ * gnat_ugn.texi: Document -gnatB switch
+
+2009-04-07 Arnaud Charlet <charlet@adacore.com>
+
+ * gnatvsn.ads: Bump version number.
+
+2009-04-07 Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch3.adb: Minor rewording (comments)
+
+2009-04-07 Robert Dewar <dewar@adacore.com>
+
+ * exp_disp.adb: Minor reformatting
+
+2009-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Test the
+ underlying type.
+ * gcc-interface/trans.c (lvalue_required_p): Likewise.
+
+2009-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (Attribute_to_gnu) <Max_Size_In_Storage_Elmts>:
+ Do not convert the result. Remove obsolete comment.
+
+2009-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (establish_gnat_vms_condition_handler): Clear
+ DECL_CONTEXT.
+ (Subprogram_Body_to_gnu): Fix pasto.
+
+2009-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/gigi.h (standard_datatypes): Remove ADT_void_type_decl.
+ (void_type_decl_node): Remove.
+ (init_gigi_decls): Likewise.
+ (gnat_install_builtins): Declare.
+ (record_builtin_type): Likewise.
+ (create_type_stub_decl): Likewise.
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Void>: Use void_type.
+ (gnat_to_gnu_entity) <E_Array_Type>: Make fat and thin pointer types
+ artificial.
+ <E_Array_Subtype>: Use the index types, not only their name, in the
+ record giving the names of the bounds, if any.
+ For a packed array type, make it artificial only if the base type
+ was artificial as well. Remove redundant statement.
+ (gnat_to_gnu_entity) <E_Incomplete_Type>: Do not create TYPE_DECL for
+ dummy types.
+ Use create_type_stub_decl to build the TYPE_STUB_DECL of types.
+ (rest_of_type_decl_compilation_no_defer): Likewise.
+ * gcc-interface/misc.c (gnat_printable_name): Add missing guard.
+ * gcc-interface/utils.c (make_dummy_type): Always create TYPE_STUB_DECL
+ and use create_type_stub_decl to build it.
+ (gnat_pushdecl): Rewrite condition.
+ (gnat_install_builtins): Remove bogus declaration.
+ (record_builtin_type): New function.
+ (finish_record_type): Use create_type_stub_decl to build TYPE_STUB_DECL
+ of types.
+ (create_type_stub_decl): New function.
+ (create_type_decl): Assert that the type is not dummy. If the type
+ hasn't been named yet, equate the TYPE_STUB_DECL to the created node.
+ (build_vms_descriptor32): Do not create TYPE_DECL for the descriptor.
+ (build_vms_descriptor): Likewise.
+ (init_gigi_decls): Delete and move bulk of code to...
+ * gcc-interface/trans.c (gigi): ...here. Use record_builtin_type.
+ (emit_range_check): Add gnat_node parameter.
+ (emit_index_check): Likewise.
+ (emit_check): Likewise.
+ (build_unary_op_trapv): Likewise.
+ (build_binary_op_trapv): Likewise.
+ (convert_with_check): Likewise.
+ (Attribute_to_gnu): Adjust calls for above changes.
+ (call_to_gnu): Likewise.
+ (gnat_to_gnu): Likewise.
+ (assoc_to_constructor): Likewise.
+ (pos_to_constructor): Likewise.
+ (Sloc_to_locus): Set BUILTINS_LOCATION for Standard_Location nodes.
+ (process_type): Do not create TYPE_DECL for dummy types.
+
+2009-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Reorder local variables.
+ * gcc-interface/trans.c: Fix formatting throughout. Fix comments.
+ * gcc-interface/utils.c: Fix comments.
+
+2009-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (compile_time_known_address_p): Rewrite and
+ move around.
+ (gnat_to_gnu_type): Move around.
+ (get_unpadded_type): Likewise.
+ * gcc-interface/utils.c (update_pointer_to): Use synthetic macro.
+ Tidy comments.
+
+2009-04-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (check_for_eliminated_entity): New function.
+ (Attribute_to_gnu): Invoke it for Access- and Address-like attributes.
+ (call_to_gnu): Invoke it instead of manually checking.
+
+2009-04-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (finish_record_type): Force structural equality
+ checks if the record type is discriminated.
+
+2009-03-31 Eric Botcazou <ebotcazou@adacore.com>
+
+ * system-linux-alpha.ads (Functions_Return_By_DSP): Remove.
+ * system-linux-mips.ads (Functions_Return_By_DSP): Likewise.
+ * system-linux-mipsel.ads (Functions_Return_By_DSP): Likewise.
+ * system-linux-s390.ads (Functions_Return_By_DSP): Likewise.
+ * system-linux-s390x.ads (Functions_Return_By_DSP): Likewise.
+ * system-linux-sparc.ads (Functions_Return_By_DSP): Likewise.
+ * system-linux-sparcv9.ads (Functions_Return_By_DSP): Likewise.
+
+2009-03-30 Paolo Bonzini <bonzini@gnu.org>
+
+ * gcc-interface/decl.c (maybe_pad_type): Use TREE_OVERFLOW instead
+ of TREE_CONSTANT_OVERFLOW.
+
+2009-03-30 Joseph Myers <joseph@codesourcery.com>
+
+ PR rtl-optimization/323
+ * gcc-interface/misc.c (gnat_post_options): Set
+ flag_excess_precision_cmdline. Give an error for
+ -fexcess-precision=standard for processors where the option is
+ significant.
+
+2009-03-27 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR c/39323
+ * gcc-interface/utils.c (create_field_decl): Use "unsigned int"
+ on bit_align.
+
+2009-03-11 Olivier Hainque <hainque@adacore.com>
+
+ * gcc-interface/trans.c (gnat_to_gnu) <case N_Slice>: In range
+ checks processing, remove unintended TREE_TYPE walk on index type.
+
+2009-03-01 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/39264
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do no
+ call make_packable_type on fat pointer types.
+ <E_Array_Subtype>: Likewise.
+ <E_Record_Subtype>: Call make_packable_type on all record types
+ except for fat pointer types.
+ (make_packable_type): Likewise.
+ (gnat_to_gnu_field): Likewise.
+
+2009-02-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/Makefile.in (cygwin/mingw): Revert accidental
+ EH_MECHANISM change made on 2007-12-06.
+
+2009-02-26 Andreas Schwab <schwab@suse.de>
+
+ PR ada/39172
+ * Makefile.in (srcdir): Set to @top_srcdir@ instead of @srcdir@.
+ * gcc-interface/Makefile.in: Change all uses of $(srcdir),
+ $(fsrcdir) and $(fsrcpfx) to add ada subdir.
+ (AWK): Substitute.
+ (target_cpu_default): Substitute.
+
+2009-02-25 Laurent GUERBY <laurent@guerby.net>
+
+ PR ada/39221
+ * a-teioed.adb (Expand): Fix Result overflow.
+
+2009-02-25 Laurent GUERBY <laurent@guerby.net>
+
+ * gcc-interface/Makefile.in: Fix multilib handling for
+ sparc64-linux.
+
+2009-02-23 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
+
+ * s-oscons-tmplt.c [__osf__ && !_SS_MAXSIZE]: Undef AF_UNIX6.
+
+2009-02-18 H.J. Lu <hongjiu.lu@intel.com>
+
+ * gcc-interface/misc.c (gnat_post_options): Turn off warn_psabi.
+
+2009-02-16 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/deftarg.c: Remove.
+
+2009-02-10 Olivier Hainque <hainque@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (enum alias_set_op): New enumeration.
+ (copy_alias_set): Rename into...
+ (relate_alias_sets): ...this. Add third parameter OP. Retrieve the
+ underlying array of unconstrained arrays for the new type as well.
+ If the old and new alias sets don't conflict, make one a subset of
+ the other as per the OP parameter.
+ (gnat_to_gnu_entity): Adjust calls to copy_alias_set.
+ <E_Record_Type>: Do not copy the alias set for derived types.
+ For all types, make the alias set of derived types a superset of
+ that of their parent type.
+ (make_aligning_type): Adjust calls to copy_alias_set.
+ (make_packable_type): Likewise.
+ * gcc-interface/trans.c (gnat_to_gnu)<N_Validate_Unchecked_Conversion>:
+ Check for alias set conflict instead of strict equality to issue the
+ warning.
+
+2009-02-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_String_Literal_Subtype>:
+ Set TYPE_NONALIASED_COMPONENT on the array type only if appropriate.
+ (copy_alias_set): Assert that arrays have the same aliasing settings.
+ (substitute_in_type) <ARRAY_TYPE>: Copy TYPE_NONALIASED_COMPONENT.
+
+2009-02-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_String_Literal_Subtype>:
+ Set TYPE_NONALIASED_COMPONENT on the array type.
+
+2009-01-31 Laurent GUERBY <laurent@guerby.net>
+
+ * gcc-interface/Makefile.in: Fix mipsel linux handling.
+
+2009-01-16 Jakub Jelinek <jakub@redhat.com>
+
+ * gcc-interface/Makefile.in: Fix multilib handling for
+ powerpc64-linux.
+
2009-01-12 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Really strip
* gcc-interface/Makefile.in (*86-solaris2*): Support x86_64 multilib.
2008-11-07 Bechir Zalila <bechir.zalila@gmail.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
PR ada/34289
* lib.ads: (Enable_Switch_Storing): Declare.
OSDN Git Service
