gcc/ada/ChangeLog

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