gcc/ada/ChangeLog

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