gcc/ada/ChangeLog

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