gcc/ada/ChangeLog

   1 2010-03-10  Eric Botcazou  <ebotcazou@adacore.com>
   2
   3         * gcc-interface/Makefile.in (SPARC/Solaris): Use sparcv8plus.
   4
   5 2010-02-27  Eric Botcazou  <ebotcazou@adacore.com>
   6
   7         PR ada/42253
   8         * gcc-interface/utils2.c (build_binary_op) <EQ_EXPR>: Assert that fat
   9         pointer base types are variant of each other.  Apply special treatment
  10         for null to fat pointer types in all cases.
  11
  12 2010-01-28  Pascal Obry  <obry@adacore.com>
  13
  14         * s-win32.ads: Add some missing constants.
  15
  16 2010-01-28  Vincent Celier  <celier@adacore.com>
  17
  18         * prj-attr-pm.adb (Add_Attribute): Do nothing if To_Package is
  19         Unknown_Package.
  20
  21 2010-01-28  Robert Dewar  <dewar@adacore.com>
  22
  23         * gnat_rm.texi: Minor correction
  24
  25 2010-01-27  Pascal Obry  <obry@adacore.com>
  26
  27         * g-awk.adb: ensure that an AWK session is reusable.
  28
  29 2010-01-27  Vasiliy Fofanov  <fofanov@adacore.com>
  30
  31         * g-regist.adb (For_Every_Key): Fix previous change.
  32         Minor reformatting.
  33
  34 2010-01-27  Thomas Quinot  <quinot@adacore.com>
  35
  36         * lib-writ.ads: Current version of spec for new N (note) ALI lines
  37
  38 2010-01-27  Yannick Moy  <moy@adacore.com>
  39
  40         * a-cdlili.adb (Insert): Correct exception message when cursor
  41         designates wrong list.
  42
  43 2010-01-27  Vincent Celier  <celier@adacore.com>
  44
  45         * gnatcmd.adb: When there is only one main specified, the package
  46         support Switches (<main>) and attribute Switches is specified for the
  47         main, use these switches, instead of Default_Switches ("Ada").
  48
  49 2010-01-27  Robert Dewar  <dewar@adacore.com>
  50
  51         * sem_prag.adb, par-prag.adb, snames.ads-tmpl: pragma Dimension initial
  52         implementation.
  53         * exp_disp.adb: Minor reformatting
  54
  55 2010-01-27  Tristan Gingold  <gingold@adacore.com>
  56
  57         * seh_init.c: Use __ImageBase instead of _ImageBase.
  58
  59 2010-01-27  Javier Miranda  <miranda@adacore.com>
  60
  61         * exp_disp.ads, exp_disp.adb (Expand_Interface_Thunk): Modify the
  62         profile of interface thunks. The type of the controlling formal is now
  63         the covered interface type (instead of the target tagged type).
  64
  65 2010-01-27  Sergey Rybin  <rybin@adacore.com>
  66
  67         * gnat_rm.texi, gnat_ugn.texi: Update gnatcheck doc.
  68
  69 2010-01-27  Robert Dewar  <dewar@adacore.com>
  70
  71         * sinput.ads, sinput.adb (Sloc_Range): Applies to all nodes, formal
  72         changed from Expr to N.
  73
  74 2010-01-26  Thomas Quinot  <quinot@adacore.com>
  75
  76         * gnat_ugn.texi: Adjust documentation of -gnatz switches.
  77         * usage.adb: Replace line for -gnatz with two lines for -gnatzc and
  78         -gnatzr.
  79
  80 2010-01-26  Vincent Celier  <celier@adacore.com>
  81
  82         * prj-attr.adb: Add new attribute Library_Install_Name_Option
  83         Replace attribute Run_Path_Origin_Supported with Run_Path_Origin
  84         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
  85         attributes Run_Path_Option and Library_Install_Name_Option.
  86         * prj.ads (Project_Configuration): Replace component
  87         Run_Path_Origin_Supported with component Run_Path_Origin. Add new
  88         component Library_Install_Name_Option.
  89         * snames.ads-tmpl: Add new standard name Library_Install_Name_Option
  90         Replace Run_Path_Origin_Supported with Run_Path_Origin
  91
  92 2010-01-26  Ed Schonberg  <schonberg@adacore.com>
  93
  94         * sem_ch8.adb (Use_One_Package): Within an instance, an actual package
  95         is not hidden by a homograph declared in another actual package.
  96
  97 2010-01-26  Robert Dewar  <dewar@adacore.com>
  98
  99         * par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
 100         decisions for pragmas Assert, Check, Precondition, Postcondition if
 101         -gnata set.
 102         * scos.ads: Update comments.
 103         * get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
 104         Also remove obsolete code for CT (exit point) SCOs.
 105
 106 2010-01-26  Thomas Quinot  <quinot@adacore.com>
 107
 108         * switch-c.adb: Fix handling of -gnatz*
 109
 110 2010-01-26  Robert Dewar  <dewar@adacore.com>
 111
 112         * par_sco.adb (Traverse_Declarations_Or_Statements): Separate F/W
 113         qualifiers for FOR/WHILE loops
 114         * scos.ads: Use separate type letters F/W for for/while loops
 115
 116 2010-01-26  Robert Dewar  <dewar@adacore.com>
 117
 118         * get_scos.adb (Get_SCOs): Implement new form of CS entries (multiple
 119         entries per line, one for each statement in the sequence).
 120         * par_sco.adb (Traverse_Declarations_Or_Statements): Increase array
 121         size from 100 to 10_000 for SC_Array to avoid any real possibility of
 122         overflow. Output decisions in for loops.
 123         Exclude labels from CS lines.
 124         * scos.ads: Clarify that label is not included in the entry point
 125
 126 2010-01-26  Robert Dewar  <dewar@adacore.com>
 127
 128         * par_sco.adb (Traverse_Declarations_Or_Statments): Implement new
 129         format of statement sequence SCO entries (one location/statement).
 130         * put_scos.adb (Put_SCOs): Implement new format of CS lines
 131         * scos.ads: Update comments.
 132         * sem_eval.adb: Minor reformatting.
 133
 134 2010-01-26  Robert Dewar  <dewar@adacore.com>
 135
 136         * par_sco.ads, par_sco.adb (Set_Statement_Entry): New handling of exits
 137         (Extend_Statement_Sequence): New procedures
 138         (Traverse_Declarations_Or_Statements): New handling for exits.
 139
 140 2010-01-26  Robert Dewar  <dewar@adacore.com>
 141
 142         * par_sco.adb (Traverse_Declarations_Or_Statements): Add processing for
 143         Case.
 144
 145 2010-01-26  Robert Dewar  <dewar@adacore.com>
 146
 147         * par_sco.adb (Is_Logical_Operator): Exclude AND/OR/XOR
 148         * scos.ads: Clarify handling of logical operators
 149
 150 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
 151
 152         * s-tpoben.adb: Update comments.
 153
 154 2010-01-26  Robert Dewar  <dewar@adacore.com>
 155
 156         * freeze.adb (Set_Small_Size): Don't set size if alignment clause
 157         present.
 158
 159 2010-01-26  Robert Dewar  <dewar@adacore.com>
 160
 161         * scos.ads: Clean up documentation, remove obsolete XOR references
 162 2010-01-26  Vincent Celier  <celier@adacore.com>
 163
 164         * gnat_ugn.texi: Complete documentation on the restrictions for
 165         combined options in -gnatxxx switches.
 166         Fix typo.
 167
 168 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
 169
 170         * s-tpoben.adb (Initialize_Protection_Entries): If a PO is created from
 171         a controlled operation, abort is already deferred at this point, so we
 172         need to use Defer_Abort_Nestable.
 173
 174 2010-01-26  Vincent Celier  <celier@adacore.com>
 175
 176         * prj-conf.adb (Get_Config_Switches): Check for a default language for
 177         a project extending a project with no languages.
 178
 179 2010-01-26  Vincent Celier  <celier@adacore.com>
 180
 181         * switch-c.adb (Scan_Front_End_Switches): Take into account options
 182         that follow -gnatef.
 183         Allow -gnateG to be followed by other options.
 184
 185 2010-01-26  Robert Dewar  <dewar@adacore.com>
 186
 187         * s-commun.ads, s-osprim-mingw.adb, s-stchop-vxworks.adb, sem_aggr.adb,
 188         s-vxwext.adb, sem_ch10.adb, sem_eval.adb, sem_prag.adb: Minor
 189         reformatting.
 190
 191 2010-01-26  Vasiliy Fofanov  <fofanov@adacore.com>
 192
 193         * g-regist.adb, g-regist.ads (For_Every_Key): New generic procedure
 194         that allows to iterate over all subkeys of a key.
 195
 196 2010-01-26  Ed Falis  <falis@adacore.com>
 197
 198         * sysdep.c: enable NFS for VxWorks MILS
 199         * env.c: enable __gnat_environ for VxWorks MILS
 200         * gcc-interface/Makefile.in: Add VxWorks MILS target pairs.
 201
 202 2010-01-25  Bob Duff  <duff@adacore.com>
 203
 204         * sem_aggr.adb (Resolve_Array_Aggregate): Check for the case where this
 205         is an internally-generated positional aggregate, and the bounds are
 206         already correctly set. We don't want to overwrite those bounds with
 207         bounds determined by context.
 208
 209 2010-01-25  Robert Dewar  <dewar@adacore.com>
 210
 211         * g-sercom.ads, gnatcmd.adb, gnatlink.adb, a-ststio.adb, exp_ch6.adb,
 212         exp_ch9.adb, g-sechas.ads: Minor reformatting.
 213
 214 2010-01-25  Thomas Quinot  <quinot@adacore.com>
 215
 216         * s-commun.adb (Last_Index): Count must be converted to SEO (a signed
 217         integer type) before subtracting 1, otherwise the computation may wrap
 218         (because size_t is modular) and cause the conversion to fail.
 219
 220 2010-01-25  Ed Falis  <falis@adacore.com>
 221
 222         * sysdep.c, init.c: Adapt to support full run-time on VxWorks MILS.
 223
 224 2010-01-25  Vincent Celier  <celier@adacore.com>
 225
 226         * prj-attr.adb: New attribute Run_Path_Origin_Required
 227         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process new
 228         attribute Run_Path_Origin_Required.
 229         * prj.ads (Project_Configuration): New component
 230         Run_Path_Origin_Supported.
 231         * snames.ads-tmpl: New standard name Run_Path_Origin_Required
 232
 233 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 234
 235         * sem_aggr.adb (Resolve_Array_Aggregate): If the bounds in a choice
 236         have errors, do not continue resolution of the aggregate.
 237         * sem_eval.adb (Eval_Indexed_Component): Do not attempt to evaluate if
 238         the array type indicates an error.
 239
 240 2010-01-25  Bob Duff  <duff@adacore.com>
 241
 242         * sinfo.ads: Minor comment fixes.
 243
 244 2010-01-25  Bob Duff  <duff@adacore.com>
 245
 246         * exp_ch4.adb, exp_aggr.adb: Minor comment fixes and code clean up.
 247
 248 2010-01-25  Arnaud Charlet  <charlet@adacore.com>
 249
 250         * gnatvsn.ads (Current_Year): Update.
 251
 252 2010-01-25  Florian Villoing  <villoing@adacore.com>
 253
 254         * gnat_ugn.texi: Fix typo.
 255
 256 2010-01-25  Thomas Quinot  <quinot@adacore.com>
 257
 258         * scos.ads: Update specification.
 259
 260 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 261
 262         * sem_ch6.adb (Process_PPCs): If a postcondition is present and the
 263         enclosing subprogram has no previous spec, attach postcondition
 264         procedure to the defining entity for the body.
 265
 266 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 267
 268         * exp_aggr.adb (Build_Record_Aggr_Code); Do not generate call to
 269         initialization procedure of the ancestor part of an extension aggregate
 270         if it is an interface type.
 271
 272 2010-01-25  Vincent Celier  <celier@adacore.com>
 273
 274         * gnatlink.adb (Process_Binder_File): The directory for the shared
 275         version of libgcc in the run path options is found in the subdirectory
 276         indicated by __gnat_default_libgcc_subdir.
 277         * link.c: Declare new const char * __gnat_default_libgcc_subdir for
 278         each platform.
 279
 280 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 281
 282         * sem_prag.adb: More flexible pragma Annotate.
 283
 284 2010-01-22  Eric Botcazou  <ebotcazou@adacore.com>
 285
 286         * system-linux-armel.ads (Stack_Check_Probes): Set to True.
 287         * system-linux-armeb.ads (Stack_Check_Probes): Likewise.
 288
 289 2010-01-18  Eric Botcazou  <ebotcazou@adacore.com>
 290
 291         * gcc-interface/utils.c (create_var_decl_1): Fix formatting nits.
 292
 293 2010-01-18  Jan Hubicka  <jh@suse.cz>
 294
 295         PR middle-end/42068
 296         * gcc-interface/utils.c (create_var_decl_1): Do not set COMMON flag for
 297         unit local variables.
 298
 299 2010-01-17  Laurent GUERBY  <laurent@guerby.net>
 300
 301         * gcc-interface/Makefile.in: Fix typo in arm*-*-linux-gnueabi.
 302
 303 2010-01-11  Mikael Pettersson  <mikpe@it.uu.se>
 304
 305         * gcc-interface/Makefile.in: Add arm*-*-linux-gnueabi.
 306         * system-linux-armeb.ads, system-linux-armel.ads: New files.
 307
 308 2010-01-09  Simon Wright  <simon@pushface.org>
 309
 310         PR ada/42626
 311         * gcc-interface/Makefile.in (gnatlib-shared-darwin): Add missing
 312         end-quote.
 313
 314
 315 \f
 316 Copyright (C) 2010 Free Software Foundation, Inc.
 317
 318 Copying and distribution of this file, with or without modification,
 319 are permitted in any medium without royalty provided the copyright
 320 notice and this notice are preserved.