[multiple changes]
[platform/upstream/gcc.git] / gcc / ada / ChangeLog
index 520a806..3b9b322 100644 (file)
@@ -1,3 +1,169 @@
+2009-07-15  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_warn.adb (Warn_On_Constant_Condition): if the constant condition
+       is a literal of a derived boolean type, it appears as an unchecked
+       conversion. Retrieve actual value from expression of conversion.
+
+2009-07-15  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch3.adb: Minor reformatting
+
+       * lib-xref.ads, lib-xref.adb, lib.ads, par_sco.ads, par_sco.adb,
+       lib-writ.ads, lib-writ.adb: Minor reformatting.
+       Fix problem with SCO format in ALI files
+
+2009-07-15  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch7.adb, exp_util.adb, tbuild.adb, tbuild.ads, exp_ch4.adb,
+       exp_aggr.adb: Minor code reorganization (better calling sequence for
+       Make_Temporary).
+
+2009-07-15  Thomas Quinot  <quinot@adacore.com>
+
+       * opt.ads: Minor comment edits
+
+2009-07-15  Tristan Gingold  <gingold@adacore.com>
+
+       * gcc-interface/Makefile.in: Special rule for seh_init.o no longer
+       needed.
+
+2009-07-15  Robert Dewar  <dewar@adacore.com>
+
+       * debug.adb: Add -gnatd.O to output SCO table
+
+       * lib-writ.adb (Write_Unit_Information): Use SCO_Output to output SCO
+       information.
+
+       * lib-writ.ads: Document addition of SCO lines to ALI file
+
+       * par_sco.ads, par_sco.adb: New files.
+
+       * opt.ads (Generate_SCO): New switch
+
+       * par.adb (Par): Call SCO_Record to record SCO information
+
+       * sem_warn.adb (Warn_On_Constant_Condition): Adjust SCO condition
+
+       * switch-c.adb: Recognize -gnateS to generate SCO information
+
+       * usage.adb: Add line for -gnateS
+
+       * gcc-interface/Make-lang.in: Add dependency on par_sco.o for gnat1
+
+2009-07-15  Robert Dewar  <dewar@adacore.com>
+
+       * sinfo.ads, make.adb, par.ads, par.adb, sem_warn.adb: Minor
+       reformatting.
+
+2009-07-15  Thomas Quinot  <quinot@adacore.com>
+
+       * g-socthi-mingw.adb: Minor comment addition
+
+       * g-socthi-mingw.ads (WSAStartup): First argument is a WORD not an int.
+
+2009-07-15  Robert Dewar  <dewar@adacore.com>
+
+       * g-htable.ads, s-htable.ads: Minor reformatting
+
+2009-07-15  Robert Dewar  <dewar@adacore.com>
+
+       * switch-c.adb, sem_ch10.adb, sem_warn.adb, sem_warn.ads: Implement
+       new switch -gnatw.g.
+       (Set_GNAT_Mode_Warnings): New procedure.
+
+       * lib-xref.adb: Minor reformatting
+
+2009-07-15  Robert Dewar  <dewar@adacore.com>
+
+       * exp_aggr.adb, tbuild.ads, tbuild.adb: Minor reformatting
+       Minor code reorganization
+
+2009-07-14  Taras Glek  <tglek@mozilla.com>
+           Rafael Espindola  <espindola@google.com>
+
+       * gcc-interface/Make-lang.in (ada.install-plugin): New target for
+       installing plugin headers.
+
+2009-07-13  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch7.adb, exp_util.adb, tbuild.adb, tbuild.ads, exp_ch4.adb,
+       exp_aggr.adb (Make_Temporary): Utility to create a defining identifier
+       and link it to the expression whose value it captures.
+
+2009-07-13  Robert Dewar  <dewar@adacore.com>
+
+       * output.adb: Minor comment addition for last change
+
+       * sinfo.ads: Minor reformatting
+
+2009-07-13  Vasiliy Fofanov  <fofanov@adacore.com>
+
+       * adaint.c (__gnat_portable_no_block_spawn): on Windows, return -1 when
+       spawn failed like on all other targets.
+
+2009-07-13  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch7.adb: Indicate origin of temporary for transient expression.
+
+2009-07-13  Thomas Quinot  <quinot@adacore.com>
+
+       * s-oscons-tmplt.c: Add comment.
+
+2009-07-13  Robert Dewar  <dewar@adacore.com>
+
+       * sinfo.adb, sinfo.ads, sem_util.adb, atree.adb, atree.ads: Minor
+       reformatting. Minor code reorganization (add 9 argument version of
+       Nkind_In).
+
+       * impunit.adb: Remove s-os_lib from list of system extensions.
+
+       * sem_util.ads: Minor reformatting
+
+       * output.adb: Add warnings off/on around System.OS_Lib.
+
+2009-07-13  Bob Duff  <duff@adacore.com>
+
+       * exp_dist.adb: Minor comment updates.
+
+2009-07-13  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_ch10.adb, sem_ch12.adb, gnat1drv.adb, exp_ch4.adb: Fix casing of
+       several references to CodePeer.
+
+2009-07-13  Bob Duff  <duff@adacore.com>
+
+       * exp_dist.adb (Build_From_Any_Function,Build_To_Any_Function,
+       Build_TypeCode_Function_All): Do not recurse if the type is the base
+       type.
+
+2009-07-13  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch4.adb: Minor comment change
+
+2009-07-13  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch5.adb (Analyze_Iteration_Scheme): Generate dummy reference for
+       type of iteration, to prevent spurious warnings.
+
+2009-07-13  Nicolas Roche  <roche@adacore.com>
+
+       * s-oscons-tmplt.c: On VxWorks target ensure that vxWorks.h is always
+       included.
+
+2009-07-13  Arnaud Charlet  <charlet@adacore.com>
+
+       * switch-c.adb, usage.adb, sem_ch9.adb, gnat_ugn.texi, rtsfind.adb,
+       gnat1drv.adb, opt.ads, sem_ch13.adb (Inspector_Mode): Renamed to
+       Generate_SCIL.
+       (CodePeer_Mode): New -gnatC switch.
+       (Adjust_Global_Switches): Adjust settings for Generate_SCIL and
+       CodePeer_Mode.
+
+2009-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * checks.adb (Selected_Range_Checks): Do not consider that a non-static
+       integer bound forces the check if it is compared to its subtype range.
+
 2009-07-13  Robert Dewar  <dewar@adacore.com>
 
        * prj.ads, prj-dect.adb, prj-err.ads, prj-err.adb, prj-nmsc.adb,
 2009-07-13  Robert Dewar  <dewar@adacore.com>
 
        * prj.ads, prj-dect.adb, prj-err.ads, prj-err.adb, prj-nmsc.adb,