OSDN Git Service

* gcc-interface/misc.c (gnat_expand_expr): Remove.
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
index b30c634..9724bcd 100644 (file)
@@ -1,3 +1,323 @@
+2009-04-17  Diego Novillo  <dnovillo@google.com>
+
+       * gcc-interface/misc.c (gnat_expand_expr): Remove.
+       (LANG_HOOKS_EXPAND_EXPR): Remove.
+
+2009-04-17  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch3.adb: Minor reformatting
+
+2009-04-17  Pascal Obry  <obry@adacore.com>
+
+       * adaint.c: Add __gnat_use_acl global variable to control use of ACL.
+
+2009-04-17  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch3.adb (Build_Derived_Enumeration_Type): Diagnose properly
+       illegal constraints on type derived from formal discrete types.
+
+2009-04-17  Thomas Quinot  <quinot@adacore.com>
+
+       PR ada/35953
+
+       * 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-stsifd-sockets.adb, g-socthi.ads, g-socket.adb,
+       g-socket.ads (GNAT.Sockets.Thin.C_Send,
+       GNAT.Sockets.Thin.Syscall_Send): Remove unused subprograms.
+       Replace calls to send(2) with equivalent sendto(2) calls.
+       (GNAT.Sockets.Send_Socket): Factor common code in inlined subprogram.
+       (GNAT.Sockets.Write): Account for the case of hyper-empty arrays, do not
+       report an error in that case. Factor code common to the two versions
+       (datagram and stream) in common routine Stream_Write.
+
+2009-04-17  Robert Dewar  <dewar@adacore.com>
+
+       * exp_disp.adb: Minor reformatting
+       Minor code reorganization (use Nkind_In)
+
+       * prepcomp.adb: Minor reformatting
+
+       * sem_ch3.adb: Minor reformatting
+
+       * sem_res.adb: Minor comment addition
+
+       * exp_ch5.adb (Expand_Assign_Array): Use Has_Address_Clause to test
+       for address clause
+
+       * lib-xref.adb (Generate_Reference): Exclude recursive calls from
+       setting Is_Referenced
+
+       * types.ads: Minor reformatting
+
+2009-04-17  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat_ugn.texi: Initial documentation on binding generator.
+
+2009-04-17  Ed Schonberg  <schonberg@adacore.com>
+
+       * einfo.ads, einfo.adb: New attribute Underlying_Record_View, to handle
+       type extensions whose parent is a type with unknown discriminants.
+
+       * exp_aggr.adb (Expand_Record_Aggregate): If the type of an extension
+       aggregate has unknown discriminants, use the Underlying_Record_View to
+       obtain the discriminants of the ancestor part.
+
+       * exp_disp.adb (Build_Dispatch_Tables): Types that are
+       Underlying_Record_Views share the dispatching information of the
+       original record extension.
+
+       * exp_ch3.adb (Expand_Record_Extension): If the type inherits unknown
+       discriminants, propagate dispach table information to the
+       Underlying_Record_View.
+
+       * sem_ch3.adb (Build_Derived_Private_Type): If parent type has unknown
+       discriminants and declaration is not a completion, generate
+       Underlying_Record_View to provide proper discriminant information to
+       the front-end and to gigi.
+
+2009-04-17  Robert Dewar  <dewar@adacore.com>
+
+       * s-conca5.adb, g-sercom.adb, s-conca5.ads, s-conca7.adb, exp_imgv.adb,
+       s-conca7.ads, s-crc32.adb, s-crc32.ads, s-conca9.adb, s-conca9.ads,
+       s-addope.adb, i-cstrin.ads, s-addope.ads, s-carun8.adb, s-carun8.ads,
+       g-htable.ads, g-hesora.adb, g-hesora.ads, s-htable.adb, s-htable.ads,
+       s-conca2.adb, s-conca2.ads, a-except.adb, s-conca4.adb, a-except.ads,
+       s-conca4.ads, s-except.adb, s-except.ads, s-conca6.adb, s-conca6.ads,
+       g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, s-conca8.adb,
+       s-conca8.ads, g-byorma.adb, g-byorma.ads, s-memory.adb, s-memory.ads,
+       g-speche.adb, g-speche.ads, g-stsifd-sockets.adb, exp_dist.adb,
+       s-imgenu.adb, s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-exctab.adb,
+       s-exctab.ads, s-imenne.adb, s-imenne.ads, s-casuti.adb, osint.adb,
+       s-assert.adb, s-casuti.ads, s-assert.ads, s-os_lib.adb, s-conca3.adb,
+       s-conca3.ads: Remove unneeded pragma Warnings
+
+2009-04-17  Robert Dewar  <dewar@adacore.com>
+
+       * g-moreex.adb: Add comments.
+
+       * s-auxdec.ads: Add ??? comment for uncommented pragma Warnings (Off)
+
+       * s-auxdec-vms_64.ads: Add ??? comment for uncommented pragma
+       Warnings (Off)
+
+       * prepcomp.adb: Add ??? comment
+
+       * a-tasatt.adb: Minor reformatting
+
+       * g-trasym-vms-alpha.adb: Add ??? comment
+
+       * g-trasym-vms-ia64.adb: Add ??? comment
+
+       * xoscons.adb: Minor reformatting
+
+       * s-tassta.adb: Minor reformatting
+
+       * s-scaval.adb: Add ??? comment
+
+       * stand.ads: Minor code clean up (remove junk with of Namet)
+
+       * s-strcom.adb, s-strcom.ads, s-string.adb, s-string.ads, s-sopco3.adb,
+       s-sopco3.ads, s-strops.adb, s-strops.ads, s-sopco5.adb, s-sopco5.ads,
+       s-wchcnv.adb, s-wchcnv.ads, s-ststop.adb, s-ststop.ads, s-soflin.adb,
+       s-soflin.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads,
+       s-secsta.adb, s-secsta.ads, s-utf_32.adb, s-utf_32.ads, s-wchcon.adb,
+       s-wchjis.adb, s-wchcon.ads, s-wchjis.ads, s-sopco4.adb, s-sopco4.ads,
+       s-stache.adb, s-stache.ads, s-stoele.adb, s-stoele.ads, s-stalib.adb,
+       s-stalib.ads, s-os_lib.ads, s-purexc.ads: Remove no longer needed
+       Warnings off pragmas.
+
+2009-04-17  Pascal Obry  <obry@adacore.com>
+
+       * initialize.c: Fix test for reallocating the arguments array.
+
+2009-04-17  Geert Bosch  <bosch@adacore.com>
+
+       * exp_fixd.adb (Expand_Convert_Float_To_Fixed): Have float to fixed
+       conversion truncate only for decimal fixed point types.
+
+2009-04-17  Jerome Lambourg  <lambourg@adacore.com>
+
+       * g-comlin.adb (Initialize_Scan_Option): Make sure the sections are
+       reinitialized.
+
+2009-04-17  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch5.adb (Expand_Assign_Array): Do not set Forwards_OK and
+       Backwards_OK if either operand has an address clause.
+
+2009-04-17  Pascal Obry  <obry@adacore.com>
+
+       * initialize.c: Code clean up, use realloc.
+
+2009-04-17  Pascal Obry  <obry@adacore.com>
+
+       * initialize.c: Do not get Unicode command line if Unicode support not
+       activated.
+       Add support for wildcard expansion for Unicode parameters on Win32.
+
+       * mingw32.h: Add missing macros when Unicode support not activated.
+
+2009-04-17  Javier Miranda  <miranda@adacore.com>
+
+       * sem_ch6.adb (Check_Anonymous_Return): Add missing checks to
+       avoid generating code that references the Current_Master
+       when compiling without tasks.
+
+2009-04-17  Vincent Celier  <celier@adacore.com>
+
+       * prj-attr.adb: New project level attribute Target
+       
+       * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
+       attribute Target
+       
+       * prj.ads (Project_Configuration): New component Target
+
+2009-04-17  Thomas Quinot  <quinot@adacore.com>
+
+       * exp_ch7.adb (Expand_Ctrl_Function_Call): Remove incorrect special
+       case for the case of an aggregate component, the attach call for the
+       result is actually needed.
+
+       * exp_aggr.adb (Backend_Processing_Possible): Backend processing for
+       an array aggregate must be disabled if the component type requires
+       controlled actions.
+
+       * exp_ch3.adb: Minor reformatting
+
+2009-04-17  Bob Duff  <duff@adacore.com>
+
+       * output.ads (Indent,Outdent): New procedures for indenting the output.
+       (Write_Char): Correct comment -- LF _is_ allowed.
+
+       * output.adb (Indent,Outdent): New procedures for indenting the output.
+       Keep track of the indentation level, and make sure it doesn't get too
+       high.
+       (Flush_Buffer): Insert spaces at the beginning of each line, if
+       indentation level is nonzero.
+       (Save_Output_Buffer,Restore_Output_Buffer): Save and restore the current
+       indentation level.
+       (Set_Standard_Error,Set_Standard_Output): Remove superfluous
+       "Next_Col := 1;".  Flush_Buffer does that.
+
+       * sem_ch6.adb, sem_ch7.adb (Debug_Flag_C): Reorganize the output
+       controlled by the -gnatdc switch. It now occurs on entry/exit to the
+       relevant analysis routines, and calls Indent/Outdent to make the
+       indentation reflect the nesting level.  Add "helper" routines, since
+       otherwise lots of "return;" statements would skip the debugging output.
+
+2009-04-17  Arnaud Charlet  <charlet@adacore.com>
+
+       * s-taprop-tru64.adb, s-taprop-vms.adb, s-taprop-linux.adb,
+       s-taprop-solaris.adb, s-taprop-irix.adb, s-taprop-hpux-dce.adb,
+       s-taprop-posix.adb (Suspend_Until_True): Protect against early wakeup.
+
+2009-04-17  Thomas Quinot  <quinot@adacore.com>
+
+       * exp_aggr.adb: Minor code reorganization, no behaviour change.
+
+2009-04-17  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch8.adb (Use_One_Type): Handle properly a redundant use type
+       clause in a unit that is a package body or a subunit, when the previous
+       clause appears in a spec or a parent.
+
+2009-04-17  Thomas Quinot  <quinot@adacore.com>
+
+       * sinfo.ads, exp_aggr.adb, exp_aggr.ads: Minor reformatting
+
+       * exp_ch7.adb: Minor reformatting
+
+2009-04-17  Bob Duff  <duff@adacore.com>
+
+       * exp_ch4.adb (Expand_Allocator_Expression): In an initialized
+       allocator, check that the expression of the qualified expression obeys
+       the constraints of the subtype of the qualified expression.
+
+2009-04-17  Thomas Quinot  <quinot@adacore.com>
+
+       * sprint.adb (Write_Itype): Add handling of enumeration subtypes.
+
+2009-04-17  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch4.adb (Expand_Allocator_Expression): Apply constraint check to
+       aggregate, using context imposed by subtype mark in allocator.
+
+2009-04-17  Pascal Obry  <obry@adacore.com>
+
+       * gnat_rm.texi: Document GNAT_CODE_PAGE environment variable
+
+2009-04-17  Nicolas Roche  <roche@adacore.com>
+
+       * initialize.c (__gnat_initialize): remove MAX_PATH limitation on each
+       argument length.
+
+2009-04-17  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_elim.adb (Eliminate_Error_Msg): Minor change to error message to
+       cover both calls and attribute references ("call" => "reference").
+
+2009-04-17  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch3.adb (Analyze_Subtype_Declaration): A subtype of an access
+       type for which Storage_Size is set to 0 is legal in a pure unit.
+
+2009-04-17  Thomas Quinot  <quinot@adacore.com>
+
+       * exp_ch7.adb: Minor reformatting
+
+2009-04-17  Robert Dewar  <dewar@adacore.com>
+
+       * restrict.adb (Check_Restriction_No_Dependence): Don't check
+       restriction if outside main extended source unit.
+
+       * sem_ch10.adb (Analyze_With_Clause): Check No_Dependence restriction
+       for parents of child units as well as the child unit itself.
+
+2009-04-17  Bob Duff  <duff@adacore.com>
+
+       * checks.ads: Minor comment fix
+
+       * exp_aggr.ads: Minor comment fix
+
+2009-04-17  Nicolas Roche  <roche@adacore.com>
+
+       * adaint.c: Improve cross compiler detection and handling.
+
+2009-04-17  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_ch4.adb (Expand_Concatenation): Do not use calls at -Os.
+
+2009-04-17  Pascal Obry  <obry@adacore.com>
+
+       * mingw32.h: Add S2WSC and WS2SC macros to convert to/from
+       CurrentCodePage.
+
+       * adaint.h: Encoding_Unspecified is now defined. Corresponds to the
+       value when no encoding form paramter is set on Text_IO services.
+
+       * adaint.c: CurrentCodePage new variable on Windows.
+       Use new macros S2WSC and WS2SC instead of the UTF-8 oriented
+       ones.
+
+       * mkdir.c: Use new macros S2WSC and WS2SC instead of the UTF-8 oriented
+       ones.
+
+       * initialize.c: Initialize CurrentCodePage depending on GNAT_CODE_PAGE
+       environment variable value. Default is UTF-8.
+
+       * s-crtl.ads: Filename_Encoding add Unspecified in the enumeration type.
+       fopen and freopen encoding parameter is now set to Unspecified.
+       The default value is in this case UTF-8 (as it was before) but
+       use the new macros that convert to/from the code page set
+       at runtime (CurrentCodePage).
+
+       * s-fileio.adb: When no encoding specified use Unspecified value.
+
+2009-04-17  Ed Schonberg  <schonberg@adacore.com>
+
+       * atree.adb, atree.ads: Remove dead code.
+
 2009-04-17  Arnaud Charlet  <charlet@adacore.com>
 
        * gcc-interface/Make-lang.in: Update dependencies.