gcc/ada/ChangeLog

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