gcc/ada/ChangeLog

   1 2018-04-04  Olivier Hainque  <hainque@adacore.com>
   2
   3         * libgnat/s-dwalin.ads (Dwarf_Context): Rename Load_Slide as
   4         Load_Address.
   5         * libgnat/s-dwalin.adb (Is_Inside): Adjust accordingly.
   6         (Set_Load_Address): Likewise.
   7         (Symbolic_Traceback): Likewise.
   8
   9 2018-04-04  Olivier Hainque  <hainque@adacore.com>
  10
  11         * libgnat/s-trasym__dwarf.adb (Add_Module_To_Cache): Expect a
  12         Load_Address argument and pass it down to Init_Module.
  13         * libgnat/s-tsmona__linux.adb (Build_Cache_For_All_Modules): Pass
  14         lm.l_addr as the Load_Address to Add_Module_To_Cache.
  15
  16 2018-04-04  Piotr Trojanek  <trojanek@adacore.com>
  17
  18         * einfo.adb (Has_Discriminants): Stronger assertion.
  19         (Set_Has_Discriminants): Stronger assertion.
  20         * sem_ch13.adb (Push_Scope_And_Install_Discriminants): Adapt to respect
  21         the stronger assertion on Has_Discriminant.
  22         (Uninstall_Discriminants_And_Pop_Scope): Same as above.
  23         * sem_util.adb (New_Copy_Tree): Same as above.
  24         * sem_ch7.adb (Generate_Parent_References): Prevent calls to
  25         Has_Discriminant on non-type entities that might happen when the
  26         compiled code has errors.
  27         * sem_ch3.adb (Derived_Type_Declaration): Only call
  28         Set_Has_Discriminant on type entities.
  29
  30 2018-04-04  Arnaud Charlet  <charlet@adacore.com>
  31
  32         * exp_unst.adb (Unnest_Subprogram): Unnest all subprograms relevant for
  33         code generation.
  34
  35 2018-04-04  Piotr Trojanek  <trojanek@adacore.com>
  36
  37         * lib.ads: Fix typo in enumeration in comment.
  38
  39 2018-04-04  Ed Schonberg  <schonberg@adacore.com>
  40
  41         * sem_attr.adb (Analyze_Attribute, case Scalar_Storage_Order): The
  42         attribute reference is legal within a generic unit when the prefix is a
  43         formal private type.
  44
  45 2018-04-04  Hristian Kirtchev  <kirtchev@adacore.com>
  46
  47         * exp_ch7.adb (Establish_Transient_Scope): Code cleanup. Do not
  48         delegate the secondary stack management when there is no suitable
  49         transient context, and the transient scope was intended to manage the
  50         secondary stack because this causes premature reclamation. Change the
  51         transient scope creation logic by special casing assignment statements
  52         of controlled components for type initialization procedures.
  53         (Find_Node_To_Be_Wrapped): Renamed to Find_Transient_Context. Update
  54         the comment on usage.
  55         (Find_Transient_Context): Change the initinte loop into a while loop.
  56         Iterations schemes and iterator specifications are not valid transient
  57         contexts because they rely on special processing. Assignment statements
  58         are now treated as a normal transient context, special cases are
  59         handled by the caller. Add special processing for pragma Check.
  60         (Is_OK_Construct): Removed. Its functionality has been merged in
  61         routine Find_Transient_Context.
  62         * sem_ch5.adb (Check_Call): Reimplemented. Add code to properly
  63         retrieve the subprogram being invoked. Use a more accurate predicate
  64         (Requires_Transient_Scope) to determine that the function will emply
  65         the secondary stack.
  66
  67 2018-04-04  Piotr Trojanek  <trojanek@adacore.com>
  68
  69         * ada_get_targ.adb: Fix subprogram body headers.
  70         * adabkend.adb: Likewise.
  71         * checks.adb: Likewise.
  72         * exp_ch3.adb: Likewise.
  73         * exp_ch5.adb: Likewise.
  74         * exp_ch9.adb: Likewise.
  75         * exp_dist.adb: Likewise.
  76         * exp_tss.adb: Likewise.
  77         * inline.adb: Likewise.
  78         * lib-writ.adb: Likewise.
  79         * lib-xref-spark_specific.adb: Likewise.
  80         * libgnarl/s-osinte__darwin.adb: Likewise.
  81         * libgnarl/s-stusta.adb: Likewise.
  82         * libgnarl/s-taprop__solaris.adb: Likewise.
  83         * libgnarl/s-tposen.adb: Likewise.
  84         * libgnarl/s-vxwext__kernel-smp.adb: Likewise.
  85         * libgnarl/s-vxwext__kernel.adb: Likewise.
  86         * libgnat/a-btgbso.adb: Likewise.
  87         * libgnat/a-cfdlli.adb: Likewise.
  88         * libgnat/a-cfhama.adb: Likewise.
  89         * libgnat/a-cfinve.adb: Likewise.
  90         * libgnat/a-cimutr.adb: Likewise.
  91         * libgnat/a-coboho.adb: Likewise.
  92         * libgnat/a-cofove.adb: Likewise.
  93         * libgnat/a-cofuve.adb: Likewise.
  94         * libgnat/a-comutr.adb: Likewise.
  95         * libgnat/a-exexda.adb: Likewise.
  96         * libgnat/a-tags.adb: Likewise.
  97         * libgnat/a-tideau.adb: Likewise.
  98         * libgnat/a-wtdeau.adb: Likewise.
  99         * libgnat/a-ztdeau.adb: Likewise.
 100         * libgnat/g-alleve.adb: Likewise.
 101         * libgnat/s-excdeb.adb: Likewise.
 102         * libgnat/s-parint.adb: Likewise.
 103         * libgnat/s-shasto.adb: Likewise.
 104         * libgnat/s-traceb__hpux.adb: Likewise.
 105         * prepcomp.adb: Likewise.
 106         * sem_ch4.adb: Likewise.
 107         * sem_ch6.adb: Likewise.
 108         * sem_dist.adb: Likewise.
 109         * sem_prag.adb: Likewise.
 110         * sem_util.adb: Likewise.
 111         * sinfo.adb: Likewise.
 112         * switch.adb: Likewise.
 113
 114 2018-05-04  John Marino  <gnugcc@marino.st>
 115
 116         PR ada/85635
 117         * link.c (BSD platforms): Add missing backslash.
 118
 119 2018-04-27  Eric Botcazou  <ebotcazou@adacore.com>
 120
 121         PR ada/85540
 122         * init.c (__gnat_handle_vms_condition): Add missing parentheses.
 123
 124 2018-04-25  Eric Botcazou  <ebotcazou@adacore.com>
 125
 126         PR ada/85007
 127         * gnat_ugn.texi: Regenerate.
 128
 129 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
 130
 131         PR ada/85007
 132         * gnatlink.adb (Gnatlink): Remove handling of -b switch.
 133         * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink):
 134         Remove documentation of -b switch.
 135
 136 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
 137
 138         PR ada/85036
 139         * gnatlink.adb (Process_Args): Drop existing link switches if multiple
 140         switches are passed for --LINK.
 141
 142 2018-03-12  Eric Botcazou  <ebotcazou@adacore.com>
 143
 144         PR ada/82813
 145         * gcc-interface/misc.c (gnat_post_options): Disable string overflow
 146         warnings.
 147
 148 2018-03-10  Eric Botcazou  <ebotcazou@adacore.com>
 149
 150         * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>:
 151         Consider only entities for objects.
 152
 153 2018-03-07  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 154
 155         * gcc-interface/Makefile.in (OSCONS_CPP): Remove redundant
 156         $(GNATLIBCFLAGS).
 157         (OSCONS_EXTRACT): Add $(GNATLIBCFLAGS_FOR_C).
 158
 159 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 160
 161         * gcc-interface/trans.c (convert_with_check): Fix typo in the condition
 162         guarding the overflow check emitted for the upper bound of a floating-
 163         point conversion.
 164
 165 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 166
 167         * gcc-interface/utils.c (def_builtin_1): Bail out on error_mark_node.
 168
 169 2018-02-28  Eric Botcazou  <ebotcazou@adacore.com>
 170
 171         * libgnat/i-cexten.ads (Float_128): New type.
 172
 173 2018-02-02  Eric Botcazou  <ebotcazou@adacore.com>
 174
 175         * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
 176         false if the component type is a pointer.
 177
 178 2018-01-11  Gary Dismukes  <dismukes@adacore.com>
 179
 180         * exp_ch3.adb (Default_Initialize_Object): Call New_Copy_Tree on the
 181         result of Get_Simple_Init_Value and pass the source location of the
 182         object declaration's object_definition.
 183
 184 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 185
 186         * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Handle
 187         properly object declarations with initializations that are
 188         build-in-place function calls, when there is an address specification,
 189         either as an aspect specification or an explicit attribute
 190         specification clause, for the initialized object.
 191         * freeze.adb (Check_Address_Clause): Do not remove side-effects from
 192         initial expressions in the case of a build-in-place call.
 193
 194 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
 195
 196         * sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a
 197         private (sub)type; refactor to avoid early return statement.
 198         (Not_Null_Range): Same as above.
 199
 200 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 201
 202         * freeze.adb (Freeze_Entity): Ensure that a Ghost type is not
 203         concurrent, nor effectively volatile.
 204         * ghost.adb (Check_Ghost_Type): New routine.
 205         * ghost.ads (Check_Ghost_Type): New routine.
 206         * sem_util.adb (Is_Declaration): Reimplemented. The routine can now
 207         consider specific subsets of declarations.
 208         (Is_Declaration_Other_Than_Renaming): Removed. Its functionality is
 209         replicated by Is_Declaration.
 210         * sem_util.ads (Is_Declaration): New parameter profile. Update the
 211         comment on usage.
 212         (Is_Declaration_Other_Than_Renaming): Removed.
 213
 214 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 215
 216         * sem_ch5.adb (Analyze_Assignment): Assignments to variables that act
 217         as Part_Of consituents of single protected types are illegal when they
 218         take place inside a protected function.
 219         (Diagnose_Non_Variable_Lhs): Use Within_Function to check for an
 220         enclosing function.
 221         (Is_Protected_Part_Of_Constituent): New routine.
 222         (Within_Function): New routine.
 223
 224 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
 225
 226         Bump copyright notices to 2018.
 227
 228 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 229
 230         * binde.adb, par-ch6.adb, par-ch9.adb, sem_ch12.adb, sem_ch13.adb:
 231         Minor reformatting.
 232
 233 2018-01-11  Justin Squirek  <squirek@adacore.com>
 234
 235         * par-ch6.adb (Scan_Body_Or_Expression_Function): Add additional check
 236         to make sure a given expression function is properly parenthesized.
 237
 238 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 239
 240         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Check the
 241         categorization of a subprogram body which does not complete a previous
 242         declaration.
 243
 244 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 245
 246         * sem_ch10.adb (Check_Private_Child_Unit): Ensure that the enclosing
 247         scope of package Ada is Standard.
 248
 249 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 250
 251         * sem_ch13.adb (Replace_Type_Ref): Handle properly reference to a
 252         subcomponent of the current entity when building the body for a dynamic
 253         predicate function for a record with composite subcomponents.
 254
 255 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 256
 257         * exp_aggr.adb (Convert_Aggr_In_Object_Decl): Update the call to
 258         Establish_Transient_Scope.
 259         (Convert_To_Assignments): Update the call to Establish_Transient_Scope.
 260         (Expand_Array_Aggregate): Update the call to Establish_Transient_Scope.
 261         * exp_ch6.adb (Expand_Call_Helper): Update the call to
 262         Establish_Transient_Scope.
 263         (Make_Build_In_Place_Call_In_Object_Declaration): Update the call to
 264         Establish_Transient_Scope.
 265         * exp_ch7.adb (Establish_Transient_Scope): Restructured. Delegate the
 266         management of the secondary stack to an enclosing scope if there is no
 267         suitable construct to wrap, and the transient scope was intended to
 268         manage the secondary stack.
 269         (Find_Node_To_Be_Wrapped): Restructured. A case_statement_alternative
 270         is a valid boundary for a transient expression which comes from the
 271         statements of the alternative, otherwise alternatives cannot be
 272         wrapped. Assignments of controlled objects which have controlled
 273         actions suppressed now stop the traversal as there is no point in
 274         looking for an enclosing construct. Add several N_xxx_Body choices to
 275         the termination conditions for completeness.
 276         * exp_ch7.ads (Establish_Transient_Scope): Update the parameter profile
 277         and the associated comment on usage.
 278         * exp_smem.adb (Add_Shared_Var_Lock_Procs): Update the call to
 279         Establish_Transient_Scope.
 280         (Add_Write_After): Update the call to Establish_Transient_Scope.
 281         * sem_res.adb (Check_Initialization_Call): Removed.
 282         (Resolve_Actuals): Account for additional cases where finalization
 283         actions are required by utilizing predicate Needs_Finalization rather
 284         than Is_Controlled.
 285         (Resolve_Call): Type initialization procedures can now utilize
 286         transient scopes to manage the secondary stack, thus preventing leaks
 287         during initialization.  Remove the previous kludgy algorithm which
 288         attempts to manage the secondary stack at the object creation site.
 289
 290 2018-01-11  Jerome Lambourg  <lambourg@adacore.com>
 291
 292         * libgnat/g-soliop__qnx.ads: New.
 293         * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update
 294         for QNX.
 295
 296 2018-01-11  Bob Duff  <duff@adacore.com>
 297
 298         * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if
 299         a null procedure occurs in a protected definition.
 300
 301 2018-01-11  Bob Duff  <duff@adacore.com>
 302
 303         * binderr.ads, namet.ads: Minor reformatting.
 304
 305 2018-01-11  Bob Duff  <duff@adacore.com>
 306
 307         * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of
 308         xml2gnat.
 309
 310 2018-01-11  Bob Duff  <duff@adacore.com>
 311
 312         * binde.adb (Force_Elab_Order): Give an error if there are duplicate
 313         unit names.
 314
 315 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 316
 317         * sem_ch6.adb (Freeze_Expr_Types): If an access value is the
 318         controlling argument of a dispatching call. freeze the corresponding
 319         designated type.
 320
 321 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
 322
 323         * doc/Makefile: Add Sphinx option -W to treat warnings as errors.
 324
 325 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
 326
 327         * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording
 328         corrections.
 329         * gnat_rm.texi: Regenerate.
 330
 331 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 332
 333         * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the
 334         formsl type corresponding to the actual fixed point type is private,
 335         because in this case there can be no suspicious arithmetic operations
 336         in the generic unless they reference a formal subprogram.  Clarify
 337         warning.
 338
 339 2018-01-11  Javier Miranda  <miranda@adacore.com>
 340
 341         * exp_util.adb (Remove_Side_Effects): No action done for functions
 342         returning class-wide types since it requires generating code using
 343         'reference and the CCG target has no secondary stack.
 344         * gnat1drv.adb: Disable building static dispatch tables when generating
 345         C code.
 346
 347 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
 348
 349         * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads,
 350         libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads
 351         (File_Type): Add Default_Initial_Condition aspect.
 352
 353 2018-01-11  Pascal Obry  <obry@adacore.com>
 354
 355         * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation.
 356
 357 2018-01-11  Bob Duff  <duff@adacore.com>
 358
 359         * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation
 360         to match what the Libadalang-based version does.
 361         * doc/gnat_ugn/about_this_guide.rst: Update reference.
 362
 363 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 364
 365         * sem_res.adb (Uses_SS): A controlled type requires the secondary stack
 366         if it contains at least one component declaration employing a function
 367         call returning on the secondary stack.
 368
 369 2018-01-11  Yannick Moy  <moy@adacore.com>
 370
 371         * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
 372         Update description of restriction SPARK_05 with SPARK 2014.
 373         * gnat_rm.texi: Regenerate.
 374
 375 2018-01-11  Vasiliy Fofanov  <fofanov@adacore.com>
 376
 377         * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout.
 378
 379 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 380
 381         * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb,
 382         sem_res.adb, sem_util.adb: Minor reformatting.
 383
 384 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 385
 386         * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type
 387         has a delayed aspect which must be processed at the point the type is
 388         frozen. This mimics what is done when the predicate is provided by a
 389         source aspect.
 390
 391 2018-01-11  Doug Rupp  <rupp@adacore.com>
 392
 393         * init.c (vxworks): Add macro checks for __aarch64__.
 394
 395 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 396
 397         * exp_util.adb (Add_Failure_Expression): New routine.
 398         (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
 399         * sem_util.adb (Is_Current_Instance): Code cleanup.
 400
 401 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
 402
 403         * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded
 404         Default_Sec_Stack_Size.
 405         * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack
 406         limit check so that the integer index does not overflow. Check the
 407         dynamic stack allocation does not cause the secondary stack pointer to
 408         overflow.
 409         (SS_Info): Align colons.
 410         (SS_Init): Cover the case when bootstraping with an old compiler that
 411         does not set Default_SS_Size.
 412
 413 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 414
 415         * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the
 416         legality of an inherited operation that may require overriding, ignore
 417         primitive_wrappers that correspond to explicit operations that override
 418         an interface primitive.
 419         * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the
 420         operation to which the class-wide expression applies is a protected op.
 421         with a primitive_wrapper, verify that the updated inherited expression
 422         does not contain an internal call to a protected function.  This
 423         completes the implementation of AI12-0166.
 424
 425 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 426
 427         * ali.adb: Document the remaining letters available for ALI lines.
 428         (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line.
 429         * ali.ads: Update type With_Record. Field
 430         Implicit_With_From_Instantiation is no longer in use. Add field
 431         Implicit_With.
 432         * csinfo.adb (CSinfo): Remove the setup for attribute
 433         Implicit_With_From_Instantiation.
 434         * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as
 435         either implicitly or explicitly withed.
 436         (Is_Implicit_With_Clause): New routine.
 437         (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid
 438         confusion with the with clause attribute by the same name.
 439         (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers.
 440         * rtsfind.adb (Maybe_Add_With): Code cleanup.
 441         * sem_ch8.adb (Present_System_Aux): Code cleanup.
 442         * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated
 443         for a parent unit.
 444         (Implicit_With_On_Parent): Mark the with clause as generated for a
 445         parent unit.
 446         * sem_ch12.adb (Inherit_Context): With clauses inherited by an
 447         instantiation are no longer marked as Implicit_With_From_Instantiation
 448         because they are already marked as implicit.
 449         * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge
 450         which marks implicit with clauses as related to an instantiation.
 451         * sinfo.adb (Implicit_With_From_Instantiation): Removed.
 452         (Parent_With): New routine.
 453         (Set_Implicit_With_From_Instantiation): Removed.
 454         (Set_Parent_With): New routine.
 455         * sinfo.ads: Update the documentation of attribute Implicit_With.
 456         Remove attribute Implicit_With_From_Instantiation along with
 457         occurrences in nodes.  Add attribute Parent_With along with occurrences
 458         in nodes.
 459         (Implicit_With_From_Instantiation): Removed along with pragma Inline.
 460         (Parent_With): New routine along with pragma Inline.
 461         (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline.
 462         (Set_Parent_With): New routine along with pragma Inline.
 463
 464 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 465
 466         * sem_util.adb (Find_Enclosing_Scope): Return the unique defining
 467         entity when the enclosing construct is a body.
 468
 469 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
 470
 471         * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified
 472         Secondary_Stack_Size handling as a pragma is now generated for the
 473         corresponding aspect instead of an attribute.  Pragma expression is
 474         relocated instead of evaluated. Discriminant of the corresponding
 475         record type is referenced rather than the type discriminant.
 476         (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update
 477         Secondary_Stack_Size rep item checks to only look for the pragma rep.
 478         * sem_ch13.adb (Analyze_One_Aspect): Transform
 479         Aspect_Secondary_Stack_Size into a pragma instead of an attribute
 480         because the attribute does not have visibility on a task type's
 481         discriminants when the type's definition is expanded.
 482         (Analyze_Attribute_Definition_Clause): Remove handling of
 483         Attribute_Secondary_Stack_Size.
 484         * snames.adb-tmpl, snames.ads-tmpl: Remove
 485         Attribute_Secondary_Stack_Size, no longer used.
 486
 487 2018-01-11  Justin Squirek  <squirek@adacore.com>
 488
 489         * sem_ch8.adb: Minor comment fix.
 490
 491 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 492
 493         * exp_ch4.adb (Process_Action): Do not abandon the inspection of an
 494         individual action because the action may denote a complex expression,
 495         such as a case statement, which in turn may contain additional
 496         transient objects.
 497
 498 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 499
 500         * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform
 501         analysis on a copy of the expression with a copy of the index variable,
 502         because full expansion will rewrite construct into a loop with the
 503         original loop variable.
 504         * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the
 505         expression is an iterated component association. Full analysis takes
 506         place when construct is rewritten as a loop.
 507         (In_Place_Assign_OK, Safe_Component): An iterated_component_association
 508         is not safe for in-place assignment.
 509         * sem_util.adb (Remove_Entity): Handle properly the case of an isolated
 510         entity with no homonym and no other entity in the scope.
 511
 512 2018-01-11  Justin Squirek  <squirek@adacore.com>
 513
 514         * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error
 515         message to be printed on the pragma argument identifier.
 516
 517 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 518
 519         * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last
 520         entity of the generated invariant procedure in order to construct a
 521         proper entity chain.
 522
 523 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
 524
 525         * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in
 526         comment.
 527
 528 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
 529
 530         * einfo.ads, einfo.adb (Activation_Record_Component,
 531         Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity):
 532         Allow E_Discriminant.
 533
 534 2018-01-10  Eric Botcazou  <ebotcazou@adacore.com>
 535
 536         * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check
 537         for atomic access once the component size is taken into account and
 538         also do it if the component type is Atomic or Volatile_Full_Access.
 539
 540 2018-01-04  Eric Botcazou  <ebotcazou@adacore.com>
 541
 542         * gnatvsn.ads: Bump copyright year.
 543
 544 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 545             Alan Hayward  <alan.hayward@arm.com>
 546             David Sherwood  <david.sherwood@arm.com>
 547
 548         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE
 549         as polynomial.
 550
 551 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 552             Alan Hayward  <alan.hayward@arm.com>
 553             David Sherwood  <david.sherwood@arm.com>
 554
 555         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION
 556         as polynomial.
 557
 558 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 559             Alan Hayward  <alan.hayward@arm.com>
 560             David Sherwood  <david.sherwood@arm.com>
 561
 562         * gcc-interface/utils.c (gnat_types_compatible_p): Handle
 563         polynomial TYPE_VECTOR_SUBPARTS.
 564
 565 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 566             Alan Hayward  <alan.hayward@arm.com>
 567             David Sherwood  <david.sherwood@arm.com>
 568
 569         * gcc-interface/misc.c (enumerate_modes): Handle polynomial
 570         GET_MODE_NUNITS.
 571
 572 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
 573
 574         Update copyright years.
 575
 576         * gnat_ugn.texi: Bump @copying's copyright year.
 577         * gnat_rm.texi: Likewise.
 578 \f
 579 Copyright (C) 2018 Free Software Foundation, Inc.
 580
 581 Copying and distribution of this file, with or without modification,
 582 are permitted in any medium without royalty provided the copyright
 583 notice and this notice are preserved.