gcc/ada/ChangeLog

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