gcc/ada/ChangeLog

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