gcc/ada/ChangeLog

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