gcc/ada/ChangeLog

   1 2018-05-28  Yannick Moy  <moy@adacore.com>
   2
   3         * sem_util.adb (Is_OK_Volatile_Context): Add attributes First, Last and
   4         Length as valid non-interfering contexts for SPARK.
   5
   6 2018-05-28  Claire Dross  <dross@adacore.com>
   7
   8         * sem_disp.ads, sem_disp.adb (Inheritance_Utilities): Package for
   9         generic inheritance utilities.
  10         (Generic_Inherited_Subprograms): Generic version of
  11         Inherited_Subprograms, generic in Find_Dispatching_Type function.
  12         (Generic_Is_Overriding_Subprogram): Generic version of
  13         Is_Overriding_Subprogram, generic in Find_Dispatching_Type function.
  14         (Inherited_Subprograms): Instance of Generic_Inherited_Subprograms with
  15         Sem_Disp.Find_Dispatching_Type.
  16         (Is_Overriding_Subprogram): Instance of
  17         Generic_Is_Overriding_Subprogram with Sem_Disp.Find_Dispatching_Type.
  18         (Inheritance_Utilities_Inst): Instance of Inheritance_Utilities
  19         with Sem_Disp.Find_Dispatching_Type.
  20
  21 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
  22
  23         * exp_ch4.adb (Expand_Composite_Equality): For a composite (or FP)
  24         component type, do not expand array equality using the unconstrained
  25         base type, except for the case where the bounds of the type depend on a
  26         discriminant.
  27
  28 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
  29
  30         * einfo.ads, einfo.adb (Needs_Activation_Record): New flag on
  31         access-to-subprogram types, to indicate that an indirect call through
  32         such a type requires an activation record when compiling for LLVM.
  33         * sem_ch3.adb (Access_Subprogram_Declaration): Set new flag as needed.
  34
  35 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
  36
  37         * exp_ch4.adb (Real_Range_Check): Specialize float-to-fixed conversions
  38         when bounds of fixed type are static, to remove some spuerfluous
  39         implicit conversions and provide an accurate result when converting
  40         back and forth between the fixed point type and a floating point type.
  41
  42 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
  43
  44         * exp_unst.adb (Unnest_Subprogram): Prevent creation of empty
  45         activation records.
  46
  47 2018-05-28  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
  48
  49         * exp_unst.adb (Check_Static_Type): Add argument to indicate node to be
  50         replaced, if any; all callers changed.
  51         (Note_Uplevel_Ref): Likewise.  Also replace reference to deferred
  52         constant with private view so we take the address of that entity.
  53         (Note_Uplevel_Bound): Add argument to indicate node to be replaced, if
  54         any; all callers changed.  Handle N_Indexed_Component like
  55         N_Attribute_Reference.  Add N_Type_Conversion case.
  56         (Visit_Node): Indexed references can be uplevel if the type isn't
  57         static.
  58         (Unnest_Subprograms): Don't rewrite if no reference given.  If call has
  59         been relocated, set first_named pointer in original node as well.
  60
  61 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
  62
  63         * exp_aggr.adb (Flatten): Copy tree of expression in a component
  64         association with a range or a set of discrete choices, rather than
  65         relocating the node. This avoids inconsistencies in the tree when
  66         handling nested subprograms with uplevel references for LLVM.
  67
  68 2018-05-28  Arnaud Charlet  <charlet@adacore.com>
  69
  70         * exp_util.adb (Possible_Bit_Aligned_Component): Always return False in
  71         codepeer mode.
  72
  73 2018-05-28  Arnaud Charlet  <charlet@adacore.com>
  74
  75         * exp_unst.adb: Fix typo.
  76
  77 2018-05-28  Bob Duff  <duff@adacore.com>
  78
  79         * libgnat/a-convec.adb (Query_Element): Minor cleanup: remove an
  80         unnecessary use of 'Unrestricted_Access.
  81
  82 2018-05-28  Hristian Kirtchev  <kirtchev@adacore.com>
  83
  84         * repinfo.adb (Expr_Value_S): New routine.
  85         (List_Linker_Section): Properly extract the value of the section
  86         argument.
  87
  88 2018-05-28  Patrick Bernardi  <bernardi@adacore.com>
  89
  90         * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Update the
  91         description of the -D binder switch to reflect current usage.
  92         * gnat_ugn.texi: Regenerate.
  93
  94 2018-05-28  Gary Dismukes  <dismukes@adacore.com>
  95
  96         * exp_ch3.adb: Minor reformatting
  97
  98 2018-05-28  Justin Squirek  <squirek@adacore.com>
  99
 100         * exp_ch3.adb
 101         (Build_Initialization_Call): Add logic to pass the appropriate actual to match
 102          new formal.
 103         (Init_Formals): Add new formal *_skip_null_excluding_check
 104         * exp_util.adb, exp_util.ads
 105         (Enclosing_Init_Proc): Added to fetch the enclosing Init_Proc from the current
 106          scope.
 107         (Inside_Init_Proc): Refactored to use Enclosing_Init_Proc
 108         (Needs_Conditional_Null_Excluding_Check): Added to factorize the predicate
 109          used to determine how to generate an Init_Proc for a given type.
 110         (Needs_Constant_Address): Minor reformatting
 111         * sem_res.adb
 112         (Resolve_Null): Add logic to generate a conditional check in certain cases
 113
 114 2018-05-28  Hristian Kirtchev  <kirtchev@adacore.com>
 115
 116         * exp_aggr.adb, gnatlink.adb, sem_ch6.adb, sem_res.adb, sem_util.adb:
 117         Minor reformatting.
 118
 119 2018-05-28  Hristian Kirtchev  <kirtchev@adacore.com>
 120
 121         * sem_prag.adb (Process_Atomic_Independent_Shared_Volatile): Include
 122         the declarations of single concurrent types because they fall in the
 123         category of full type and object declarations.
 124
 125 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 126
 127         * repinfo.adb (Compute_Max_Length): Skip _Parent component.
 128         (List_Record_Layout): Likewise.
 129
 130 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
 131
 132         * sem_util.adb (Is_Function_Result): Add a warning if a postcondition
 133         includes a call to function to which it applies. This may mean an
 134         omission of an attribute reference 'Result, in particular if the
 135         function is pqrameterless.
 136
 137 2018-05-28  Justin Squirek  <squirek@adacore.com>
 138
 139         * sem_ch8.adb (Find_Expanded_Name): Add extra guard to make sure the
 140         misresolved package name is not a case of mistaken identity.
 141
 142 2018-05-28  Yannick Moy  <moy@adacore.com>
 143
 144         * sem_res.adb (Resolve_Range): Re-resolve the low bound of a range in
 145         GNATprove mode, as the order of resolution (low then high) means that
 146         all the information is not available when resolving the low bound the
 147         first time.
 148
 149 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 150
 151         * repinfo.adb (List_Array_Info): Start with an explicit blank line and
 152         end with the linker section, if any.
 153         (List_Entities): Do not output the linker section for record types,
 154         array types and variables.
 155         (Print_Expr): Factor out common processing for unary operators and
 156         special values.  Adjust and reorder the various cases.
 157         (List_Object_Info): End with the linker section, if any.
 158         (List_Record_Info): Likewise.
 159         (List_Type_Info): Do not start with a blank line.
 160
 161 2018-05-25  Nicolas Roche  <roche@adacore.com>
 162
 163         * libgnat/s-valrea.adb (Scan_Real): Abort computation once it is sure
 164         that the result will be either -infinite or +infinite.
 165
 166 2018-05-25  Patrick Bernardi  <bernardi@adacore.com>
 167
 168         * libgnat/s-parame.ads, libgnat/s-parame__vxworks.ads,
 169         libgnat/s-parame__ae653.ads, libgnat/s-parame__hpux.ads (Size_Type):
 170         Expand range of type to match the address space of the target.
 171         (Task_Storage_Size): Remove unused type.
 172
 173 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
 174
 175         * sem_res.adb (Set_Mixed_Mode_Operand): If the operand is an expression
 176         of a fixed point type and the parent is a multiplying operation,
 177         resolve the operand with its own type because the context will impose a
 178         resulting type on the result of the multiplication by means of
 179         approriate conversion.
 180
 181 2018-05-25  Hristian Kirtchev  <kirtchev@adacore.com>
 182
 183         * exp_ch3.adb (Default_Initialize_Object): Ensure that the analysis of
 184         the in-place initialization aggregate created for pragmas
 185         Initialize_Scalars or Normalize_Scalars is performed with checks
 186         suppressed.
 187
 188 2018-05-25  Arnaud Charlet  <charlet@adacore.com>
 189
 190         * exp_aggr.adb (Convert_To_Positional): Bump default for
 191         Max_Others_Replicate to 32. Update comments.
 192         * osint.ads (Unknown_Attributes): No longer pretend this is a constant.
 193         (No_File_Info_Cache): Initialize separately.
 194         * osint.adb (No_File_Info_Cache): Update initializer.
 195
 196 2018-05-25  Javier Miranda  <miranda@adacore.com>
 197
 198         * sem_res.adb (Resolve_Membership_Op): Allow the use of the membership
 199         test when the left operand is a class-wide interface and the right
 200         operand is not a class-wide type.
 201         * exp_ch4.adb (Tagged_Membership): Adding support for interface as the
 202         left operand.
 203
 204 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
 205
 206         * exp_aggr.adb (Flatten): A quantified expression cannot be duplicated
 207         in an others clause to prevent visibility issues with the generated
 208         loop variable.
 209         (Component_OK_For_Backend): Return false for a quantified expression.
 210         (Check_Static_Component): Ditto.
 211
 212 2018-05-25  Hristian Kirtchev  <kirtchev@adacore.com>
 213
 214         * libgnat/s-secsta.adb (SS_Allocate): Reimplemented.
 215         (SS_Allocate_Dynamic): New routine. The allocation logic is now split
 216         into three distring cases rather than in one loop which attempts to
 217         handle all three cases. This rewrite eliminates an issue where the last
 218         frame of the stack cannot be freed, thus causing the memory range of a
 219         new frame to approach the overflow point of the memory index type.
 220         Since the overflow is logically treated as a
 221         too-much-memory-on-the-stack scenario, it causes a bogus Storage_Error.
 222         (SS_Allocate_Static): New routine. The routine factorizes the static
 223         secondary stack-related code from the former SS_Allocate.
 224
 225 2018-05-25  Sergey Rybin  <rybin@adacore.com>
 226
 227         * doc/gnat_ugn/gnat_and_program_execution.rst: Add description of '-U'
 228         option for gnatelim.
 229
 230 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
 231
 232         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not create
 233         Class_Wide_Clone_Body when analyzing a subprogram_body_stub: the clone
 234         is created when the proper body of the stub is analyzed.
 235         * sem_util.adb (ZBuild_Class_Wide_Clone_Body): If the subprogram body
 236         is the proper body of a subunit, the cloned body must be inserted in
 237         the declarative list that contains the stub.
 238
 239 2018-05-25  Justin Squirek  <squirek@adacore.com>
 240
 241         * exp_ch6.adb (Expand_Simple_Function_Return): Add guard in check to
 242         generate code for 6.5(8-10) so that we don't get an assertion error
 243         when dealing with an incomplete return type.
 244
 245 2018-05-25  Arnaud Charlet  <charlet@adacore.com>
 246
 247         * pprint.adb (Expression_Name): Strip too long expressions to avoid
 248         carrying very large strings.
 249
 250 2018-05-25  Patrick Bernardi  <bernardi@adacore.com>
 251
 252         * switch-b.adb (Scan_Binder_Switches): binder switch -Q accepts Natural
 253         numbers.
 254
 255 2018-05-25  Doug Rupp  <rupp@adacore.com>
 256
 257         * tracebak.c (aarch64-linux): Implement.
 258
 259 2018-05-25  Justin Squirek  <squirek@adacore.com>
 260
 261         * sem_ch8.adb: Minor reformatting.
 262
 263 2018-05-25  Piotr Trojanek  <trojanek@adacore.com>
 264
 265         * sem_util.adb (Iterate_Call_Parameters): Fix code convention and
 266         assertions.
 267
 268 2018-05-25  Hristian Kirtchev  <kirtchev@adacore.com>
 269
 270         * einfo.adb, einfo.ads, exp_ch3.adb, exp_ch8.adb, exp_unst.adb,
 271         pprint.adb, sem_ch12.adb, sem_ch3.adb, sem_prag.adb, sem_util.adb:
 272         Minor reformatting.
 273
 274 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
 275
 276         * sem_ch12.adb (Instance_Exists): New function, subsidiary of
 277         Validate_Derived_Type_Instance, to verify that all interfaces
 278         implemented by the formal type are also implemented by the actual. The
 279         verification is complicated when an interface of the formal is declared
 280         in a generic unit and the actual is declared in an instance of it.
 281         There is currently no mechanism to relate an interface declared within
 282         a generic to the corresponding interface in an instance, so we must
 283         traverse the list of interfaces of the actual, looking for a name
 284         match, and verifying that that interface is declared in an instance.
 285
 286 2018-05-25  Piotr Trojanek  <trojanek@adacore.com>
 287
 288         * sem_util.adb (Iterate_Call_Parameters): Rewrite with extra
 289         assertions; replace function versions of Next_Formal/Next_Actual with
 290         their procedural versions (which are more concise).
 291
 292 2018-05-25  Doug Rupp  <rupp@adacore.com>
 293
 294         * libgnarl/s-osinte__aix.ads, libgnarl/s-osinte__android.ads,
 295         libgnarl/s-osinte__darwin.ads, libgnarl/s-osinte__freebsd.ads,
 296         libgnarl/s-osinte__hpux.ads, libgnarl/s-osinte__kfreebsd-gnu.ads,
 297         libgnarl/s-osinte__linux.ads, libgnarl/s-osinte__lynxos178e.ads,
 298         libgnarl/s-osinte__qnx.ads, libgnarl/s-osinte__rtems.ads
 299         (Relative_Timed_Wait): Remove.
 300         * libgnarl/s-tpopmo.adb (Timed_Sleep, Timed_Delay): Rewrite to allow
 301         for incremental looping. Remove references to Rel_Time and
 302         Relative_Timed_Wait.
 303         * libgnat/s-osprim__posix.adb, libgnat/s-osprim__posix2008.adb
 304         (Timed_Delay): Make separate.
 305         * libgnat/s-optide.adb: New separate procedure.
 306         * libgnat/s-osprim.ads (Max_System_Delay): New constant.
 307         * libgnat/s-osprim__lynxos.ads (Max_Sensible_Delay): Set to 6 months.
 308         (Max_System_Delay): New constant.
 309
 310 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
 311
 312         * sem_ch12.adb (Validate_Derived_Type_Instance): Verify that the actual
 313         for a formal derived type implements all the interfaces declared for
 314         the formal.
 315
 316 2018-05-25  Yannick Moy  <moy@adacore.com>
 317
 318         * sem_prag.adb (Check_Applicable_Policy): Deal specially with CodePeer
 319         and GNATprove modes when applicable policy is Ignore.
 320
 321 2018-05-25  Eric Botcazou  <ebotcazou@adacore.com>
 322
 323         * freeze.adb (Freeze_Enumeration_Type): Do not give integer size to a
 324         boolean type with convention C.
 325         * libgnat/i-cexten.ads (bool): Change to boolean with convention C.
 326         * gcc-interface/decl.c (gnat_to_gnu_entity): Add new local variable
 327         FOREIGN and use it throughout the function.
 328         <E_Enumeration_Type>: Set precision 1 on boolean types with foreign
 329         convention.
 330         <E_Enumeration_Subtype>: Likewise for subtypes.
 331         <E_Record_Type>: Force the size of a storage unit on empty classes.
 332         * gcc-interface/utils.c (make_type_from_size) <BOOLEAN_TYPE>: Skip
 333         boolean types with precision 1 if the size is the expected one.
 334
 335 2018-05-25  Arnaud Charlet  <charlet@adacore.com>
 336
 337         * pprint.adb (Expression_Name): Do not print non ASCII characters.
 338
 339 2018-05-25  Bob Duff  <duff@adacore.com>
 340
 341         * libgnat/a-strunb__shared.ads, libgnat/a-stwiun__shared.ads,
 342         libgnat/a-stzunb__shared.ads: (Initialize, Adjust): Add pragma Inline.
 343
 344 2018-05-25  Bob Duff  <duff@adacore.com>
 345
 346         * sem_util.ads: Minor comment fix.
 347
 348 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
 349
 350         * exp_unst.adb (Visit_Node): Restrict check for uplevel references in
 351         prefixes of array attributes, to prefixes that are entity names whose
 352         type is constrained.
 353         (Note_Uplevel_Bound): Verify that the bound is declared in an enclosing
 354         subprogram, as itype created for loops in pre/postcondition may appear
 355         in loops at the library level.
 356
 357 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
 358
 359         * sem_ch13.adb (Build_Predicate_Functions): The predicate function
 360         declaration is inserted into the tree and analyzed at that point, so
 361         should not be reinserted when the body is constructed. Inside a
 362         generic, ensure that the body is not inserted twice in the tree.
 363
 364 2018-05-25  Yannick Moy  <moy@adacore.com>
 365
 366         * sem_prag.adb (Check_Grouping): Modify test to ignore statements and
 367         declarations not coming from source.
 368
 369 2018-05-25  Fedor Rybin  <frybin@adacore.com>
 370
 371         * doc/gnat_ugn/gnat_utility_programs.rst: Document new switch
 372         --copy-environment for gnattest.
 373
 374 2018-05-24  Piotr Trojanek  <trojanek@adacore.com>
 375
 376         * sem_elab.adb (Non_Private_View): Simplify by removing a local Result
 377         variable.
 378         * sem_prag.adb (Get_Base_Subprogram): Same as above.
 379
 380 2018-05-24  Eric Botcazou  <ebotcazou@adacore.com>
 381
 382         * fe.h (Set_Normalized_First_Bit): Declare.
 383         (Set_Normalized_Position): Likewise.
 384         * repinfo.adb (List_Record_Layout): Do not use irregular output for a
 385         variable position.  Fix minor spacing issue.
 386         * gcc-interface/decl.c (annotate_rep): If a field has a variable
 387         offset, compute the normalized position and annotate it in addition to
 388         the bit offset.
 389
 390 2018-05-24  Eric Botcazou  <ebotcazou@adacore.com>
 391
 392         * gcc-interface/trans.c (Handled_Sequence_Of_Statements_to_gnu):
 393         Constify and rename variables.  Fix formatting.
 394         (gnat_to_gnu) <N_Exception_Handler>: Minor tweak.
 395         <N_Raise_Statement>: Likewise.
 396
 397 2018-05-24  Javier Miranda  <miranda@adacore.com>
 398
 399         * exp_ch8.adb (Build_Body_For_Renaming): Adding support to build the
 400         body of a variant record equality renaming.
 401         (Expand_N_Subprogram_Renaming_Declaration): Adapt the code to the new
 402         implementation of Build_Body_For_Renaming.
 403         * exp_ch3.ads (Build_Variant_Record_Equality): New library level
 404         function that factorizes the functionality needed by
 405         Build_Body_For_Renaming and Expand_Freeze_Record_Type to build the body
 406         of a variant record equality subprogram.
 407         * exp_ch3.adb (Build_Variant_Record_Equality): New subprogram.
 408         (Build_Variant_Record_Equality): New local procedure of
 409         Expand_Freeze_Record_Type containing all the code specific for freezing
 410         the record type that cannot be place in the new library level function.
 411
 412 2018-05-24  Ed Schonberg  <schonberg@adacore.com>
 413
 414         * einfo.ads, einfo.adb (Is_Activation_Record): New flag on
 415         in_parameters, used when unesting subprograms for LLVM, to indicate
 416         that a generated parameter carries the activation record from the
 417         enclosing subprogram.
 418         * exp_unst.adb (Check_Static_Type): Handle array attributes of types
 419         whose bounds may contain up-level references that need to be added to
 420         an activation recoord.
 421         (Add_Extra_Formal): Set Is_Activation_Record on new formal.
 422
 423 2018-05-24  Yannick Moy  <moy@adacore.com>
 424
 425         * pprint.adb (Expression_Image): Improve the printing of expressions,
 426         by taking more cases into account, in particular qualified expressions
 427         and aggregates.  Also count more the number of parentheses to close
 428         after the expression.
 429
 430 2018-05-24  Javier Miranda  <miranda@adacore.com>
 431
 432         * sem_ch3.adb (Is_Visible_Component): For untagged types add missing
 433         check for renamed discriminants.
 434         * sem_ch4.adb (Analyze_Overloaded_Selected_Component,
 435         Analyze_Selected_Component, Check_Misspelled_Selector): For calls to
 436         Is_Visible_Component pass the associated selector node to allow
 437         checking renamed discriminants on untagged types.
 438
 439 2018-05-24  Ed Schonberg  <schonberg@adacore.com>
 440
 441         * sem_ch8.adb (Analyze_Use_Type): Do not assign the Prev_Use_Clause
 442         link to a use_type clause if this would cause an infinite loop in the
 443         machinery that detects redundant use clauses. This may happen when the
 444         redundant clauses appear in the context of a child unit and the context
 445         of its parent.
 446
 447 2018-05-24  Piotr Trojanek  <trojanek@adacore.com>
 448
 449         * sinfo.ads: Fix grammar in comment.
 450
 451 2018-05-24  Justin Squirek  <squirek@adacore.com>
 452
 453         * einfo.ads, einfo.adb (Append_Entity): Modified to use Link_Entities
 454         and manage doubly-linked entity chain.
 455         (Nested_Scenarios): Removed entity field used for optimization during
 456          elaboration to make room for the new field Prev_Entity.
 457         (Link_Entities): Added to replace redundant calls to Set_Next_Entity
 458         and Set_Prev_Entity as well as centralize changes to the entity chain.
 459         (Predicated_Parent): Modified to use Node38.
 460         (Prev_Entity): Added to fetch new node field Prev_Entity in all entity
 461         types.
 462         (Remove_Entity): Moved from sem_util.
 463         (Set_Nested_Scenarios): Deleted.
 464         (Set_Predicated_Parent): Modified to use Node38.
 465         (Set_Prev_Entity): Added to set Prev_Entity field.
 466         (Set_Validated_Object): Modified to use Node38.
 467         (Unlink_Next_Entity): Added to process Prev_Entity when an unlinking
 468         action is required.
 469         (Validated_Object): Modified to use Node38.
 470         (Write_Field36_Name): Remove Nested_Scenarios, Validated_Object, and
 471         predicated parent cases.
 472         (Write_Field38_Name): Add predicated parent and Validated_Object cases.
 473         * sem_ch3.adb (Process_Subtype): Add guard to protect against
 474         inappropriate marking of Predicated_Parent to non-itype subtypes.
 475         (Make_Class_Wide_Type): Preserve Prev_Entity field and set in new type.
 476         (Copy_And_Swap): Add setting of Prev_Entity.
 477         (Build_derived_Record_Type): Replace Set_Next_Entity w/ Link_Entities.
 478         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Replace Set_Next_Entity
 479         w/ Link_Entities.
 480         (New_Overloaded_Entity): Remove block created to search for previous
 481         entities in the entity chain with relevant calls to Prev_Entity as well
 482         as replace duplicated code from Remove_Entity_And_Homonym with a call
 483         to that subprogram.
 484         * sem_ch7.adb (Exchange_Declarations): Replace Set_Next_Entity w/
 485         Link_Entities.
 486         * sem_elab.adb (Find_And_Process_Nested_Scenarios): Remove global and
 487         initial subprogram declarations related to Nested_Scenarios.
 488         (Process_Nested_Scenarios): Deleted.
 489         (Save_Scenario): Deleted.
 490         (Traverse_Body): Remove optimization for Nested_Scenarios so as to free
 491         node space in the entity tree.
 492         * sem_util.adb, sem_util.ads (Remove_Entity): Moved to einfo.
 493         (Remove_Entity_And_Homonym): Added to separate functionality of
 494         Remove_Entity from the homonym chain directly.
 495         * exp_attr.adb (Expand_N_Attribute_Reference): Replace Set_Next_Entity
 496         w/ Link_Entities and Unlink_Next_Entity.
 497         * exp_ch3.adb (Expand_N_Object_Declaration): Replace Set_Next_Entity w/
 498         Link_Entities.
 499         * exp_ch6.adb (Replace_Renaming_Declaration_Id): Replace
 500         Set_Next_Entity w/ Link_Entities.
 501         * exp_disp.adb (Expand_Dispatching_Call): Replace Set_Next_Entity w/
 502         Link_Entities and Unlink_Next_Entity.
 503         * exp_spark.adb (Expand_SPARK_N_Object_Renaming_Declaration): Replace
 504         call to Remove_Entity with its new incarnation.
 505         * exp_util.adb (New_Class_Wide_Subtype): Add setting of Prev_Entity.
 506         * freeze.adb (Freeze_Record_Type): Replace Set_Next_Entity w/
 507         Link_Entities.
 508
 509 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 510
 511         * sem_ch10.adb (Expand_Limited_With_Clause): Update the call to
 512         Install_Limited_Withed_Unit.
 513         (Expand_With_Clause): Update the call to Install_Withed_Unit.
 514         (Implicit_With_On_Parent): Update the call to Install_Withed_Unit.
 515         (Install_Context_Clauses): Update the call to Install_Withed_Unit.
 516         (Install_Limited_Context_Clauses): Update the calls to
 517          Install_Limited_Withed_Unit.
 518         (Install_Limited_Withed_Unit): Renamed to better illustrate its
 519         purpose.
 520         (Install_Private_With_Clauses): Update the calls to Install_Withed_Unit
 521         and Install_Limited_Withed_Unit.
 522         (Install_With_Clause): Uninstall a limited with clause if a [private]
 523         with clause is given for the same package.
 524         (Install_Withed_Unit): Renamed to better illustrate its purpose.
 525         (Remove_Limited_With_Unit): New routine.
 526
 527 2018-05-24  Eric Botcazou  <ebotcazou@adacore.com>
 528
 529         * raise-gcc.c (__gnat_SEH_error_handler): Remove prototype.
 530         (__gnat_personality_seh0): Adjust and beef up comments, and
 531         fix formatting throughout.
 532         (__gnat_adjust_context): Deal minimally with version 2.
 533         * seh_init.c (__gnat_map_SEH): Fix formatting.
 534         (_gnat_SEH_error_handler): Adjust comments.
 535         (__gnat_install_SEH_handler): Fix formatting.
 536
 537 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 538
 539         * exp_ch7.adb, sem_ch3.adb, sem_res.adb: Minor reformatting.
 540
 541 2018-05-24  Ed Schonberg  <schonberg@adacore.com>
 542
 543         * exp_aggr.adb (Flatten): Add a warning on an others clause in an array
 544         aggregate with static bounds when named associations cover all index
 545         positions and the others clause is redundant.
 546
 547 2018-05-24  Raphael Amiard  <amiard@adacore.com>
 548
 549         * libgnat/a-cohama.ads: Add documentation.
 550
 551 2018-05-24  Raphael Amiard  <amiard@adacore.com>
 552
 553         * libgnat/a-convec.ads: Add documentation.
 554
 555 2018-05-24  Justin Squirek  <squirek@adacore.com>
 556
 557         * exp_ch3.adb (Expand_N_Object_Declaration): Ignore raising an error in
 558         expansion for limited tagged types when the node to be expanded is a
 559         raise expression due to it not representing a valid object.
 560         * exp_ch5.adb (Expand_N_Assignment_Statement): Add exception to error
 561         message regarding assignments to limited types to ignore genereated
 562         code.
 563
 564 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 565
 566         * exp_util.adb (New_Class_Wide_Subtype): Capture and restore relevant
 567         Ghost-related attributes of the class-wide subtype because the copy
 568         clobbers them.
 569
 570 2018-05-24  Justin Squirek  <squirek@adacore.com>
 571
 572         * sem_res.adb (Resolve_Entity_Name): Add guard to protect against
 573         marking use clauses as effective when the reference appears within
 574         generated code.
 575
 576 2018-05-24  Cyrille Comar  <comar@adacore.com>
 577
 578         * doc/gnat_rm/the_gnat_library.rst: Fix typos.
 579         * gnat_rm.texi: Regenerate.
 580
 581 2018-05-24  Bob Duff  <duff@adacore.com>
 582
 583         * exp_ch7.adb (Expand_Cleanup_Actions): Create a mark unconditionally
 584         for build-in-place functions with a caller-unknown-size result.
 585         (Create_Finalizer): For build-in-place functions with a
 586         caller-unknown-size result, check at run time whether we need to
 587         release the secondary stack.
 588
 589 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 590
 591         * sem_prag.adb (Analyze_Pragma): Use the full view of an internally
 592         generated incomplete type.
 593
 594 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 595
 596         * expander.adb (Expand): Update the save and restore of the Ghost
 597         region.
 598         * exp_ch3.adb (Freeze_Type): Likewise.
 599         * exp_disp.adb (Make_DT): Likewise.
 600         * exp_util.adb (Build_DIC_Procedure_Body): Likewise.
 601         (Build_DIC_Procedure_Declaration): Likewise.
 602         (Build_Invariant_Procedure_Body): Likewise.
 603         (Build_Invariant_Procedure_Declaration): Likewise.
 604         (Make_Predicate_Call): Likewise.
 605         * freeze.adb (Add_To_Result): Insert the freeze action of a living
 606         entity prior to the start of the enclosing ignored Ghost region.
 607         (Freeze_Entity): Update the save and restore of the Ghost region.
 608         * ghost.adb (Install_Ghost_Mode): Reimplemented.
 609         (Install_Ghost_Region): New routine.
 610         (Mark_And_Set_Ghost_Assignment): Install a region rather than a mode.
 611         (Mark_And_Set_Ghost_Body): Likewise.
 612         (Mark_And_Set_Ghost_Completion): Likewise.
 613         (Mark_And_Set_Ghost_Declaration): Likewise.
 614         (Mark_And_Set_Ghost_Instantiation): Likewise.
 615         (Mark_And_Set_Ghost_Procedure_Call): Likewise.
 616         (Name_To_Ghost_Mode): New routine.
 617         (Restore_Ghost_Region): New routine.
 618         * ghost.ads (Install_Ghost_Region): New routine.
 619         (Restore_Ghost_Region): New routine.
 620         * opt.ads: Add new global variable Ignored_Ghost_Region.
 621         * rtsfind.adb (Load_RTU): Update the save and restore of the Ghost
 622         region. Install a clean region.
 623         * sem.adb (Analyze): Likewise.
 624         (Do_Analyze): Likewise.
 625         * sem_ch3.adb (Analyze_Object_Declaration): Likewise
 626         (Derive_Progenitor_Subprograms): Use local variable Iface_Alias to
 627         capture the ultimate alias of the current primitive.
 628         (Process_Full_View): Update the save and restore of the Ghost region.
 629         Do not inherit DIC and invariant procedures.
 630         * sem_ch5.adb (Analyze_Assignment): Update the save and restore of the
 631         Ghost region.
 632         * sem_ch6.adb (Analyze_Procedure_Call): Likewise.
 633         (Analyze_Subprogram_Body_Helper): Likewise.
 634         * sem_ch7.adb (Analyze_Package_Body_Helper): Likewise.
 635         * sem_ch12.adb (Analyze_Package_Instantiation): Likewise.
 636         (Analyze_Subprogram_Instantiation): Likewise.
 637         (Instantiate_Package_Body): Likewise.
 638         (Instantiate_Subprogram_Body): Likewise.
 639         * sem_ch13.adb (Build_Predicate_Functions): Likewise.
 640         (Build_Predicate_Function_Declaration): Likewise.
 641         * sem_disp.adb
 642         (Add_Dispatching_Operation): Do not consider DIC and invariant
 643         procedures.
 644         (Check_Dispatching_Operation): Use Add_Dispatching_Operation to collect
 645         a dispatching subprogram.
 646         (Check_Operation_From_Private_View): Likewise.
 647         (Override_Dispatching_Operation): Likewise.
 648         * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Update the save
 649         and restore of the Ghost region.
 650         (Analyze_Initial_Condition_In_Decl_Part): Likewise.
 651         (Analyze_Pragma): Update the save and restore of the Ghost region.
 652         (Analyze_Pre_Post_Condition_In_Decl_Part): Likewise.
 653         * sem_util.adb (Is_Suitable_Primitive): New routine.
 654         * sem_util.ads (Is_Suitable_Primitive): New routine.
 655         * sinfo.ads: Update the section of Ghost regions.
 656
 657 2018-05-24  Piotr Trojanek  <trojanek@adacore.com>
 658
 659         * doc/gnat_rm/implementation_defined_pragmas.rst (Contract_Cases):
 660         Change "condition" to "case guard" after renaming in the contract
 661         grammar.
 662         * gnat_rm.texi: Regenerate.
 663
 664 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 665
 666         * exp_util.adb (Expand_Static_Predicates_In_Choices): Indicate that the
 667         construct with discrete choices no longer contains a subtype with
 668         predicates since the expansion already handled this case.
 669
 670 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 671
 672         * freeze.adb (Wrap_Imported_Subprogram): Generate an unchecked
 673         conversion to the return type to avoid a side effect where an imported
 674         relocated function generates a new anonymous access type, whose
 675         accessibility level does not agree with with that of the wrapper.
 676
 677 2018-05-24  Javier Miranda  <miranda@adacore.com>
 678
 679         * sem_util.adb (Abstract_Interface_List): Add missing support for
 680         private types whose full view is a synchronized type.
 681         * sem_ch3.adb (Build_Derived_Private_Type): Skip building the full
 682         derivation of a private type parent type is a task type with
 683         discriminants as gigi does not use such type directly.
 684
 685 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 686
 687         * sem_elab.adb (Build_Variable_Reference_Marker): Do not create a
 688         variable marker when the reference appears in the formal part of a
 689         compilation unit instance because there is no place to insert it.
 690         (In_Compilation_Instance_Formal_Part): New routine.
 691
 692 2018-05-24  Piotr Trojanek  <trojanek@adacore.com>
 693
 694         * layout.ads, repinfo.ads: Fix references to renamed Backend_Layout
 695         configuration parameter.
 696
 697 2018-05-24  Doug Rupp  <rupp@adacore.com>
 698
 699         * argv-lynxos178-raven-cert.c: New file.
 700         * libgnat/system-lynxos178-x86.ads: New file.
 701
 702 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 703
 704         * exp_disp.adb, freeze.adb, gnat1drv.adb, sem_ch5.adb, sem_spark.adb:
 705         Minor reformattings.
 706
 707 2018-05-23  Pascal Obry  <obry@adacore.com>
 708
 709         * adaint.c (win32_wait): Properly free the handle/pid lists when
 710         WaitForMultipleObjects fails (return WAIT_FAILED).
 711
 712 2018-05-23  Pascal Obry  <obry@adacore.com>
 713
 714         * adaint.c (win32_wait): Add missing parentheses.
 715
 716 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 717
 718         * exp_ch3.adb (Check_Large_Modular_Array): Moved to Freeze.
 719         (Expand_N_Object_Declaration): Do not check for a large modular array
 720         here.
 721         * freeze.adb (Check_Large_Modular_Array): Moved from Exp_Ch3.
 722         (Freeze_Object_Declaration): Code cleanup. Check for a large modular
 723         array.
 724         * sem_ch3.adb: Minor reformatting.
 725
 726 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
 727
 728         * einfo.ads: New attribute on types: Predicated_Parent, to simplify the
 729         retrieval of the applicable predicate function to an itype created for
 730         a constrained array component.
 731         * einfo.adb: Subprograms for Predicated_Parent.
 732         (Predicate_Function): Use new attribute.
 733         * exp_util.adb (Make_Predicate_Call): If the predicate function is not
 734         available for a subtype, retrieve it from the base type, which may have
 735         been frozen after the subtype declaration and not captured by the
 736         subtype declaration.
 737         * sem_aggr.adb (Resolve_Array_Aggregate): An Others association is
 738         legal within a generated initiqlization procedure, as may happen with a
 739         predicate check on a component, when the predicate function applies to
 740         the base type of the component.
 741         * sem_ch3.adb (Analyze_Subtype_Declaration): Clean up inheritance of
 742         predicates for subtype declarations and for subtype indications in
 743         other contexts.
 744         (Process_Subtype): Likewise. Handle properly the case of a private type
 745         with unknown discriminants whose full view is an unconstrained array.
 746         Use Predicated_Parent to indicate source of predicate function on an
 747         itype whose parent is itself an itype.
 748         (Complete_Private_Subtype): If the private view has unknown
 749         discriminants and the full view is an unconstrained array, set base
 750         type of completion to the full view of parent.
 751         (Inherit_Predicate_Flags): Prevent double assignment of predicate
 752         function and flags.
 753         (Build_Subtype): For a constrained array component, propagate predicate
 754         information from original component type declaration.
 755
 756 2018-05-23  Boris Yakobowski  <yakobowski@adacore.com>
 757
 758         * libgnat/a-ngelfu.ads (Arctanh, Arccoth): Fix faulty preconditions.
 759
 760 2018-05-23  Arnaud Charlet  <charlet@adacore.com>
 761
 762         * checks.adb (Minimize_Eliminate_Overflows): Default initialize Lo and
 763         Hi.
 764         * sem_elab.adb: Make "out" parameters instead of "in out" when
 765         relevant.
 766
 767 2018-05-23  Bob Duff  <duff@adacore.com>
 768
 769         * gnatbind.adb (List_Applicable_Restrictions): Add
 770         No_Implementation_Restrictions to the list of restrictions not to list.
 771         Remove double negative "not No_Restriction_List".  Comment the
 772         commentary that is output, so it won't cause errors if used directly in
 773         a gnat.adc.
 774
 775 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
 776
 777         * sem_prag.adb (Inherit_Class_Wide_Pre): Refine legality check on
 778         class-wide precondition on a type extension when ancestor does not have
 779         a class-wide precondition.  Previously the compiler accepted such a
 780         precondition when the ancestor had a class-wide postcondition.
 781
 782 2018-05-23  Javier Miranda  <miranda@adacore.com>
 783
 784         * sem_attr.adb (Valid_Scalars): Do not invoke Error_Attr_P to report
 785         the warning on occurrences of this attribute whose evaluation is always
 786         true (since that subprogram aborts processing the attribute). In
 787         addition, replace the node by its boolean result 'True' (required
 788         because the backend has no knowledge of this attribute).
 789
 790 2018-05-23  Bob Duff  <duff@adacore.com>
 791
 792         * libgnat/a-convec.adb: (Insert, Insert_Space): Suppress warnings. The
 793         code in question is not reachable in the case where Count_Type'Last is
 794         out of range.
 795
 796 2018-05-23  Yannick Moy  <moy@adacore.com>
 797
 798         * doc/gnat_rm/implementation_defined_pragmas.rst: Clarify meaning of
 799         local pragma Warnings Off without On.
 800         * gnat_rm.texi: Regenerate.
 801
 802 2018-05-23  Olivier Hainque  <hainque@adacore.com>
 803
 804         * libgnat/g-excact.ads (Is_Foreign_Exception): New predicate.
 805         * libgnat/g-excact.adb: Implement.
 806
 807 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
 808
 809         * sem_ch5.adb (Analyze_Iterator_Specification): If a subtype indication
 810         is present, verify its legality when the domain of iteration is a
 811         GNAT-specific formal container, as is already done for arrays and
 812         predefined containers.
 813
 814 2018-05-23  Yannick Moy  <moy@adacore.com>
 815
 816         * sem_util.adb (Enclosing_Declaration): Fix the case of a named number
 817         declaration, which was not taken into account.
 818
 819 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 820
 821         * debug.adb: Switch -gnatd_s is now used to stop elaboration checks on
 822         synchronized suspension.
 823         * rtsfind.ads: Add entries for units Ada.Synchronous_Barriers and
 824         Ada.Synchronous_Task_Control and routines Suspend_Until_True and
 825         Wait_For_Release.
 826         * sem_elab.adb: Document switch -gnatd_s.
 827         (In_Task_Body): New routine.
 828         (Is_Potential_Scenario): Code cleanup. Stop the traversal of a task
 829         body when the current construct denotes a synchronous suspension call,
 830         and restriction No_Entry_Calls_In_Elaboration_Code or switch -gnatd_s
 831         is in effect.
 832         (Is_Synchronous_Suspension_Call): New routine.
 833         * switch-c.adb (Scan_Front_End_Switches): Switch -gnatJ now sets switch
 834         -gnatd_s.
 835
 836 2018-05-23  Javier Miranda  <miranda@adacore.com>
 837
 838         * exp_disp.adb (Make_DT): Restrict the initialization of
 839         External_Tag and Expanded_Name to an empty string to the case where
 840         both pragmas apply (i.e. No_Tagged_Streams and Discard_Names), since
 841         restricted runtimes are compiled with pragma Discard_Names.
 842         * doc/gnat_rm/implementation_defined_pragmas.rst,
 843         doc/gnat_rm/implementation_defined_characteristics.rst: Add
 844         documentation.
 845         * gnat_rm.texi: Regenerate.
 846
 847 2018-05-23  Maroua Maalej  <maalej@adacore.com>
 848
 849         * sem_spark.adb: Fix of some permission rules of pointers in SPARK.
 850
 851 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
 852
 853         * sem_ch5.adb (Preanalyze_Range): The pre-analysis of the domain of
 854         iteration of an Ada2012 loop is performed to determine the type of the
 855         domain, but full analysis is performed once the loop is rewritten as a
 856         while-loop during expansion. The pre-analysis suppresses expansion; it
 857         must also suppress the generation of freeze nodes, which may otherwise
 858         appear in the wrong scope before rewritting.
 859
 860 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 861
 862         * sem_elab.adb: Update the section on suppressing elaboration warnings.
 863
 864 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 865
 866         * einfo.adb (Is_Elaboration_Checks_OK_Id): Use predicate
 867         Is_Elaboration_Target.
 868         (Is_Elaboration_Target): New routine.
 869         (Is_Elaboration_Warnings_OK_Id): Use predicate Is_Elaboration_Target.
 870         (Set_Is_Elaboration_Checks_OK_Id): Use predicate Is_Elaboration_Target.
 871         (Set_Is_Elaboration_Warnings_OK_Id): Use predicate
 872         Is_Elaboration_Target.
 873         * einfo.ads: Add new synthesized attribute Is_Elaboration_Target along
 874         with occurrences in nodes.
 875         (Is_Elaboration_Target): New routine.
 876         * sem_prag.adb (Analyze_Pragma): Suppress elaboration warnings when an
 877         elaboration target is subject to pragma Warnings (Off, ...).
 878
 879 2018-05-23  Eric Botcazou  <ebotcazou@adacore.com>
 880
 881         * repinfo.adb (List_Type_Info): Remove obsolete stuff.
 882
 883 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 884
 885         * einfo.adb: Flag304 is now Is_Elaboration_Warnings_OK_Id.
 886         (Is_Elaboration_Warnings_OK_Id): New routine.
 887         (Set_Is_Elaboration_Warnings_OK_Id): New routine.
 888         (Write_Entity_Flags): Output Flag304.
 889         * einfo.ads: Add new attribute Is_Elaboration_Warnings_OK_Id along with
 890         occurrences in entities.
 891         (Is_Elaboration_Warnings_OK_Id): New routine along with pragma Inline.
 892         (Set_Is_Elaboration_Warnings_OK_Id): New routine along with pragma
 893         Inline.
 894         * sem_attr.adb (Analyze_Access_Attribute): Capture the state of
 895         elaboration warnings.
 896         * sem_ch3.adb (Analyze_Object_Declaration): Capture the state of
 897         elaboration warnings.
 898         * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Capture the
 899         state of elaboration warnings.
 900         (Analyze_Subprogram_Body_Helper): Capture the state of elaboration
 901         warnings.
 902         (Analyze_Subprogram_Declaration): Capture the state of elaboration
 903         warnings.
 904         * sem_ch9.adb (Analyze_Entry_Declaration): Capture the state of
 905         elaboration warnings.
 906         (Analyze_Single_Task_Declaration): Capture the state of elaboration
 907         warnings.
 908         (Analyze_Task_Type_Declaration): Capture the state of elaboration
 909         warnings.
 910         * sem_ch12.adb (Analyze_Generic_Package_Declaration): Capture the state
 911         of elaboration warnings.
 912         (Analyze_Generic_Subprogram_Declaration): Capture the state of
 913         elaboration warnings.
 914         * sem_elab.adb: Add a section on suppressing elaboration warnings.
 915         Type Processing_Attributes includes component Suppress_Warnings
 916         intended to suppress any elaboration warnings along a path in the
 917         graph.  Update Initial_State to include a value for this component.
 918         Types Target_Attributes and Task_Attriutes include component
 919         Elab_Warnings_OK to indicate whether the target or task has elaboration
 920         warnings enabled.  component Elab_Warnings_OK.
 921         (Build_Access_Marker): Propagate attribute
 922         Is_Elaboration_Warnings_OK_Node from the attribute to the generated
 923         call marker.
 924         (Extract_Instantiation_Attributes): Set the value for Elab_Warnings_OK.
 925         (Extract_Target_Attributes): Set the value for Elab_Warnings_OK.
 926         (Extract_Task_Attributes): Set the value for Elab_Warnings_OK.
 927         (Process_Conditional_ABE_Access): Suppress futher elaboration warnings
 928         when already in this mode or when the attribute or target have warnings
 929         suppressed.
 930         (Process_Conditional_ABE_Activation_Impl): Do not emit any diagnostics
 931         if warnings are suppressed.
 932         (Process_Conditional_ABE_Call): Suppress further elaboration warnings
 933         when already in this mode, or the target or call have warnings
 934         suppressed.
 935         (Process_Conditional_ABE_Call_Ada): Do not emit any diagnostics if
 936         warnings are suppressed.
 937         (Process_Conditional_ABE_Call_SPARK): Do not emit any diagnostics if
 938         warnings are suppressed.
 939         (Process_Conditional_ABE_Instantiation): Suppress further elaboration
 940         warnings when already in this mode or when the instantiation has
 941         warnings suppressed.
 942         (Process_Conditional_ABE_Instantiation_Ada): Do not emit any
 943         diagnostics if warnings are suppressed.
 944         (Process_Conditional_ABE_Variable_Assignment_Ada): Use the more
 945         specific Is_Elaboration_Warnings_OK_Id rather than Warnings_Off.
 946         (Process_Conditional_ABE_Variable_Assignment_SPARK): Use the more
 947         specific Is_Elaboration_Warnings_OK_Id rather than Warnings_Off.
 948         (Process_Task_Object): Suppress further elaboration warnings when
 949         already in this mode, or when the object, activation call, or task type
 950         have warnings suppressed. Update the processing state to indicate that
 951         the path goes through a task body.
 952         * sinfo.adb (Is_Elaboration_Warnings_OK_Node): Accept attribute
 953         references.
 954         (Set_Is_Elaboration_Warnings_OK_Node): Accept attribute references.
 955         * sinfo.ads: Attribute Is_Elaboration_Warnings_OK_Node now applies to
 956         attribute references.
 957
 958 2018-05-23  Piotr Trojanek  <trojanek@adacore.com>
 959
 960         * einfo.ads: Minor reformatting.
 961
 962 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
 963
 964         * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
 965         anonymous_access_to_ subprogram formal, apply a conversion to force an
 966         accsssibility check that will fail statically, enforcing 3.10.2 (13).
 967
 968 2018-05-23  Daniel Mercier  <mercier@adacore.com>
 969
 970         * gnat1drv.adb: Turn off length expansion in CodePeer mode.
 971
 972 2018-05-23  Bob Duff  <duff@adacore.com>
 973
 974         * freeze.adb: (Check_Address_Clause): Deal with build-in-place
 975         aggregates in addition to build-in-place calls.
 976
 977 2018-05-23  Bob Duff  <duff@adacore.com>
 978
 979         * einfo.ads: Minor reformatting.
 980         * sem_ch3.adb: Likewise.
 981         * sinfo.ads: Likewise.
 982
 983 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 984
 985         * exp_ch3.adb (Default_Initialize_Object): Do not optimize scalar array
 986         initialization when the component type has predicates.
 987         * exp_ch4.adb (Expand_N_Allocator): Do not optimize scalar array
 988         allocation when the component type has predicates.
 989
 990 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 991
 992         * einfo.adb, exp_disp.adb, sem_ch3.adb, sem_ch6.adb, sem_prag.adb:
 993         Minor reformatting.
 994
 995 2018-05-22  Justin Squirek  <squirek@adacore.com>
 996
 997         * sem_ch6.adb (Analyze_Expression_Function): Propagate flags from the
 998         original function spec into the generated function spec due to
 999         expansion of expression functions during analysis.
1000         (Analyze_Subprogram_Body_Helper): Modify check on formal parameter
1001         references from the body to the subprogram spec in the case of
1002         expression functions because of inconsistances related to having a
1003         generated body.
1004         * libgnarl/s-osinte__android.ads: Flag parameters as unused.
1005         * libgnarl/s-osinte__lynxos178e.ads: Likewise.
1006         * libgnarl/s-osinte__qnx.adb: Likewise.
1007         * libgnarl/s-osinte__qnx.ads: Likewise.
1008
1009 2018-05-22  Doug Rupp  <rupp@adacore.com>
1010
1011         * init.c (HAVE_ADJUST_CONTEXT_FOR_RAISE): Don't define on VxWorks7 for
1012         AArch64.
1013
1014 2018-05-22  Olivier Hainque  <hainque@adacore.com>
1015
1016         * libgnat/a-except.adb (Exception_Propagation.Propagate_Exception):
1017         Expect an Exception_Occurence object, not an Access.
1018         (Complete_And_Propagate_Occurrence): Adjust accordingly.
1019         (Raise_From_Signal_Handler): Likewise.
1020         (Reraise_Occurrence_No_Defer): If we have a Machine_Occurrence
1021         available in the provided occurrence object, just re-propagate the
1022         latter as a bare "raise;" would do.
1023         * libgnat/a-exexpr.adb (Propagate_Exception): Adjust to spec change.
1024         * libgnat/a-exstat.adb (String_To_EO): Initialize X.Machine_Occurrence
1025         to null, to mark that the occurrence we're crafting from the stream
1026         contents is not being propagated (yet).
1027
1028 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1029
1030         * exp_aggr.adb (Initialize_Ctrl_Record_Component): Insert the generated
1031         code for a transient component in line with the rest of the
1032         initialization code, rather than before the aggregate. This ensures
1033         that the component has proper visibility of the discriminants.
1034
1035 2018-05-22  Jerome Lambourg  <lambourg@adacore.com>
1036
1037         * adaint.c: Reorganize QNX-specific macros, use syspage to retreive the
1038         number of CPUs.
1039
1040 2018-05-22  Jerome Lambourg  <lambourg@adacore.com>
1041
1042         * sigtramp-qnx.c: Properly restore link register in signal trampoline.
1043
1044 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1045
1046         * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Strip away any
1047         conversions before extracting the value of the expression.
1048         * exp_ch3.adb (Default_Initialize_Object): Optimize the default
1049         initialization of an array of scalars.
1050         (Get_Simple_Init_Val): Add processing for array types. Remove the
1051         processing of strings because this case is already handled by the array
1052         case.
1053         (Needs_Simple_Initialization): Moved to Sem_Util.
1054         (Simple_Init_Array_Type): New routine.
1055         (Simple_Init_Initialize_Scalars_Type): Reimplemented to use the new
1056         facilities from Sem_Util.
1057         (Simple_Initialization_OK): New routine.
1058         * exp_ch3.ads (Needs_Simple_Initialization): Moved to Sem_Util.
1059         * exp_ch4.adb (Expand_N_Allocator): Optimize the default allocation of
1060         an array of scalars.
1061         * sem_prag.adb (Analyze_Float_Value): New routine.
1062         (Analyze_Integer_Value): New routine.
1063         (Analyze_Pragma): Reimplement the analysis of pragma Initialize_Scalars
1064         to handled the extended form of the pragma.
1065         (Analyze_Type_Value_Pair): New routine.
1066         * sem_util.adb: Add invalid value-related data structures.
1067         (Examine_Array_Bounds): New routine.
1068         (Has_Static_Array_Bounds): Reimplemented.
1069         (Has_Static_Non_Empty_Array_Bounds): New routine.
1070         (Invalid_Scalar_Value): New routine.
1071         (Needs_Simple_Initialization): Moved from Exp_Ch3.
1072         (Set_Invalid_Scalar_Value): New routines.
1073         * sem_util.ads (Has_Static_Non_Empty_Array_Bounds): New routine.
1074         (Invalid_Scalar_Value): New routine.
1075         (Needs_Simple_Initialization): Moved from Exp_Ch3.
1076         (Set_Invalid_Scalar_Value): New routines.
1077         * snames.ads-tmpl: Add names for the salar type families used by pragma
1078         Initialize_Scalars.
1079
1080 2018-05-22  Javier Miranda  <miranda@adacore.com>
1081
1082         * exp_disp.adb (Make_DT): Initialize the External_Tag with an empty
1083         string when pragma No_Tagged_Streams is applicable to the tagged type,
1084         and initialize the Expanded_Name with an empty string when pragma
1085         Discard_Names is applicable to the tagged type.
1086
1087 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
1088
1089         * sem_ch6.adb (Check_Conformance): Add RM reference for rule that a
1090         formal subprogram is never subtype conformqnt, and thus cannot be the
1091         prefix of 'Access.  Reject as well the attribute when applied to a
1092         renaming of a formal subprogram.
1093
1094 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1095
1096         * exp_ch3.adb (Build_Array_Init_Proc): Update the call to
1097         Needs_Simple_Initialization.
1098         (Build_Init_Statements): Update the call to Get_Simple_Init_Val.
1099         (Check_Subtype_Bounds): Renamed to Extract_Subtype_Bounds. Update the
1100         profile and comment on usage.
1101         (Default_Initialize_Object): Do not use New_Copy_Tree to set the proper
1102         Sloc of a value obtained from aspect Default_Value because this could
1103         potentially replicate large trees. The proper Sloc is now set in
1104         Get_Simple_Init_Val.
1105         (Get_Simple_Init_Val): Reorganized by breaking the various cases into
1106         separate routines. Eliminate the use of global variables.
1107         (Init_Component): Update the call to Get_Simple_Init_Val.
1108         (Needs_Simple_Initialization): Update the parameter profile and all
1109         uses of T.
1110         (Simple_Init_Defaulted_Type): Copy the value of aspect Default_Value
1111         and set the proper Sloc.
1112         * exp_ch3.ads (Get_Simple_Init_Val): Update the parameter profile and
1113         comment on usage.
1114         (Needs_Simple_Initialization): Update the parameter profile.
1115
1116 2018-05-22  Patrick Bernardi  <bernardi@adacore.com>
1117
1118         * sem_ch3.adb (Build_Discriminant_Constraints): Raise an error if the
1119         user tries to use a subtype indication as a discriminant constraint.
1120
1121 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
1122
1123         * exp_ch4.ads, exp_ch4.adb, exp_util.adb, expander.adb: Remove mention
1124         of N_Reduction_Expression and N_Reduction_Expression_Parameter.
1125         * par-ch4.adb: Remove parsing routines for reduction expressions.
1126         * sem.adb, sinfo.ads, sinfo.adb, sem_ch4.ads, sem_ch4.adb, sem_res.adb,
1127         sem_spark.adb, sprint.adb: Remove analysis routines for reduction
1128         expressions.
1129
1130 2018-05-22  Arnaud Charlet  <charlet@adacore.com>
1131
1132         * sem_ch8.adb (Check_Frozen_Renaming): Do not emit error in
1133         Relaxed_RM_Semantics mode.
1134
1135 2018-05-22  Arnaud Charlet  <charlet@adacore.com>
1136
1137         * comperr.adb (Delete_SCIL_Files): Take into account
1138         N_Generic_Package_Renaming_Declaration.
1139
1140 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
1141
1142         * sem_ch3.adb (Search_Derivation_Levels): Whenever a parent type is
1143         private, use the full view if available, because it may include renamed
1144         discriminants whose values are stored in the corresponding
1145         Stored_Constraint.
1146
1147 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
1148
1149         * einfo.ads, einfo.adb: New attribute Hidden_In_Formal_Instance,
1150         defined on packages that are actuals for formal packages, in order to
1151         set/reset the visibility of the formals of a formal package with given
1152         actuals, when there are subsequent uses of those formals in the
1153         enclosing generic, as required by RN 12.7 (10).
1154         * atree.ads, atree.adb: Add operations for Elist30.
1155         * atree.h: Add Elist30.
1156         * sem_ch12.adb (Analyze_Formal_Package_Instantiation): Collect formals
1157         that are not defaulted and are thus not visible within the current
1158         instance.
1159         (Check_Formal_Packages): Reset visibility of formals of a formal
1160         package that are not defaulted, on exit from current instance.
1161
1162 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1163
1164         * sem_prag.adb (Analyze_Input_Output): Emit an error when a non-null,
1165         non-'Result output appears in the output list of a function.
1166
1167 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1168
1169         * exp_attr.adb (Build_Array_VS_Func): Reimplemented.
1170         (Build_Record_VS_Func): Reimplemented.
1171         (Expand_N_Attribute): Reimplement the handling of attribute
1172         'Valid_Scalars.
1173         * sem_attr.adb (Analyze_Attribute): Reimplement the handling of
1174         attribute 'Valid_Scalars.
1175         * sem_util.adb (Scalar_Part_Present): Reimplemented.
1176         (Validated_View): New routine.
1177         * sem_util.ads (Scalar_Part_Present): Update the parameter profile and
1178         comment on usage.
1179         (Validated_View): New routine.
1180         * doc/gnat_rm/implementation_defined_attributes.rst: Update the
1181         documentation of attribute 'Valid_Scalars.
1182         * gnat_rm.texi: Regenerate.
1183
1184 2018-05-22  Bob Duff  <duff@adacore.com>
1185
1186         * binde.adb: (Choose): Ignore a pragma Elaborate_Body that appears in
1187         the spec of a SAL_Interface package.
1188
1189 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
1190
1191         * freeze.adb (Freeze_Entity): When analyzing delayed aspects of an
1192         entity E within a generic unit, indicate that there are no remaining
1193         delayed aspects after invoking Analyze_Aspects_At_Freeze_Point. The
1194         entity E is not frozen yet but the aspects should not be reanalyzed at
1195         the freeze point, which may be outside of the generic and may not have
1196         the proper visibility.
1197
1198 2018-05-22  Bob Duff  <duff@adacore.com>
1199
1200         * doc/gnat_ugn/gnat_utility_programs.rst: Add documentation for
1201         the new --split-line-before-record, --indent-named-statements and
1202         --no-align-modes gnatpp switches.
1203
1204 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
1205
1206         * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Handle properly
1207         a second argument that is a constant of a given string value.
1208
1209 2018-05-22  Doug Rupp  <rupp@adacore.com>
1210
1211         * sigtramp-vxworks-target.inc: Align stack to 128bits on AArch64.
1212
1213 2018-05-22  Jerome Lambourg  <lambourg@adacore.com>
1214
1215         * sigtramp-qnx.c: Fix stack alignment issue in the signal trampoline.
1216
1217 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
1218
1219         * freeze.adb (Freeze_Fixed_Point_Type): If the first subtype has
1220         delayed aspects, analyze them now, os that the representation of the
1221         type (size, bounds) can be computed and validated.
1222
1223 2018-05-22  Olivier Hainque  <hainque@adacore.com>
1224
1225         * libgnat/s-dwalin.adb (Enable_Cache): Skip symbols outside of the
1226         executable code section boundaries.
1227
1228 2018-05-22  Javier Miranda  <miranda@adacore.com>
1229
1230         * locales.c: New implementation for the Ada.Locales package.
1231         * libgnat/a-locale.ads: Remove comment indicating that this is not
1232         implemented.
1233         * doc/gnat_rm/standard_library_routines.rst: Remove comment indicating
1234         that this is not implemented.
1235         * gnat_rm.texi: Regenerate.
1236
1237 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1238
1239         * exp_ch5.adb, freeze.adb, pprint.adb, sem_ch4.adb, sem_res.adb: Minor
1240         reformattings.
1241
1242 2018-05-22  Justin Squirek  <squirek@adacore.com>
1243
1244         * sem_ch12.adb (In_Same_Declarative_Part): Moved to sem_util.
1245         (Freeze_Subprogram_Body, Install_Body): Modify calls to
1246         In_Same_Declarative_Part.
1247         * sem_prag.adb (Analyze_Pragma-Pragma_Pure_Function): Add check to
1248         verify pragma declaration is within the same declarative list with
1249         corresponding error message.
1250         * sem_util.adb, sem_util.ads (In_Same_Declarative_Part): Moved from
1251         sem_ch12.adb and generalized to be useful outside the scope of
1252         freezing.
1253
1254 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1255
1256         * sem_ch6.adb (Analyze_Subprogram_Declaration): Set the proper
1257         categorization of the unit after processing the aspects in case one of
1258         its aspects is converted into a categorization pragma.
1259
1260 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
1261
1262         * freeze.adb (Warn_Overlay): Do not emit a wawrning on an object
1263         declaration with an explicit address clause and a type with default
1264         initialization, if the declaration carries an aspect
1265         Suppress_Initialization.
1266
1267 2018-05-21  Daniel Mercier  <mercier@adacore.com>
1268
1269         * pprint.adb: Use mixed case for attribute names.
1270
1271 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
1272
1273         * sem_ch6.adb (Analyze_Generic_Subprogram_Body): Rename the call to
1274         Analyze_Aspect_Specifications_On_Body_Or_Stub.
1275         (Analyze_Subprogram_Body_Helper): Rename the calls to
1276         Analyze_Aspect_Specifications_On_Body_Or_Stub.
1277         * sem_ch9.adb (Analyze_Entry_Body): Rename the call to
1278         Analyze_Aspect_Specifications_On_Body_Or_Stub.
1279         * sem_ch10.adb: Add with and use clause for Sem_Ch13.
1280         (Analyze_Package_Body_Stub): Add constant Id. Decorate the package stub
1281         prior to analyzing its aspects.
1282         (Analyze_Protected_Body_Stub): Add constant Id. Decorate the package
1283         stub prior to analyzing its aspects. Save and restore the configuration
1284         switches.
1285         (Analyze_Task_Body_Stub): Add constant Id. Decorate the package stub
1286         prior to analyzing its aspects.
1287         * sem_ch13.adb (Analyze_Aspect_Specifications_On_Body_Or_Stub): Renamed
1288         to Analyze_Aspects_On_Subprogram_Body_Or_Stub.
1289         * sem_ch13.ads (Analyze_Aspect_Specifications_On_Body_Or_Stub): Renamed
1290         to Analyze_Aspects_On_Subprogram_Body_Or_Stub.
1291         * sem_prag.adb: Code reformatting.
1292         (Analyze_Refined_Depends_Global_Post): Consider task body stubs.
1293
1294 2018-05-21  Jerome Lambourg  <lambourg@adacore.com>
1295
1296         * gcc-interface/Makefile.in: Add g-soliop__qnx.ads to the runtime build
1297         for QNX.
1298
1299 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
1300
1301         * exp_cg.adb: Remove with and use clause for Exp_Disp.
1302         * exp_ch9.adb: Remove with and use clause for Exp_Disp.
1303         * exp_disp.adb (Is_Predefined_Dispatching_Operation): Moved to Sem_Util.
1304         (Is_Predefined_Interface_Primitive): Moved to Sem_Util.
1305         (Is_Predefined_Internal_Operation): Moved to Sem_Util.
1306         * exp_disp.ads (Is_Predefined_Dispatching_Operation): Moved to Sem_Util.
1307         (Is_Predefined_Interface_Primitive): Moved to Sem_Util.
1308         (Is_Predefined_Internal_Operation): Moved to Sem_Util.
1309         * exp_dist.adb: Remove with and use clause for Exp_Disp.
1310         * freeze.adb: Remove with and use clause for Exp_Disp.
1311         * sem_cat.adb: Remove with and use clause for Exp_Disp.
1312         * sem_ch6.adb: Remove with and use clause for Exp_Disp.
1313         * sem_ch12.adb: Remove with and use clause for Exp_Disp.
1314         * sem_elab.adb (Check_Overriding_Primitive): Do not process predefined
1315         primitives.
1316         * sem_util.adb: Remove with and use clause for Exp_Disp.
1317         (Is_Predefined_Dispatching_Operation): Moved from Exp_Disp.
1318         (Is_Predefined_Interface_Primitive): Moved from Exp_Disp.
1319         (Is_Predefined_Internal_Operation): Moved from Exp_Disp.
1320         * sem_util.ads (Is_Predefined_Dispatching_Operation): Moved from
1321         Exp_Disp.
1322         (Is_Predefined_Interface_Primitive): Moved from Exp_Disp.
1323         (Is_Predefined_Internal_Operation): Moved from Exp_Disp.
1324
1325 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
1326
1327         * sem_res.adb (Valid_Conversion): Improve error message on an illegal
1328         type conversion whose expression has a limited view of a type.
1329
1330 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
1331
1332         * exp_ch5.adb (Build_Formal_Container_Iteration): If source has
1333         explicit name for iterator loop, preserve that name in expanded
1334         construct, for possible use in exit statements.
1335
1336 2018-05-21  Javier Miranda  <miranda@adacore.com>
1337
1338         * sem_ch4.adb (Analyze_Membership_Op): Avoid compiler crash when the
1339         spec of a unit has Ada 2012 membership tests with multiple choices and
1340         the unit body is not compiled under Ada 2012 mode.
1341
1342 2018-05-21  Doug Rupp  <rupp@adacore.com>
1343
1344         * sigtramp-vxworks-target.inc: Set cfa_reg properly from sigcontext
1345         pregs.
1346         (CFI_COMMON_REGS): Restore LR jic probed from prologue.
1347         (REGNO_PC_OFFSET): Change to correct value for Aarch64.
1348
1349 2018-05-21  Jose Ruiz  <ruiz@adacore.com>
1350
1351         * doc/gnat_ugn/gnat_utility_programs.rst, exp_attr.adb,
1352         libgnarl/s-tassta.adb: Minor typo fixes
1353
1354 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
1355
1356         * sem_ch4.adb (Analyze_One_Call): Recognize complex cases where an
1357         indexed call originally in prefix forn is itself the prefix of a
1358         further call.
1359
1360 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
1361
1362         * sem_eval.adb (Is_Null_Range): Clarify access to the full view of a
1363         type.
1364         (Not_Null_Range): Same as above.
1365
1366 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
1367
1368         * exp_ch3.adb: Minor reformatting.
1369         * exp_ch6.adb: Likewise.
1370         * freeze.adb: Likewise.
1371         * inline.adb: Likewise.
1372         * sem_util.adb: Likewise.
1373
1374 2018-05-21  Yannick Moy  <moy@adacore.com>
1375
1376         * inline.adb (Expand_Inlined_Call.Process_Formals): Use a type
1377         conversion instead of an unchecked type conversion when inlining a
1378         return statement, unless type qualification is required (for character
1379         and string literal) or no check can result from the conversion (for
1380         access types).
1381         * opt.ads: Update comment.
1382
1383 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
1384
1385         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Install the elaboration
1386         model of the compilation unit spec, if any.
1387         * sem_ch7.adb (Analyze_Package_Body_Helper): Install the elaboration
1388         model of the compilation unit spec, if any.
1389         * sem_ch10.adb (Analyze_Subunit): Install the elaboration model of the
1390         parent compilation unit spec, if any.
1391         * sem_elab.adb (Check_Elaboration_Scenarios): Restore the elaboration
1392         model of the main unit.
1393         (Is_Same_Unit): The routine now uses Unit_Entity.
1394         (Is_Subunit): Removed.
1395         (Normalize_Unit): Removed.
1396         (Unit_Entity): New routine.
1397         * sem_prag.adb (Analyze_Pragma): Reimplement the handling of pragma
1398         Elaboration_Checks. The analysis now ensures that the pragma appears at
1399         the configuration level, and on the initial declaration of a unit.
1400         Other placements are either flagged as illegal, or ignored.
1401         (Check_Duplicate_Elaboration_Checks_Pragma): New routine.
1402         (Ignore_Elaboration_Checks_Pragma): New routine.
1403         * sem_util.adb (Install_Elaboration_Model): New routine.
1404         * sem_util.ads (Install_Elaboration_Model): New routine.
1405         * doc/gnat_rm/implementation_defined_pragmas.rst: Update the
1406         documentation of pragma Elaboration_Checks.
1407         * gnat_rm.texi: Regenerate.
1408
1409 2018-05-21  Olivier Hainque  <hainque@adacore.com>
1410
1411         * libgnat/s-trasym__dwarf.adb (Executable_Name): Return argv[0] instead
1412         of empty string when argv[0] couldn't be found on PATH.
1413         (Enable_Cache): Raise Program_Error instead of attempting a null
1414         pointer dereference when the Exec_Module initialization failed.
1415
1416 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
1417
1418         * libgnarl/a-reatim.ads (Clock_Time): Remove External aspect.
1419         * libgnarl/a-taside.ads (Tasking_State): Likewise.
1420         * libgnat/a-calend.ads (Clock_Time): Likewise.
1421
1422 2018-05-21  Yannick Moy  <moy@adacore.com>
1423
1424         * sem_ch6.adb (Analyze_Procedure_Call): Refine test to recognize prefix
1425         call notation in inlined call in GNATprove mode.
1426
1427 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
1428
1429         * einfo.adb (Is_External_State): An abstract state is also external
1430         when it is declared with option "synchronous".
1431         * einfo.ads: Update the documentation of synthesized attribute
1432         Is_External_State.
1433         * sem_util.adb (Find_Simple_Properties): New routine.
1434         (Is_Enabled_External_Property): New routine.
1435         (State_Has_Enabled_Property): Reimplemented. The two flavors of option
1436         External have precedence over option Synchronous when determining
1437         whether a property is in effect.
1438
1439 2018-05-21  Yannick Moy  <moy@adacore.com>
1440
1441         * sem_eval.adb (Static_Length): Take into account case of variable of
1442         subtype string literal.
1443
1444 2018-05-21  Olivier Hainque  <hainque@adacore.com>
1445
1446         * libgnat/s-objrea.ads (Get_Memory_Bounds): Rename as Get_Xcode_Bounds.
1447         (Object_Section): Rename Flag_Alloc component as Flag_Xcode.
1448         * libgnat/s-objrea.adb (Get_Xcode_Bounds): Adjust to new subprogram and
1449         component name.
1450         (Get_Section, ELF case): Set Flag_Xcode from SHF_EXECINSTR.
1451         * libgnat/s-dwalin.adb (Open): Adjust to the Get_Memory_Bounds name
1452         change.
1453
1454 2018-05-21  Olivier Hainque  <hainque@adacore.com>
1455
1456         * libgnat/s-dwalin.ads (Dwarf_Context): Change type of Load_Address to
1457         Address, and type of Low, High to Storage_Offset.
1458         (Low): Rename as Low_Address and convey that the return value is a
1459         runtime reference accounting for a load address.
1460         * libgnat/s-dwalin.adb (Read_Aranges_Entry): Adjust to the
1461         address/offset type changes.
1462         (Aranges_Lookup): Likewise.
1463         (Symbolic_Address): Likewise.
1464         (Symbolic_Traceback): Likewise.
1465         (Dump_Cache): Likewise.
1466         (Is_Inside): Likewise.
1467         (Open): Likewise.
1468         (Set_Load_Address): Likewise.
1469         (Low_Address): Likewise, and account for C.Load_Address.
1470         * libgnat/s-trasym__dwarf.adb (Lt): Use Low_Address instead of Low.
1471         (Multi_Module_Symbolic_Traceback): Compare address in traceback
1472         with module Low_Address instead of Low.
1473
1474 2018-05-21  Olivier Hainque  <hainque@adacore.com>
1475
1476         * libgnat/s-dwalin.ads (Dwarf_Context): Rename Load_Slide as
1477         Load_Address.
1478         * libgnat/s-dwalin.adb (Is_Inside): Adjust accordingly.
1479         (Set_Load_Address): Likewise.
1480         (Symbolic_Traceback): Likewise.
1481
1482 2018-05-21  Olivier Hainque  <hainque@adacore.com>
1483
1484         * libgnat/s-trasym__dwarf.adb (Add_Module_To_Cache): Expect a
1485         Load_Address argument and pass it down to Init_Module.
1486         * libgnat/s-tsmona__linux.adb (Build_Cache_For_All_Modules): Pass
1487         lm.l_addr as the Load_Address to Add_Module_To_Cache.
1488
1489 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
1490
1491         * einfo.adb (Has_Discriminants): Stronger assertion.
1492         (Set_Has_Discriminants): Stronger assertion.
1493         * sem_ch13.adb (Push_Scope_And_Install_Discriminants): Adapt to respect
1494         the stronger assertion on Has_Discriminant.
1495         (Uninstall_Discriminants_And_Pop_Scope): Same as above.
1496         * sem_util.adb (New_Copy_Tree): Same as above.
1497         * sem_ch7.adb (Generate_Parent_References): Prevent calls to
1498         Has_Discriminant on non-type entities that might happen when the
1499         compiled code has errors.
1500         * sem_ch3.adb (Derived_Type_Declaration): Only call
1501         Set_Has_Discriminant on type entities.
1502
1503 2018-05-21  Arnaud Charlet  <charlet@adacore.com>
1504
1505         * exp_unst.adb (Unnest_Subprogram): Unnest all subprograms relevant for
1506         code generation.
1507
1508 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
1509
1510         * lib.ads: Fix typo in enumeration in comment.
1511
1512 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
1513
1514         * sem_attr.adb (Analyze_Attribute, case Scalar_Storage_Order): The
1515         attribute reference is legal within a generic unit when the prefix is a
1516         formal private type.
1517
1518 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
1519
1520         * exp_ch7.adb (Establish_Transient_Scope): Code cleanup. Do not
1521         delegate the secondary stack management when there is no suitable
1522         transient context, and the transient scope was intended to manage the
1523         secondary stack because this causes premature reclamation. Change the
1524         transient scope creation logic by special casing assignment statements
1525         of controlled components for type initialization procedures.
1526         (Find_Node_To_Be_Wrapped): Renamed to Find_Transient_Context. Update
1527         the comment on usage.
1528         (Find_Transient_Context): Change the initinte loop into a while loop.
1529         Iterations schemes and iterator specifications are not valid transient
1530         contexts because they rely on special processing. Assignment statements
1531         are now treated as a normal transient context, special cases are
1532         handled by the caller. Add special processing for pragma Check.
1533         (Is_OK_Construct): Removed. Its functionality has been merged in
1534         routine Find_Transient_Context.
1535         * sem_ch5.adb (Check_Call): Reimplemented. Add code to properly
1536         retrieve the subprogram being invoked. Use a more accurate predicate
1537         (Requires_Transient_Scope) to determine that the function will emply
1538         the secondary stack.
1539
1540 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
1541
1542         * ada_get_targ.adb: Fix subprogram body headers.
1543         * adabkend.adb: Likewise.
1544         * checks.adb: Likewise.
1545         * exp_ch3.adb: Likewise.
1546         * exp_ch5.adb: Likewise.
1547         * exp_ch9.adb: Likewise.
1548         * exp_dist.adb: Likewise.
1549         * exp_tss.adb: Likewise.
1550         * inline.adb: Likewise.
1551         * lib-writ.adb: Likewise.
1552         * lib-xref-spark_specific.adb: Likewise.
1553         * libgnarl/s-osinte__darwin.adb: Likewise.
1554         * libgnarl/s-stusta.adb: Likewise.
1555         * libgnarl/s-taprop__solaris.adb: Likewise.
1556         * libgnarl/s-tposen.adb: Likewise.
1557         * libgnarl/s-vxwext__kernel-smp.adb: Likewise.
1558         * libgnarl/s-vxwext__kernel.adb: Likewise.
1559         * libgnat/a-btgbso.adb: Likewise.
1560         * libgnat/a-cfdlli.adb: Likewise.
1561         * libgnat/a-cfhama.adb: Likewise.
1562         * libgnat/a-cfinve.adb: Likewise.
1563         * libgnat/a-cimutr.adb: Likewise.
1564         * libgnat/a-coboho.adb: Likewise.
1565         * libgnat/a-cofove.adb: Likewise.
1566         * libgnat/a-cofuve.adb: Likewise.
1567         * libgnat/a-comutr.adb: Likewise.
1568         * libgnat/a-exexda.adb: Likewise.
1569         * libgnat/a-tags.adb: Likewise.
1570         * libgnat/a-tideau.adb: Likewise.
1571         * libgnat/a-wtdeau.adb: Likewise.
1572         * libgnat/a-ztdeau.adb: Likewise.
1573         * libgnat/g-alleve.adb: Likewise.
1574         * libgnat/s-excdeb.adb: Likewise.
1575         * libgnat/s-parint.adb: Likewise.
1576         * libgnat/s-shasto.adb: Likewise.
1577         * libgnat/s-traceb__hpux.adb: Likewise.
1578         * prepcomp.adb: Likewise.
1579         * sem_ch4.adb: Likewise.
1580         * sem_ch6.adb: Likewise.
1581         * sem_dist.adb: Likewise.
1582         * sem_prag.adb: Likewise.
1583         * sem_util.adb: Likewise.
1584         * sinfo.adb: Likewise.
1585         * switch.adb: Likewise.
1586
1587 2018-05-04  John Marino  <gnugcc@marino.st>
1588
1589         PR ada/85635
1590         * link.c (BSD platforms): Add missing backslash.
1591
1592 2018-04-27  Eric Botcazou  <ebotcazou@adacore.com>
1593
1594         PR ada/85540
1595         * init.c (__gnat_handle_vms_condition): Add missing parentheses.
1596
1597 2018-04-25  Eric Botcazou  <ebotcazou@adacore.com>
1598
1599         PR ada/85007
1600         * gnat_ugn.texi: Regenerate.
1601
1602 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
1603
1604         PR ada/85007
1605         * gnatlink.adb (Gnatlink): Remove handling of -b switch.
1606         * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink):
1607         Remove documentation of -b switch.
1608
1609 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
1610
1611         PR ada/85036
1612         * gnatlink.adb (Process_Args): Drop existing link switches if multiple
1613         switches are passed for --LINK.
1614
1615 2018-03-12  Eric Botcazou  <ebotcazou@adacore.com>
1616
1617         PR ada/82813
1618         * gcc-interface/misc.c (gnat_post_options): Disable string overflow
1619         warnings.
1620
1621 2018-03-10  Eric Botcazou  <ebotcazou@adacore.com>
1622
1623         * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>:
1624         Consider only entities for objects.
1625
1626 2018-03-07  Sebastian Huber  <sebastian.huber@embedded-brains.de>
1627
1628         * gcc-interface/Makefile.in (OSCONS_CPP): Remove redundant
1629         $(GNATLIBCFLAGS).
1630         (OSCONS_EXTRACT): Add $(GNATLIBCFLAGS_FOR_C).
1631
1632 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
1633
1634         * gcc-interface/trans.c (convert_with_check): Fix typo in the condition
1635         guarding the overflow check emitted for the upper bound of a floating-
1636         point conversion.
1637
1638 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
1639
1640         * gcc-interface/utils.c (def_builtin_1): Bail out on error_mark_node.
1641
1642 2018-02-28  Eric Botcazou  <ebotcazou@adacore.com>
1643
1644         * libgnat/i-cexten.ads (Float_128): New type.
1645
1646 2018-02-02  Eric Botcazou  <ebotcazou@adacore.com>
1647
1648         * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
1649         false if the component type is a pointer.
1650
1651 2018-01-11  Gary Dismukes  <dismukes@adacore.com>
1652
1653         * exp_ch3.adb (Default_Initialize_Object): Call New_Copy_Tree on the
1654         result of Get_Simple_Init_Value and pass the source location of the
1655         object declaration's object_definition.
1656
1657 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
1658
1659         * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Handle
1660         properly object declarations with initializations that are
1661         build-in-place function calls, when there is an address specification,
1662         either as an aspect specification or an explicit attribute
1663         specification clause, for the initialized object.
1664         * freeze.adb (Check_Address_Clause): Do not remove side-effects from
1665         initial expressions in the case of a build-in-place call.
1666
1667 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
1668
1669         * sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a
1670         private (sub)type; refactor to avoid early return statement.
1671         (Not_Null_Range): Same as above.
1672
1673 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1674
1675         * freeze.adb (Freeze_Entity): Ensure that a Ghost type is not
1676         concurrent, nor effectively volatile.
1677         * ghost.adb (Check_Ghost_Type): New routine.
1678         * ghost.ads (Check_Ghost_Type): New routine.
1679         * sem_util.adb (Is_Declaration): Reimplemented. The routine can now
1680         consider specific subsets of declarations.
1681         (Is_Declaration_Other_Than_Renaming): Removed. Its functionality is
1682         replicated by Is_Declaration.
1683         * sem_util.ads (Is_Declaration): New parameter profile. Update the
1684         comment on usage.
1685         (Is_Declaration_Other_Than_Renaming): Removed.
1686
1687 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1688
1689         * sem_ch5.adb (Analyze_Assignment): Assignments to variables that act
1690         as Part_Of consituents of single protected types are illegal when they
1691         take place inside a protected function.
1692         (Diagnose_Non_Variable_Lhs): Use Within_Function to check for an
1693         enclosing function.
1694         (Is_Protected_Part_Of_Constituent): New routine.
1695         (Within_Function): New routine.
1696
1697 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
1698
1699         Bump copyright notices to 2018.
1700
1701 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1702
1703         * binde.adb, par-ch6.adb, par-ch9.adb, sem_ch12.adb, sem_ch13.adb:
1704         Minor reformatting.
1705
1706 2018-01-11  Justin Squirek  <squirek@adacore.com>
1707
1708         * par-ch6.adb (Scan_Body_Or_Expression_Function): Add additional check
1709         to make sure a given expression function is properly parenthesized.
1710
1711 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1712
1713         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Check the
1714         categorization of a subprogram body which does not complete a previous
1715         declaration.
1716
1717 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1718
1719         * sem_ch10.adb (Check_Private_Child_Unit): Ensure that the enclosing
1720         scope of package Ada is Standard.
1721
1722 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
1723
1724         * sem_ch13.adb (Replace_Type_Ref): Handle properly reference to a
1725         subcomponent of the current entity when building the body for a dynamic
1726         predicate function for a record with composite subcomponents.
1727
1728 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1729
1730         * exp_aggr.adb (Convert_Aggr_In_Object_Decl): Update the call to
1731         Establish_Transient_Scope.
1732         (Convert_To_Assignments): Update the call to Establish_Transient_Scope.
1733         (Expand_Array_Aggregate): Update the call to Establish_Transient_Scope.
1734         * exp_ch6.adb (Expand_Call_Helper): Update the call to
1735         Establish_Transient_Scope.
1736         (Make_Build_In_Place_Call_In_Object_Declaration): Update the call to
1737         Establish_Transient_Scope.
1738         * exp_ch7.adb (Establish_Transient_Scope): Restructured. Delegate the
1739         management of the secondary stack to an enclosing scope if there is no
1740         suitable construct to wrap, and the transient scope was intended to
1741         manage the secondary stack.
1742         (Find_Node_To_Be_Wrapped): Restructured. A case_statement_alternative
1743         is a valid boundary for a transient expression which comes from the
1744         statements of the alternative, otherwise alternatives cannot be
1745         wrapped. Assignments of controlled objects which have controlled
1746         actions suppressed now stop the traversal as there is no point in
1747         looking for an enclosing construct. Add several N_xxx_Body choices to
1748         the termination conditions for completeness.
1749         * exp_ch7.ads (Establish_Transient_Scope): Update the parameter profile
1750         and the associated comment on usage.
1751         * exp_smem.adb (Add_Shared_Var_Lock_Procs): Update the call to
1752         Establish_Transient_Scope.
1753         (Add_Write_After): Update the call to Establish_Transient_Scope.
1754         * sem_res.adb (Check_Initialization_Call): Removed.
1755         (Resolve_Actuals): Account for additional cases where finalization
1756         actions are required by utilizing predicate Needs_Finalization rather
1757         than Is_Controlled.
1758         (Resolve_Call): Type initialization procedures can now utilize
1759         transient scopes to manage the secondary stack, thus preventing leaks
1760         during initialization.  Remove the previous kludgy algorithm which
1761         attempts to manage the secondary stack at the object creation site.
1762
1763 2018-01-11  Jerome Lambourg  <lambourg@adacore.com>
1764
1765         * libgnat/g-soliop__qnx.ads: New.
1766         * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update
1767         for QNX.
1768
1769 2018-01-11  Bob Duff  <duff@adacore.com>
1770
1771         * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if
1772         a null procedure occurs in a protected definition.
1773
1774 2018-01-11  Bob Duff  <duff@adacore.com>
1775
1776         * binderr.ads, namet.ads: Minor reformatting.
1777
1778 2018-01-11  Bob Duff  <duff@adacore.com>
1779
1780         * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of
1781         xml2gnat.
1782
1783 2018-01-11  Bob Duff  <duff@adacore.com>
1784
1785         * binde.adb (Force_Elab_Order): Give an error if there are duplicate
1786         unit names.
1787
1788 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
1789
1790         * sem_ch6.adb (Freeze_Expr_Types): If an access value is the
1791         controlling argument of a dispatching call. freeze the corresponding
1792         designated type.
1793
1794 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
1795
1796         * doc/Makefile: Add Sphinx option -W to treat warnings as errors.
1797
1798 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
1799
1800         * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording
1801         corrections.
1802         * gnat_rm.texi: Regenerate.
1803
1804 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
1805
1806         * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the
1807         formsl type corresponding to the actual fixed point type is private,
1808         because in this case there can be no suspicious arithmetic operations
1809         in the generic unless they reference a formal subprogram.  Clarify
1810         warning.
1811
1812 2018-01-11  Javier Miranda  <miranda@adacore.com>
1813
1814         * exp_util.adb (Remove_Side_Effects): No action done for functions
1815         returning class-wide types since it requires generating code using
1816         'reference and the CCG target has no secondary stack.
1817         * gnat1drv.adb: Disable building static dispatch tables when generating
1818         C code.
1819
1820 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
1821
1822         * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads,
1823         libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads
1824         (File_Type): Add Default_Initial_Condition aspect.
1825
1826 2018-01-11  Pascal Obry  <obry@adacore.com>
1827
1828         * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation.
1829
1830 2018-01-11  Bob Duff  <duff@adacore.com>
1831
1832         * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation
1833         to match what the Libadalang-based version does.
1834         * doc/gnat_ugn/about_this_guide.rst: Update reference.
1835
1836 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1837
1838         * sem_res.adb (Uses_SS): A controlled type requires the secondary stack
1839         if it contains at least one component declaration employing a function
1840         call returning on the secondary stack.
1841
1842 2018-01-11  Yannick Moy  <moy@adacore.com>
1843
1844         * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
1845         Update description of restriction SPARK_05 with SPARK 2014.
1846         * gnat_rm.texi: Regenerate.
1847
1848 2018-01-11  Vasiliy Fofanov  <fofanov@adacore.com>
1849
1850         * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout.
1851
1852 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1853
1854         * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb,
1855         sem_res.adb, sem_util.adb: Minor reformatting.
1856
1857 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
1858
1859         * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type
1860         has a delayed aspect which must be processed at the point the type is
1861         frozen. This mimics what is done when the predicate is provided by a
1862         source aspect.
1863
1864 2018-01-11  Doug Rupp  <rupp@adacore.com>
1865
1866         * init.c (vxworks): Add macro checks for __aarch64__.
1867
1868 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1869
1870         * exp_util.adb (Add_Failure_Expression): New routine.
1871         (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
1872         * sem_util.adb (Is_Current_Instance): Code cleanup.
1873
1874 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
1875
1876         * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded
1877         Default_Sec_Stack_Size.
1878         * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack
1879         limit check so that the integer index does not overflow. Check the
1880         dynamic stack allocation does not cause the secondary stack pointer to
1881         overflow.
1882         (SS_Info): Align colons.
1883         (SS_Init): Cover the case when bootstraping with an old compiler that
1884         does not set Default_SS_Size.
1885
1886 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
1887
1888         * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the
1889         legality of an inherited operation that may require overriding, ignore
1890         primitive_wrappers that correspond to explicit operations that override
1891         an interface primitive.
1892         * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the
1893         operation to which the class-wide expression applies is a protected op.
1894         with a primitive_wrapper, verify that the updated inherited expression
1895         does not contain an internal call to a protected function.  This
1896         completes the implementation of AI12-0166.
1897
1898 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1899
1900         * ali.adb: Document the remaining letters available for ALI lines.
1901         (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line.
1902         * ali.ads: Update type With_Record. Field
1903         Implicit_With_From_Instantiation is no longer in use. Add field
1904         Implicit_With.
1905         * csinfo.adb (CSinfo): Remove the setup for attribute
1906         Implicit_With_From_Instantiation.
1907         * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as
1908         either implicitly or explicitly withed.
1909         (Is_Implicit_With_Clause): New routine.
1910         (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid
1911         confusion with the with clause attribute by the same name.
1912         (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers.
1913         * rtsfind.adb (Maybe_Add_With): Code cleanup.
1914         * sem_ch8.adb (Present_System_Aux): Code cleanup.
1915         * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated
1916         for a parent unit.
1917         (Implicit_With_On_Parent): Mark the with clause as generated for a
1918         parent unit.
1919         * sem_ch12.adb (Inherit_Context): With clauses inherited by an
1920         instantiation are no longer marked as Implicit_With_From_Instantiation
1921         because they are already marked as implicit.
1922         * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge
1923         which marks implicit with clauses as related to an instantiation.
1924         * sinfo.adb (Implicit_With_From_Instantiation): Removed.
1925         (Parent_With): New routine.
1926         (Set_Implicit_With_From_Instantiation): Removed.
1927         (Set_Parent_With): New routine.
1928         * sinfo.ads: Update the documentation of attribute Implicit_With.
1929         Remove attribute Implicit_With_From_Instantiation along with
1930         occurrences in nodes.  Add attribute Parent_With along with occurrences
1931         in nodes.
1932         (Implicit_With_From_Instantiation): Removed along with pragma Inline.
1933         (Parent_With): New routine along with pragma Inline.
1934         (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline.
1935         (Set_Parent_With): New routine along with pragma Inline.
1936
1937 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1938
1939         * sem_util.adb (Find_Enclosing_Scope): Return the unique defining
1940         entity when the enclosing construct is a body.
1941
1942 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
1943
1944         * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified
1945         Secondary_Stack_Size handling as a pragma is now generated for the
1946         corresponding aspect instead of an attribute.  Pragma expression is
1947         relocated instead of evaluated. Discriminant of the corresponding
1948         record type is referenced rather than the type discriminant.
1949         (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update
1950         Secondary_Stack_Size rep item checks to only look for the pragma rep.
1951         * sem_ch13.adb (Analyze_One_Aspect): Transform
1952         Aspect_Secondary_Stack_Size into a pragma instead of an attribute
1953         because the attribute does not have visibility on a task type's
1954         discriminants when the type's definition is expanded.
1955         (Analyze_Attribute_Definition_Clause): Remove handling of
1956         Attribute_Secondary_Stack_Size.
1957         * snames.adb-tmpl, snames.ads-tmpl: Remove
1958         Attribute_Secondary_Stack_Size, no longer used.
1959
1960 2018-01-11  Justin Squirek  <squirek@adacore.com>
1961
1962         * sem_ch8.adb: Minor comment fix.
1963
1964 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1965
1966         * exp_ch4.adb (Process_Action): Do not abandon the inspection of an
1967         individual action because the action may denote a complex expression,
1968         such as a case statement, which in turn may contain additional
1969         transient objects.
1970
1971 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
1972
1973         * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform
1974         analysis on a copy of the expression with a copy of the index variable,
1975         because full expansion will rewrite construct into a loop with the
1976         original loop variable.
1977         * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the
1978         expression is an iterated component association. Full analysis takes
1979         place when construct is rewritten as a loop.
1980         (In_Place_Assign_OK, Safe_Component): An iterated_component_association
1981         is not safe for in-place assignment.
1982         * sem_util.adb (Remove_Entity): Handle properly the case of an isolated
1983         entity with no homonym and no other entity in the scope.
1984
1985 2018-01-11  Justin Squirek  <squirek@adacore.com>
1986
1987         * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error
1988         message to be printed on the pragma argument identifier.
1989
1990 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
1991
1992         * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last
1993         entity of the generated invariant procedure in order to construct a
1994         proper entity chain.
1995
1996 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
1997
1998         * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in
1999         comment.
2000
2001 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
2002
2003         * einfo.ads, einfo.adb (Activation_Record_Component,
2004         Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity):
2005         Allow E_Discriminant.
2006
2007 2018-01-10  Eric Botcazou  <ebotcazou@adacore.com>
2008
2009         * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check
2010         for atomic access once the component size is taken into account and
2011         also do it if the component type is Atomic or Volatile_Full_Access.
2012
2013 2018-01-04  Eric Botcazou  <ebotcazou@adacore.com>
2014
2015         * gnatvsn.ads: Bump copyright year.
2016
2017 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2018             Alan Hayward  <alan.hayward@arm.com>
2019             David Sherwood  <david.sherwood@arm.com>
2020
2021         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE
2022         as polynomial.
2023
2024 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2025             Alan Hayward  <alan.hayward@arm.com>
2026             David Sherwood  <david.sherwood@arm.com>
2027
2028         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION
2029         as polynomial.
2030
2031 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2032             Alan Hayward  <alan.hayward@arm.com>
2033             David Sherwood  <david.sherwood@arm.com>
2034
2035         * gcc-interface/utils.c (gnat_types_compatible_p): Handle
2036         polynomial TYPE_VECTOR_SUBPARTS.
2037
2038 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2039             Alan Hayward  <alan.hayward@arm.com>
2040             David Sherwood  <david.sherwood@arm.com>
2041
2042         * gcc-interface/misc.c (enumerate_modes): Handle polynomial
2043         GET_MODE_NUNITS.
2044
2045 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
2046
2047         Update copyright years.
2048
2049         * gnat_ugn.texi: Bump @copying's copyright year.
2050         * gnat_rm.texi: Likewise.
2051 \f
2052 Copyright (C) 2018 Free Software Foundation, Inc.
2053
2054 Copying and distribution of this file, with or without modification,
2055 are permitted in any medium without royalty provided the copyright
2056 notice and this notice are preserved.