gcc/ada/ChangeLog

   1 2013-04-11  Release Manager
   2
   3         * GCC 4.7.3 released.
   4
   5 2013-03-08  Cesar Strauss  <cestrauss@gmail.com>
   6
   7         PR ada/52123
   8         * seh_init.c (Raise_From_Signal_Handler): Declare as no-return.
   9         (__gnat_SEH_error_handler): Likewise.  Remove final return.
  10
  11 2013-02-21  Jakub Jelinek  <jakub@redhat.com>
  12
  13         PR bootstrap/56258
  14         * gnat-style.texi (@title): Remove @hfill.
  15         * projects.texi: Avoid line wrapping inside of @pxref or @xref.
  16
  17 2013-02-20  Eric Botcazou  <ebotcazou@adacore.com>
  18
  19         PR ada/56271
  20         Backport from mainline
  21         2012-05-15  Olivier Hainque  <hainque@adacore.com>
  22
  23         * gcc-interface/Make-lang.in (COMMON_FLAGS_TO_PASS): Use WARN_CFLAGS
  24         instead of trying to mimic it.
  25
  26 2013-02-14  Rainer Emrich  <rainer@emrich-ebersheim.de>
  27
  28         Back-port from mainline.
  29         PR target/52123
  30         * adaint.c (__gnat_check_OWNER_ACL): Cast from pointer via
  31         SECURITY_DESCRIPTOR *.
  32         (__gnat_set_OWNER_ACL): Cast from DWORD to ACCESS_MODE.
  33         (__gnat_portable_spawn): Fix cast to char* const*.
  34         (add_handle): Cast from pointer via void **.
  35         (add_handle): Cast from pointer via int *.
  36         (__gnat_locate_exec_on_path): Cast from pointer via TCHAR *.
  37         (__gnat_locate_exec_on_path): Cast from pointer via char *.
  38         * initialize.c (append_arg): Cast from pointer via LPWSTR.
  39         (__gnat_initialize): Cast from pointer via LPWSTR.
  40         * seh_init.c (__gnat_SEH_error_handler): Cast from pointer via FARPROC.
  41         * tracebak.c: Cast from pointer via FARPROC.
  42
  43 2013-02-07  Simon Wright  <simon@pushface.org>
  44
  45         PR target/50678
  46         * init.c (__darwin_major_version): New function for x86-64/Darwin.
  47         (__gnat_adjust_context_for_raise) [Darwin]: Disable the workaround
  48         on Darwin 12 and above.
  49
  50 2013-01-06  Eric Botcazou  <ebotcazou@adacore.com>
  51
  52         * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not
  53         pack the field of the record type made for a misaligned type.
  54
  55 2013-01-06  Eric Botcazou  <ebotcazou@adacore.com>
  56
  57         Backport from mainline
  58         2013-01-04  Robert Dewar  <dewar@adacore.com>
  59
  60         * gnat_rm.texi: Document alignment choice for subtypes.
  61
  62 2012-12-21  Ed Schonberg  <schonberg@adacore.com>
  63
  64         PR ada/53737
  65         * sem_ch12.adb (Analyze_Associations): Do not check the legality of
  66         actuals for RACW types if this is an internal instantiation for a formal
  67         package with defaulted parameters.
  68
  69 2012-12-18  Matthew Gretton-Dann  <matthew.gretton-dann@linaro.org>
  70
  71         Backport from mainline.
  72         2012-10-15  Matthias Klose  <doko@ubuntu.com>
  73
  74         * gcc-interface/Makefile.in: Match arm*-*-linux-*eabi* for
  75         ARM Linux/GNU.
  76
  77 2012-12-16  Eric Botcazou  <ebotcazou@adacore.com>
  78
  79         PR ada/54614
  80         Backport from mainline
  81
  82         2012-10-01  Vincent Pucci  <pucci@adacore.com>
  83
  84         * s-gearop.adb (Vector_Matrix_Product): Fix dimension check and index
  85         of Left in S evaluation.
  86
  87 2012-12-15  Eric Botcazou  <ebotcazou@adacore.com>
  88
  89         PR ada/53766
  90         Backport from mainline
  91
  92         2012-07-17  Hristian Kirtchev  <kirtchev@adacore.com>
  93
  94         * exp_attr.adb (Expand_N_Attribute_Reference): Add local variables Attr
  95         and Conversion_Added.  Add local constant Typ.
  96         Retrieve the original attribute after the arithmetic check
  97         machinery has modified the node. Add a conversion to the target
  98         type when the prefix of attribute Max_Size_In_Storage_Elements
  99         is a controlled type.
 100
 101 2012-12-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 102
 103         PR ada/52110
 104         * s-osinte-hpux-dce.ads: Declare pthread_rwlockattr_t and
 105         pthread_rwlock_t subtypes.  Delete duplicate declaration of clockid_t.
 106         * s-taspri-hpux-dce.ads: Change "pragma Atomic (Thread)" to comment.
 107
 108 2012-11-09  Eric Botcazou  <ebotcazou@adacore.com>
 109
 110         PR other/52438
 111         * s-taspri-lynxos.ads: Delete.
 112         * s-osinte-kfreebsd-gnu.ads: Change license to GPL V3+.
 113         * s-tpopsp-rtems.adb: Likewise.
 114         * s-osinte-rtems.adb: Likewise.
 115
 116 2012-10-30  Eric Botcazou  <ebotcazou@adacore.com>
 117
 118         * gcc-interface/Make-lang.in: Fix and clean up rules for C files.
 119
 120 2012-10-22  Eric Botcazou  <ebotcazou@adacore.com>
 121
 122         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Force
 123         BLKmode on the type if it is passed by reference.
 124         <E_Array_Subtype>: Likewise.
 125         <E_Record_Type>: Guard the call to Is_By_Reference_Type predicate.
 126         <E_Record_Subtype>: Likewise.
 127
 128         * gcc-interface/Makefile.in: Remove outdated comment and reference to
 129         non-existing file.
 130
 131 2012-10-22  Eric Botcazou  <ebotcazou@adacore.com>
 132
 133         * gcc-interface/trans.c (Loop_Statement_to_gnu): Use gnat_type_for_size
 134         directly to obtain an unsigned version of the base type.
 135
 136 2012-10-22  Eric Botcazou  <ebotcazou@adacore.com>
 137
 138         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Out_Parameter>: Do not
 139         generate the special PARM_DECL for an Out parameter in LTO mode.
 140
 141 2012-10-02  Eric Botcazou  <ebotcazou@adacore.com>
 142
 143         * gcc-interfaces/decl.c (elaborate_expression_1): Use the variable for
 144         bounds of loop iteraration scheme only for locally defined subtypes.
 145
 146         * gcc-interface/trans.c (build_return_expr): Apply the NRV optimization
 147         only for BLKmode.
 148
 149 2012-09-20  Release Manager
 150
 151         * GCC 4.7.2 released.
 152
 153 2012-09-07  Eric Botcazou  <ebotcazou@adacore.com>
 154
 155         * gcc-interface/trans.c (Loop_Statement_to_gnu): Revert to using
 156         size_type_node instead of sizetype.
 157
 158 2012-07-19  Eric Botcazou  <ebotcazou@adacore.com>
 159
 160         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Try to ensure
 161         that an object of CW type initialized to a value is sufficiently
 162         aligned for this value.
 163
 164 2012-07-19  Eric Botcazou  <ebotcazou@adacore.com>
 165
 166         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Do not
 167         look up the REP part of the base type in advance.  Deal with that of
 168         the variant types.
 169         (get_rep_part): Be prepared for record types with fields.
 170
 171 2012-07-03  Eric Botcazou  <ebotcazou@adacore.com>
 172
 173         * gcc-interface/trans.c (Call_to_gnu): Robustify test for function case
 174         if the CICO mechanism is used.
 175
 176 2012-07-03  Eric Botcazou  <ebotcazou@adacore.com>
 177
 178         * gcc-interface/utils2.c (build_simple_component_ref): Do not look
 179         through an extension if the type contains a placeholder.
 180
 181 2012-07-03  Eric Botcazou  <ebotcazou@adacore.com>
 182
 183         * exp_disp.adb (Expand_Dispatching_Call): Propagate the convention on
 184         the designated subprogram type and also set Is_Dispatch_Table_Entity.
 185         (Expand_Interface_Thunk): Propagate the convention on the thunk.
 186         (Set_CPP_Constructors_Old): Set Is_Constructor and Convention_CPP on
 187         the internal view of the constructors.
 188         (Set_CPP_Constructors): Likewise.
 189         * sem_prag.adb (Analyze_Pragma) <Pragma_CPP_Constructor>: Set the
 190         convention on the function.
 191         * gcc-interface/gigi.h (is_cplusplus_method): Declare.
 192         * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
 193         (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the `thiscall'
 194         calling convention
 195         (get_minimal_subprog_decl): Likewise.
 196         (is_cplusplus_method): New predicate.
 197         * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Issue an
 198         error on access to C++ constructor or member function.
 199
 200 2012-07-03  Eric Botcazou  <ebotcazou@adacore.com>
 201
 202         * gcc-interface/utils.c (gnat_pushdecl): Set TYPE_CONTEXT for types
 203         attached to a TYPE_DECL.
 204
 205 2012-06-15  Eric Botcazou  <ebotcazou@adacore.com>
 206
 207         PR ada/53592
 208         * gcc-interface/gigi.h (maybe_vector_array): Make static inline.
 209         * gcc-interface/utils.c (maybe_vector_array): Delete.
 210         * gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Mark the
 211         array object as addressable if it has vector type and is on the LHS.
 212
 213 2012-06-14  Jakub Jelinek  <jakub@redhat.com>
 214
 215         * gcc-interface/Makefile.in (gnatlib-shared-default): Append
 216         $(PICFLAG_FOR_TARGET) to GNATLIBCFLAGS_FOR_C passed to submake.
 217
 218 2012-06-14  Release Manager
 219
 220         * GCC 4.7.1 released.
 221
 222 2012-06-13  Eric Botcazou  <ebotcazou@adacore.com>
 223
 224         Revert
 225         2012-05-19  Eric Botcazou  <ebotcazou@adacore.com>
 226
 227         * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
 228         (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the thiscall
 229         calling convention
 230         (get_minimal_subprog_decl): Likewise.
 231         (gnat_first_param_is_class): New predicate.
 232
 233 2012-06-12  Olivier Hainque  <hainque@adacore.com>
 234
 235         * gcc-interface/Makefile.in (GNATLIBCFLAGS_FOR_C): Remove
 236         $(PIC_FLAG_FOR_TARGET).
 237         (gnatlib-shared-default): Add $(PIC_FLAG_FOR_TARGET) to
 238         GNATLIBCFLAGS_FOR_C passed to gnatlib.
 239         (gnatlib-shared-win32): Likewise.
 240         (gnatlib-shared-darwin): Likewise.
 241         (gnatlib-shared-dual-win32): Pass PIC_FLAG_FOR_TARGET to
 242         gnatlib-shared-win32.
 243
 244 2012-05-26  Eric Botcazou  <ebotcazou@adacore.com>
 245
 246         * gcc-interface/decl.c (variant_desc): Rename 'record' to 'new_type'.
 247         (build_variant_list): Adjust to above renaming.
 248         (gnat_to_gnu_entity) <E_Record_Subtype>: Likewise.  Give a unique name
 249         to the type of the variant containers.
 250         (create_variant_part_from): Likewise.  Give a unique name to the type
 251         of the variant part.
 252
 253 2012-05-25  Eric Botcazou  <ebotcazou@adacore.com>
 254
 255         PR ada/52362
 256         * link.c (__gnat_object_file_option): Set to "-Wl,@" for GNU linker.
 257         (__gnat_using_gnu_linker): Delete.
 258         * gnatlink.adb (Gnatlink): Declare Object_File_Option_Ptr here...
 259         Declare Object_File_Option string constant and Using_GNU_response_file
 260         boolean constant.
 261         (Process_Binder_File): ...instead of here.  Delete Using_GNU_Linker,
 262         Opening and Closing local variables.  Do not handle the GNU linker
 263         specially.
 264         (Write_RF): New procedure to write into the response file.  Escape some
 265         characters if a GNU response file is used.  Keep track of error status.
 266         Invoke Write_RF to write into the response file.  Delete the file only
 267         if the link was successful.
 268         * mlib-utl.adb: Do not `with' package System.
 269         (Gcc): Likewise.  Declare Object_File_Option string constant and
 270         Using_GNU_response_file boolean constant.
 271         (Write_RF): Take a string instead of address and length.  Escape some
 272         characters if a GNU response file is used.
 273         Invoke Write_RF to write into the response file.  Delete the file only
 274         if the link was successful.  Do not warn if it cannot be deleted.
 275
 276 2012-05-20  Eric Botcazou  <ebotcazou@adacore.com>
 277
 278         * gcc-interface/utils.c (gnat_write_global_declarations): Put a name
 279         on the dummy global variable.
 280
 281 2012-05-19  Eric Botcazou  <ebotcazou@adacore.com>
 282
 283         * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
 284         (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the thiscall
 285         calling convention
 286         (get_minimal_subprog_decl): Likewise.
 287         (gnat_first_param_is_class): New predicate.
 288
 289         Backport from mainline
 290         2012-05-15  Javier Miranda  <miranda@adacore.com>
 291
 292         * exp_ch3.adb (Build_Offset_To_Top): Modify the
 293         expansion of the offset_to_top functions to ensure that their
 294         profile is conformant with the profile specified in Ada.Tags. No
 295         change in functionality.
 296
 297 2012-05-18  Eric Botcazou  <ebotcazou@adacore.com>
 298
 299         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an object at
 300         global level with unconstrained nominal subtype and a non-fixed size,
 301         make a variable for the size.
 302
 303 2012-05-15  Andris Pavenis  <andris.pavenis@iki.fi>
 304
 305         PR ada/52494
 306         * s-taprop-dummy.adb (Specific): New package.
 307
 308 2012-05-15  Eric Botcazou  <ebotcazou@adacore.com>
 309
 310         * sem_prag.adb (Process_Atomic_Shared_Volatile): Propagate
 311         atomicity from an object to its underlying type only if it
 312         is composite.
 313
 314 2012-05-06  Pascal Obry  <obry@adacore.com>
 315
 316         Revert
 317         2012-02-24  Dave Korn  <dave.korn.cygwin@gmail.com>
 318
 319         * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
 320         Windows-specific make variable.
 321         (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
 322         (install-gnatlib): Respect the above during installation when set,
 323         and also install any windows import library that has been built.
 324         (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
 325         build a corresponding import library.
 326
 327 2012-04-30  Eric Botcazou  <ebotcazou@adacore.com>
 328
 329         * gcc-interface/utils.c (finish_record_type): Force the traditional GCC
 330         layout for bitfields on the type if it is packed or has a representation
 331         clause and an alternate layout is available.
 332
 333 2012-04-09  Mike Stump  <mikestump@comcast.net>
 334
 335         * a-assert.ads: Remove execute permission.
 336         * a-chacon.ads: Likewise.
 337         * a-coteio.ads: Likewise.
 338         * a-envvar.ads: Likewise.
 339         * a-exetim-mingw.ads: Likewise.
 340         * a-fzteio.ads: Likewise.
 341         * a-izteio.ads: Likewise.
 342         * a-lcteio.ads: Likewise.
 343         * a-llctio.ads: Likewise.
 344         * a-scteio.ads: Likewise.
 345         * a-suenco.ads: Likewise.
 346         * a-suenst.ads: Likewise.
 347         * a-suewst.ads: Likewise.
 348         * a-suezst.ads: Likewise.
 349         * a-tirsfi.ads: Likewise.
 350         * a-wichha.ads: Likewise.
 351         * a-zchara.ads: Likewise.
 352         * a-zchhan.ads: Likewise.
 353         * a-zchuni.ads: Likewise.
 354         * a-zrstfi.ads: Likewise.
 355         * aspects.ads: Likewise.
 356         * g-byorma.ads: Likewise.
 357         * g-decstr.ads: Likewise.
 358         * g-encstr.ads: Likewise.
 359         * g-spchge.ads: Likewise.
 360         * g-u3spch.ads: Likewise.
 361         * g-wispch.ads: Likewise.
 362         * g-zspche.ads: Likewise.
 363         * namet-sp.ads: Likewise.
 364         * s-os_lib.ads: Likewise.
 365         * s-regexp.ads: Likewise.
 366         * s-regpat.ads: Likewise.
 367         * s-string.ads: Likewise.
 368         * s-tasloc.ads: Likewise.
 369         * s-utf_32.ads: Likewise.
 370         * sem_aux.ads: Likewise.
 371         * a-assert.adb: Likewise.
 372         * a-chacon.adb: Likewise.
 373         * a-envvar.adb: Likewise.
 374         * a-exetim-mingw.adb: Likewise.
 375         * a-suenco.adb: Likewise.
 376         * a-suenst.adb: Likewise.
 377         * a-suewst.adb: Likewise.
 378         * a-suezst.adb: Likewise.
 379         * a-tirsfi.adb: Likewise.
 380         * a-wichha.adb: Likewise.
 381         * a-zchhan.adb: Likewise.
 382         * a-zchuni.adb: Likewise.
 383         * a-zrstfi.adb: Likewise.
 384         * aspects.adb: Likewise.
 385         * g-byorma.adb: Likewise.
 386         * g-decstr.adb: Likewise.
 387         * g-encstr.adb: Likewise.
 388         * g-spchge.adb: Likewise.
 389         * g-u3spch.adb: Likewise.
 390         * g-wispch.adb: Likewise.
 391         * g-zspche.adb: Likewise.
 392         * namet-sp.adb: Likewise.
 393         * s-except.adb: Likewise.
 394         * s-inmaop-vxworks.adb: Likewise.
 395         * s-os_lib.adb: Likewise.
 396         * s-regexp.adb: Likewise.
 397         * s-regpat.adb: Likewise.
 398         * s-string.adb: Likewise.
 399         * s-tasloc.adb: Likewise.
 400         * s-utf_32.adb: Likewise.
 401         * s-wchcon.adb: Likewise.
 402         * sem_aux.adb: Likewise.
 403
 404 2012-03-22  Release Manager
 405
 406         * GCC 4.7.0 released.
 407
 408 2012-02-29  Eric Botcazou  <ebotcazou@adacore.com>
 409
 410         * gcc-interface/decl.c (components_to_record): Add ARTIFICIAL parameter
 411         and set TYPE_ARTIFICIAL according to it.  Adjust recursive call.
 412         (gnat_to_gnu_entity) <E_Record_Type>: Adjust call to above function.
 413         * gcc-interface/utils.c (rest_of_record_type_compilation): Do not
 414         invoke rest_of_type_decl_compilation on the parallel type, if any.
 415
 416 2012-02-29  Eric Botcazou  <ebotcazou@adacore.com>
 417
 418         * gcc-interface/utils.c (gnat_write_global_declarations): Make sure the
 419         dummy global built for global types is preserved.
 420
 421 2012-02-27  Tristan Gingold  <gingold@adacore.com>
 422
 423         * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
 424         E_Array_Type]: Reuse dummy fat type for gnu_ptr_template and
 425         gnu_template_type.
 426
 427 2012-02-27  Eric Botcazou  <ebotcazou@adacore.com>
 428
 429         * gcc-interface/ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Add checking.
 430         (TYPE_BY_REFERENCE_P): New flag.
 431         (TYPE_IS_BY_REFERENCE_P): New macro.
 432         (TYPE_DUMMY_P): Add checking and remove VOID_TYPE.
 433         (TYPE_IS_DUMMY_P): Adjust for above change.
 434         * gcc-interface/decl.c (gnat_to_gnu_entity): Use TYPE_BY_REFERENCE_P
 435         and TYPE_IS_BY_REFERENCE_P instead of TREE_ADDRESSABLE.
 436         (gnat_to_gnu_param): Likewise.
 437         (maybe_pad_type): Likewise.
 438         (make_type_from_size): Use TYPE_IS_PACKED_ARRAY_TYPE_P.
 439         * gcc-interface/misc.c (must_pass_by_ref): Use TYPE_IS_BY_REFERENCE_P
 440         instead of TREE_ADDRESSABLE.
 441         * gcc-interface/trans.c (finalize_nrv): Likewise.
 442         (call_to_gnu): Likewise.  Do not create a temporary for return values
 443         with by-reference type here.
 444         (gnat_to_gnu): Test TYPE_IS_DUMMY_P instead of TYPE_DUMMY_P.
 445         (gnat_gimplify_expr) <ADDR_EXPR>: Don't do anything for non-constant
 446         CONSTRUCTORs and calls.
 447         * gcc-interface/utils.c (make_dummy_type): Get the equivalent type of
 448         the underlying type and use it throughout.  Use TYPE_IS_BY_REFERENCE_P
 449         instead of TREE_ADDRESSABLE.
 450         * gcc-interface/utils2.c (build_cond_expr): Deal with by-reference
 451         types explicitly.
 452
 453 2012-02-27  Eric Botcazou  <ebotcazou@adacore.com>
 454
 455         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Revert previous
 456         change that creates a special VAR_DECL for debugging purposes.  For an
 457         aliased object with an unconstrained nominal subtype, make its type a
 458         thin reference to the underlying object.
 459         * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Deal with
 460         expressions built for the initialization of above objects.
 461
 462 2012-02-24  Dave Korn  <dave.korn.cygwin@gmail.com>
 463
 464         * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
 465         Windows-specific make variable.
 466         (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
 467         (install-gnatlib): Respect the above during installation when set,
 468         and also install any windows import library that has been built.
 469         (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
 470         build a corresponding import library.
 471
 472 2012-02-22  Robert Dewar  <dewar@adacore.com>
 473
 474         * exp_util.adb, make.adb, sem_dim.adb, sem_ch4.adb, exp_disp.adb: Minor
 475         reformatting.
 476
 477 2012-02-22  Geert Bosch  <bosch@adacore.com>
 478
 479         * g-bytswa-x86.adb, g-bytswa.adb, gcc-interface/Makefile.in: Remove
 480         x86-specific version of byteswap and use GCC builtins instead.
 481
 482 2012-02-22  Tristan Gingold  <gingold@adacore.com>
 483
 484         * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
 485         E_Array_Type]: Translate component ealier.
 486
 487 2012-02-22  Robert Dewar  <dewar@adacore.com>
 488
 489         * par-ch3.adb (P_Signed_Integer_Type_Definition): Specialize
 490         error message for 'Range.
 491
 492 2012-02-22  Pascal Obry  <obry@adacore.com>
 493
 494         * s-taprop-mingw.adb (Finalize_TCB): Do not wait on thread handle as
 495         this is our own thread.
 496
 497 2012-02-22  Sergey Rybin  <rybin@adacore.com frybin>
 498
 499         * tree_io.ads: Update ASIS_Version_Number because of the changes
 500         in Snames.
 501
 502 2012-02-22  Hristian Kirtchev  <kirtchev@adacore.com>
 503
 504         * exp_ch7.adb (Create_Finalizer): Suppress elaboration checks on
 505         stack-related finalizers.
 506
 507 2012-02-22  Ed Schonberg  <schonberg@adacore.com>
 508
 509         * sem_ch6.adb (Analyze_Expression_Function): If the construct
 510         is a completion, indicate that its formals are the formals of
 511         a completion, and as such do not get a cross- reference entry.
 512         (Analyze_Subprogram_Specification): Do not generate a definition
 513         for the entity of an expression function, because it may be a
 514         completion. Definition will be generated if needed when analyzing
 515         the generated subprogram declaration.
 516
 517 2012-02-22  Vincent Celier  <celier@adacore.com>
 518
 519         * make.adb (Check): When checking if an object file is in the
 520         correct object directory, get the unit name from a previous call
 521         to Check_Source_Info_In_ALI.
 522         * makeutl.adb (Check_Source_Info_In_ALI): Return the name of
 523         the unit when everything is OK, otherwise return No_Name.
 524         * makeutl.ads (Check_Source_Info_In_ALI): Return Name_Id instead
 525         of Boolean
 526
 527 2012-02-22  Ed Schonberg  <schonberg@adacore.com>
 528
 529         * sem_ch4.adb (Find_Equality_Types, Try_One_Interp): In an
 530         instance, the operator is visible if an operand is of some
 531         numeric type which is not in use or directly visible, and the
 532         other operand is a numeric literal.
 533
 534 2012-02-22  Tristan Gingold  <gingold@adacore.com>
 535
 536         * init.c: Minor code clean up.
 537         * gcc-interface/Make-lang.in: Update dependencies.
 538
 539 2012-02-22  Arnaud Charlet  <charlet@adacore.com>
 540
 541         * gnatlink.adb (Gnatlink): Use -gnatcC in CodePeer_Node,
 542         otherwise GCC will generate an object file.
 543
 544 2012-02-22  Vincent Celier  <celier@adacore.com>
 545
 546         * projects.texi: Correct typo related to "**" in Source_Dirs.
 547
 548 2012-02-22  Steve Baird  <baird@adacore.com>
 549
 550         * sem_prag.adb (Analyze_PPC_In_Decl_Part): Clean up generation of
 551         error message text.
 552
 553 2012-02-22  Vincent Pucci  <pucci@adacore.com>
 554
 555         * rtsfind.adb (Get_Unit_Name): Ada_Numerics_Child and
 556         System_Dim_Child cases added.
 557         * rtsfind.ads: Ada_Numerics,
 558         Ada_Numerics_Generic_Elementary_Functions, System_Dim,
 559         System_Dim_Float_IO and System_Dim_Integer_IO added to the list
 560         of RTU_Id.  Ada_Numerics_Child and System_Dim_Child added as
 561         new RTU_Id subtypes.
 562         * sem_dim.adb (Is_Dim_IO_Package_Entity): Use of
 563         Rtsfind to verify the package entity is located either
 564         in System.Dim.Integer_IO or in System.Dim.Float_IO.
 565         (Is_Dim_IO_Package_Instantiation): Minor
 566         changes.  (Is_Elementary_Function_Call): Removed.
 567         (Is_Elementary_Function_Entity): New routine.
 568         (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity call added.
 569         * snames.ads-tmpl: Name_Dim and Name_Generic_Elementary_Functions
 570         removed.
 571
 572 2012-02-22  Vincent Pucci  <pucci@adacore.com>
 573
 574         * sem_prag.adb: Minor reformatting.
 575
 576 2012-02-22  Ed Schonberg  <schonberg@adacore.com>
 577
 578         * sem_ch3.adb (Find_Type_Name): When analyzing a private type
 579         declaration that is the completion of a tagged incomplete type, do
 580         not associate the class-wide type already created with the private
 581         type to prevent order-of-elaboration issues in the back-end.
 582         * exp_disp.adb (Find_Specific_Type): Find specific type of
 583         a class-wide type, and handle the case of an incomplete type
 584         coming  either from a limited_with clause or from an incomplete
 585         type declaration. Used when expanding a dispatchin call and
 586         generating tag checks (minor refactoring).
 587
 588 2012-02-22  Robert Dewar  <dewar@adacore.com>
 589
 590         * exp_ch5.adb: Add comment.
 591         * sem_ch12.adb, exp_ch6.adb: minor reformatting
 592
 593 2012-02-22  Ed Schonberg  <schonberg@adacore.com>
 594
 595         * freeze.adb (Freeze_Entity): Do not perform type layout within
 596         a generic unit.
 597
 598 2012-02-22  Eric Botcazou  <ebotcazou@adacore.com>
 599
 600         * init.c (__gnat_error_handler) [Linux]: Map SIGBUS to
 601         Storage_Error.
 602
 603 2012-02-22  Ed Schonberg  <schonberg@adacore.com>
 604
 605         * exp_ch5.adb (Expand_N_Assignment_Statement): Reject an
 606         assignment to a classwide type whose type is limited, as
 607         can happen in an instantiation in programs that run afoul or
 608         AI05-0087.
 609
 610
 611 2012-02-17  Ed Schonberg  <schonberg@adacore.com>
 612
 613         * exp_ch6.adb (Legal_Copy): If layout is not
 614         determined in the front-end, do not emit error message when
 615         by-reference actual is potentially unaligned.
 616         * gcc-interface/decl.c (gnat_to_gnu_field): Better error message for
 617         illegal representation clause on tagged or aliased component, or on
 618         by-reference type with forced alignment.
 619
 620 2012-02-17  Nicolas Roche  <roche@adacore.com>
 621
 622         * gcc-interface/Makefile.in: Ensure FORCE_DEBUG_ADAFLAGS variables is
 623         propagated by gnatlib-sjlj and gnatlib-zcx targets.
 624         * gcc-interface/Make-lang.in: Update dependencies.
 625
 626 2012-02-17  Thomas Quinot  <quinot@adacore.com>
 627
 628         * sem_ch12.adb (Analyze_Package_Instantiation): For an
 629         instantiation in an RCI library unit, omit the instance body
 630         if the RCI library unit is the instance itself (E.2.3(18)),
 631         but include the body if the instantiation is within the RCI
 632         declaration (12.3(12)).
 633
 634 2012-02-17  Steve Baird  <baird@adacore.com>
 635
 636         * sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and
 637         Post'Class aspects can only be specified for a primitive operation
 638         of a tagged type.
 639
 640 2012-02-17  Yannick Moy  <moy@adacore.com>
 641
 642         * gnat_rm.texi: Minor shuffling.
 643
 644 2012-02-17  Ed Schonberg  <schonberg@adacore.com>
 645
 646         * aspects.adb: Expression functions can carry pre/postconditions.
 647         * par-ch6.adb (P_Subprogram): look for optional pre/postconditions
 648         in an expression function.
 649         * sem_prag (Check_Precondition_Postcondition): legal on expression
 650         functions.
 651
 652 2012-02-17  Vincent Pucci  <pucci@adacore.com>
 653
 654         * a-cdlili.adb, a-cidlli.adb, a-cihama.adb, a-cimutr.adb,
 655         * a-ciorma.adb, a-cohama.adb, a-coinve.adb, a-comutr.adb,
 656         * a-convec.adb, a-coorma.adb (Adjust): New routine.
 657         (Constant_Reference): Increment Busy and Lock counters.
 658         (Reference): Increase Busy and Lock counters.
 659         (Finalize): New routine.
 660         * a-cihase.adb, a-ciorse.adb, a-cohase.adb, a-coorse.adb:
 661         (Adjust): New routine.  (Constant_Reference): Increment Busy
 662         and Lock counters.
 663         (Finalize): New routine.
 664         * a-cdlili.ads, a-cidlli.ads, a-cihama.ads, a-cihase.ads,
 665         * a-cimutr.ads, a-ciorma.ads, a-ciorse.ads, a-cohama.ads,
 666         * a-cohase.ads, a-coinve.ads, a-comutr.ads, a-convec.ads,
 667         * a-coorma.ads, a-coorse: Controlled component added to the
 668         reference types.
 669
 670 2012-02-17  Robert Dewar  <dewar@adacore.com>
 671
 672         * restrict.adb (Check_Restriction): Add special handling for
 673         No_Obsolescent_Features.
 674
 675 2012-02-17  Hristian Kirtchev  <kirtchev@adacore.com>
 676
 677         * exp_util.adb (Find_Finalize_Address): When dealing with an
 678         internally built full view for a type with unknown discriminants,
 679         use the original record type.
 680
 681 2012-02-17  Robert Dewar  <dewar@adacore.com>
 682
 683         * sem_dim.adb: Minor reformatting.
 684
 685 2012-02-17  Yannick Moy  <moy@adacore.com>
 686
 687         * gnat_rm.texi: Minor rewording.
 688
 689 2012-02-17  Thomas Quinot  <quinot@adacore.com>
 690
 691         * sem_aggr.adb: Minor reformatting.
 692
 693 2012-02-17  Robert Dewar  <dewar@adacore.com>
 694
 695         * gnat_ugn.texi: Update doc for -gnatw.m to include 2*x case.
 696
 697 2012-02-17  Vincent Pucci  <pucci@adacore.com>
 698
 699         * sem_dim.adb (Is_Dim_IO_Package_Entity): New routine.
 700         (Is_Dim_IO_Package_Instantiation): Is_Dim_IO_Package_Entity
 701         call added.
 702         (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity
 703         call added.
 704         * s-dim.ads: Make package Pure.
 705
 706 2012-02-17  Gary Dismukes  <dismukes@adacore.com>
 707
 708         * prj-nmsc.adb: Minor reformatting.
 709
 710 2012-02-17  Yannick Moy  <moy@adacore.com>
 711
 712         * gnat_rm.texi: Update GNAT RM with a separate chapter on restrictions.
 713
 714 2012-02-17  Yannick Moy  <moy@adacore.com>
 715
 716         * gnat_ugn.texi: Fix typos.
 717
 718 2012-02-17  Pascal Obry  <obry@adacore.com>
 719
 720         * prj-nmsc.adb: prj-nmsc.adb (Check_Aggregated): Check that an
 721         aggregate is not Externally_Built.
 722
 723 2012-02-17  Ed Schonberg  <schonberg@adacore.com>
 724
 725         * sem_aggr.adb (Resolve_Record_Aggregate): If a composite
 726         component has a box association, copy the default value using
 727         the current scope as the scope of internal types, to prevent
 728         scoping anomalies in gigi.
 729
 730 2012-02-17  Robert Dewar  <dewar@adacore.com>
 731
 732         * sem_dim.adb, sem_dim.ads, s-tasren.adb, prj.adb, prj.ads, freeze.adb,
 733         sem_res.adb, exp_ch4.adb, sinput.adb, sinput.ads, exp_aggr.adb,
 734         exp_intr.adb, s-os_lib.adb: Minor reformatting.
 735
 736 2012-02-17  Ed Schonberg  <schonberg@adacore.com>
 737
 738         * sem_ch6.adb (Is_Non_Overriding_Operation): Add warning if the
 739         old operation is abstract, the relevant type is not abstract,
 740         and the new subprogram fails to override.
 741
 742 2012-02-15  Eric Botcazou  <ebotcazou@adacore.com>
 743
 744         * gcc-interface/trans.c (Identifier_to_gnu): Move block retrieving the
 745         type of the result to the end and execute it for a deferred constant of
 746         a discriminated type whose full view can be elaborated statically.
 747
 748 2012-02-15  Eric Botcazou  <ebotcazou@adacore.com>
 749
 750         * gcc-interface/trans.c (gnat_to_gnu) <N_Qualified_Expression>: If the
 751         type is tagged, mark it as used for debugging purposes.
 752         <N_Allocator>: Likewise for a qualified expression.
 753
 754 2012-02-15  Eric Botcazou  <ebotcazou@adacore.com>
 755
 756         * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
 757         return value in the by-reference return type case if this isn't the
 758         expression of an object declaration.  Tidy up.
 759
 760 2012-02-09  Tristan Gingold  <gingold@adacore.com>
 761
 762         * gcc-interface/Makefile.in: Remove .sym rule (not used).
 763         Remove adamsg.o object (requires native message compiler).
 764         * init.c (CMA$_EXIT_THREAD, MTH$_FLOOVEMAT, SS$_INTDIV): Define as a
 765         macro instead of as extern int.
 766         (ADA$_ALREADY_OPEN, ADA$_CONSTRAINT_ERRO, ADA$_DATA_ERROR)
 767         (ADA$_DEVICE_ERROR, ADA$_END_ERROR, ADA$_FAC_MODE_MISMAT)
 768         (ADA$_IOSYSFAILED, ADA$_KEYSIZERR, ADA$_KEY_MISMATCH)
 769         (ADA$_LAYOUT_ERROR, ADA$_LINEXCMRS, ADA$_MAXLINEXC)
 770         (ADA$_MODE_ERROR, ADA$_MRN_MISMATCH, ADA$_MRS_MISMATCH)
 771         (ADA$_NAME_ERROR, ADA$_NOT_OPEN, ADA$_ORG_MISMATCH)
 772         (ADA$_PROGRAM_ERROR, ADA$_RAT_MISMATCH, ADA$_RFM_MISMATCH)
 773         (ADA$_STAOVF, ADA$_STATUS_ERROR, ADA$_STORAGE_ERROR)
 774         (ADA$_UNSUPPORTED, ADA$_USE_ERROR): Likewise.
 775         (struct cond_except): Field cond is now an unsigned int.
 776         (dec_ada_cond_except_table): Adjust.
 777         (cond_except_table): Likewise.
 778         (cond_resignal_table): Likewise.
 779         (__gnat_default_resignal_p): Fix style.
 780
 781 2012-02-08  Vincent Celier  <celier@adacore.com>
 782
 783         * gcc-interface/Make-lang.in: Add g-byorma.o to gnatbind objects
 784         (g-buorma is now imported by sinput).
 785         Update dependencies.
 786         * scn.adb (Initialize_Scanner): Call Check_For_BOM
 787         * sinput-p.adb (Source_File_Is_Subunit): Call Check_For_BOM
 788         * sinput.adb: New procedure Check_For_BOM
 789         * sinput.ads: New procedure Check_For_BOM
 790
 791 2012-02-08  Vincent Pucci  <pucci@adacore.com>
 792
 793         * impunit.adb: Dimension package names updated
 794         * Makefile.rtl: s-dim added
 795         * sem_dim.adb (Is_Procedure_Put_Call): minor changes
 796         (Is_Dim_IO_Package_Instantiation): minor changes
 797         * sem_dim.ads: minor changes in comments
 798         * snames.ads-tmpl: Name_Dim added Name_Dim_Float_IO and
 799         Name_Dim_Integer_IO removed
 800         * s-dim.ads: New package. Define the dimension terminology.
 801         * s-diflio.adb, s-diinio.adb, s-dimkio.ads, s-dimmks.ads,
 802         * s-dmotpr.ads: Package names updated.
 803         * s-diflio.ads, s-diinio.ads: Documentation added and package
 804         names updated.
 805
 806 2012-02-08  Gary Dismukes  <dismukes@adacore.com>
 807
 808         * gcc-interface/utils2.c (build_call_alloc_dealloc_proc): Revise test
 809         for storage pools to test for an underlying record type rather than
 810         testing Is_Tagged_Type, so that simple storage pools will be handled
 811         the same as normal Ada storage pools.
 812
 813 2012-02-08  Yannick Moy  <moy@adacore.com>
 814
 815         * gnat_rm.texi: Minor reshuffling to place restriction at
 816         appropriate place.
 817
 818 2012-02-08  Bob Duff  <duff@adacore.com>
 819
 820         * warnsw.adb (Set_Warning_Switch): Set Warn_On_Suspicious_Modulus_Value
 821         False for '-gnatwA', to suppress these warnings.
 822
 823 2012-02-08  Vincent Celier  <celier@adacore.com>
 824
 825         * sinput-p.adb (Source_File_Is_Subunit): Check for BOM before
 826         starting to scan, so that UTF8 encoding is taken into account.
 827
 828 2012-02-08  Arnaud Charlet  <charlet@adacore.com>
 829
 830         * s-tasren.adb, s-tasren.ads (Internal_Complete_Rendezvous): New
 831         function.
 832         (Complete_Rendezvous): Now call Internal_Complete_Rendezvous.
 833         (Exceptional_Complete_Rendezvous): Mark No_Return.
 834
 835 2012-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 836
 837         * exp_aggr.adb (Compile_Time_Known_Composite_Value):
 838         New predicate to compute whether a composite value can be
 839         evaluated at compile time.
 840         (Component_Not_OK_For_Backend): Use Compile_Time_Known_Value for all
 841         expressions of elementary type and Compile_Time_Known_Composite_Value
 842         for all other expressions.
 843         (Expand_Record_Aggregate): Convert to assignments in the case
 844         of a type with mutable components if the aggregate cannot be
 845         built statically.
 846
 847 2012-02-08  Gary Dismukes  <dismukes@adacore.com>
 848
 849         * aspects.ads (type Aspect_Id): Add Simple_Storage_Pool_Type.
 850         (Impl_Defined_Aspects): Add association for
 851         Aspect_Simple_Storage_Pool_Type.
 852         (Aspect_Names): Add
 853         association for Aspect_Simple_Storage_Pool_Type.
 854         * aspects.adb:
 855         (Canonical_Aspect): Add association for Simple_Storage_Pool_Type.
 856         * exp_attr.adb (Expand_N_Attribute_Reference):
 857         Change name to Name_Simple_Storage_Pool_Type.
 858         * exp_ch4.adb (Expand_N_Allocator): Change
 859         name to Name_Simple_Storage_Pool_Type.
 860         * exp_intr.adb (Expand_Unc_Deallocation): Change name to
 861         Name_Simple_Storage_Pool_Type.  * freeze.adb (Freeze_Entity):
 862         Change names to Name_Simple_Storage_Pool_Type.  * par-prag.adb:
 863         Change names to Name_Simple_Storage_Pool_Type.  * sem_attr.adb:
 864         (Analyze_Attribute): Change name to Name_Simple_Storage_Pool_Type.
 865         * sem_ch13.adb (Analyze_Attribute_Definition_Clause):
 866         Change name to Name_Simple_Storage_Pool_Type.
 867         * sem_prag.adb:
 868         (Analyze_Pragma): Change name to Name_Simple_Storage_Pool_Type.
 869         (Sig_Flags): Change name to Name_Simple_Storage_Pool_Type.
 870         * sem_res.adb (Resolve_Allocator): Change name to
 871         Name_Simple_Storage_Pool_Type.  * snames.ads-tmpl:
 872         (Name_Simple_Storage_Pool_Type): New name constant.
 873         (type Pragma_Id): Change name to Name_Simple_Storage_Pool_Type and
 874         move to main pragma section because it no longer matches the
 875         attribute name.
 876         * snames.adb-tmpl (Get_Pragma_Id): Remove test for
 877         Name_Simple_Storage_Pool.
 878         (Is_Pragma_Name): Remove test for Name_Simple_Storage_Pool.
 879
 880 2012-02-08  Robert Dewar  <dewar@adacore.com>
 881
 882         * gnat_ugn.texi: Add some clarification to -gnatwA and -gnatws.
 883
 884 2012-02-08  Pascal Obry  <obry@adacore.com>
 885
 886         * prj.adb (Compute_All_Imported_Projects): Use new
 887         For_Project_And_Aggregated_Context to ensure proper context is
 888         used for encapsulated aggregate libraries.
 889         * prj-proc.adb (Recursive_Process): Call
 890         Process_Aggregated_Projects earlier to ensure that all dependent
 891         projects are set with the proper encapsulated status.
 892
 893 2012-02-08  Pascal Obry  <obry@adacore.com>
 894
 895         * s-os_lib.adb (Normalize_Arguments): Properly escape last \ in null
 896         terminated string.
 897
 898 2012-02-08  Pascal Obry  <obry@adacore.com>
 899
 900         * prj.ads, prj.adb (For_Project_And_Aggregated_Context): New
 901         generic routine with a context parameter.
 902
 903 2012-02-08  Robert Dewar  <dewar@adacore.com>
 904
 905         * a-coinve.adb, sem_util.adb, sem_ch8.adb, a-cobove.adb,
 906         a-convec.adb: Minor reformatting and code reorganization.
 907
 908 2012-02-08  Steve Baird  <baird@adacore.com>
 909
 910         * sem_cat.adb (In_Preelaborated_Unit): A child
 911         unit instantiation does not inherit preelaboration requirements
 912         from its parent.
 913
 914 2012-02-08  Gary Dismukes  <dismukes@adacore.com>
 915
 916         * aspects.ads (type Aspect_Id): Add Aspect_Simple_Storage_Pool.
 917         (Impl_Defined_Aspects): Add entry for Aspect_Simple_Storage_Pool.
 918         (Aspect_Argument): Add Name entry for Aspect_Simple_Storage_Pool.
 919         (Aspect_Names): Add entry for Aspect_Simple_Storage_Pool.
 920         * aspects.adb (Canonical_Aspect): Add entry for
 921         Aspect_Simple_Storage_Pool.
 922         * exp_attr.adb (Expand_N_Attribute_Reference): Handle case of
 923         Attribute_Simple_Storage_Pool in the same way as Storage_Pool
 924         (add conversion, analyze/resolve). For the Storage_Size attribute,
 925         for the simple pool case, locate and use the simple pool type's
 926         Storage_Size function (if any), otherwise evaluate to zero.
 927         * exp_ch4.adb (Expand_N_Allocator): In the case of an allocator
 928         for an access type with an associated simple storage pool,
 929         locate and use the pool type's Allocate.
 930         * exp_intr.adb (Expand_Unc_Deallocation): In the case where the
 931         access type has a simple storage pool, locate the pool type's
 932         Deallocate procedure (if present) and use it as the procedure
 933         to call on the Free operation.
 934         * freeze.adb (Freeze_Entity): In the case of a full type for
 935         a private type defined with pragma Simple_Storage_Pool, check
 936         that the full type is also appropriate for the pragma. For
 937         a simple storage pool type, validate that the operations
 938         Allocate, Deallocate (if present), and Storage_Size
 939         (if present) are defined with appropriate expected profiles.
 940         (Validate_Simple_Pool_Op_Formal): New procedure
 941         (Validate_Simple_Pool_Operation): New procedure Add with and
 942         use of Rtsfind.
 943         * par-prag.adb: Add Pragma_Simple_Storage_Pool to case statement
 944         (no action required).
 945         * sem_attr.adb (Analyze_Attribute): For the case of the
 946         Storage_Pool attribute, give a warning if the prefix type has an
 947         associated simple storage pool, and rewrite the attribute as a
 948         raise of Program_Error. In the case of the Simple_Storage_Pool
 949         attribute, check that the prefix type has an associated simple
 950         storage pool, and set the attribute type to the pool's type.
 951         * sem_ch13.adb (Analyze_Aspect_Specifications): Add
 952         Aspect_Simple_Storage_Pool case choice.
 953         (Analyze_Attribute_Definition_Clause): Add
 954         Aspect_Simple_Storage_Pool to case for Ignore_Rep_Clauses
 955         (no action). Add handling for Simple_Storage_Pool attribute
 956         definition, requiring the name to denote a simple storage pool
 957         object.
 958         (Check_Aspect_At_Freeze_Point): For a simple storage pool
 959         aspect, set the type to that of the name specified for the aspect.
 960         * sem_prag.adb (Analyze_Pragma): Add handling for pragma
 961         Simple_Storage_Pool, requiring that it applies to a library-level
 962         type declared in a package declaration that is a limited private
 963         or limited record type.
 964         * sem_res.adb (Resolve_Allocator): Flag an attempt to call a
 965         build-in-place function in an allocator for an access type with
 966         a simple storage pool as unsupported.
 967         * snames.ads-tmpl: Add Name_Simple_Storage_Pool.
 968         (type Attribute_Id): Add Attribute_Simple_Storage_Pool.
 969         (type Pragma_Id): Add Pragma_Simple_Storage_Pool.
 970         * snames.adb-tmpl (Get_Pragma_Id): Handle case of
 971         Name_Simple_Storage_Pool.
 972         (Is_Pragma_Name): Return True for Name_Simple_Storage_Pool.
 973
 974 2012-02-08  Cyrille Comar  <comar@adacore.com>
 975
 976         * projects.texi: Clarify doc for interfaces.
 977
 978 2012-02-07  Eric Botcazou  <ebotcazou@adacore.com>
 979
 980         * gcc-interface/Make-lang.in (GCC_LINKERFLAGS): New variable.
 981         (GCC_LINK): Use it.
 982
 983 2012-02-01  Tristan Gingold  <gingold@adacore.com>
 984
 985         * gcc-interface/trans.c (Loop_Statement_to_gnu): Use sizetype
 986         instead of size_type_node.
 987
 988 2012-01-30  Nicolas Roche  <roche@adacore.com>
 989
 990         * gcc-interface/Make-lang.in: Update dependencies.
 991         * gcc-interface/Makefile.in: Use system-vxworks-system-ppc-mils.ads
 992         when needed.
 993         Remove Linker_Options -crtbe when building sjlj run-time.
 994
 995 2012-01-30  Robert Dewar  <dewar@adacore.com>
 996
 997         * sem.adb (Analyze): Call Analyze_Mod for N_Op_Mod mode.
 998         * sem_ch3.adb (Modular_Type_Declaration): Warn on mod value of
 999         form 2 * small-literal.
1000         * sem_ch4.adb (Analyze_Mod): New procedure (warn on suspicious
1001         mod value).
1002         * sem_ch4.ads (Analyze_Mod): New procedure.
1003
1004 2012-01-30  Ed Schonberg  <schonberg@adacore.com>
1005
1006         * sem_ch6.adb: sem_ch6.adb (Analyze_Expression_Function): Copy
1007         types and return expression when building spec for implicit
1008         body, to preserve global references that may be present in an
1009         instantiation.
1010
1011 2012-01-30  Matthew Heaney  <heaney@adacore.com>
1012
1013         * a-convec.adb, a-coinve.adb, a-cobove.adb (Sort,
1014         Reverse_Elements): Check for cursor tampering.
1015
1016 2012-01-30  Ed Schonberg  <schonberg@adacore.com>
1017
1018         * sem_util.adb (Is_Fully_Initialized_Type): In Ada 2012, a
1019         type with aspect Default_Value or Default_Component_Value is
1020         fully initialized, and use of variables of such types do not
1021         generate warnings.
1022
1023 2012-01-30  Javier Miranda  <miranda@adacore.com>
1024
1025 PR ada/15846
1026         * sem_ch8.adb (Analyze_Subprogram_Renaming):
1027         Handle self-renaming when the renamed entity is referenced using
1028         its expanded name.
1029
1030 2012-01-30  Vincent Celier  <celier@adacore.com>
1031
1032         * projects.texi: Add documentation for attribute Interfaces.
1033
1034 2012-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
1035
1036         * exp_ch7.adb (Build_Finalizer_Call): Set loc again.
1037         * exp_ch11.adb (Expand_At_End_Handler): Do not provide a source
1038         location for the wrapped call to the original AT_END routine
1039         and the subsequent return statement.
1040
1041 2012-01-30  Pascal Obry  <obry@adacore.com>
1042
1043         * s-rannum.adb: Minor reformatting.
1044
1045 2012-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
1046
1047         * a-calend-vms.adb, a-calend.adb: Increment the number of leap seconds
1048         to 25 and add the hard time value for 2012-06-30.
1049
1050 2012-01-30  Robert Dewar  <dewar@adacore.com>
1051
1052         * a-strhas.ads, einfo.adb, einfo.ads, exp_ch7.adb, exp_ch9.adb,
1053         freeze.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-proc.adb, s-llflex.ads,
1054         s-ransee.adb, s-ransee.ads, sem_ch13.adb, sem_dim.adb, sem_prag.adb:
1055         Minor reformatting/code reorganization.
1056
1057 2012-01-30  Thomas Quinot  <quinot@adacore.com>
1058
1059         * s-rannum.adb, s-ransee.adb, s-ransee.ads (Get_Seed): Return
1060         Unsigned_64 rather than Duration.
1061         (System.Random_Numbers.Reset): Use full value of seed
1062         (do not truncate sub-second bits).
1063
1064 2012-01-30  Thomas Quinot  <quinot@adacore.com>
1065
1066         * sem_cat.adb, sem_ch12.adb: Minor reformatting.
1067
1068 2012-01-30  Yannick Moy  <moy@adacore.com>
1069
1070         * gnat_ugn.texi: Minor correction of GNAT UG, to take into
1071         account changes to -gnatwa and more recent warnings.
1072
1073 2012-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
1074
1075         * exp_ch7.adb (Build_Finalizer_Call): Do not provide a source
1076         location when creating a call to a finalizer.
1077         * exp_ch11.adb (Expand_Exception_Handlers): Do not provide
1078         a source location for the first actual of Save_Occurrence for
1079         consistency sake.
1080
1081 2012-01-30  Ed Schonberg  <schonberg@adacore.com>
1082
1083         * einfo.ads, einfo,adb: New attribute on scalar types:
1084         Default_Aspect_Value New attribute on  array types:
1085         Default_Aspect_Component_Value Move attribute Related_Array_Object
1086         to a different position to accomodate new aspect attributes.
1087         * freeze.adb (Freeze_Entity): Use new attributes to retrieve value
1088         of defaults set with an aspect specification, rather than using
1089         the list of aspects attached to the type, to prevent issues with
1090         partial views.
1091         * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
1092         Default_Value and Default_Component _Value, store corresponding
1093         expression in type entity.
1094         (Check_Aspect_At_End_Of_Declaration): If the default aspects
1095         are declared on the full view, use the full view to resolve the
1096         correseponding expression.
1097         * exp_ch3.adb (Init_Component): Use attribute
1098         Default_Aspect_Component_Value to perform default initialization,
1099         rather than relying on the rep item list for the type.
1100         (Get_Simple_Init_Val): Ditto.
1101
1102 2012-01-30  Thomas Quinot  <quinot@adacore.com>
1103
1104         * a-strhas.ads: Document risk of collision attack.
1105
1106 2012-01-30  Yannick Moy  <moy@adacore.com>
1107
1108         * gnat_ugn.texi: Minor update wrt warning switches.
1109
1110 2012-01-30  Vincent Celier  <celier@adacore.com>
1111
1112         * prj-nmsc.adb (Check_Interfaces): Report an error when a
1113         unit from Library_Interface is not a unit of the project.
1114
1115 2012-01-30  Vincent Pucci  <pucci@adacore.com>
1116
1117         * sem_prag.adb (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Parent
1118         links fixed inside PPC pragmas.
1119         * sem_ch12.adb: Move call to Make_Aspect_For_PPC_In_Gen_Sub_Decl.
1120
1121 2012-01-30  Thomas Quinot  <quinot@adacore.com>
1122
1123         * s-ransee.ads: Minor reformatting.
1124
1125 2012-01-30  Pascal Obry  <obry@adacore.com>
1126
1127         * prj.ads, prj.adb (For_Each_Source): Add support for skipping
1128         sources coming from an encapsulated library.
1129
1130 2012-01-30  Ed Schonberg  <schonberg@adacore.com>
1131
1132         * sem_ch3.adb (Process-Full_View): fix typo.
1133         * sem_ch13.adb (Aalyze_Aspect_Specifications): if predicates
1134         appear on a private type and the full view is available, ensure
1135         existence of freeze node for full view.
1136         (Build_Predicate_Function): Attach predicate function to both
1137         views of a private type.
1138
1139 2012-01-30  Vincent Celier  <celier@adacore.com>
1140
1141         * prj-nmsc.adb (Check_Interfaces): Compute the Lib_Interface_ALIs
1142         for the project if either attribute Library_Interface or
1143         Interfaces is declared.
1144         (Check_Stand_Alone_Library): Use Lib_Interface_ALIs computed in
1145         Check_Interfaces.
1146
1147 2012-01-30  Pascal Obry  <obry@adacore.com>
1148
1149         * prj-proc.adb (Recursive_Process): Set From_Encapsulated_Lib
1150         boolean value to true in the process list created by this routine.
1151         * prj.ads (Project_List_Element): New field From_Encapsulated_Lib.
1152         Continued work for KA06-021.
1153         * prj.adb (Compute_All_Imported_Projects): Set
1154         From_Encapsulated_Lib boolean flag.
1155
1156 2012-01-30  Vincent Pucci  <pucci@adacore.com>
1157
1158         * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Minor
1159         code clean up.
1160         * s-diflio.ads: Minor change.
1161
1162 2012-01-30  Javier Miranda  <miranda@adacore.com>
1163
1164         * exp_ch9.adb (Build_Dispatching_Requeue): Add missing call
1165         to Get_Entry_Index.  Required to generate code which provides
1166         the correct value of Entry_Index in the target entry.
1167
1168 2012-01-30  Nicolas Roche  <roche@adacore.com>
1169
1170         * system-vxworks-ppc.ads: Add pragma Linker_Options -crtbe to
1171         fix issue with zcx on VxWorks5.
1172
1173 2012-01-30  Pascal Obry  <obry@adacore.com>
1174
1175         * prj.ads, prj.adb (For_Every_Project_Imported): Remove
1176         In_Aggregate_Lib.
1177         (For_Every_Project_Imported_Context): New generic routine with
1178         a context parameter.
1179         * prj-nmsc.adb: Revert to use For_Every_Project_Imported Avoid
1180         distributed complexity.
1181         * prj-env.adb, prj-conf.adb, makeutl.adb, gnatcmd.adb: Ditto.
1182
1183 2012-01-30  Thomas Quinot  <quinot@adacore.com>
1184
1185         * exp_aggr.adb (Expand_Record_Aggregate): After creating the
1186         _parent aggregate for an extension aggregate, check whether it
1187         requires delayed (top-down) expansion.
1188
1189 2012-01-30  Vincent Pucci  <pucci@adacore.com>
1190
1191         * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Rewritten.
1192         * snames.ads-tmpl: Name_Item and Name_Symbols added.
1193         * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads: Rename
1194         and change the position of parameter Symbols in every Put routine.
1195         * s-dimmks.ads: Convert long float type Mks_Type into long
1196         long float.
1197         * s-llflex.ads: Modifications in comments.
1198
1199 2012-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
1200
1201         * sem_ch12.adb (Earlier): Do not use the
1202         top level source locations of the two input nodes.
1203
1204 2012-01-30  Robert Dewar  <dewar@adacore.com>
1205
1206         * einfo.ads, sem_prag.adb, sem_attr.adb, aspects.ads,
1207         sem_cat.adb, sem_aggr.adb, exp_aggr.adb: Minor reformatting.
1208
1209 2012-01-30  Robert Dewar  <dewar@adacore.com>
1210
1211         * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
1212
1213 2012-01-30  Olivier Hainque  <hainque@adacore.com>
1214
1215         * sigtramp-ppcvxw.c (CFI_COMMON_REGS): Add rule for r1 back +
1216         comments.
1217
1218 2012-01-30  Thomas Quinot  <quinot@adacore.com>
1219
1220         * gnat_rm.texi, sem_dist.adb, sem_dist.ads, einfo.ads, sem_prag.adb,
1221         sem_ch12.adb, sem_attr.adb, aspects.adb, aspects.ads, par-prag.adb,
1222         sem_cat.adb, snames.ads-tmpl (Sem_Dist.Is_Valid_Remote_Object_Type):
1223         New subprogram (extracted from
1224         Sem_Cat.Validate_Remote_Access_Object_Type_Declaration).
1225         (Einfo.Is_Remote_Types): Now applies to generic types. Update
1226         documentation accordingly.
1227         (Sem_Ch12.Analyze_Associations): A RACW type is acceptable as
1228         actual for a formal type to which a pragma Remote_Access_Type
1229         applies.
1230         (Aspects, Par.Prag, Sem_Prag): Support for new pramga/aspect
1231         Remote_Access_Type.
1232         (Sem_Attr.Analyze_Attribute, case Stub_Type): Attribute can
1233         be applied to a generic type if pragma Remote_Access_Type
1234         applies, in which case the type of the attribute is
1235         System.Partition_Interface.RACW_Stub_Type.
1236
1237 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
1238
1239         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Do not set
1240         an alignment on fields of the RETURN type built for the CICO mechanism.
1241
1242 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
1243
1244         * gcc-interface/trans.c (gnat_to_gnu): Avoid making a SAVE_EXPR for
1245         a call to a function that returns an unconstrained type with default
1246         discriminant.  Similarly, avoid doing the conversion to the nominal
1247         result type in this case.
1248
1249 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
1250
1251         * gcc-interface/ada-tree.h (DECL_ALIASED_P): New flag.
1252         * gcc-interface/decl.c (is_variable_size): Rename to...
1253         (type_has_variable_size): ...this.
1254         (adjust_packed): Adjust to above renaming.
1255         (gnat_to_gnu_field): Set DECL_ALIASED_P on the field.
1256         (field_is_artificial): New predicate.
1257         (field_is_aliased): Likewise.
1258         (field_has_self_size): Likewise.
1259         (field_has_variable_size): Likewise.
1260         (components_to_record): Record information for the final layout during
1261         the first pass on fields.
1262         If there is an aliased field placed after a field whose length depends
1263         on discriminants, put all the fields of the latter sort, last.
1264
1265 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
1266
1267         * gcc-interface/gigi.h (get_minimal_subprog_decl): Declare.
1268         * gcc-interface/decl.c (get_minimal_subprog_decl): New function.
1269         * gcc-interface/trans.c (Attribute_to_gnu): Use it for the prefix of an
1270         Access-like attribute in a dispatch table if the subprogram is public.
1271
1272 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
1273
1274         * gcc-interface/gigi.h (create_label_decl): Adjust.
1275         * gcc-interface/utils.c (create_label_decl): Add GNAT_NODE parameter
1276         and invoke gnat_pushdecl on it.  Remove obsolete settings.
1277         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Label>: Adjust call to
1278         create_label_decl.
1279         * gcc-interface/trans.c (gnat_to_gnu) <N_Null): Likewise.  Ignore the
1280         label for debugging purposes.
1281
1282 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
1283
1284         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an aliased
1285         object with an unconstrained nominal subtype and if optimization isn't
1286         enabled, create a special VAR_DECL for debugging purposes.
1287
1288 2012-01-23  Robert Dewar  <dewar@adacore.com>
1289
1290         * sem_prag.ads, sem_prag.adb: Minor reformatting.
1291
1292 2012-01-23  Robert Dewar  <dewar@adacore.com>
1293
1294         * sem_ch13.adb (Analyze_Aspect_Specifications): Check for
1295         language defined aspect applied to renaming or formal type
1296         declaration (not permitted)
1297
1298 2012-01-23  Matthew Heaney  <heaney@adacore.com>
1299
1300         * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced
1301         comment with pragma Assert.
1302
1303 2012-01-23  Vincent Pucci  <pucci@adacore.com>
1304
1305         * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
1306         to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
1307         * sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
1308         routine. In ASIS mode, convert any PPC pragmas into aspects in generic
1309         subprogram declaration in order to enable the analysis of PPC boolean
1310         expressions.
1311
1312 2012-01-23  Robert Dewar  <dewar@adacore.com>
1313
1314         * sem_ch3.adb (Analyze_Object_Declaration): Properly
1315         handle Current_Value for volatile variables (also propagate
1316         Treat_As_Volatile from type to object).
1317
1318 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
1319
1320         * sem_ch12.adb (Install_Body): Detect the case
1321         where the enclosing context is a package with a stub body that
1322         has already been replaced by the actual body. In such cases,
1323         the freeze node for the enclosing context must be inserted after
1324         the real body.
1325
1326 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
1327
1328         * sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called
1329         subprogram before expanding the pragma into an if-statement with
1330         a block, to ensure that when the subprogram is null its body is
1331         properly generated before expansion.
1332
1333 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
1334
1335         * sem_ch12.adb (Analyze_Associations): Alphabetize local variables and
1336         constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal
1337         to Saved_Formal.
1338         Freeze all eligible subprograms which appear as actuals in
1339         the instantiation.
1340         (Has_Fully_Defined_Profile): New routine.
1341         (Renames_Standard_Subprogram): New routine.
1342         (Earlier): Add local variable N. Comment update. Do not use source
1343         locations when trying to determine whether one node precedes another.
1344
1345 2012-01-23  Gary Dismukes  <dismukes@adacore.com>
1346
1347         * exp_ch4.adb (Expand_Concatenate): In the case
1348         where the result of a concatentation can be null, set the to
1349         result have both the low and high bounds of the right operand (not
1350         just the high bound, as was the case prior to this fix). Also,
1351         fix the saved high bound setting (Last_Opnd_High_Bound) in the
1352         empty string literal case (should have been low bound minus one,
1353         rather than plus one).
1354
1355 2012-01-23  Thomas Quinot  <quinot@adacore.com>
1356
1357         * scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
1358         omit statement SCOs for disabled pragmas.
1359
1360 2012-01-23  Matthew Heaney  <heaney@adacore.com>
1361
1362         * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
1363         a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
1364         a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
1365         a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
1366         Cursor'Write): Declare in private part.
1367         (Reference_Type'Read, Reference_Type'Write): Ditto.
1368         (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.
1369
1370 2012-01-23  Robert Dewar  <dewar@adacore.com>
1371
1372         * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
1373         reformatting.
1374
1375 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
1376
1377         * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the
1378         Corresponding_Body on a defaulted null formal subprogram.
1379         * sem_ch12.adb (Check_Formal_Package_Instance): No check needed
1380         on a defaulted formal subprogram that is a null procedure.
1381
1382 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
1383
1384         * exp_ch9.adb: Update the comments involving pragma Implemented.
1385         * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
1386         constant Subp_Alias and local variable Impl_Subp. Properly
1387         handle aliases of synchronized wrappers. Code cleanup.
1388         (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
1389         Name_Optional as part of the condition.
1390         * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
1391         valid choices of implementation kind.
1392         (Check_Arg_Is_One_Of): New routine.
1393         * snames.ads-tmlp: Add Name_Optional.
1394
1395 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
1396
1397         * par-ch13.adb: Better error recovery in illegal aspect
1398         specification.
1399
1400 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
1401
1402         * a-calend.adb: Add with clause for Interfaces.C. Add constant
1403         Unix_Max.
1404         (Day_Of_Week): Call the internal UTC_Time_Offset.
1405         (Split): Call the internal UTC_Time_Offset.
1406         (Time_Of): Call the internal UTC_Time_Offset.
1407         (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset.
1408         (UTC_Time_Offset): New library-level routine.
1409         * a-calend.ads (UTC_Time_Offset): Remove parameter
1410         Is_Historic. Update related comment on usage.
1411         * a-catizo.adb (UTC_Time_Offset): Removed.
1412         (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset.
1413         * a-caltizo.ads (UTC_Time_Offset): Removed.
1414         (UTC_Time_Offset (Time)): Add back the default expression of parameter
1415         Date.
1416
1417 2012-01-23  Robert Dewar  <dewar@adacore.com>
1418
1419         * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter
1420         (pg,po,ps): Make sure each entry starts on new line.
1421
1422 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
1423
1424         * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update
1425         the parameter profile of procedure localtime_tzoff and its associated
1426         comment.
1427         (Day_Of_Week): Do not treat the input date as historical
1428         with respect to time zones.
1429         (Split): Do not treat the input
1430         date as historical with respect to time zones.  (Time_Of): Do
1431         not treat the input constituents as forming a historical date
1432         with respect to time zones.
1433         (UTC_Time_Offset): Add new formal
1434         parameter Is_Historic. Add local variable Flag. Update the call
1435         to localtime_tzoff.
1436         * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine.
1437         (UTC_Time_Offset (Time)): Update the call to
1438         Time_Zone_Operations.UTC_Time_Offset.
1439         * sysdep.c (__gnat_localtime_tzoff): Update parameter
1440         profile. Split the processing of offsets on Windows into two - one
1441         part of historic time stamps and the other for the current time.
1442
1443 2012-01-23  Robert Dewar  <dewar@adacore.com>
1444
1445         * a-calend.adb: Minor reformatting.
1446
1447 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
1448
1449         * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized
1450         interface in requeue statement.
1451
1452 2012-01-23  Cyrille Comar  <comar@adacore.com>
1453
1454         * projects.texi: Remove references to main units and replace
1455         with references to main programs to be coherent with the
1456         documentation.
1457
1458 2012-01-23  Robert Dewar  <dewar@adacore.com>
1459
1460         * s-utf_32.adb: Minor reformatting.
1461
1462 2012-01-23  Vincent Celier  <celier@adacore.com>
1463
1464         * snames.ads-tmpl: Minor comment addition Indicate that
1465         Name_Library_Encapsulated_Options is only used in gprbuild.
1466
1467 2012-01-23  Robert Dewar  <dewar@adacore.com>
1468
1469         * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
1470         restrictions.
1471
1472 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
1473
1474         * snames.ads-tmpl: Add Name_Synchronization.
1475         * aspects.ads, aspects.adb: Add Aspect_Synchronization to
1476         enumeration type and related maps.
1477         * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
1478         Synchronization, build corresponding pragma Implemented.
1479         * sem_util.adb (Implementation_Kind): Handle both explicit and
1480         implicit pragma_argument association to retrieve the given
1481         synchronization mode.
1482
1483 2012-01-23  Robert Dewar  <dewar@adacore.com>
1484
1485         * sem_ch10.adb, errout.adb: Minor reformatting.
1486
1487 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
1488
1489         * sem_res.adb (Resolve_Actuals): An actual in a call to an
1490         Ada 2012 Reference function does not lead to a dangerous order
1491         dependence.
1492
1493 2012-01-23  Gary Dismukes  <dismukes@adacore.com>
1494
1495         * exp_util.adb (Is_Iterated_Container): Test
1496         Is_Entity_Name when searching for calls to the default iterator,
1497         to avoid blowing up on indirect calls which have an explicit
1498         dereference as the call name.
1499
1500 2012-01-23  Thomas Quinot  <quinot@adacore.com>
1501
1502         * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
1503         the complete expanded name, rather than just its Selector_Name.
1504
1505 2012-01-23  Thomas Quinot  <quinot@adacore.com>
1506
1507         * a-textio.adb (Put): Rewrite one-parameter Character version to
1508         just call the two-parameter one with Current_Out.
1509
1510 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
1511
1512         * freeze.adb (Check_Current_Instance): Issue an
1513         error when the prefix of 'Unchecked_Access or 'Access does not
1514         denote a legal aliased view of a type.
1515         (Freeze_Record_Type): Do not halt the processing of record components
1516         once the Has_Controlled_Component is set as this bypasses the remaining
1517         checks.
1518         (Is_Aliased_View_Of_Type): New routine.
1519
1520 2012-01-23  Thomas Quinot  <quinot@adacore.com>
1521
1522         * errout.ads, freeze.adb: Minor reformatting.
1523
1524 2012-01-23  Thomas Quinot  <quinot@adacore.com>
1525
1526         * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
1527         messages.
1528
1529 2012-01-23  Olivier Hainque  <hainque@adacore.com>
1530
1531         * adadecode.c (__gnat_decode): Deal with empty input early,
1532         preventing potential erroneous memory access later on.
1533
1534 2012-01-21  Eric Botcazou  <ebotcazou@adacore.com>
1535
1536         PR ada/46192
1537         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a
1538         renaming, preserve the volatileness through the indirection, if any.
1539
1540 2012-01-14  Andreas Schwab  <schwab@linux-m68k.org>
1541
1542         * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
1543         $(GNATLIBCFLAGS).
1544
1545 2012-01-10  Pascal Obry  <obry@adacore.com>
1546
1547         * prj-nmsc.adb (Check_Library_Attributes):
1548         Kill check for object/source directories for aggregate libraries.
1549
1550 2012-01-10  Matthew Heaney  <heaney@adacore.com>
1551
1552         * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
1553         a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
1554         a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
1555         a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
1556         a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
1557         a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
1558         a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
1559         a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
1560         a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
1561         container parameter as aliased in/in out.
1562         Code clean ups.
1563
1564 2012-01-10  Bob Duff  <duff@adacore.com>
1565
1566         * s-os_lib.ads: Improve comment.
1567
1568 2012-01-10  Geert Bosch  <bosch@adacore.com>
1569
1570         * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
1571         for complex Scalar.
1572
1573 2012-01-10  Bob Duff  <duff@adacore.com>
1574
1575         * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
1576         checking that the 'Size is correct. If the type is "mod 2**12",
1577         for example, it's illegal, but Esize is the 'Object_Size, which
1578         will be something like 16 or 32, so the error ('Size = 12) was
1579         not detected.
1580         * gnat_rm.texi: Improve documentation of shift
1581         and rotate intrinsics.
1582
1583 2012-01-10  Pascal Obry  <obry@adacore.com>
1584
1585         * prj.adb (For_Every_Project_Imported): Fix
1586         implementation to make sure we return each project only once
1587         for aggragte libraries. It is fine to return a project twice for
1588         aggregate projects, this was the case as a Project_Id is different
1589         in each project tree. The new implementation use a table based on
1590         the project name to ensure proper detection of duplicate project
1591         in aggregate library. A new context is then created to continue
1592         retrurning duplicate project for aggregate libraries.
1593
1594 2012-01-09  Eric Botcazou  <ebotcazou@adacore.com>
1595
1596         * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
1597         return value in the variable-sized return type case if the target is
1598         an array with fixed size.  However, do not create it if this is the
1599         expression of an object declaration.
1600
1601 2012-01-09  Eric Botcazou  <ebotcazou@adacore.com>
1602
1603         * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.
1604
1605 2012-01-06  Robert Dewar  <dewar@adacore.com>
1606
1607         * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
1608         s-utf_32.ads: Add pragma Pure
1609         * s-utf_32.adb: Suppress warnings on non-static constants (now
1610         that this is Pure).
1611
1612 2012-01-06  Bob Duff  <duff@adacore.com>
1613
1614         * s-rpc.ads (Read, Write): Add overriding indicators.
1615
1616 2012-01-06  Robert Dewar  <dewar@adacore.com>
1617
1618         * gnat_rm.texi: Add documentation for conventions
1619         Ada_Pass_By_Copy and Ada_Pass_By_Reference.
1620
1621 2012-01-06  Gary Dismukes  <dismukes@adacore.com>
1622
1623         * a-tienio.adb (Put): Add exception message on
1624         raise statements. Remove unneeded blocks and object declarations.
1625
1626 2012-01-06  Robert Dewar  <dewar@adacore.com>
1627
1628         * sem_prag.adb: Minor reformatting.
1629
1630 2012-01-06  Ed Schonberg  <schonberg@adacore.com>
1631
1632         * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
1633         that a selected component within a generic unit has been resolved
1634         as a prefixed call with local references.
1635         * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
1636         component is always visible.
1637         * sem_ch4.adb (Analyze_Selected_Component): If the node is a
1638         prefixed call in an instance, do not look for visible components
1639         of the type.
1640         * sem_ch12.adb (Reset_Entity): If a selected component has resolved
1641         to a prefixed call, mark the node accordingly when prefix and
1642         selector are local references.
1643
1644 2012-01-02  Eric Botcazou  <ebotcazou@adacore.com>
1645
1646         * gnatvsn.ads (Current_Year): Bump to 2012.
1647 \f
1648 Copyright (C) 2012 Free Software Foundation, Inc.
1649
1650 Copying and distribution of this file, with or without modification,
1651 are permitted in any medium without royalty provided the copyright
1652 notice and this notice are preserved.