gcc/ada/ChangeLog

   1 2010-04-13  Duncan Sands  <baldrick@free.fr>
   2
   3         * gcc-interface/misc.c (gnat_eh_type_covers): Remove.
   4         * gcc-interface/trans.c (Exception_Handler_to_gnu_zcx): Update comment.
   5
   6 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
   7
   8         * gcc-interface/gigi.h (standard_datatypes): Add ADT_parent_name_id.
   9         (parent_name_id): New macro.
  10         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Use it.
  11         * gcc-interface/trans.c (gigi): Initialize it.
  12         (lvalue_required_p) <N_Type_Conversion>: New case.
  13         <N_Qualified_Expression>: Likewise.
  14         <N_Allocator>: Likewise.
  15         * gcc-interface/utils.c (convert): Try to properly upcast tagged types.
  16
  17 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
  18
  19         * gcc-interface/ada-tree.h (TYPE_BY_REFERENCE_P): Delete.
  20         (DECL_CONST_ADDRESS_P): New macro.
  21         (SET_DECL_ORIGINAL_FIELD_TO_FIELD): Likewise.
  22         (SAME_FIELD_P): Likewise.
  23         * gcc-interface/decl.c (constructor_address_p): New static function.
  24         (gnat_to_gnu_entity) <object>: Set DECL_CONST_ADDRESS_P according to
  25         the return value of above function.
  26         (gnat_to_gnu_entity) <E_Record_Type>: Force BLKmode for all types
  27         passed by reference.
  28         <E_Record_Subtype>: Likewise.
  29         Set TREE_ADDRESSABLE on the type if it passed by reference.
  30         (make_packable_type): Use SET_DECL_ORIGINAL_FIELD_TO_FIELD.
  31         (create_field_decl_from): Likewise.
  32         (substitute_in_type): Likewise.
  33         (purpose_member_field): Use SAME_FIELD_P.
  34         * gcc-interface/misc.c (must_pass_by_ref): Test TREE_ADDRESSABLE.
  35         * gcc-interface/trans.c (lvalue_required_p): Add ADDRESS_OF_CONSTANT
  36         parameter and adjust recursive calls.
  37         <N_Explicit_Dereference>: New case.
  38         <N_Object_Declaration>: Return 1 if the object is of a class-wide type.
  39         Adjust calls to lvalue_required_p.  Do not return the initializer of a
  40         DECL_CONST_ADDRESS_P constant if an lvalue is required for it.
  41         (call_to_gnu): Delay issuing error message for a misaligned actual and
  42         avoid the associated back-end assertion.  Test TREE_ADDRESSABLE.
  43         (gnat_gimplify_expr) <ADDR_EXPR>: Handle non-static constructors.
  44         * gcc-interface/utils.c (make_dummy_type): Set TREE_ADDRESSABLE if the
  45         type is passed by reference.
  46         (convert) <CONSTRUCTOR>: Convert in-place in more cases.
  47         * gcc-interface/utils2.c (build_cond_expr): Drop TYPE_BY_REFERENCE_P.
  48         (build_simple_component_ref): Use SAME_FIELD_P.
  49
  50 2010-04-12  Eric Botcazou  <ebotcazou@adacore.com>
  51
  52         * gcc-interface/trans.c (Identifier_to_gnu): Use boolean variable.
  53         (call_to_gnu): Test gigi's flag TYPE_BY_REFERENCE_P instead of calling
  54         front-end's predicate Is_By_Reference_Type.  Use consistent order and
  55         remove ??? comment.  Use original conversion in all cases, if any.
  56         * gcc-interface/utils.c (make_dummy_type): Minor tweak.
  57         (convert): Use local copy in more cases.
  58         <INDIRECT_REF>: Remove deactivated code.
  59         (unchecked_convert): Use a couple of local copies.
  60
  61 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
  62
  63         * gcc-interface/trans.c (lvalue_required_for_attribute_p): New static
  64         function.
  65         (lvalue_required_p) <N_Attribute_Reference>: Call it.
  66         (gnat_to_gnu) <N_Selected_Component>: Prevent build_component_ref from
  67         folding the result only if lvalue_required_for_attribute_p is true.
  68         * gcc-interface/utils.c (maybe_unconstrained_array): Pass correctly
  69         typed constant to build_component_ref.
  70         (unchecked_convert): Likewise.
  71         * gcc-interface/utils2.c (maybe_wrap_malloc): Likewise.
  72         (build_allocator): Likewise.
  73
  74 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
  75
  76         * gcc-interface/utils2.c (build_cond_expr): Take the address and
  77         dereference if the result type is passed by reference.
  78
  79 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
  80
  81         * gcc-interface/trans.c (Case_Statement_to_gnu): Bool-ify variable.
  82         (gnat_to_gnu) <N_Null_Statement>: When not optimizing, generate a
  83         goto to the next statement.
  84
  85 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
  86
  87         * gcc-interface/gigi.h (maybe_variable): Delete.
  88         (protect_multiple_eval): Likewise.
  89         (maybe_stabilize_reference): Likewise.
  90         (gnat_save_expr): Declare.
  91         (gnat_protect_expr): Likewise.
  92         (gnat_stabilize_reference): Likewise.
  93         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Use
  94         gnat_stabilize_reference.
  95         (maybe_variable): Delete.
  96         (elaborate_expression_1): Use gnat_save_expr.
  97         * gcc-interface/trans.c (Attribute_to_gnu): Use gnat_protect_expr.
  98         (call_to_gnu): Pass NULL to gnat_stabilize_reference.
  99         (gnat_to_gnu) <N_Object_Declaration>: Use gnat_save_expr.
 100         <N_Slice>: Use gnat_protect_exp.
 101         <N_Selected_Component>: Pass NULL to gnat_stabilize_reference.
 102         <N_In>: Use gnat_protect_expr.
 103         Pass NULL to gnat_stabilize_reference.
 104         (build_unary_op_trapv): Use gnat_protect_expr.
 105         (build_binary_op_trapv): Likewise.
 106         (emit_range_check): Likewise.
 107         (emit_index_check): Likewise.
 108         (convert_with_check): Likewise.
 109         (protect_multiple_eval): Move to utils2.c file.
 110         (maybe_stabilize_reference): Merge into...
 111         (gnat_stabilize_reference): ...this.  Move to utils2.c file.
 112         (gnat_stabilize_reference_1): Likewise.
 113         * gcc-interface/utils.c (convert_to_fat_pointer): Use gnat_protect_expr
 114         instead of protect_multiple_eval.
 115         * gcc-interface/utils2.c (compare_arrays): Likewise.
 116         (nonbinary_modular_operation): Likewise.
 117         (maybe_wrap_malloc): Likewise.
 118         (build_allocator): Likewise.
 119         (gnat_save_expr): New function.
 120         (gnat_protect_expr): Rename from protect_multiple_eval.  Early return
 121         in common cases.  Propagate TREE_READONLY onto dereferences.
 122         (gnat_stabilize_reference_1): Move from trans.c file.
 123         (gnat_stabilize_reference): Likewise.
 124
 125 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
 126
 127         * gcc-interface/gigi.h (gnat_mark_addressable): Rename parameter.
 128         * gcc-interface/decl.c (maybe_variable): Do not set TREE_STATIC on _REF
 129         node.  Use the type of the operand to set TREE_READONLY.
 130         * gcc-interface/trans.c (Identifier_to_gnu): Do not set TREE_STATIC on
 131         _REF node.  Do not overwrite TREE_READONLY.
 132         (call_to_gnu): Rename local variable and fix various nits.  In the
 133         copy-in/copy-out case, build the SAVE_EXPR manually.
 134         (convert_with_check): Call protect_multiple_eval in lieu of save_expr
 135         and fold the computations.
 136         (protect_multiple_eval): Always save entire fat pointers.
 137         (maybe_stabilize_reference): Minor tweaks.
 138         (gnat_stabilize_reference_1): Likewise.  Do not deal with tcc_constant,
 139         tcc_type and tcc_statement.
 140         * gcc-interface/utils.c (convert_to_fat_pointer): Call
 141         protect_multiple_eval in lieu of save_expr.
 142         (convert): Minor tweaks.
 143         (maybe_unconstrained_array): Do not set TREE_STATIC on _REF node.
 144         (builtin_type_for_size): Call gnat_type_for_size directly.
 145         * gcc-interface/utils2.c (contains_save_expr_p): Delete.
 146         (contains_null_expr): Likewise
 147         (gnat_build_constructor): Do not call it.
 148         (compare_arrays): Deal with all side-effects, use protect_multiple_eval
 149         instead of gnat_stabilize_reference to protect the operands.
 150         (nonbinary_modular_operation): Call protect_multiple_eval in lieu of
 151         save_expr.
 152         (maybe_wrap_malloc): Likewise.
 153         (build_allocator): Likewise.
 154         (build_unary_op) <INDIRECT_REF>: Do not set TREE_STATIC on _REF node.
 155         (gnat_mark_addressable): Rename parameter.
 156
 157 2010-04-08  Eric Botcazou  <ebotcazou@adacore.com>
 158
 159         * gcc-interface/ada-tree.h (TYPE_RETURNS_UNCONSTRAINED_P): Rename into.
 160         (TYPE_RETURN_UNCONSTRAINED_P): ...this.
 161         (TYPE_RETURNS_BY_REF_P): Rename into.
 162         (TYPE_RETURN_BY_DIRECT_REF_P): ...this.
 163         (TYPE_RETURNS_BY_TARGET_PTR_P): Delete.
 164         * gcc-interface/gigi.h (create_subprog_type): Adjust parameter names.
 165         (build_return_expr): Likewise.
 166         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>:
 167         Rename local variables.  If the return Mechanism is By_Reference, pass
 168         return_by_invisible_ref_p to create_subprog_type instead of toggling
 169         TREE_ADDRESSABLE.  Test return_by_invisible_ref_p in order to annotate
 170         the mechanism.  Use regular return for contrained types with non-static
 171         size and return by invisible reference for unconstrained return types
 172         with default discriminants.  Update comment.
 173         * gcc-interface/trans.c (Subprogram_Body_to_gnu): If the function
 174         returns by invisible reference, turn the RESULT_DECL into a pointer.
 175         Do not handle DECL_BY_REF_P in the CICO case here.
 176         (call_to_gnu): Remove code handling return by target pointer.  For a
 177         function call, if the return type has non-constant size, generate the
 178         assignment with an INIT_EXPR.
 179         (gnat_to_gnu) <N_Return_Statement>: Remove dead code in the CICO case.
 180         If the function returns by invisible reference, build the copy return
 181         operation manually.
 182         (add_decl_expr): Initialize the variable with an INIT_EXPR.
 183         * gcc-interface/utils.c (create_subprog_type): Adjust parameter names.
 184         Adjust for renaming of macros.  Copy the node only when necessary.
 185         (create_subprog_decl): Do not toggle TREE_ADDRESSABLE on the return
 186         type, only change DECL_BY_REFERENCE on the RETURN_DECL.
 187         (convert_from_reference): Delete.
 188         (is_byref_result): Likewise.
 189         (gnat_genericize_r): Likewise.
 190         (gnat_genericize): Likewise.
 191         (end_subprog_body): Do not call gnat_genericize.
 192         * gcc-interface/utils2.c (build_binary_op) <INIT_EXPR>: New case.
 193         (build_return_expr): Adjust parameter names, logic and comment.
 194
 195 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
 196
 197         * exp_pakd.adb (Create_Packed_Array_Type): Always use a modular type
 198         if the size is small enough.  Propagate the alignment if there is an
 199         alignment clause on the original array type.
 200         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Subtype>
 201         Deal with under-aligned packed array types.  Copy the size onto the
 202         justified modular type and don't lay it out again.  Likewise for the
 203         padding type built for other under-aligned subtypes.
 204         * gcc-interface/utils.c (finish_record_type): Do not set a default mode
 205         on the type.
 206
 207 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
 208
 209         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set default
 210         alignment on the RETURN type built for the Copy-In Copy-Out mechanism.
 211
 212 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
 213
 214         * gcc-interface/trans.c (call_to_gnu): In the return-by-target-ptr case
 215         do not set the result type if there is a specified target and do not
 216         convert the result in any cases.
 217         (protect_multiple_eval): Make direct SAVE_EXPR for CALL_EXPR.
 218         (maybe_stabilize_reference) <COMPOUND_EXPR>: Merge with CALL_EXPR.
 219
 220 2010-03-10  Eric Botcazou  <ebotcazou@adacore.com>
 221
 222         * gcc-interface/Makefile.in (SPARC/Solaris): Use sparcv8plus.
 223
 224 2010-02-27  Eric Botcazou  <ebotcazou@adacore.com>
 225
 226         PR ada/42253
 227         * gcc-interface/utils2.c (build_binary_op) <EQ_EXPR>: Assert that fat
 228         pointer base types are variant of each other.  Apply special treatment
 229         for null to fat pointer types in all cases.
 230
 231 2010-01-28  Pascal Obry  <obry@adacore.com>
 232
 233         * s-win32.ads: Add some missing constants.
 234
 235 2010-01-28  Vincent Celier  <celier@adacore.com>
 236
 237         * prj-attr-pm.adb (Add_Attribute): Do nothing if To_Package is
 238         Unknown_Package.
 239
 240 2010-01-28  Robert Dewar  <dewar@adacore.com>
 241
 242         * gnat_rm.texi: Minor correction
 243
 244 2010-01-27  Pascal Obry  <obry@adacore.com>
 245
 246         * g-awk.adb: ensure that an AWK session is reusable.
 247
 248 2010-01-27  Vasiliy Fofanov  <fofanov@adacore.com>
 249
 250         * g-regist.adb (For_Every_Key): Fix previous change.
 251         Minor reformatting.
 252
 253 2010-01-27  Thomas Quinot  <quinot@adacore.com>
 254
 255         * lib-writ.ads: Current version of spec for new N (note) ALI lines
 256
 257 2010-01-27  Yannick Moy  <moy@adacore.com>
 258
 259         * a-cdlili.adb (Insert): Correct exception message when cursor
 260         designates wrong list.
 261
 262 2010-01-27  Vincent Celier  <celier@adacore.com>
 263
 264         * gnatcmd.adb: When there is only one main specified, the package
 265         support Switches (<main>) and attribute Switches is specified for the
 266         main, use these switches, instead of Default_Switches ("Ada").
 267
 268 2010-01-27  Robert Dewar  <dewar@adacore.com>
 269
 270         * sem_prag.adb, par-prag.adb, snames.ads-tmpl: pragma Dimension initial
 271         implementation.
 272         * exp_disp.adb: Minor reformatting
 273
 274 2010-01-27  Tristan Gingold  <gingold@adacore.com>
 275
 276         * seh_init.c: Use __ImageBase instead of _ImageBase.
 277
 278 2010-01-27  Javier Miranda  <miranda@adacore.com>
 279
 280         * exp_disp.ads, exp_disp.adb (Expand_Interface_Thunk): Modify the
 281         profile of interface thunks. The type of the controlling formal is now
 282         the covered interface type (instead of the target tagged type).
 283
 284 2010-01-27  Sergey Rybin  <rybin@adacore.com>
 285
 286         * gnat_rm.texi, gnat_ugn.texi: Update gnatcheck doc.
 287
 288 2010-01-27  Robert Dewar  <dewar@adacore.com>
 289
 290         * sinput.ads, sinput.adb (Sloc_Range): Applies to all nodes, formal
 291         changed from Expr to N.
 292
 293 2010-01-26  Thomas Quinot  <quinot@adacore.com>
 294
 295         * gnat_ugn.texi: Adjust documentation of -gnatz switches.
 296         * usage.adb: Replace line for -gnatz with two lines for -gnatzc and
 297         -gnatzr.
 298
 299 2010-01-26  Vincent Celier  <celier@adacore.com>
 300
 301         * prj-attr.adb: Add new attribute Library_Install_Name_Option
 302         Replace attribute Run_Path_Origin_Supported with Run_Path_Origin
 303         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
 304         attributes Run_Path_Option and Library_Install_Name_Option.
 305         * prj.ads (Project_Configuration): Replace component
 306         Run_Path_Origin_Supported with component Run_Path_Origin. Add new
 307         component Library_Install_Name_Option.
 308         * snames.ads-tmpl: Add new standard name Library_Install_Name_Option
 309         Replace Run_Path_Origin_Supported with Run_Path_Origin
 310
 311 2010-01-26  Ed Schonberg  <schonberg@adacore.com>
 312
 313         * sem_ch8.adb (Use_One_Package): Within an instance, an actual package
 314         is not hidden by a homograph declared in another actual package.
 315
 316 2010-01-26  Robert Dewar  <dewar@adacore.com>
 317
 318         * par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
 319         decisions for pragmas Assert, Check, Precondition, Postcondition if
 320         -gnata set.
 321         * scos.ads: Update comments.
 322         * get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
 323         Also remove obsolete code for CT (exit point) SCOs.
 324
 325 2010-01-26  Thomas Quinot  <quinot@adacore.com>
 326
 327         * switch-c.adb: Fix handling of -gnatz*
 328
 329 2010-01-26  Robert Dewar  <dewar@adacore.com>
 330
 331         * par_sco.adb (Traverse_Declarations_Or_Statements): Separate F/W
 332         qualifiers for FOR/WHILE loops
 333         * scos.ads: Use separate type letters F/W for for/while loops
 334
 335 2010-01-26  Robert Dewar  <dewar@adacore.com>
 336
 337         * get_scos.adb (Get_SCOs): Implement new form of CS entries (multiple
 338         entries per line, one for each statement in the sequence).
 339         * par_sco.adb (Traverse_Declarations_Or_Statements): Increase array
 340         size from 100 to 10_000 for SC_Array to avoid any real possibility of
 341         overflow. Output decisions in for loops.
 342         Exclude labels from CS lines.
 343         * scos.ads: Clarify that label is not included in the entry point
 344
 345 2010-01-26  Robert Dewar  <dewar@adacore.com>
 346
 347         * par_sco.adb (Traverse_Declarations_Or_Statments): Implement new
 348         format of statement sequence SCO entries (one location/statement).
 349         * put_scos.adb (Put_SCOs): Implement new format of CS lines
 350         * scos.ads: Update comments.
 351         * sem_eval.adb: Minor reformatting.
 352
 353 2010-01-26  Robert Dewar  <dewar@adacore.com>
 354
 355         * par_sco.ads, par_sco.adb (Set_Statement_Entry): New handling of exits
 356         (Extend_Statement_Sequence): New procedures
 357         (Traverse_Declarations_Or_Statements): New handling for exits.
 358
 359 2010-01-26  Robert Dewar  <dewar@adacore.com>
 360
 361         * par_sco.adb (Traverse_Declarations_Or_Statements): Add processing for
 362         Case.
 363
 364 2010-01-26  Robert Dewar  <dewar@adacore.com>
 365
 366         * par_sco.adb (Is_Logical_Operator): Exclude AND/OR/XOR
 367         * scos.ads: Clarify handling of logical operators
 368
 369 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
 370
 371         * s-tpoben.adb: Update comments.
 372
 373 2010-01-26  Robert Dewar  <dewar@adacore.com>
 374
 375         * freeze.adb (Set_Small_Size): Don't set size if alignment clause
 376         present.
 377
 378 2010-01-26  Robert Dewar  <dewar@adacore.com>
 379
 380         * scos.ads: Clean up documentation, remove obsolete XOR references
 381 2010-01-26  Vincent Celier  <celier@adacore.com>
 382
 383         * gnat_ugn.texi: Complete documentation on the restrictions for
 384         combined options in -gnatxxx switches.
 385         Fix typo.
 386
 387 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
 388
 389         * s-tpoben.adb (Initialize_Protection_Entries): If a PO is created from
 390         a controlled operation, abort is already deferred at this point, so we
 391         need to use Defer_Abort_Nestable.
 392
 393 2010-01-26  Vincent Celier  <celier@adacore.com>
 394
 395         * prj-conf.adb (Get_Config_Switches): Check for a default language for
 396         a project extending a project with no languages.
 397
 398 2010-01-26  Vincent Celier  <celier@adacore.com>
 399
 400         * switch-c.adb (Scan_Front_End_Switches): Take into account options
 401         that follow -gnatef.
 402         Allow -gnateG to be followed by other options.
 403
 404 2010-01-26  Robert Dewar  <dewar@adacore.com>
 405
 406         * s-commun.ads, s-osprim-mingw.adb, s-stchop-vxworks.adb, sem_aggr.adb,
 407         s-vxwext.adb, sem_ch10.adb, sem_eval.adb, sem_prag.adb: Minor
 408         reformatting.
 409
 410 2010-01-26  Vasiliy Fofanov  <fofanov@adacore.com>
 411
 412         * g-regist.adb, g-regist.ads (For_Every_Key): New generic procedure
 413         that allows to iterate over all subkeys of a key.
 414
 415 2010-01-26  Ed Falis  <falis@adacore.com>
 416
 417         * sysdep.c: enable NFS for VxWorks MILS
 418         * env.c: enable __gnat_environ for VxWorks MILS
 419         * gcc-interface/Makefile.in: Add VxWorks MILS target pairs.
 420
 421 2010-01-25  Bob Duff  <duff@adacore.com>
 422
 423         * sem_aggr.adb (Resolve_Array_Aggregate): Check for the case where this
 424         is an internally-generated positional aggregate, and the bounds are
 425         already correctly set. We don't want to overwrite those bounds with
 426         bounds determined by context.
 427
 428 2010-01-25  Robert Dewar  <dewar@adacore.com>
 429
 430         * g-sercom.ads, gnatcmd.adb, gnatlink.adb, a-ststio.adb, exp_ch6.adb,
 431         exp_ch9.adb, g-sechas.ads: Minor reformatting.
 432
 433 2010-01-25  Thomas Quinot  <quinot@adacore.com>
 434
 435         * s-commun.adb (Last_Index): Count must be converted to SEO (a signed
 436         integer type) before subtracting 1, otherwise the computation may wrap
 437         (because size_t is modular) and cause the conversion to fail.
 438
 439 2010-01-25  Ed Falis  <falis@adacore.com>
 440
 441         * sysdep.c, init.c: Adapt to support full run-time on VxWorks MILS.
 442
 443 2010-01-25  Vincent Celier  <celier@adacore.com>
 444
 445         * prj-attr.adb: New attribute Run_Path_Origin_Required
 446         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process new
 447         attribute Run_Path_Origin_Required.
 448         * prj.ads (Project_Configuration): New component
 449         Run_Path_Origin_Supported.
 450         * snames.ads-tmpl: New standard name Run_Path_Origin_Required
 451
 452 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 453
 454         * sem_aggr.adb (Resolve_Array_Aggregate): If the bounds in a choice
 455         have errors, do not continue resolution of the aggregate.
 456         * sem_eval.adb (Eval_Indexed_Component): Do not attempt to evaluate if
 457         the array type indicates an error.
 458
 459 2010-01-25  Bob Duff  <duff@adacore.com>
 460
 461         * sinfo.ads: Minor comment fixes.
 462
 463 2010-01-25  Bob Duff  <duff@adacore.com>
 464
 465         * exp_ch4.adb, exp_aggr.adb: Minor comment fixes and code clean up.
 466
 467 2010-01-25  Arnaud Charlet  <charlet@adacore.com>
 468
 469         * gnatvsn.ads (Current_Year): Update.
 470
 471 2010-01-25  Florian Villoing  <villoing@adacore.com>
 472
 473         * gnat_ugn.texi: Fix typo.
 474
 475 2010-01-25  Thomas Quinot  <quinot@adacore.com>
 476
 477         * scos.ads: Update specification.
 478
 479 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 480
 481         * sem_ch6.adb (Process_PPCs): If a postcondition is present and the
 482         enclosing subprogram has no previous spec, attach postcondition
 483         procedure to the defining entity for the body.
 484
 485 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 486
 487         * exp_aggr.adb (Build_Record_Aggr_Code); Do not generate call to
 488         initialization procedure of the ancestor part of an extension aggregate
 489         if it is an interface type.
 490
 491 2010-01-25  Vincent Celier  <celier@adacore.com>
 492
 493         * gnatlink.adb (Process_Binder_File): The directory for the shared
 494         version of libgcc in the run path options is found in the subdirectory
 495         indicated by __gnat_default_libgcc_subdir.
 496         * link.c: Declare new const char * __gnat_default_libgcc_subdir for
 497         each platform.
 498
 499 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 500
 501         * sem_prag.adb: More flexible pragma Annotate.
 502
 503 2010-01-22  Eric Botcazou  <ebotcazou@adacore.com>
 504
 505         * system-linux-armel.ads (Stack_Check_Probes): Set to True.
 506         * system-linux-armeb.ads (Stack_Check_Probes): Likewise.
 507
 508 2010-01-18  Eric Botcazou  <ebotcazou@adacore.com>
 509
 510         * gcc-interface/utils.c (create_var_decl_1): Fix formatting nits.
 511
 512 2010-01-18  Jan Hubicka  <jh@suse.cz>
 513
 514         PR middle-end/42068
 515         * gcc-interface/utils.c (create_var_decl_1): Do not set COMMON flag for
 516         unit local variables.
 517
 518 2010-01-17  Laurent GUERBY  <laurent@guerby.net>
 519
 520         * gcc-interface/Makefile.in: Fix typo in arm*-*-linux-gnueabi.
 521
 522 2010-01-11  Mikael Pettersson  <mikpe@it.uu.se>
 523
 524         * gcc-interface/Makefile.in: Add arm*-*-linux-gnueabi.
 525         * system-linux-armeb.ads, system-linux-armel.ads: New files.
 526
 527 2010-01-09  Simon Wright  <simon@pushface.org>
 528
 529         PR ada/42626
 530         * gcc-interface/Makefile.in (gnatlib-shared-darwin): Add missing
 531         end-quote.
 532
 533
 534 \f
 535 Copyright (C) 2010 Free Software Foundation, Inc.
 536
 537 Copying and distribution of this file, with or without modification,
 538 are permitted in any medium without royalty provided the copyright
 539 notice and this notice are preserved.