gcc/ada/ChangeLog

   1 2010-05-16  Manuel López-Ibáñez  <manu@gcc.gnu.org>
   2
   3         * gcc-interface/misc.c (gnat_handle_option): Remove special logic
   4         for Wuninitialized without -O.
   5
   6 2010-05-16  Eric Botcazou  <ebotcazou@adacore.com>
   7
   8         * gcc-interface/gigi.h (enum standard_datatypes): Add new value
   9         ADT_exception_data_name_id.
  10         (exception_data_name_id): New define.
  11         * gcc-interface/trans.c (gigi): Initialize it.
  12         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Use the standard
  13         exception type for standard exception definitions.  Do not make them
  14         volatile.
  15         <E_Record_Type>: Equate fields of types associated with an exception
  16         definition to those of the standard exception type.
  17
  18 2010-05-13  Andreas Schwab  <schwab@linux-m68k.org>
  19
  20         * tracebak.c (__gnat_backtrace): Mark top_stack with ATTRIBUTE_UNUSED.
  21
  22 2010-05-12  Eric Botcazou  <ebotcazou@adacore.com>
  23
  24         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Tidy up
  25         code, improve comments and fix formatting nits.
  26
  27 2010-05-12  Eric Botcazou  <ebotcazou@adacore.com>
  28
  29         * gcc-interface/utils.c (update_pointer_to): Return early if the old
  30         pointer already points to the new type.  Chain the old pointer and its
  31         variants at the end of new pointer's chain after updating them.
  32
  33 2010-05-10  Eric Botcazou  <ebotcazou@adacore.com>
  34
  35         * exp_disp.adb (Make_Tags): Mark the imported view of dispatch tables
  36         built for interfaces.
  37         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Use
  38         imported_p instead of Is_Imported when considering constants.
  39         Do not promote alignment of exported objects.
  40         <E_Record_Subtype>: Strip all suffixes for dispatch table entities.
  41
  42 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
  43
  44         * exp_disp.adb (Make_Tags): Mark the imported view of dispatch tables.
  45         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Make imported
  46         constants really constant.
  47         <E_Record_Subtype>: Strip the suffix for dispatch table entities.
  48
  49 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
  50
  51         * gcc-interface/decl.c (make_aligning_type): Declare the type.
  52
  53 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
  54
  55         * gcc-interface/decl.c (gnat_to_gnu_entity): Create variables for size
  56         expressions of variant part of record types declared at library level.
  57
  58 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
  59
  60         * gcc-interface/gigi.h (create_field_decl): Move PACKED parameter.
  61         * gcc-interface/utils.c (create_field_decl): Move PACKED parameter.
  62         (rest_of_record_type_compilation): Adjust call to create_field_decl.
  63         (make_descriptor_field): Likewise and pass correctly typed constants.
  64         (build_unc_object_type): Likewise.
  65         (unchecked_convert): Likewise.
  66         * gcc-interface/decl.c (elaborate_expression_2): New static function.
  67         (gnat_to_gnu_entity): Use it to make alignment factors explicit.
  68         Adjust call to create_field_decl.
  69         (make_aligning_type): Likewise.
  70         (make_packable_type): Likewise.
  71         (maybe_pad_type): Likewise.
  72         (gnat_to_gnu_field): Likewise.
  73         (components_to_record): Likewise.
  74         (create_field_decl_from): Likewise.
  75         (create_variant_part_from): Remove superfluous test.
  76         * gcc-interface/trans.c (gigi): Adjust call to create_field_decl.
  77
  78 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
  79
  80         * gcc-interface/gigi.h (build_unc_object_type): Add DEBUG_INFO_P param.
  81         (build_unc_object_type_from_ptr): Likewise.
  82         * gcc-interface/utils.c (build_unc_object_type): Add DEBUG_INFO_P param
  83         and pass it to create_type_decl.  Declare the type.  Simplify.
  84         (build_unc_object_type_from_ptr): Add DEBUG_INFO_P parameter and pass
  85         it to build_unc_object_type.
  86         * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust to above change.
  87         * gcc-interface/trans.c (Attribute_to_gnu): Likewise.
  88         (gnat_to_gnu): Likewise.
  89         * gcc-interface/utils2.c (build_allocator): Likewise.
  90
  91 2010-05-07 Eric Botcazou  <ebotcazou@adacore.com>
  92
  93         PR 40989
  94         * gcc-interface/misc.c (gnat_handle_option): Fix long line.
  95
  96 2010-05-06  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
  97
  98         * gcc-interface/Makefile.in: Removed mips-sgi-irix5* support.
  99
 100 2010-05-06  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 101
 102         PR 40989
 103         * gcc-interface/misc.c (gnat_handle_option): Add argument kind.
 104
 105 2010-05-02  Giuseppe Scrivano  <gscrivano@gnu.org>
 106
 107         * gnathtml.pl: Use 755 as mask for new directories.
 108
 109 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
 110
 111         * gcc-interface/trans.c (gnat_gimplify_expr) <ADDR_EXPR>: Uniquize
 112         constant constructors before taking their address.
 113
 114 2010-04-25  Eric Botcazou  <ebotcazou@adacore.com>
 115
 116         * exp_dbug.ads: Fix outdated description.  Mention link between XVS
 117         and XVZ objects.
 118         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Set
 119         XVZ variable as unit size of XVS type.
 120         (maybe_pad_type): Likewise.
 121
 122 2010-04-25  Eric Botcazou  <ebotcazou@adacore.com>
 123
 124         * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Do not
 125         use memmove if the array type is bit-packed.
 126
 127 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
 128
 129         * gcc-interface/misc.c (gnat_init): Remove second argument in call to
 130         build_common_tree_nodes.
 131
 132 2010-04-18  Ozkan Sezer  <sezeroz@gmail.com>
 133
 134         * gsocket.h: Make sure that winsock2.h is included before windows.h.
 135
 136 2010-04-17  Eric Botcazou  <ebotcazou@adacore.com>
 137
 138         * gcc-interface/utils2.c (build_unary_op) <ATTR_ADDR_EXPR>: Do not
 139         issue warning.
 140
 141 2010-04-17  Eric Botcazou  <ebotcazou@adacore.com>
 142
 143         * uintp.h (UI_Lt): Declare.
 144         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do the size
 145         computation in sizetype.
 146         <E_Array_Subtype>: Use unified handling for all index types.  Do not
 147         generate MAX_EXPR-based expressions, only COND_EXPR-based ones.  Add
 148         bypass for PATs.
 149         (annotate_value): Change test for negative values.
 150         (validate_size): Apply test for negative values on GNAT nodes.
 151         (set_rm_size): Likewise.
 152         * gcc-interface/misc.c (gnat_init): Set unsigned types for sizetypes.
 153         * gcc-interface/utils.c (rest_of_record_type_compilation): Change test
 154         for negative values.
 155         (max_size) <MINUS_EXPR>: Do not reassociate a COND_EXPR on the LHS.
 156         (builtin_type_for_size): Adjust definition of signed_size_type_node.
 157         * gcc-interface/utils2.c (compare_arrays): Optimize comparison of
 158         lengths against zero.
 159
 160 2010-04-17  Eric Botcazou  <ebotcazou@adacore.com>
 161
 162         * back-end.adb (Call_Back_End): Pass Standard_Character to gigi.
 163         * gcc-interface/gigi.h (gigi): Add standard_character parameter.
 164         (CHAR_TYPE_SIZE, SHORT_TYPE_SIZE, INT_TYPE_SIZE, LONG_TYPE_SIZE,
 165         LONG_LONG_TYPE_SIZE, FLOAT_TYPE_SIZE, DOUBLE_TYPE_SIZE,
 166         LONG_DOUBLE_TYPE_SIZE, SIZE_TYPE): Delete.
 167         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Call
 168         rm_size.
 169         * gcc-interface/misc.c (gnat_init): Set signedness of char as per
 170         flag_signed_char.  Tag sizetype with "size_type" moniker.
 171         * gcc-interface/trans.c (gigi): Add standard_character parameter.
 172         Remove useless built-in types.  Equate unsigned_char_type_node to
 173         Standard.Character.  Use it instead of char_type_node throughout.
 174         (Attribute_to_gnu): Likewise.
 175         (gnat_to_gnu): Likewise.
 176         * gcc-interface/utils2.c (build_call_raise): Likewise.
 177
 178 2010-04-17  Eric Botcazou  <ebotcazou@adacore.com>
 179
 180         * gcc-interface/gigi.h (enum standard_datatypes): Add new values
 181         ADT_sbitsize_one_node and ADT_sbitsize_unit_node.
 182         (sbitsize_one_node): New macro.
 183         (sbitsize_unit_node): Likewise.
 184         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Fix
 185         latent bug in the computation of subrange_p.  Fold wider_p predicate.
 186         (cannot_be_superflat_p): Use an explicitly signed 64-bit type to do
 187         the final comparison.
 188         (make_aligning_type): Build real negation and use sizetype throughout
 189         the offset computation.
 190         (maybe_pad_type): Do not issue the warning when the new size expression
 191         is too complex.
 192         (annotate_value) <INTEGER_CST>: Simplify code handling negative values.
 193         * gcc-interface/misc.c (gnat_init): Initialize sbitsize_one_node and
 194         sbitsize_unit_node.
 195         * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Pool_Address>: Fold
 196         double negation.
 197         (gnat_to_gnu) <N_Free_Statement>: Likewise.
 198         * gcc-interface/utils.c (convert): Use sbitsize_unit_node.
 199         * gcc-interface/utils2.c (compare_arrays): Compute real lengths and use
 200         constants in sizetype.  Remove dead code and tweak comments.  Generate
 201         equality instead of inequality comparisons for zero length tests.
 202
 203 2010-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 204
 205         * gcc-interface/gigi.h (gnat_init_decl_processing): Delete.
 206         * gcc-interface/decl.c (gnat_to_gnu_entity): Constify a few variables.
 207         <object>: Do not create the fake PARM_DECL if no debug info is needed.
 208         Do not create the corresponding VAR_DECL of a CONST_DECL for debugging
 209         purposes if no debug info is needed.
 210         Fix formatting.  Reorder and add comments.
 211         * gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Reference>: Constify
 212         variable and remove obsolete comment.
 213         * gcc-interface/utils.c (convert_vms_descriptor64): Tweak comment.
 214         (convert_vms_descriptor32): Likewise.
 215         (convert): Remove dead code.
 216         <UNCONSTRAINED_ARRAY_REF>: Pass the field instead of its name to build
 217         the reference to the P_ARRAY pointer.
 218         <POINTER_TYPE>: Likewise.
 219         (maybe_unconstrained_array) <UNCONSTRAINED_ARRAY_TYPE>: Likewise.
 220         (gnat_init_decl_processing): Delete, move contents to...
 221         * gcc-interface/misc.c (gnat_init): ...here.
 222
 223 2010-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 224
 225         * gcc-interface/trans.c (unchecked_conversion_nop): Handle function
 226         calls.  Return true for conversion from a record subtype to its type.
 227
 228 2010-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 229
 230         * gcc-interface/decl.c (gnat_to_gnu_entity): Use boolean_type_node in
 231         lieu of integer_type_node for boolean operations.
 232         (choices_to_gnu): Likewise.
 233         * gcc-interface/trans.c (Attribute_to_gnu): Likewise.
 234         (Loop_Statement_to_gnu): Likewise.
 235         (establish_gnat_vms_condition_handler): Likewise.
 236         (Exception_Handler_to_gnu_sjlj): Likewise.
 237         (gnat_to_gnu): Likewise.
 238         (build_unary_op_trapv): Likewise.
 239         (build_binary_op_trapv): Likewise.
 240         (emit_range_check): Likewise.
 241         (emit_index_check): Likewise.
 242         (convert_with_check): Likewise.
 243         * gcc-interface/utils.c (convert_vms_descriptor64): Likewise.
 244         (convert_vms_descriptor32): Likewise.
 245         (convert_vms_descriptor): Likewise.
 246         * gcc-interface/utils2.c (nonbinary_modular_operation): Likewise.
 247         (compare_arrays): Use boolean instead of integer constants.
 248         (build_binary_op) <TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR, TRUTH_AND_EXPR,
 249         TRUTH_OR_EXPR, TRUTH_XOR_EXPR>: New case.  Check that the result type
 250         is a boolean type.
 251         <GE_EXPR, LE_EXPR, GT_EXPR, LT_EXPR>: Remove obsolete assertion.
 252         <EQ_EXPR, NE_EXPR>: Check that the result type is a boolean type.
 253         <PREINC/PREDECREMENT_EXPR, POSTINC/POSTDECREMENT_EXPR>: Delete.
 254         <TRUTH_NOT_EXPR>: Check that the result type is a boolean type.
 255         (build_unary_op): Use boolean_type_node in lieu of integer_type_node
 256         for boolean operations.
 257         (fill_vms_descriptor): Likewise.  Fix formatting nits.
 258
 259 2010-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 260
 261         * gcc-interface/ada-tree.def (LOOP_STMT): Change to 4-operand nodes.
 262         * gcc-interface/ada-tree.h (LOOP_STMT_TOP_COND, LOOP_STMT_BOT_COND):
 263         Merge into...
 264         (LOOP_STMT_COND): ...this.
 265         (LOOP_STMT_BOTTOM_COND_P): New flag.
 266         (LOOP_STMT_TOP_UPDATE_P): Likewise.
 267         * gcc-interface/trans.c (can_equal_min_or_max_val_p): New function.
 268         (can_equal_min_val_p): New static inline function.
 269         (can_equal_max_val_p): Likewise.
 270         (Loop_Statement_to_gnu): Use build4 in lieu of build5 and adjust to
 271         new LOOP_STMT semantics.  Use two different strategies depending on
 272         whether optimization is enabled to translate the loop.
 273         (gnat_gimplify_stmt) <LOOP_STMT>: Adjust to new LOOP_STMT semantics.
 274
 275 2010-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 276
 277         * uintp.adb (UI_From_Dint): Remove useless code.
 278         (UI_From_Int): Likewise.
 279         * uintp.h: Reorder declarations.
 280         (UI_From_gnu): Declare.
 281         (UI_Base): Likewise.
 282         (Vector_Template): Likewise.
 283         (Vector_To_Uint): Likewise.
 284         (Uint_0): Remove.
 285         (Uint_1): Likewise.
 286         * gcc-interface/gigi.h: Tweak comments.
 287         * gcc-interface/cuintp.c (UI_From_gnu): New global function.
 288         * gcc-interface/decl.c (maybe_pad_type): Do not warn if either size
 289         overflows.
 290         (annotate_value) <INTEGER_CST>: Call UI_From_gnu.
 291         * gcc-interface/trans.c (post_error_ne_num): Call post_error_ne.
 292         (post_error_ne_tree): Call UI_From_gnu and post_error_ne.
 293         * gcc-interface/utils.c (max_size) <tcc_binary>: Do not special-case
 294         TYPE_MAX_VALUE.
 295
 296 2010-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 297
 298         * gcc-interface/decl.c (make_type_from_size) <INTEGER_TYPE>: Just copy
 299         TYPE_NAME.
 300         * gcc-interface/trans.c (smaller_packable_type_p): Rename into...
 301         (smaller_form_type_p): ...this.  Change parameter and variable names.
 302         (call_to_gnu): Use the nominal type of the parameter to create the
 303         temporary if it's a smaller form of the actual type.
 304         (addressable_p): Return false if the actual type is integral and its
 305         size is greater than that of the expected type.
 306
 307 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 308
 309         * gcc-interface/cuintp.c (UI_To_gnu): Fix long line.
 310         * gcc-interface/gigi.h (MARK_VISITED): Skip objects of constant class.
 311         (process_attributes): Delete.
 312         (post_error_ne_num): Change parameter name.
 313         * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force debug info
 314         with -g3.  Remove a couple of obsolete lines.  Minor tweaks.
 315         If type annotating mode, operate on trees to compute the adjustment to
 316         the sizes of tagged types.  Fix long line.
 317         (cannot_be_superflat_p): Tweak head comment.
 318         (annotate_value): Fold local constant.
 319         (set_rm_size): Fix long line.
 320         * gcc-interface/trans.c (Identifier_to_gnu): Rework comments.
 321         (Attribute_to_gnu): Fix long line.
 322         <Attr_Size>: Remove useless assertion.
 323         Reorder statements.  Use size_binop routine.
 324         (Loop_Statement_to_gnu): Use build5 in lieu of build_nt.
 325         Create local variables for the label and the test.  Tweak comments.
 326         (Subprogram_Body_to_gnu): Reset cfun to NULL.
 327         (Compilation_Unit_to_gnu): Use the Sloc of the Unit node.
 328         (process_inlined_subprograms): Integrate into...
 329         (Compilation_Unit_to_gnu): ...this.
 330         (gnat_to_gnu): Fix long line.
 331         (post_error_ne_num): Change parameter name.
 332         * gcc-interface/utils.c (process_attributes): Static-ify.
 333         <ATTR_MACHINE_ATTRIBUTE>: Set input_location before proceeding.
 334         (create_type_decl): Add comment.
 335         (create_var_decl_1): Process the attributes after adding the VAR_DECL
 336         to the current binding level.
 337         (create_subprog_decl): Likewise for the FUNCTION_DECL.
 338         (end_subprog_body): Do not reset cfun to NULL.
 339         (build_vms_descriptor32): Fix long line.
 340         (build_vms_descriptor): Likewise.
 341         (handle_nonnull_attribute): Likewise.
 342         (convert_vms_descriptor64): Likewise.
 343         * gcc-interface/utils2.c (fill_vms_descriptor): Fix long line.
 344         (gnat_protect_expr): Fix thinko.
 345
 346 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 347
 348         * gcc-interface/trans.c (gigi): Set DECL_IGNORED_P on EH functions.
 349         (gnat_to_gnu) <N_Op_Eq>: Restore the value of input_location
 350         before translating the top-level node.
 351         (lvalue_required_p) <N_Function_Call>: Return 1 if !constant.
 352         <N_Object_Declaration>: Likewise.
 353         <N_Assignment_Statement>: Likewise.
 354         <N_Unchecked_Type_Conversion>: Likewise.
 355         (call_to_gnu): Remove kludge.
 356         (gnat_to_gnu) <N_Return_Statement>: When not optimizing, force labels
 357         associated with user returns to be preserved.
 358         (gnat_to_gnu): Add special code to deal with boolean rvalues.
 359         * gcc-interface/utils2.c (compare_arrays): Set input_location on all
 360         comparisons.
 361         (build_unary_op) <ADDR_EXPR>: Call build_fold_addr_expr.
 362         <INDIRECT_REF>: Call build_fold_indirect_ref.
 363
 364 2010-04-15  Joel Sherrill  <joel.sherrill@oarcorp.com>
 365
 366         * g-socket.adb: A target can have multiple missing errno's.  This
 367         will result in multiple errno's being defined as -1.  Because of this
 368         we can not use a case but must use a series of if's to avoid
 369         a duplicate case error in GNAT.Sockets.Resolve_Error.
 370
 371 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 372
 373         * gcc-interface/trans.c (call_to_gnu): Open a nesting level if this is
 374         a statement.  Otherwise, if at top-level, push the processing of the
 375         elaboration routine.  In the misaligned case, issue the error messages
 376         again on entry and create the temporary explicitly.  Do not issue them
 377         for CONSTRUCTORs.
 378         For a function call, emit the range check if necessary.
 379         In the copy-in copy-out case, create the temporary for the return
 380         value explicitly.
 381         Do not unnecessarily convert by-ref parameters to the formal's type.
 382         Remove obsolete guards in conditions.
 383         (gnat_to_gnu) <N_Assignment_Statement>: For a function call, pass the
 384         target to call_to_gnu in all cases.
 385         (gnat_gimplify_expr) <ADDR_EXPR>: Remove handling of SAVE_EXPR.
 386         (addressable_p) <CONSTRUCTOR>: Return false if not static.
 387         <COMPOUND_EXPR>: New case.
 388         * gcc-interface/utils2.c (build_unary_op) <ADDR_EXPR>: Fold a compound
 389         expression if it has unconstrained array type.
 390         (gnat_mark_addressable) <COMPOUND_EXPR>: New case.
 391         (gnat_stabilize_reference) <COMPOUND_EXPR>: Stabilize operands on an
 392         individual basis.
 393
 394 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 395
 396         * gcc-interface/trans.c (gigi): Do not start statement group.
 397         (Compilation_Unit_to_gnu): Set current_function_decl to NULL.
 398         Start statement group and push binding level here...
 399         (gnat_to_gnu) <N_Compilation_Unit>: ...and not here.
 400         Do not push fake contexts at top level.  Remove redundant code.
 401         (call_to_gnu): Rename a local variable and constify another.
 402         * gcc-interface/utils.c (gnat_pushlevel): Fix formatting nits.
 403         (set_current_block_context): Set it as the group's block.
 404         (gnat_init_decl_processing): Delete unrelated init code.
 405         (end_subprog_body): Use NULL_TREE.
 406
 407 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 408
 409         * gcc-interface/trans.c (call_to_gnu): Do not unnecessarily force
 410         side-effects of actual parameters before the call.
 411
 412 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
 413
 414         * gcc-interface/decl.c (validate_size): Reorder, remove obsolete test
 415         and warning.
 416         (set_rm_size): Reorder and remove obsolete test.
 417
 418 2010-04-14  Eric Botcazou  <ebotcazou@adacore.com>
 419
 420         * gcc-interface/gigi.h: Reorder declarations and tweak comments.
 421         (gigi): Adjust ATTRIBUTE_UNUSED markers.
 422         * gcc-interface/gadaint.h: New file.
 423         * gcc-interface/trans.c: Include it in lieu of adaint.h.  Reorder.
 424         (__gnat_to_canonical_file_spec): Remove declaration.
 425         (number_names): Delete.
 426         (number_files): Likewise.
 427         (gigi): Adjust.
 428         * gcc-interface/Make-lang.in (ada/trans.o): Adjust dependencies to
 429         above change.
 430
 431 2010-04-14  Eric Botcazou  <ebotcazou@adacore.com>
 432
 433         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Class_Wide_Type>: Fix
 434         comment.
 435         * gcc-interface/trans.c (process_freeze_entity): Use local copy of
 436         Ekind.  Return early for class-wide types.  Do not compute initializer
 437         unless necessary.  Reuse the tree for an associated class-wide type
 438         only if processing its root type.
 439
 440 2010-04-13  Joel Sherrill  <joel.sherrill@oarcorp.com>
 441
 442         * gsocket.h: Run-time can no longer be built without network
 443         OS headers available.  Changing RTEMS GNAT build procedure to
 444         reflect this and letting run-time build use network .h files.
 445
 446 2010-04-13  Duncan Sands  <baldrick@free.fr>
 447
 448         * gcc-interface/misc.c (gnat_eh_type_covers): Remove.
 449         * gcc-interface/trans.c (Exception_Handler_to_gnu_zcx): Update comment.
 450
 451 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
 452
 453         * gcc-interface/gigi.h (standard_datatypes): Add ADT_parent_name_id.
 454         (parent_name_id): New macro.
 455         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Use it.
 456         * gcc-interface/trans.c (gigi): Initialize it.
 457         (lvalue_required_p) <N_Type_Conversion>: New case.
 458         <N_Qualified_Expression>: Likewise.
 459         <N_Allocator>: Likewise.
 460         * gcc-interface/utils.c (convert): Try to properly upcast tagged types.
 461
 462 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
 463
 464         * gcc-interface/ada-tree.h (TYPE_BY_REFERENCE_P): Delete.
 465         (DECL_CONST_ADDRESS_P): New macro.
 466         (SET_DECL_ORIGINAL_FIELD_TO_FIELD): Likewise.
 467         (SAME_FIELD_P): Likewise.
 468         * gcc-interface/decl.c (constructor_address_p): New static function.
 469         (gnat_to_gnu_entity) <object>: Set DECL_CONST_ADDRESS_P according to
 470         the return value of above function.
 471         (gnat_to_gnu_entity) <E_Record_Type>: Force BLKmode for all types
 472         passed by reference.
 473         <E_Record_Subtype>: Likewise.
 474         Set TREE_ADDRESSABLE on the type if it passed by reference.
 475         (make_packable_type): Use SET_DECL_ORIGINAL_FIELD_TO_FIELD.
 476         (create_field_decl_from): Likewise.
 477         (substitute_in_type): Likewise.
 478         (purpose_member_field): Use SAME_FIELD_P.
 479         * gcc-interface/misc.c (must_pass_by_ref): Test TREE_ADDRESSABLE.
 480         * gcc-interface/trans.c (lvalue_required_p): Add ADDRESS_OF_CONSTANT
 481         parameter and adjust recursive calls.
 482         <N_Explicit_Dereference>: New case.
 483         <N_Object_Declaration>: Return 1 if the object is of a class-wide type.
 484         Adjust calls to lvalue_required_p.  Do not return the initializer of a
 485         DECL_CONST_ADDRESS_P constant if an lvalue is required for it.
 486         (call_to_gnu): Delay issuing error message for a misaligned actual and
 487         avoid the associated back-end assertion.  Test TREE_ADDRESSABLE.
 488         (gnat_gimplify_expr) <ADDR_EXPR>: Handle non-static constructors.
 489         * gcc-interface/utils.c (make_dummy_type): Set TREE_ADDRESSABLE if the
 490         type is passed by reference.
 491         (convert) <CONSTRUCTOR>: Convert in-place in more cases.
 492         * gcc-interface/utils2.c (build_cond_expr): Drop TYPE_BY_REFERENCE_P.
 493         (build_simple_component_ref): Use SAME_FIELD_P.
 494
 495 2010-04-12  Eric Botcazou  <ebotcazou@adacore.com>
 496
 497         * gcc-interface/trans.c (Identifier_to_gnu): Use boolean variable.
 498         (call_to_gnu): Test gigi's flag TYPE_BY_REFERENCE_P instead of calling
 499         front-end's predicate Is_By_Reference_Type.  Use consistent order and
 500         remove ??? comment.  Use original conversion in all cases, if any.
 501         * gcc-interface/utils.c (make_dummy_type): Minor tweak.
 502         (convert): Use local copy in more cases.
 503         <INDIRECT_REF>: Remove deactivated code.
 504         (unchecked_convert): Use a couple of local copies.
 505
 506 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
 507
 508         * gcc-interface/trans.c (lvalue_required_for_attribute_p): New static
 509         function.
 510         (lvalue_required_p) <N_Attribute_Reference>: Call it.
 511         (gnat_to_gnu) <N_Selected_Component>: Prevent build_component_ref from
 512         folding the result only if lvalue_required_for_attribute_p is true.
 513         * gcc-interface/utils.c (maybe_unconstrained_array): Pass correctly
 514         typed constant to build_component_ref.
 515         (unchecked_convert): Likewise.
 516         * gcc-interface/utils2.c (maybe_wrap_malloc): Likewise.
 517         (build_allocator): Likewise.
 518
 519 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
 520
 521         * gcc-interface/utils2.c (build_cond_expr): Take the address and
 522         dereference if the result type is passed by reference.
 523
 524 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
 525
 526         * gcc-interface/trans.c (Case_Statement_to_gnu): Bool-ify variable.
 527         (gnat_to_gnu) <N_Null_Statement>: When not optimizing, generate a
 528         goto to the next statement.
 529
 530 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
 531
 532         * gcc-interface/gigi.h (maybe_variable): Delete.
 533         (protect_multiple_eval): Likewise.
 534         (maybe_stabilize_reference): Likewise.
 535         (gnat_save_expr): Declare.
 536         (gnat_protect_expr): Likewise.
 537         (gnat_stabilize_reference): Likewise.
 538         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Use
 539         gnat_stabilize_reference.
 540         (maybe_variable): Delete.
 541         (elaborate_expression_1): Use gnat_save_expr.
 542         * gcc-interface/trans.c (Attribute_to_gnu): Use gnat_protect_expr.
 543         (call_to_gnu): Pass NULL to gnat_stabilize_reference.
 544         (gnat_to_gnu) <N_Object_Declaration>: Use gnat_save_expr.
 545         <N_Slice>: Use gnat_protect_exp.
 546         <N_Selected_Component>: Pass NULL to gnat_stabilize_reference.
 547         <N_In>: Use gnat_protect_expr.
 548         Pass NULL to gnat_stabilize_reference.
 549         (build_unary_op_trapv): Use gnat_protect_expr.
 550         (build_binary_op_trapv): Likewise.
 551         (emit_range_check): Likewise.
 552         (emit_index_check): Likewise.
 553         (convert_with_check): Likewise.
 554         (protect_multiple_eval): Move to utils2.c file.
 555         (maybe_stabilize_reference): Merge into...
 556         (gnat_stabilize_reference): ...this.  Move to utils2.c file.
 557         (gnat_stabilize_reference_1): Likewise.
 558         * gcc-interface/utils.c (convert_to_fat_pointer): Use gnat_protect_expr
 559         instead of protect_multiple_eval.
 560         * gcc-interface/utils2.c (compare_arrays): Likewise.
 561         (nonbinary_modular_operation): Likewise.
 562         (maybe_wrap_malloc): Likewise.
 563         (build_allocator): Likewise.
 564         (gnat_save_expr): New function.
 565         (gnat_protect_expr): Rename from protect_multiple_eval.  Early return
 566         in common cases.  Propagate TREE_READONLY onto dereferences.
 567         (gnat_stabilize_reference_1): Move from trans.c file.
 568         (gnat_stabilize_reference): Likewise.
 569
 570 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
 571
 572         * gcc-interface/gigi.h (gnat_mark_addressable): Rename parameter.
 573         * gcc-interface/decl.c (maybe_variable): Do not set TREE_STATIC on _REF
 574         node.  Use the type of the operand to set TREE_READONLY.
 575         * gcc-interface/trans.c (Identifier_to_gnu): Do not set TREE_STATIC on
 576         _REF node.  Do not overwrite TREE_READONLY.
 577         (call_to_gnu): Rename local variable and fix various nits.  In the
 578         copy-in/copy-out case, build the SAVE_EXPR manually.
 579         (convert_with_check): Call protect_multiple_eval in lieu of save_expr
 580         and fold the computations.
 581         (protect_multiple_eval): Always save entire fat pointers.
 582         (maybe_stabilize_reference): Minor tweaks.
 583         (gnat_stabilize_reference_1): Likewise.  Do not deal with tcc_constant,
 584         tcc_type and tcc_statement.
 585         * gcc-interface/utils.c (convert_to_fat_pointer): Call
 586         protect_multiple_eval in lieu of save_expr.
 587         (convert): Minor tweaks.
 588         (maybe_unconstrained_array): Do not set TREE_STATIC on _REF node.
 589         (builtin_type_for_size): Call gnat_type_for_size directly.
 590         * gcc-interface/utils2.c (contains_save_expr_p): Delete.
 591         (contains_null_expr): Likewise
 592         (gnat_build_constructor): Do not call it.
 593         (compare_arrays): Deal with all side-effects, use protect_multiple_eval
 594         instead of gnat_stabilize_reference to protect the operands.
 595         (nonbinary_modular_operation): Call protect_multiple_eval in lieu of
 596         save_expr.
 597         (maybe_wrap_malloc): Likewise.
 598         (build_allocator): Likewise.
 599         (build_unary_op) <INDIRECT_REF>: Do not set TREE_STATIC on _REF node.
 600         (gnat_mark_addressable): Rename parameter.
 601
 602 2010-04-08  Eric Botcazou  <ebotcazou@adacore.com>
 603
 604         * gcc-interface/ada-tree.h (TYPE_RETURNS_UNCONSTRAINED_P): Rename into.
 605         (TYPE_RETURN_UNCONSTRAINED_P): ...this.
 606         (TYPE_RETURNS_BY_REF_P): Rename into.
 607         (TYPE_RETURN_BY_DIRECT_REF_P): ...this.
 608         (TYPE_RETURNS_BY_TARGET_PTR_P): Delete.
 609         * gcc-interface/gigi.h (create_subprog_type): Adjust parameter names.
 610         (build_return_expr): Likewise.
 611         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>:
 612         Rename local variables.  If the return Mechanism is By_Reference, pass
 613         return_by_invisible_ref_p to create_subprog_type instead of toggling
 614         TREE_ADDRESSABLE.  Test return_by_invisible_ref_p in order to annotate
 615         the mechanism.  Use regular return for contrained types with non-static
 616         size and return by invisible reference for unconstrained return types
 617         with default discriminants.  Update comment.
 618         * gcc-interface/trans.c (Subprogram_Body_to_gnu): If the function
 619         returns by invisible reference, turn the RESULT_DECL into a pointer.
 620         Do not handle DECL_BY_REF_P in the CICO case here.
 621         (call_to_gnu): Remove code handling return by target pointer.  For a
 622         function call, if the return type has non-constant size, generate the
 623         assignment with an INIT_EXPR.
 624         (gnat_to_gnu) <N_Return_Statement>: Remove dead code in the CICO case.
 625         If the function returns by invisible reference, build the copy return
 626         operation manually.
 627         (add_decl_expr): Initialize the variable with an INIT_EXPR.
 628         * gcc-interface/utils.c (create_subprog_type): Adjust parameter names.
 629         Adjust for renaming of macros.  Copy the node only when necessary.
 630         (create_subprog_decl): Do not toggle TREE_ADDRESSABLE on the return
 631         type, only change DECL_BY_REFERENCE on the RETURN_DECL.
 632         (convert_from_reference): Delete.
 633         (is_byref_result): Likewise.
 634         (gnat_genericize_r): Likewise.
 635         (gnat_genericize): Likewise.
 636         (end_subprog_body): Do not call gnat_genericize.
 637         * gcc-interface/utils2.c (build_binary_op) <INIT_EXPR>: New case.
 638         (build_return_expr): Adjust parameter names, logic and comment.
 639
 640 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
 641
 642         * exp_pakd.adb (Create_Packed_Array_Type): Always use a modular type
 643         if the size is small enough.  Propagate the alignment if there is an
 644         alignment clause on the original array type.
 645         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Subtype>
 646         Deal with under-aligned packed array types.  Copy the size onto the
 647         justified modular type and don't lay it out again.  Likewise for the
 648         padding type built for other under-aligned subtypes.
 649         * gcc-interface/utils.c (finish_record_type): Do not set a default mode
 650         on the type.
 651
 652 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
 653
 654         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set default
 655         alignment on the RETURN type built for the Copy-In Copy-Out mechanism.
 656
 657 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
 658
 659         * gcc-interface/trans.c (call_to_gnu): In the return-by-target-ptr case
 660         do not set the result type if there is a specified target and do not
 661         convert the result in any cases.
 662         (protect_multiple_eval): Make direct SAVE_EXPR for CALL_EXPR.
 663         (maybe_stabilize_reference) <COMPOUND_EXPR>: Merge with CALL_EXPR.
 664
 665 2010-03-10  Eric Botcazou  <ebotcazou@adacore.com>
 666
 667         * gcc-interface/Makefile.in (SPARC/Solaris): Use sparcv8plus.
 668
 669 2010-02-27  Eric Botcazou  <ebotcazou@adacore.com>
 670
 671         PR ada/42253
 672         * gcc-interface/utils2.c (build_binary_op) <EQ_EXPR>: Assert that fat
 673         pointer base types are variant of each other.  Apply special treatment
 674         for null to fat pointer types in all cases.
 675
 676 2010-01-28  Pascal Obry  <obry@adacore.com>
 677
 678         * s-win32.ads: Add some missing constants.
 679
 680 2010-01-28  Vincent Celier  <celier@adacore.com>
 681
 682         * prj-attr-pm.adb (Add_Attribute): Do nothing if To_Package is
 683         Unknown_Package.
 684
 685 2010-01-28  Robert Dewar  <dewar@adacore.com>
 686
 687         * gnat_rm.texi: Minor correction
 688
 689 2010-01-27  Pascal Obry  <obry@adacore.com>
 690
 691         * g-awk.adb: ensure that an AWK session is reusable.
 692
 693 2010-01-27  Vasiliy Fofanov  <fofanov@adacore.com>
 694
 695         * g-regist.adb (For_Every_Key): Fix previous change.
 696         Minor reformatting.
 697
 698 2010-01-27  Thomas Quinot  <quinot@adacore.com>
 699
 700         * lib-writ.ads: Current version of spec for new N (note) ALI lines
 701
 702 2010-01-27  Yannick Moy  <moy@adacore.com>
 703
 704         * a-cdlili.adb (Insert): Correct exception message when cursor
 705         designates wrong list.
 706
 707 2010-01-27  Vincent Celier  <celier@adacore.com>
 708
 709         * gnatcmd.adb: When there is only one main specified, the package
 710         support Switches (<main>) and attribute Switches is specified for the
 711         main, use these switches, instead of Default_Switches ("Ada").
 712
 713 2010-01-27  Robert Dewar  <dewar@adacore.com>
 714
 715         * sem_prag.adb, par-prag.adb, snames.ads-tmpl: pragma Dimension initial
 716         implementation.
 717         * exp_disp.adb: Minor reformatting
 718
 719 2010-01-27  Tristan Gingold  <gingold@adacore.com>
 720
 721         * seh_init.c: Use __ImageBase instead of _ImageBase.
 722
 723 2010-01-27  Javier Miranda  <miranda@adacore.com>
 724
 725         * exp_disp.ads, exp_disp.adb (Expand_Interface_Thunk): Modify the
 726         profile of interface thunks. The type of the controlling formal is now
 727         the covered interface type (instead of the target tagged type).
 728
 729 2010-01-27  Sergey Rybin  <rybin@adacore.com>
 730
 731         * gnat_rm.texi, gnat_ugn.texi: Update gnatcheck doc.
 732
 733 2010-01-27  Robert Dewar  <dewar@adacore.com>
 734
 735         * sinput.ads, sinput.adb (Sloc_Range): Applies to all nodes, formal
 736         changed from Expr to N.
 737
 738 2010-01-26  Thomas Quinot  <quinot@adacore.com>
 739
 740         * gnat_ugn.texi: Adjust documentation of -gnatz switches.
 741         * usage.adb: Replace line for -gnatz with two lines for -gnatzc and
 742         -gnatzr.
 743
 744 2010-01-26  Vincent Celier  <celier@adacore.com>
 745
 746         * prj-attr.adb: Add new attribute Library_Install_Name_Option
 747         Replace attribute Run_Path_Origin_Supported with Run_Path_Origin
 748         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
 749         attributes Run_Path_Option and Library_Install_Name_Option.
 750         * prj.ads (Project_Configuration): Replace component
 751         Run_Path_Origin_Supported with component Run_Path_Origin. Add new
 752         component Library_Install_Name_Option.
 753         * snames.ads-tmpl: Add new standard name Library_Install_Name_Option
 754         Replace Run_Path_Origin_Supported with Run_Path_Origin
 755
 756 2010-01-26  Ed Schonberg  <schonberg@adacore.com>
 757
 758         * sem_ch8.adb (Use_One_Package): Within an instance, an actual package
 759         is not hidden by a homograph declared in another actual package.
 760
 761 2010-01-26  Robert Dewar  <dewar@adacore.com>
 762
 763         * par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
 764         decisions for pragmas Assert, Check, Precondition, Postcondition if
 765         -gnata set.
 766         * scos.ads: Update comments.
 767         * get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
 768         Also remove obsolete code for CT (exit point) SCOs.
 769
 770 2010-01-26  Thomas Quinot  <quinot@adacore.com>
 771
 772         * switch-c.adb: Fix handling of -gnatz*
 773
 774 2010-01-26  Robert Dewar  <dewar@adacore.com>
 775
 776         * par_sco.adb (Traverse_Declarations_Or_Statements): Separate F/W
 777         qualifiers for FOR/WHILE loops
 778         * scos.ads: Use separate type letters F/W for for/while loops
 779
 780 2010-01-26  Robert Dewar  <dewar@adacore.com>
 781
 782         * get_scos.adb (Get_SCOs): Implement new form of CS entries (multiple
 783         entries per line, one for each statement in the sequence).
 784         * par_sco.adb (Traverse_Declarations_Or_Statements): Increase array
 785         size from 100 to 10_000 for SC_Array to avoid any real possibility of
 786         overflow. Output decisions in for loops.
 787         Exclude labels from CS lines.
 788         * scos.ads: Clarify that label is not included in the entry point
 789
 790 2010-01-26  Robert Dewar  <dewar@adacore.com>
 791
 792         * par_sco.adb (Traverse_Declarations_Or_Statments): Implement new
 793         format of statement sequence SCO entries (one location/statement).
 794         * put_scos.adb (Put_SCOs): Implement new format of CS lines
 795         * scos.ads: Update comments.
 796         * sem_eval.adb: Minor reformatting.
 797
 798 2010-01-26  Robert Dewar  <dewar@adacore.com>
 799
 800         * par_sco.ads, par_sco.adb (Set_Statement_Entry): New handling of exits
 801         (Extend_Statement_Sequence): New procedures
 802         (Traverse_Declarations_Or_Statements): New handling for exits.
 803
 804 2010-01-26  Robert Dewar  <dewar@adacore.com>
 805
 806         * par_sco.adb (Traverse_Declarations_Or_Statements): Add processing for
 807         Case.
 808
 809 2010-01-26  Robert Dewar  <dewar@adacore.com>
 810
 811         * par_sco.adb (Is_Logical_Operator): Exclude AND/OR/XOR
 812         * scos.ads: Clarify handling of logical operators
 813
 814 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
 815
 816         * s-tpoben.adb: Update comments.
 817
 818 2010-01-26  Robert Dewar  <dewar@adacore.com>
 819
 820         * freeze.adb (Set_Small_Size): Don't set size if alignment clause
 821         present.
 822
 823 2010-01-26  Robert Dewar  <dewar@adacore.com>
 824
 825         * scos.ads: Clean up documentation, remove obsolete XOR references
 826 2010-01-26  Vincent Celier  <celier@adacore.com>
 827
 828         * gnat_ugn.texi: Complete documentation on the restrictions for
 829         combined options in -gnatxxx switches.
 830         Fix typo.
 831
 832 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
 833
 834         * s-tpoben.adb (Initialize_Protection_Entries): If a PO is created from
 835         a controlled operation, abort is already deferred at this point, so we
 836         need to use Defer_Abort_Nestable.
 837
 838 2010-01-26  Vincent Celier  <celier@adacore.com>
 839
 840         * prj-conf.adb (Get_Config_Switches): Check for a default language for
 841         a project extending a project with no languages.
 842
 843 2010-01-26  Vincent Celier  <celier@adacore.com>
 844
 845         * switch-c.adb (Scan_Front_End_Switches): Take into account options
 846         that follow -gnatef.
 847         Allow -gnateG to be followed by other options.
 848
 849 2010-01-26  Robert Dewar  <dewar@adacore.com>
 850
 851         * s-commun.ads, s-osprim-mingw.adb, s-stchop-vxworks.adb, sem_aggr.adb,
 852         s-vxwext.adb, sem_ch10.adb, sem_eval.adb, sem_prag.adb: Minor
 853         reformatting.
 854
 855 2010-01-26  Vasiliy Fofanov  <fofanov@adacore.com>
 856
 857         * g-regist.adb, g-regist.ads (For_Every_Key): New generic procedure
 858         that allows to iterate over all subkeys of a key.
 859
 860 2010-01-26  Ed Falis  <falis@adacore.com>
 861
 862         * sysdep.c: enable NFS for VxWorks MILS
 863         * env.c: enable __gnat_environ for VxWorks MILS
 864         * gcc-interface/Makefile.in: Add VxWorks MILS target pairs.
 865
 866 2010-01-25  Bob Duff  <duff@adacore.com>
 867
 868         * sem_aggr.adb (Resolve_Array_Aggregate): Check for the case where this
 869         is an internally-generated positional aggregate, and the bounds are
 870         already correctly set. We don't want to overwrite those bounds with
 871         bounds determined by context.
 872
 873 2010-01-25  Robert Dewar  <dewar@adacore.com>
 874
 875         * g-sercom.ads, gnatcmd.adb, gnatlink.adb, a-ststio.adb, exp_ch6.adb,
 876         exp_ch9.adb, g-sechas.ads: Minor reformatting.
 877
 878 2010-01-25  Thomas Quinot  <quinot@adacore.com>
 879
 880         * s-commun.adb (Last_Index): Count must be converted to SEO (a signed
 881         integer type) before subtracting 1, otherwise the computation may wrap
 882         (because size_t is modular) and cause the conversion to fail.
 883
 884 2010-01-25  Ed Falis  <falis@adacore.com>
 885
 886         * sysdep.c, init.c: Adapt to support full run-time on VxWorks MILS.
 887
 888 2010-01-25  Vincent Celier  <celier@adacore.com>
 889
 890         * prj-attr.adb: New attribute Run_Path_Origin_Required
 891         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process new
 892         attribute Run_Path_Origin_Required.
 893         * prj.ads (Project_Configuration): New component
 894         Run_Path_Origin_Supported.
 895         * snames.ads-tmpl: New standard name Run_Path_Origin_Required
 896
 897 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 898
 899         * sem_aggr.adb (Resolve_Array_Aggregate): If the bounds in a choice
 900         have errors, do not continue resolution of the aggregate.
 901         * sem_eval.adb (Eval_Indexed_Component): Do not attempt to evaluate if
 902         the array type indicates an error.
 903
 904 2010-01-25  Bob Duff  <duff@adacore.com>
 905
 906         * sinfo.ads: Minor comment fixes.
 907
 908 2010-01-25  Bob Duff  <duff@adacore.com>
 909
 910         * exp_ch4.adb, exp_aggr.adb: Minor comment fixes and code clean up.
 911
 912 2010-01-25  Arnaud Charlet  <charlet@adacore.com>
 913
 914         * gnatvsn.ads (Current_Year): Update.
 915
 916 2010-01-25  Florian Villoing  <villoing@adacore.com>
 917
 918         * gnat_ugn.texi: Fix typo.
 919
 920 2010-01-25  Thomas Quinot  <quinot@adacore.com>
 921
 922         * scos.ads: Update specification.
 923
 924 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 925
 926         * sem_ch6.adb (Process_PPCs): If a postcondition is present and the
 927         enclosing subprogram has no previous spec, attach postcondition
 928         procedure to the defining entity for the body.
 929
 930 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 931
 932         * exp_aggr.adb (Build_Record_Aggr_Code); Do not generate call to
 933         initialization procedure of the ancestor part of an extension aggregate
 934         if it is an interface type.
 935
 936 2010-01-25  Vincent Celier  <celier@adacore.com>
 937
 938         * gnatlink.adb (Process_Binder_File): The directory for the shared
 939         version of libgcc in the run path options is found in the subdirectory
 940         indicated by __gnat_default_libgcc_subdir.
 941         * link.c: Declare new const char * __gnat_default_libgcc_subdir for
 942         each platform.
 943
 944 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
 945
 946         * sem_prag.adb: More flexible pragma Annotate.
 947
 948 2010-01-22  Eric Botcazou  <ebotcazou@adacore.com>
 949
 950         * system-linux-armel.ads (Stack_Check_Probes): Set to True.
 951         * system-linux-armeb.ads (Stack_Check_Probes): Likewise.
 952
 953 2010-01-18  Eric Botcazou  <ebotcazou@adacore.com>
 954
 955         * gcc-interface/utils.c (create_var_decl_1): Fix formatting nits.
 956
 957 2010-01-18  Jan Hubicka  <jh@suse.cz>
 958
 959         PR middle-end/42068
 960         * gcc-interface/utils.c (create_var_decl_1): Do not set COMMON flag for
 961         unit local variables.
 962
 963 2010-01-17  Laurent GUERBY  <laurent@guerby.net>
 964
 965         * gcc-interface/Makefile.in: Fix typo in arm*-*-linux-gnueabi.
 966
 967 2010-01-11  Mikael Pettersson  <mikpe@it.uu.se>
 968
 969         * gcc-interface/Makefile.in: Add arm*-*-linux-gnueabi.
 970         * system-linux-armeb.ads, system-linux-armel.ads: New files.
 971
 972 2010-01-09  Simon Wright  <simon@pushface.org>
 973
 974         PR ada/42626
 975         * gcc-interface/Makefile.in (gnatlib-shared-darwin): Add missing
 976         end-quote.
 977
 978
 979 \f
 980 Copyright (C) 2010 Free Software Foundation, Inc.
 981
 982 Copying and distribution of this file, with or without modification,
 983 are permitted in any medium without royalty provided the copyright
 984 notice and this notice are preserved.