gcc/ada/ChangeLog

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