gcc/ada/ChangeLog

   1 2011-07-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
   2
   3         PR target/39150
   4         * gcc-interface/Makefile.in: Handle x86_64-solaris2.
   5
   6 2011-07-06  Richard Guenther  <rguenther@suse.de>
   7
   8         * gcc-interface/misc.c (gnat_init):
   9         Merge calls to build_common_tree_nodes and build_common_tree_nodes_2.
  10         Re-initialize boolean_false_node.
  11
  12 2011-07-02  Eric Botcazou  <ebotcazou@adacore.com>
  13             Olivier Hainque  <hainque@adacore.com>
  14             Nicolas Setton  <setton@adacore.com>
  15
  16         * gcc-interface/utils.c (record_builtin_type): Set TYPE_ARTIFICIAL on
  17         the type according to the ARTIFICIAL_P parameter.
  18         (create_type_decl): Likewise.
  19         (create_type_stub_decl): Set TYPE_ARTIFICIAL on the type to 1.
  20
  21 2011-07-01  Eric Botcazou  <ebotcazou@adacore.com>
  22
  23         * gcc-interface/Make-lang.in (gnat1): Prepend '+' to the command.
  24         (gnatbind): Likewise.
  25
  26 2011-06-29  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
  27
  28         * gcc-interface/Makefile.in (TOOLS_LIBS): Add $(LIBINTL).
  29
  30 2011-06-18  Eric Botcazou  <ebotcazou@adacore.com>
  31
  32         * gcc-interface/decl.c (gnat_to_gnu_component_type): Use GNAT_TYPE
  33         local variable throughout.  Remove useless call to Base_Type.
  34         (gnat_to_gnu_field): Use GNAT_FIELD_TYPE local variable throughout.
  35         Take it also into account for the volatileness of the field.  Set the
  36         TREE_SIDE_EFFECTS flag as well in this case.  Reorder some warnings.
  37
  38 2011-06-18  Eric Botcazou  <ebotcazou@adacore.com>
  39
  40         * gcc-interface/trans.c (Identifier_to_gnu): Don't set TREE_THIS_NOTRAP
  41         on a dereference built for a by-ref object if it has an address clause.
  42
  43 2011-06-18  Eric Botcazou  <ebotcazou@adacore.com>
  44
  45         * einfo.ads (Address_Taken): Document use for the second argument of
  46         Asm_Input and Asm_Output attributes.
  47         * sem_attr.adb (Analyze_Attribute) <Attribute_Asm_Input>: If the second
  48         argument is an entity name, then set Address_Taken on it.
  49         <Attribute_Asm_Output>: Likewise.
  50         * gcc-interface/trans.c (lvalue_required_for_attribute_p): Handle the
  51         Attr_Asm_Input and Attr_Asm_Output attributes explicitly.
  52         (gnat_to_gnu) <N_Code_Statement>: If an operand is going to end up in
  53         memory and is a CONST_DECL, retrieve its corresponding VAR_DECL.
  54
  55 2011-06-16  Joern Rennecke  <joern.rennecke@embecosm.com>
  56
  57         PR middle-end/46500
  58         * gcc-interface/decl.c (gnat_to_gnu_param): Use pack_cumulative_args.
  59
  60 2011-06-14  Joseph Myers  <joseph@codesourcery.com>
  61
  62         * gcc-interface/Make-lang.in (gnatbind$(exeext)): Use ggc-none.o.
  63         (ada/utils.o): Update dependencies.
  64         * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Add
  65         ../../../libcpp/libcpp.a.
  66         * gcc-interface/utils.c: Include common/common-target.h.
  67         (process_attributes): Use targetm_common.have_named_sections.
  68
  69 2011-06-07  Richard Guenther  <rguenther@suse.de>
  70
  71         * gcc-interface/misc.c (gnat_init): Do not set size_type_node or call
  72         set_sizetype.
  73
  74 2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
  75
  76         * gcc-interface/utils2.c (gnat_stabilize_reference): Propagate the
  77         TREE_THIS_NOTRAP flag.
  78
  79 2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
  80
  81         * gcc-interface/utils2.c (gnat_stabilize_reference) <COMPOUND_EXPR>:
  82         Fix thinko.
  83
  84 2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
  85
  86         * gcc-interface/trans.c (Identifier_to_gnu): Also handle deferred
  87         constants whose full view has discriminants specially.
  88
  89 2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
  90
  91         * gcc-interface/utils.c: Include diagnostic.h.
  92         (gnat_write_global_declarations): Output debug information for all
  93         global type declarations before finalizing the compilation unit.
  94         * gcc-interface/Make-lang.in (ada/utils.o): Add dependency.
  95
  96 2011-05-25  Jakub Jelinek  <jakub@redhat.com>
  97
  98         * gcc-interface/utils.c (def_fn_type): Remove extra va_end.
  99
 100 2011-05-25  Kai Tietz  <ktietz@redhat.com>
 101
 102         * adaint.c (__gnat_to_canonical_file_list_next): Use array
 103         initialization instead of const/none-const pointer assignment.
 104
 105 2011-05-24  Joseph Myers  <joseph@codesourcery.com>
 106
 107         * gcc-interface/Make-lang.in (GNAT1_OBJS): Don't include
 108         $(EXTRA_GNAT1_OBJS).
 109         (GNATBIND_OBJS): Don't include $(EXTRA_GNATBIND_OBJS).
 110         (EXTRA_GNAT1_OBJS, EXTRA_GNATBIND_OBJS): Remove.
 111         (gnat1$(exeext), gnatbind$(exeext)): Use libcommon-target.a.
 112         * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Use
 113         libcommon-target.a instead of prefix.o.
 114
 115 2011-05-21  Joseph Myers  <joseph@codesourcery.com>
 116
 117         PR ada/49097
 118         * gcc-interface/Make-lang.in (gnatbind$(exeext)): Depend on $(LIBDEPS).
 119
 120 2011-05-20  Joseph Myers  <joseph@codesourcery.com>
 121
 122         * gcc-interface/Make-lang.in (EXTRA_GNATBIND_OBJS): Remove version.o.
 123         * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Use libcommon.a
 124         instead of version.o.
 125
 126 2011-05-18  Kai Tietz <ktietz@redhat.com>
 127
 128         * gcc-interface/trans.c (Exception_Handler_to_gnu_sjlj): Use
 129         boolean_false_node instead of integer_zero_node.
 130         (convert_with_check): Likewise.
 131         * gcc-interface/decl.c (choices_to_gnu): Likewise.
 132
 133 2011-05-12  Eric Botcazou  <ebotcazou@adacore.com>
 134
 135         * gcc-interface/trans.c (call_to_gnu): In the by-reference case, if the
 136         type of the parameter is an unconstrained array, convert the actual to
 137         the type of the formal in the In Out and Out cases as well.
 138
 139 2011-05-11  Nathan Froyd  <froydnj@codesourcery.com>
 140
 141         * gcc-interface/utils.c (def_fn_type): Don't call build_function_type;
 142         call build_function_type_array or build_varargs_function_type_array
 143         instead.
 144         (create_subprog_type): Don't call build_function_type; call
 145         build_function_type_vec instead.
 146
 147 2011-05-11  Nathan Froyd  <froydnj@codesourcery.com>
 148
 149         * gcc-interface/ada-tree.h (TYPE_OBJECT_RECORD_TYPE): Use TYPE_MINVAL.
 150         (TYPE_GCC_MIN_VALUE): Use TYPE_MINVAL.
 151         (TYPE_GCC_MAX_VALUE): Use TYPE_MAXVAL.
 152
 153 2011-05-07  Eric Botcazou  <ebotcazou@adacore.com>
 154
 155         * gcc-interface/decl.c (intrin_arglists_compatible_p): Remove spaces.
 156
 157         * gcc-interface/gigi.h (global_bindings_p): Adjust prototype.
 158         * gcc-interface/utils.c (global_bindings_p): Return bool and simplify.
 159
 160 2011-05-05  Nathan Froyd  <froydnj@codesourcery.com>
 161
 162         * gcc-interface/trans.c (Case_Statement_to_gnu): Call build_case_label.
 163
 164 2011-05-05  Nathan Froyd  <froydnj@codesourcery.com>
 165
 166         * gcc-interface/decl.c (intrin_arglists_compatible_p): Use iterators
 167         instead of accessing TYPE_ARG_TYPES directly.
 168         * gcc-interface/utils.c (handle_nonnull_attribute): Likewise.
 169
 170 2011-05-05  Eric Botcazou  <ebotcazou@adacore.com>
 171
 172         PR ada/48844
 173         * gcc-interface/gigi.h (get_variant_part): Declare.
 174         * gcc-interface/decl.c (get_variant_part): Make global.
 175         * gcc-interface/utils2.c (find_common_type): Do not return T1 if the
 176         types have the same constant size, are record types and T1 has a
 177         variant part while T2 doesn't.
 178
 179 2011-05-05  Eric Botcazou  <ebotcazou@adacore.com>
 180
 181         * gcc-interface/utils.c (begin_subprog_body): Do not call
 182         get_pending_sizes.
 183         (end_subprog_body): Likewise.
 184
 185 2011-05-04  Richard Guenther  <rguenther@suse.de>
 186
 187         * gcc-interface/trans.c (gnat_to_gnu): Remove zero notrunc argument to
 188         int_const_binop.
 189         (pos_to_constructor): Likewise.
 190
 191 2011-05-03  Nathan Froyd  <froydnj@codesourcery.com>
 192             Eric Botcazou  <ebotcazou@adacore.com>
 193
 194         * gcc-interface/trans.c (gigi): Call build_function_type_list instead
 195         of build_function_type.  Adjust calls to...
 196         (build_raise_check): ...this.  Do not take a void_tree parameter.
 197         Call build_function_type_list instead of build_function_type.
 198         Fix head comment and swap couple of conditional blocks.
 199
 200 2011-04-30  Eric Botcazou  <ebotcazou@adacore.com>
 201
 202         * gnatvsn.ads (Library_Version): Bump to 4.7.
 203         (Current_Year): Bump to 2011.
 204
 205 2011-04-29  Michael Matz  <matz@suse.de>
 206
 207         * gcc-interface/misc.c (gnat_handle_option): Set
 208         warn_maybe_uninitialized.
 209
 210 2011-04-23  Gerald Pfeifer  <gerald@pfeifer.com>
 211
 212         * gnat_ugn.texi (Complexity Metrics Control): Update link to
 213         the Watson/McCabe paper.
 214
 215 2011-04-23  Jim Meyering  <meyering@redhat.com>
 216
 217         * gnat_ugn.texi (Examples of gnatxref Usage): Fix typo: s/it it/it is/
 218
 219 2011-04-22  Eric Botcazou  <ebotcazou@adacore.com>
 220
 221         * gcc-interface/decl.c (make_packable_type): Copy DECL_PARALLEL_TYPE
 222         onto the new type.
 223
 224 2011-04-22  Eric Botcazou  <ebotcazou@adacore.com>
 225
 226         * gcc-interface/gigi.h (create_subprog_decl): Add ARTIFICIAL_FLAG
 227         parameter.
 228         * gcc-interface/utils.c (create_subprog_decl): Likewise.  Set
 229         DECL_ARTIFICIAL and DECL_NO_INLINE_WARNING_P on the DECL accordingly.
 230         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: Add
 231         ARTIFICIAL_FLAG local variable and pass it to create_subprog_decl.
 232         <all>: Do not set flags on the reused DECL node coming from an alias.
 233         Set DECL_IGNORED_P on the DECL node built for subprograms if they
 234         don't need debug info here...
 235         * gcc-interface/trans.c (Subprogram_Body_to_gnu): ...and not here.
 236         (gigi): Adjust calls to create_subprog_decl.
 237         (build_raise_check): Likewise.
 238         (establish_gnat_vms_condition_handler): Likewise.
 239         (Compilation_Unit_to_gnu): Likewise.
 240         (gnat_to_gnu): Likewise.
 241
 242 2011-04-21  Eric Botcazou  <ebotcazou@adacore.com>
 243
 244         * gcc-interface/Makefile.in (NO_SIBLING_ADAFLAGS): Always define.
 245         (NO_REORDER_ADAFLAGS): New variable.
 246         (EXTRA_GNATTOOLS): Always define.
 247         (../stamp-gnatlib1-$(RTSDIR): Copy tsystem.h.
 248         Clean up and adjust list of files compiled with special options.
 249         * gcc-interface/Make-lang.in: Likewise.
 250         (ada/decl.o): Cosmetical change.
 251         (ada/misc.o): Remove dependency on $(PLUGIN_H).
 252
 253 2011-04-20  Jim Meyering  <meyering@redhat.com>
 254
 255         * initialize.c (__gnat_initialize): Remove useless if-before-free.
 256
 257 2011-04-17  Eric Botcazou  <ebotcazou@adacore.com>
 258
 259         * gcc-interface/Make-lang.in (gnatbind): Replace $(ALL_CFLAGS) with
 260         $(CFLAGS) on the link line.
 261
 262 2011-04-17  Eric Botcazou  <ebotcazou@adacore.com>
 263
 264         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Function>: Declare the
 265         padded type built for the return type if it is unconstrained.
 266
 267 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
 268
 269         * gcc-interface/utils.c (gnat_poplevel): Use block_chainon.
 270
 271 2011-04-12  Nathan Froyd  <froydnj@codesourcery.com>
 272
 273         * gcc-interface/ada-tree.h (union lang_tree_node): Check for TS_COMMON
 274         before calling TREE_CHAIN.
 275         * gcc-interface/misc.c (gnat_init_ts): New function.
 276         (LANG_HOOKS_INIT_TS): Define.
 277
 278 2011-04-12  Martin Jambor  <mjambor@suse.cz>
 279
 280         * gcc-interface/utils.c (end_subprog_body): Call cgraph_get_create_node
 281         instead of cgraph_node.
 282
 283 2011-04-08  Eric Botcazou  <ebotcazou@adacore.com>
 284
 285         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set minimum
 286         alignment on fields of the RETURN type built for the Copy-In Copy-Out
 287         mechanism.
 288
 289 2011-04-08  Eric Botcazou  <ebotcazou@adacore.com>
 290
 291         * gcc-interface/trans.c (Identifier_to_gnu): Do not return initializers
 292         of aggregate types that contain a placeholder.
 293
 294 2011-04-08  Nathan Froyd  <froydnj@codesourcery.com>
 295
 296         * gcc-interface/utils.c (handle_sentinel_attribute): Don't use
 297         TYPE_ARG_TYPES.
 298         (handle_type_generic_attribute): Likewise.
 299
 300 2011-04-04  Eric Botcazou  <ebotcazou@adacore.com>
 301
 302         PR ada/47163
 303         * s-oscons-tmplt.c (MSG_WAITALL): Fix thinko in previous change.
 304
 305 2011-04-04  Kai Tietz  <ktietz@redhat.com>
 306
 307         PR ada/47163
 308         * s-oscons-tmplt.c (MSG_WAITALL): Define it for native windows targets
 309         to flag value.
 310
 311 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 312
 313         * gcc-interface/utils2.c (build_allocator): In the unconstrained array
 314         type case, do not strip a padding type around the array type.
 315
 316 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 317
 318         * gcc-interface/utils.c (update_pointer_to): Finalize named pointer
 319         types.
 320
 321 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 322
 323         * gcc-interface/lang.opt (feliminate-unused-debug-types): Delete.
 324         * gcc-interface/misc.c (gnat_handle_option): Remove special handling
 325         code for -feliminate-unused-debug-types.
 326         (gnat_post_options): Likewise.
 327
 328 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 329
 330         * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
 331         declaration of a pointer type, then set DECL_ORIGINAL_TYPE to a
 332         distinct copy.
 333
 334 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 335
 336         * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force the
 337         DECL_ARTIFICIAL flag on enumeration types.
 338
 339 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 340
 341         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do not make
 342         fat pointer types artificial unconditionally.
 343         <E_Array_Subtype>: Attach the base array type as a parallel type if it
 344         isn't artificial.
 345
 346 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 347
 348         * gcc-interface/gigi.h (get_dummy_type): Declare.
 349         (build_dummy_unc_pointer_types): Likewise.
 350         (finish_fat_pointer_type): Likewise.
 351         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: If a dummy
 352         fat pointer type has been built, complete it in place.
 353         <E_Access_Type>: Call build_dummy_unc_pointer_types to build dummy fat
 354         and thin pointers.  Remove useless variable.
 355         (finish_fat_pointer_type): Make global and move to...
 356         * gcc-interface/utils.c (finish_fat_pointer_type): ...here.
 357         (get_dummy_type): New function.
 358         (build_dummy_unc_pointer_types): Likewise.
 359         (gnat_pushdecl): Propage the name to the anonymous variants only.
 360         (update_pointer_to): Only adjust the pointer types in the unconstrained
 361         array case.
 362
 363 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 364
 365         * gcc-interface/ada-tree.h (DECL_TAFT_TYPE_P): New flag.
 366         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Incomplete_Type>: Set it
 367         if this is a Taft amendment type and the full declaration is available.
 368         * gcc-interface/trans.c (process_type): Likewise.
 369         If there is an old type, mark the new one as used if DECL_TAFT_TYPE_P.
 370         (process_freeze_entity): Likewise.
 371         * gcc-interface/utils.c (dummy_global): New static variable.
 372         (gnat_write_global_declarations): If there are types declared as used
 373         at the global level, insert them in the global hash table.
 374
 375 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 376
 377         * gcc-interface/gigi.h (record_builtin_type): Add ARTIFICIAL_P param.
 378         * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
 379         declaration of an array type, then set DECL_ORIGINAL_TYPE to a distinct
 380         copy.
 381         (record_builtin_type): Add ARTIFICIAL_P parameter.  Set DECL_ARTIFICIAL
 382         flag of the type accordingly.
 383         * gcc-interface/trans.c (gigi): Adjust calls to record_builtin_type.
 384
 385 2011-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 386
 387         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
 388         finalizing types when updating the pointers to the designated type.
 389         <all>: Finalize the deferred types even if we didn't defer processing
 390         of incomplete types in this invocation.
 391
 392 2011-04-01  Olivier Hainque  <hainque@adacore.com>
 393             Nicolas Setton  <setton@adacore.com>
 394             Eric Botcazou  <ebotcazou@adacore.com>
 395
 396         * gcc-interface/misc.c (gnat_descriptive_type): New function.
 397         (LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type.
 398
 399 2011-03-28  Kai Tietz  <ktietz@redhat.com>
 400
 401         * gcc-interface/Makefile.in (SO_LIB): Handle multilib build for native
 402         Windows targets.
 403         (EH_MECHANISM): Use GCC exception mechanism for native Windows targets.
 404         * system-mingw.ads (System): Change ZCX_By_Default default to True.
 405
 406         * raise-gcc.c (PERSONALITY_FUNCTION): Add prototype.
 407
 408 2011-03-28  Tristan Gingold  <gingold@adacore.com>
 409
 410         PR ada/44431
 411         * gcc-interface/Make-lang.in (ada/b_gnat1.adb): Replace ada/b_gnat1.c.
 412         Use ada output of gnatbind.
 413         (ada/b_gnatb.adb): Ditto.
 414         (ada/b_gnat1.o, ada/b_gnatb.o): New rules.
 415         (ada.mostlyclean, ada.stage1)
 416         (ada.stage2, ada.stage3, ada.stage4, ada.stageprofile)
 417         (ada.stagefeedback): Adjust.
 418         * gcc-interface/Makefile.in (b_gnatl.adb): Replace b_gnatl.c.
 419         Use ada output of gnatbind.
 420         (b_gnatm.adb): Ditto.
 421         (b_gnatl.o, b_gnatm.o): New rules.
 422
 423 2011-03-26  Eric Botcazou  <ebotcazou@adacore.com>
 424
 425         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
 426         for the padded type built to support a specified size or alignment.
 427
 428 2011-03-26  Eric Botcazou  <ebotcazou@adacore.com>
 429
 430         * gcc-interface/gigi.h (finalize_from_with_types): Adjust comment.
 431         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
 432         unconditionally to the end of the unit when the designated type is
 433         limited_with'ed.
 434         <all>: Rename local variable.  Attempt to un-defer types only and do it
 435         for limited_with'ed types as well.
 436         (finalize_from_with_types): Adjust comment.  Rename variable and tidy.
 437         * gcc-interface/trans.c (Compilation_Unit_to_gnu): Use GNAT_UNIT
 438         consistently and remove redundant call to finalize_from_with_types.
 439
 440 2011-03-26  Eric Botcazou  <ebotcazou@adacore.com>
 441
 442         * inline.adb (Back_End_Cannot_Inline): Lift restriction on calls to
 443         subprograms without a previous spec declared in the same unit.
 444         * gcc-interface/trans.c (Compilation_Unit_to_gnu): Process inlined
 445         subprograms at the end of the unit instead of at the beginning.
 446         * gcc-interface/utils.c (create_subprog_decl): Check that the entity
 447         isn't public for the special handling of non-inline functions nested
 448         inside inline external functions.
 449
 450 2011-03-25  Jeff Law  <law@redhat.com>
 451
 452         * gcc-interface/utils.c (def_fn_type): Add missing va_end.
 453
 454 2011-03-24  Eric Botcazou  <ebotcazou@adacore.com>
 455
 456         * einfo.ads (Size_Depends_On_Discriminant): Adjust description.
 457         * layout.adb (Compute_Size_Depends_On_Discriminant): New procedure
 458         to compute Set_Size_Depends_On_Discriminant.
 459         (Layout_Type): Call it on array types in back-end layout mode.
 460         * sem_util.adb (Requires_Transient_Scope): Return true for array
 461         types only if the size depends on the value of discriminants.
 462         * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Use the RHS
 463         type if the RHS is a call to a function that returns an unconstrained
 464         type with default discriminant.
 465
 466 2011-03-24  Eric Botcazou  <ebotcazou@adacore.com>
 467
 468         * gcc-interface/trans.c (gnat_to_gnu): Remove obsolete case of
 469         non-conversion to the nominal result type at the end.
 470
 471 2011-03-23  Eric Botcazou  <ebotcazou@adacore.com>
 472
 473         * gcc-interface/trans.c (create_temporary): New function taken from...
 474         (create_init_temporary): ...here.  Call it.
 475         (call_to_gnu): Create the temporary for the return value early, if any.
 476         Create it for a function with copy-in/copy-out parameters if there is
 477         no target; in other cases of copy-in/copy-out, use another temporary.
 478         Push the new binding level lazily.  Add and rename local variables.
 479
 480 2011-03-23  Eric Botcazou  <ebotcazou@adacore.com>
 481
 482         * gcc-interface/decl.c (validate_size): Improve comments and tweak
 483         error message.
 484         (set_rm_size): Likewise.
 485
 486 2011-03-23  Eric Botcazou  <ebotcazou@adacore.com>
 487
 488         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
 489         for the padded type built in order to support a specified alignment.
 490         Fix incorrect formatting.
 491
 492 2011-03-21  Eric Botcazou  <ebotcazou@adacore.com>
 493
 494         PR bootstrap/48216
 495         * gcc-interface/decl.c (elaborate_expression_1): Localize GNU_DECL.
 496
 497 2011-03-21  Eric Botcazou  <ebotcazou@adacore.com>
 498
 499         * gcc-interface/decl.c (components_to_record): Add REORDER parameter,
 500         rename DEBUG_INFO_P into DEBUG_INFO and move P_GNU_REP_LIST parameter
 501         to the end of the list.  Adjust recursive call.  Rename local variable.
 502         If REORDER is true, reorder components of the record type.
 503         (gnat_to_gnu_entity): Pass OK_To_Reorder_Components flag as argument to
 504         components_to_record and adjust the parameter list.
 505
 506 2011-03-21  Eric Botcazou  <ebotcazou@adacore.com>
 507
 508         * gcc-interface/decl.c (elaborate_expression_1): When optimization is
 509         disabled, use the variable for bounds of loop iteration scheme.
 510
 511 2011-03-21  Kai Tietz  <ktietz@redhat.com>
 512
 513         PR target/12171
 514         * gcc-interface/utils.c (gnat_internal_attribute_table): Add column.
 515
 516 2011-03-17  Eric Botcazou  <ebotcazou@adacore.com>
 517
 518         * gcc-interface/decl.c (elaborate_expression_1): Try harder to find
 519         out whether the expression is read-only.  Short-circuit placeholder
 520         case and rename a couple of local variables.
 521
 522 2011-03-17  Eric Botcazou  <ebotcazou@adacore.com>
 523
 524         * gcc-interface/gigi.h (smaller_form_type_p): Declare.
 525         * gcc-interface/trans.c (smaller_form_type_p): Make global and move...
 526         * gcc-interface/utils.c (smaller_form_type_p): ...to here.
 527         (convert): Deal with conversions from a smaller form type specially.
 528
 529 2011-02-14  Eric Botcazou  <ebotcazou@adacore.com>
 530
 531         * gcc-interface/misc.c (gnat_init_options): Do not concatenate -I and
 532         its argument, except for the special -I- switch.
 533
 534 2011-02-12  Gerald Pfeifer  <gerald@pfeifer.com>
 535
 536         * gnat_ugn.texi (Compiling Different Versions of Ada): Update link to
 537         "Ada Issues".
 538
 539 2011-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 540
 541         * gcc-interface/Makefile.in (x86-64 darwin): Handle multilibs.
 542
 543 2011-02-03  Eric Botcazou  <ebotcazou@adacore.com>
 544
 545         * gcc-interface/gigi.h (fill_vms_descriptor): Take GNU_TYPE instead of
 546         GNAT_FORMAL.
 547         * gcc-interface/utils2.c (fill_vms_descriptor): Move from here to...
 548         * gcc-interface/utils.c (fill_vms_descriptor): ...here.  Take GNU_TYPE
 549         instead of GNAT_FORMAL.  Protect the expression against multiple uses.
 550         Do not generate the check directly, instead instantiate the template
 551         check present in the descriptor.
 552         (make_descriptor_field): Move around.
 553         (build_vms_descriptor32): Build a template check in the POINTER field.
 554         (build_vms_descriptor): Remove useless suffixes.
 555         * gcc-interface/trans.c (call_to_gnu): Adjust fill_vms_descriptor call.
 556
 557 2011-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 558
 559         PR bootstrap/47467
 560         * targext.c: Include target files if IN_RTS is defined.
 561
 562 2011-01-26  Richard Guenther  <rguenther@suse.de>
 563
 564         PR bootstrap/47467
 565         * targext.c: Include config.h.
 566         * gcc-interface/Make-lang.in (ada/targext.o): Add $(CONFIG_H)
 567         dependency.
 568
 569 2011-01-04  Pascal Obry  <obry@adacore.com>
 570             Eric Botcazou  <ebotcazou@adacore.com>
 571
 572         * gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit.
 573
 574 2011-01-04  Eric Botcazou  <ebotcazou@adacore.com>
 575
 576         * gcc-interface/trans.c (Case_Statement_to_gnu): Put the SLOC of the
 577         end-of-case on the end label and its associated gotos, if any.
 578
 579 2011-01-04  Eric Botcazou  <ebotcazou@adacore.com>
 580
 581         * gcc-interface/trans.c (Subprogram_Body_to_gnu): Evaluate the
 582         expressions of the parameter cache within the statement group of
 583         the CICO mechanism.
 584
 585 2011-01-04  Olivier Hainque  <hainque@adacore.com>
 586             Eric Botcazou  <ebotcazou@adacore.com>
 587
 588         * gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default.
 589         (set_end_locus_from_node): New function.
 590         (Subprogram_Body_to_gnu): Use it to mark both the inner BIND_EXPR we
 591         make and the function end_locus.
 592         (Compilation_Unit_to_gnu): Call it instead of a straight Sloc_to_locus
 593         for the elaboration subprogram.
 594         (set_gnu_expr_location_from_node) <default case>: Use it to attempt to
 595         set the end_locus of the expression as well.
 596
 597 2011-01-04  Eric Botcazou  <ebotcazou@adacore.com>
 598
 599         PR ada/47131
 600         * gcc-interface/trans.c (Identifier_to_gnu): In SJLJ mode, do not make
 601         variables that are referenced in exception handlers volatile.
 602
 603
 604 \f
 605 Copyright (C) 2011 Free Software Foundation, Inc.
 606
 607 Copying and distribution of this file, with or without modification,
 608 are permitted in any medium without royalty provided the copyright
 609 notice and this notice are preserved.