gcc/ada/ChangeLog

   1 2012-02-07  Eric Botcazou  <ebotcazou@adacore.com>
   2
   3         * gcc-interface/Make-lang.in (GCC_LINKERFLAGS): New variable.
   4         (GCC_LINK): Use it.
   5
   6 2012-02-01  Tristan Gingold  <gingold@adacore.com>
   7
   8         * gcc-interface/trans.c (Loop_Statement_to_gnu): Use sizetype
   9         instead of size_type_node.
  10
  11 2012-01-30  Nicolas Roche  <roche@adacore.com>
  12
  13         * gcc-interface/Make-lang.in: Update dependencies.
  14         * gcc-interface/Makefile.in: Use system-vxworks-system-ppc-mils.ads
  15         when needed.
  16         Remove Linker_Options -crtbe when building sjlj run-time.
  17
  18 2012-01-30  Robert Dewar  <dewar@adacore.com>
  19
  20         * sem.adb (Analyze): Call Analyze_Mod for N_Op_Mod mode.
  21         * sem_ch3.adb (Modular_Type_Declaration): Warn on mod value of
  22         form 2 * small-literal.
  23         * sem_ch4.adb (Analyze_Mod): New procedure (warn on suspicious
  24         mod value).
  25         * sem_ch4.ads (Analyze_Mod): New procedure.
  26
  27 2012-01-30  Ed Schonberg  <schonberg@adacore.com>
  28
  29         * sem_ch6.adb: sem_ch6.adb (Analyze_Expression_Function): Copy
  30         types and return expression when building spec for implicit
  31         body, to preserve global references that may be present in an
  32         instantiation.
  33
  34 2012-01-30  Matthew Heaney  <heaney@adacore.com>
  35
  36         * a-convec.adb, a-coinve.adb, a-cobove.adb (Sort,
  37         Reverse_Elements): Check for cursor tampering.
  38
  39 2012-01-30  Ed Schonberg  <schonberg@adacore.com>
  40
  41         * sem_util.adb (Is_Fully_Initialized_Type): In Ada 2012, a
  42         type with aspect Default_Value or Default_Component_Value is
  43         fully initialized, and use of variables of such types do not
  44         generate warnings.
  45
  46 2012-01-30  Javier Miranda  <miranda@adacore.com>
  47
  48 PR ada/15846
  49         * sem_ch8.adb (Analyze_Subprogram_Renaming):
  50         Handle self-renaming when the renamed entity is referenced using
  51         its expanded name.
  52
  53 2012-01-30  Vincent Celier  <celier@adacore.com>
  54
  55         * projects.texi: Add documentation for attribute Interfaces.
  56
  57 2012-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
  58
  59         * exp_ch7.adb (Build_Finalizer_Call): Set loc again.
  60         * exp_ch11.adb (Expand_At_End_Handler): Do not provide a source
  61         location for the wrapped call to the original AT_END routine
  62         and the subsequent return statement.
  63
  64 2012-01-30  Pascal Obry  <obry@adacore.com>
  65
  66         * s-rannum.adb: Minor reformatting.
  67
  68 2012-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
  69
  70         * a-calend-vms.adb, a-calend.adb: Increment the number of leap seconds
  71         to 25 and add the hard time value for 2012-06-30.
  72
  73 2012-01-30  Robert Dewar  <dewar@adacore.com>
  74
  75         * a-strhas.ads, einfo.adb, einfo.ads, exp_ch7.adb, exp_ch9.adb,
  76         freeze.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-proc.adb, s-llflex.ads,
  77         s-ransee.adb, s-ransee.ads, sem_ch13.adb, sem_dim.adb, sem_prag.adb:
  78         Minor reformatting/code reorganization.
  79
  80 2012-01-30  Thomas Quinot  <quinot@adacore.com>
  81
  82         * s-rannum.adb, s-ransee.adb, s-ransee.ads (Get_Seed): Return
  83         Unsigned_64 rather than Duration.
  84         (System.Random_Numbers.Reset): Use full value of seed
  85         (do not truncate sub-second bits).
  86
  87 2012-01-30  Thomas Quinot  <quinot@adacore.com>
  88
  89         * sem_cat.adb, sem_ch12.adb: Minor reformatting.
  90
  91 2012-01-30  Yannick Moy  <moy@adacore.com>
  92
  93         * gnat_ugn.texi: Minor correction of GNAT UG, to take into
  94         account changes to -gnatwa and more recent warnings.
  95
  96 2012-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
  97
  98         * exp_ch7.adb (Build_Finalizer_Call): Do not provide a source
  99         location when creating a call to a finalizer.
 100         * exp_ch11.adb (Expand_Exception_Handlers): Do not provide
 101         a source location for the first actual of Save_Occurrence for
 102         consistency sake.
 103
 104 2012-01-30  Ed Schonberg  <schonberg@adacore.com>
 105
 106         * einfo.ads, einfo,adb: New attribute on scalar types:
 107         Default_Aspect_Value New attribute on  array types:
 108         Default_Aspect_Component_Value Move attribute Related_Array_Object
 109         to a different position to accomodate new aspect attributes.
 110         * freeze.adb (Freeze_Entity): Use new attributes to retrieve value
 111         of defaults set with an aspect specification, rather than using
 112         the list of aspects attached to the type, to prevent issues with
 113         partial views.
 114         * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
 115         Default_Value and Default_Component _Value, store corresponding
 116         expression in type entity.
 117         (Check_Aspect_At_End_Of_Declaration): If the default aspects
 118         are declared on the full view, use the full view to resolve the
 119         correseponding expression.
 120         * exp_ch3.adb (Init_Component): Use attribute
 121         Default_Aspect_Component_Value to perform default initialization,
 122         rather than relying on the rep item list for the type.
 123         (Get_Simple_Init_Val): Ditto.
 124
 125 2012-01-30  Thomas Quinot  <quinot@adacore.com>
 126
 127         * a-strhas.ads: Document risk of collision attack.
 128
 129 2012-01-30  Yannick Moy  <moy@adacore.com>
 130
 131         * gnat_ugn.texi: Minor update wrt warning switches.
 132
 133 2012-01-30  Vincent Celier  <celier@adacore.com>
 134
 135         * prj-nmsc.adb (Check_Interfaces): Report an error when a
 136         unit from Library_Interface is not a unit of the project.
 137
 138 2012-01-30  Vincent Pucci  <pucci@adacore.com>
 139
 140         * sem_prag.adb (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Parent
 141         links fixed inside PPC pragmas.
 142         * sem_ch12.adb: Move call to Make_Aspect_For_PPC_In_Gen_Sub_Decl.
 143
 144 2012-01-30  Thomas Quinot  <quinot@adacore.com>
 145
 146         * s-ransee.ads: Minor reformatting.
 147
 148 2012-01-30  Pascal Obry  <obry@adacore.com>
 149
 150         * prj.ads, prj.adb (For_Each_Source): Add support for skipping
 151         sources coming from an encapsulated library.
 152
 153 2012-01-30  Ed Schonberg  <schonberg@adacore.com>
 154
 155         * sem_ch3.adb (Process-Full_View): fix typo.
 156         * sem_ch13.adb (Aalyze_Aspect_Specifications): if predicates
 157         appear on a private type and the full view is available, ensure
 158         existence of freeze node for full view.
 159         (Build_Predicate_Function): Attach predicate function to both
 160         views of a private type.
 161
 162 2012-01-30  Vincent Celier  <celier@adacore.com>
 163
 164         * prj-nmsc.adb (Check_Interfaces): Compute the Lib_Interface_ALIs
 165         for the project if either attribute Library_Interface or
 166         Interfaces is declared.
 167         (Check_Stand_Alone_Library): Use Lib_Interface_ALIs computed in
 168         Check_Interfaces.
 169
 170 2012-01-30  Pascal Obry  <obry@adacore.com>
 171
 172         * prj-proc.adb (Recursive_Process): Set From_Encapsulated_Lib
 173         boolean value to true in the process list created by this routine.
 174         * prj.ads (Project_List_Element): New field From_Encapsulated_Lib.
 175         Continued work for KA06-021.
 176         * prj.adb (Compute_All_Imported_Projects): Set
 177         From_Encapsulated_Lib boolean flag.
 178
 179 2012-01-30  Vincent Pucci  <pucci@adacore.com>
 180
 181         * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Minor
 182         code clean up.
 183         * s-diflio.ads: Minor change.
 184
 185 2012-01-30  Javier Miranda  <miranda@adacore.com>
 186
 187         * exp_ch9.adb (Build_Dispatching_Requeue): Add missing call
 188         to Get_Entry_Index.  Required to generate code which provides
 189         the correct value of Entry_Index in the target entry.
 190
 191 2012-01-30  Nicolas Roche  <roche@adacore.com>
 192
 193         * system-vxworks-ppc.ads: Add pragma Linker_Options -crtbe to
 194         fix issue with zcx on VxWorks5.
 195
 196 2012-01-30  Pascal Obry  <obry@adacore.com>
 197
 198         * prj.ads, prj.adb (For_Every_Project_Imported): Remove
 199         In_Aggregate_Lib.
 200         (For_Every_Project_Imported_Context): New generic routine with
 201         a context parameter.
 202         * prj-nmsc.adb: Revert to use For_Every_Project_Imported Avoid
 203         distributed complexity.
 204         * prj-env.adb, prj-conf.adb, makeutl.adb, gnatcmd.adb: Ditto.
 205
 206 2012-01-30  Thomas Quinot  <quinot@adacore.com>
 207
 208         * exp_aggr.adb (Expand_Record_Aggregate): After creating the
 209         _parent aggregate for an extension aggregate, check whether it
 210         requires delayed (top-down) expansion.
 211
 212 2012-01-30  Vincent Pucci  <pucci@adacore.com>
 213
 214         * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Rewritten.
 215         * snames.ads-tmpl: Name_Item and Name_Symbols added.
 216         * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads: Rename
 217         and change the position of parameter Symbols in every Put routine.
 218         * s-dimmks.ads: Convert long float type Mks_Type into long
 219         long float.
 220         * s-llflex.ads: Modifications in comments.
 221
 222 2012-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
 223
 224         * sem_ch12.adb (Earlier): Do not use the
 225         top level source locations of the two input nodes.
 226
 227 2012-01-30  Robert Dewar  <dewar@adacore.com>
 228
 229         * einfo.ads, sem_prag.adb, sem_attr.adb, aspects.ads,
 230         sem_cat.adb, sem_aggr.adb, exp_aggr.adb: Minor reformatting.
 231
 232 2012-01-30  Robert Dewar  <dewar@adacore.com>
 233
 234         * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
 235
 236 2012-01-30  Olivier Hainque  <hainque@adacore.com>
 237
 238         * sigtramp-ppcvxw.c (CFI_COMMON_REGS): Add rule for r1 back +
 239         comments.
 240
 241 2012-01-30  Thomas Quinot  <quinot@adacore.com>
 242
 243         * gnat_rm.texi, sem_dist.adb, sem_dist.ads, einfo.ads, sem_prag.adb,
 244         sem_ch12.adb, sem_attr.adb, aspects.adb, aspects.ads, par-prag.adb,
 245         sem_cat.adb, snames.ads-tmpl (Sem_Dist.Is_Valid_Remote_Object_Type):
 246         New subprogram (extracted from
 247         Sem_Cat.Validate_Remote_Access_Object_Type_Declaration).
 248         (Einfo.Is_Remote_Types): Now applies to generic types. Update
 249         documentation accordingly.
 250         (Sem_Ch12.Analyze_Associations): A RACW type is acceptable as
 251         actual for a formal type to which a pragma Remote_Access_Type
 252         applies.
 253         (Aspects, Par.Prag, Sem_Prag): Support for new pramga/aspect
 254         Remote_Access_Type.
 255         (Sem_Attr.Analyze_Attribute, case Stub_Type): Attribute can
 256         be applied to a generic type if pragma Remote_Access_Type
 257         applies, in which case the type of the attribute is
 258         System.Partition_Interface.RACW_Stub_Type.
 259
 260 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 261
 262         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Do not set
 263         an alignment on fields of the RETURN type built for the CICO mechanism.
 264
 265 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 266
 267         * gcc-interface/trans.c (gnat_to_gnu): Avoid making a SAVE_EXPR for
 268         a call to a function that returns an unconstrained type with default
 269         discriminant.  Similarly, avoid doing the conversion to the nominal
 270         result type in this case.
 271
 272 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 273
 274         * gcc-interface/ada-tree.h (DECL_ALIASED_P): New flag.
 275         * gcc-interface/decl.c (is_variable_size): Rename to...
 276         (type_has_variable_size): ...this.
 277         (adjust_packed): Adjust to above renaming.
 278         (gnat_to_gnu_field): Set DECL_ALIASED_P on the field.
 279         (field_is_artificial): New predicate.
 280         (field_is_aliased): Likewise.
 281         (field_has_self_size): Likewise.
 282         (field_has_variable_size): Likewise.
 283         (components_to_record): Record information for the final layout during
 284         the first pass on fields.
 285         If there is an aliased field placed after a field whose length depends
 286         on discriminants, put all the fields of the latter sort, last.
 287
 288 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 289
 290         * gcc-interface/gigi.h (get_minimal_subprog_decl): Declare.
 291         * gcc-interface/decl.c (get_minimal_subprog_decl): New function.
 292         * gcc-interface/trans.c (Attribute_to_gnu): Use it for the prefix of an
 293         Access-like attribute in a dispatch table if the subprogram is public.
 294
 295 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 296
 297         * gcc-interface/gigi.h (create_label_decl): Adjust.
 298         * gcc-interface/utils.c (create_label_decl): Add GNAT_NODE parameter
 299         and invoke gnat_pushdecl on it.  Remove obsolete settings.
 300         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Label>: Adjust call to
 301         create_label_decl.
 302         * gcc-interface/trans.c (gnat_to_gnu) <N_Null): Likewise.  Ignore the
 303         label for debugging purposes.
 304
 305 2012-01-27  Eric Botcazou  <ebotcazou@adacore.com>
 306
 307         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an aliased
 308         object with an unconstrained nominal subtype and if optimization isn't
 309         enabled, create a special VAR_DECL for debugging purposes.
 310
 311 2012-01-23  Robert Dewar  <dewar@adacore.com>
 312
 313         * sem_prag.ads, sem_prag.adb: Minor reformatting.
 314
 315 2012-01-23  Robert Dewar  <dewar@adacore.com>
 316
 317         * sem_ch13.adb (Analyze_Aspect_Specifications): Check for
 318         language defined aspect applied to renaming or formal type
 319         declaration (not permitted)
 320
 321 2012-01-23  Matthew Heaney  <heaney@adacore.com>
 322
 323         * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced
 324         comment with pragma Assert.
 325
 326 2012-01-23  Vincent Pucci  <pucci@adacore.com>
 327
 328         * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
 329         to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
 330         * sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
 331         routine. In ASIS mode, convert any PPC pragmas into aspects in generic
 332         subprogram declaration in order to enable the analysis of PPC boolean
 333         expressions.
 334
 335 2012-01-23  Robert Dewar  <dewar@adacore.com>
 336
 337         * sem_ch3.adb (Analyze_Object_Declaration): Properly
 338         handle Current_Value for volatile variables (also propagate
 339         Treat_As_Volatile from type to object).
 340
 341 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
 342
 343         * sem_ch12.adb (Install_Body): Detect the case
 344         where the enclosing context is a package with a stub body that
 345         has already been replaced by the actual body. In such cases,
 346         the freeze node for the enclosing context must be inserted after
 347         the real body.
 348
 349 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
 350
 351         * sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called
 352         subprogram before expanding the pragma into an if-statement with
 353         a block, to ensure that when the subprogram is null its body is
 354         properly generated before expansion.
 355
 356 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
 357
 358         * sem_ch12.adb (Analyze_Associations): Alphabetize local variables and
 359         constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal
 360         to Saved_Formal.
 361         Freeze all eligible subprograms which appear as actuals in
 362         the instantiation.
 363         (Has_Fully_Defined_Profile): New routine.
 364         (Renames_Standard_Subprogram): New routine.
 365         (Earlier): Add local variable N. Comment update. Do not use source
 366         locations when trying to determine whether one node precedes another.
 367
 368 2012-01-23  Gary Dismukes  <dismukes@adacore.com>
 369
 370         * exp_ch4.adb (Expand_Concatenate): In the case
 371         where the result of a concatentation can be null, set the to
 372         result have both the low and high bounds of the right operand (not
 373         just the high bound, as was the case prior to this fix). Also,
 374         fix the saved high bound setting (Last_Opnd_High_Bound) in the
 375         empty string literal case (should have been low bound minus one,
 376         rather than plus one).
 377
 378 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 379
 380         * scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
 381         omit statement SCOs for disabled pragmas.
 382
 383 2012-01-23  Matthew Heaney  <heaney@adacore.com>
 384
 385         * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
 386         a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
 387         a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
 388         a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
 389         Cursor'Write): Declare in private part.
 390         (Reference_Type'Read, Reference_Type'Write): Ditto.
 391         (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.
 392
 393 2012-01-23  Robert Dewar  <dewar@adacore.com>
 394
 395         * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
 396         reformatting.
 397
 398 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
 399
 400         * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the
 401         Corresponding_Body on a defaulted null formal subprogram.
 402         * sem_ch12.adb (Check_Formal_Package_Instance): No check needed
 403         on a defaulted formal subprogram that is a null procedure.
 404
 405 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
 406
 407         * exp_ch9.adb: Update the comments involving pragma Implemented.
 408         * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
 409         constant Subp_Alias and local variable Impl_Subp. Properly
 410         handle aliases of synchronized wrappers. Code cleanup.
 411         (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
 412         Name_Optional as part of the condition.
 413         * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
 414         valid choices of implementation kind.
 415         (Check_Arg_Is_One_Of): New routine.
 416         * snames.ads-tmlp: Add Name_Optional.
 417
 418 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
 419
 420         * par-ch13.adb: Better error recovery in illegal aspect
 421         specification.
 422
 423 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
 424
 425         * a-calend.adb: Add with clause for Interfaces.C. Add constant
 426         Unix_Max.
 427         (Day_Of_Week): Call the internal UTC_Time_Offset.
 428         (Split): Call the internal UTC_Time_Offset.
 429         (Time_Of): Call the internal UTC_Time_Offset.
 430         (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset.
 431         (UTC_Time_Offset): New library-level routine.
 432         * a-calend.ads (UTC_Time_Offset): Remove parameter
 433         Is_Historic. Update related comment on usage.
 434         * a-catizo.adb (UTC_Time_Offset): Removed.
 435         (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset.
 436         * a-caltizo.ads (UTC_Time_Offset): Removed.
 437         (UTC_Time_Offset (Time)): Add back the default expression of parameter
 438         Date.
 439
 440 2012-01-23  Robert Dewar  <dewar@adacore.com>
 441
 442         * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter
 443         (pg,po,ps): Make sure each entry starts on new line.
 444
 445 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
 446
 447         * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update
 448         the parameter profile of procedure localtime_tzoff and its associated
 449         comment.
 450         (Day_Of_Week): Do not treat the input date as historical
 451         with respect to time zones.
 452         (Split): Do not treat the input
 453         date as historical with respect to time zones.  (Time_Of): Do
 454         not treat the input constituents as forming a historical date
 455         with respect to time zones.
 456         (UTC_Time_Offset): Add new formal
 457         parameter Is_Historic. Add local variable Flag. Update the call
 458         to localtime_tzoff.
 459         * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine.
 460         (UTC_Time_Offset (Time)): Update the call to
 461         Time_Zone_Operations.UTC_Time_Offset.
 462         * sysdep.c (__gnat_localtime_tzoff): Update parameter
 463         profile. Split the processing of offsets on Windows into two - one
 464         part of historic time stamps and the other for the current time.
 465
 466 2012-01-23  Robert Dewar  <dewar@adacore.com>
 467
 468         * a-calend.adb: Minor reformatting.
 469
 470 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
 471
 472         * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized
 473         interface in requeue statement.
 474
 475 2012-01-23  Cyrille Comar  <comar@adacore.com>
 476
 477         * projects.texi: Remove references to main units and replace
 478         with references to main programs to be coherent with the
 479         documentation.
 480
 481 2012-01-23  Robert Dewar  <dewar@adacore.com>
 482
 483         * s-utf_32.adb: Minor reformatting.
 484
 485 2012-01-23  Vincent Celier  <celier@adacore.com>
 486
 487         * snames.ads-tmpl: Minor comment addition Indicate that
 488         Name_Library_Encapsulated_Options is only used in gprbuild.
 489
 490 2012-01-23  Robert Dewar  <dewar@adacore.com>
 491
 492         * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
 493         restrictions.
 494
 495 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
 496
 497         * snames.ads-tmpl: Add Name_Synchronization.
 498         * aspects.ads, aspects.adb: Add Aspect_Synchronization to
 499         enumeration type and related maps.
 500         * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
 501         Synchronization, build corresponding pragma Implemented.
 502         * sem_util.adb (Implementation_Kind): Handle both explicit and
 503         implicit pragma_argument association to retrieve the given
 504         synchronization mode.
 505
 506 2012-01-23  Robert Dewar  <dewar@adacore.com>
 507
 508         * sem_ch10.adb, errout.adb: Minor reformatting.
 509
 510 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
 511
 512         * sem_res.adb (Resolve_Actuals): An actual in a call to an
 513         Ada 2012 Reference function does not lead to a dangerous order
 514         dependence.
 515
 516 2012-01-23  Gary Dismukes  <dismukes@adacore.com>
 517
 518         * exp_util.adb (Is_Iterated_Container): Test
 519         Is_Entity_Name when searching for calls to the default iterator,
 520         to avoid blowing up on indirect calls which have an explicit
 521         dereference as the call name.
 522
 523 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 524
 525         * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
 526         the complete expanded name, rather than just its Selector_Name.
 527
 528 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 529
 530         * a-textio.adb (Put): Rewrite one-parameter Character version to
 531         just call the two-parameter one with Current_Out.
 532
 533 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
 534
 535         * freeze.adb (Check_Current_Instance): Issue an
 536         error when the prefix of 'Unchecked_Access or 'Access does not
 537         denote a legal aliased view of a type.
 538         (Freeze_Record_Type): Do not halt the processing of record components
 539         once the Has_Controlled_Component is set as this bypasses the remaining
 540         checks.
 541         (Is_Aliased_View_Of_Type): New routine.
 542
 543 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 544
 545         * errout.ads, freeze.adb: Minor reformatting.
 546
 547 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 548
 549         * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
 550         messages.
 551
 552 2012-01-23  Olivier Hainque  <hainque@adacore.com>
 553
 554         * adadecode.c (__gnat_decode): Deal with empty input early,
 555         preventing potential erroneous memory access later on.
 556
 557 2012-01-21  Eric Botcazou  <ebotcazou@adacore.com>
 558
 559         PR ada/46192
 560         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a
 561         renaming, preserve the volatileness through the indirection, if any.
 562
 563 2012-01-14  Andreas Schwab  <schwab@linux-m68k.org>
 564
 565         * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
 566         $(GNATLIBCFLAGS).
 567
 568 2012-01-10  Pascal Obry  <obry@adacore.com>
 569
 570         * prj-nmsc.adb (Check_Library_Attributes):
 571         Kill check for object/source directories for aggregate libraries.
 572
 573 2012-01-10  Matthew Heaney  <heaney@adacore.com>
 574
 575         * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
 576         a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
 577         a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
 578         a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
 579         a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
 580         a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
 581         a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
 582         a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
 583         a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
 584         container parameter as aliased in/in out.
 585         Code clean ups.
 586
 587 2012-01-10  Bob Duff  <duff@adacore.com>
 588
 589         * s-os_lib.ads: Improve comment.
 590
 591 2012-01-10  Geert Bosch  <bosch@adacore.com>
 592
 593         * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
 594         for complex Scalar.
 595
 596 2012-01-10  Bob Duff  <duff@adacore.com>
 597
 598         * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
 599         checking that the 'Size is correct. If the type is "mod 2**12",
 600         for example, it's illegal, but Esize is the 'Object_Size, which
 601         will be something like 16 or 32, so the error ('Size = 12) was
 602         not detected.
 603         * gnat_rm.texi: Improve documentation of shift
 604         and rotate intrinsics.
 605
 606 2012-01-10  Pascal Obry  <obry@adacore.com>
 607
 608         * prj.adb (For_Every_Project_Imported): Fix
 609         implementation to make sure we return each project only once
 610         for aggragte libraries. It is fine to return a project twice for
 611         aggregate projects, this was the case as a Project_Id is different
 612         in each project tree. The new implementation use a table based on
 613         the project name to ensure proper detection of duplicate project
 614         in aggregate library. A new context is then created to continue
 615         retrurning duplicate project for aggregate libraries.
 616
 617 2012-01-09  Eric Botcazou  <ebotcazou@adacore.com>
 618
 619         * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
 620         return value in the variable-sized return type case if the target is
 621         an array with fixed size.  However, do not create it if this is the
 622         expression of an object declaration.
 623
 624 2012-01-09  Eric Botcazou  <ebotcazou@adacore.com>
 625
 626         * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.
 627
 628 2012-01-06  Robert Dewar  <dewar@adacore.com>
 629
 630         * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
 631         s-utf_32.ads: Add pragma Pure
 632         * s-utf_32.adb: Suppress warnings on non-static constants (now
 633         that this is Pure).
 634
 635 2012-01-06  Bob Duff  <duff@adacore.com>
 636
 637         * s-rpc.ads (Read, Write): Add overriding indicators.
 638
 639 2012-01-06  Robert Dewar  <dewar@adacore.com>
 640
 641         * gnat_rm.texi: Add documentation for conventions
 642         Ada_Pass_By_Copy and Ada_Pass_By_Reference.
 643
 644 2012-01-06  Gary Dismukes  <dismukes@adacore.com>
 645
 646         * a-tienio.adb (Put): Add exception message on
 647         raise statements. Remove unneeded blocks and object declarations.
 648
 649 2012-01-06  Robert Dewar  <dewar@adacore.com>
 650
 651         * sem_prag.adb: Minor reformatting.
 652
 653 2012-01-06  Ed Schonberg  <schonberg@adacore.com>
 654
 655         * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
 656         that a selected component within a generic unit has been resolved
 657         as a prefixed call with local references.
 658         * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
 659         component is always visible.
 660         * sem_ch4.adb (Analyze_Selected_Component): If the node is a
 661         prefixed call in an instance, do not look for visible components
 662         of the type.
 663         * sem_ch12.adb (Reset_Entity): If a selected component has resolved
 664         to a prefixed call, mark the node accordingly when prefix and
 665         selector are local references.
 666
 667 2012-01-02  Eric Botcazou  <ebotcazou@adacore.com>
 668
 669         * gnatvsn.ads (Current_Year): Bump to 2012.
 670 \f
 671 Copyright (C) 2012 Free Software Foundation, Inc.
 672
 673 Copying and distribution of this file, with or without modification,
 674 are permitted in any medium without royalty provided the copyright
 675 notice and this notice are preserved.