gcc/ada/ChangeLog

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