gcc/ada/ChangeLog

   1 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
   2
   3         * exp_unst.ads, exp_unst.adb (Needs_Fat_Pointer,
   4         Build_Access_Type_Decl): New subprograms to handle uplevel references
   5         to formals of an unconstrained array type. The activation record
   6         component for these is an access type, and the reference is rewritten
   7         as an explicit derefenrence of that component.
   8
   9 2018-06-11  Bob Duff  <duff@adacore.com>
  10
  11         * libgnat/a-ciorma.adb, libgnat/a-ciormu.adb, libgnat/a-ciorse.adb,
  12         libgnat/a-coorma.adb, libgnat/a-coormu.adb, libgnat/a-coorse.adb:
  13         (Element): Add code to detect dangling cursors in some cases.
  14
  15 2018-06-11  Yannick Moy  <moy@adacore.com>
  16
  17         * sem_ch6.adb (Build_Subprogram_Declaration): Mark parameters as coming
  18         from source.
  19
  20 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
  21
  22         * sem_ch13.adb (Build_Predicate_Functions): For a derived type, ensure
  23         that its parent is already frozen so that its predicate function, if
  24         any, has already been constructed.
  25
  26 2018-06-11  Yannick Moy  <moy@adacore.com>
  27
  28         * sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context): Adapt for
  29         possible task unit as the enclosing context.
  30
  31 2018-06-11  Eric Botcazou  <ebotcazou@adacore.com>
  32
  33         * gnat1drv.adb: Remove use clause for Repinfo.
  34         (Gnat1drv): Beef up comment about the interplay between -gnatc and
  35         back-end annotations.  Use full qualified name for List_Rep_Info.
  36
  37 2018-06-11  Hristian Kirtchev  <kirtchev@adacore.com>
  38
  39         * libgnat/g-arrspl.ads: Add pragma Preelaborate.
  40
  41 2018-06-11  Arnaud Charlet  <charlet@adacore.com>
  42
  43         * exp_ch4.adb (Expand_Record_Equality): Remove extraneous "True and
  44         then" and general logical "ada" in codepeer mode.
  45
  46 2018-06-11  Javier Miranda  <miranda@adacore.com>
  47
  48         * exp_ch9.adb (Expand_N_Protected_Body): Add missing handling of
  49         N_Call_Marker nodes.
  50
  51 2018-06-11  Arnaud Charlet  <charlet@adacore.com>
  52
  53         * exp_ch3.adb, exp_unst.adb, inline.adb, sem_prag.adb: Minor
  54         reformatting.
  55
  56 2018-06-11  Yannick Moy  <moy@adacore.com>
  57
  58         * doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible
  59         argument to Assertion_Policy
  60         * gnat_rm.texi: Regenerate.
  61
  62 2018-06-11  Yannick Moy  <moy@adacore.com>
  63
  64         * gnat1drv.adb: Do not check representation information in CodePeer and
  65         GNATprove modes, as these modes call a special backend instead of gigi,
  66         so do not have the information.
  67
  68 2018-06-11  Yannick Moy  <moy@adacore.com>
  69
  70         * inline.adb (Build_Body_To_Inline): Consider case of extended return
  71         of unconstrained type as one case where inlining is not supported.
  72         (Expand_Inlined_Call): Remove special case for body as extended return
  73         of unconstrained type.
  74
  75 2018-06-11  Yannick Moy  <moy@adacore.com>
  76
  77         * sem_prag.adb (Analyze_Part_Of): Only allow Part_Of on non-generic
  78         unit.
  79         (Check_Missing_Part_Of): Do not force Part_Of on generic unit.
  80
  81 2018-06-11  Piotr Trojanek  <trojanek@adacore.com>
  82
  83         * sem_ch13.adb (Analyze_Aspect_Specifications): Don't split AND THEN
  84         expressions in Pre/Post contracts while in GNATprove_Mode.
  85
  86 2018-06-11  Piotr Trojanek  <trojanek@adacore.com>
  87
  88         * sem_util.adb (Is_Potentially_Unevaluated): Fix detection of contracts
  89         with AND THEN expressions broken down into individual conjuncts.
  90
  91 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
  92
  93         * exp_ch7.adb (Check_Unnesting_Elaboration_Code): Add guard.
  94
  95 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
  96
  97         * exp_unst.adb (Visit_Node): Skip generic associations.
  98
  99 2018-06-11  Arnaud Charlet  <charlet@adacore.com>
 100
 101         * libgnat/memtrack.adb (fwrite): Remove second definition.
 102
 103 2018-06-11  Javier Miranda  <miranda@adacore.com>
 104
 105         * sinfo.ads (Is_Dynamic_Coextension): Adding documentation.
 106         (Is_Static_Coextension): Adding documentation.
 107         * sinfo.adb (Is_Dynamic_Coextension): Extending the assertion.
 108         (Is_Static_Coextension): Extending the assertion.
 109         * sem_util.adb (Mark_Allocator): Clear Is_Static_Coextension when
 110         setting flag Is_Dynamic_Coextension (and vice versa).
 111
 112 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
 113
 114         * exp_unst.adb (Search_Subprograms): Handle explicitly stubs at the top
 115         level of a compilation unit, becuase they may contain nested
 116         subprograms that need an activation record.
 117
 118 2018-06-11  Arnaud Charlet  <charlet@adacore.com>
 119
 120         * Makefile.rtl: Compile Ada files with $(ADAC) instead of $(CC).
 121
 122 2018-06-11  Hristian Kirtchev  <kirtchev@adacore.com>
 123
 124         * exp_ch11.adb, exp_unst.adb, inline.adb, sem_ch12.adb, sem_util.adb:
 125         Minor reformatting.
 126         * sinfo.ads: Fix a typo.
 127
 128 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
 129
 130         * inline.adb (Expand_Inlined_Call): If no optimization level is
 131         specified, the expansion of a call to an Inline_Always function is
 132         fully performed in the front-end even on a target that support back-end
 133         inlining.
 134
 135 2018-06-11  Arnaud Charlet  <charlet@adacore.com>
 136
 137         * bindgen.adb (Gen_Adainit): Protect reference to System.Parameters
 138         with Sec_Stack_Used.
 139
 140 2018-06-11  Hristian Kirtchev  <kirtchev@adacore.com>
 141
 142         * sem_ch8.adb (Find_Direct_Name): Mode the declaration of
 143         Is_Assignment_LHS further in. Use predicate
 144         Needs_Variable_Reference_Marker to determine whether to create a
 145         variable marker.
 146         (Find_Expanded_Name): Mode the declaration of Is_Assignment_LHS further
 147         in.  Use predicate Needs_Variable_Reference_Marker to determine whether
 148         to create a variable marker.
 149         * sem_elab.adb (Build_Variable_Reference_Marker): Remove the various
 150         checks that determine whether the identifier or expanded name is a
 151         suitable variable reference.  The checks are now performed by
 152         Needs_Variable_Reference_Marker.
 153         * sem_res.adb (Resolve_Actuals): Use predicate
 154         Needs_Variable_Reference_Marker to determine whether to create a
 155         variable marker.
 156         * sem_util.adb (Needs_Variable_Reference_Marker): New routine.
 157         * sem_util.ads (Needs_Variable_Reference_Marker): New routine.
 158
 159 2018-06-11  Valentine Reboul  <reboul@adacore.com>
 160
 161         * doc/gnat_rm.rst, doc/gnat_ugn.rst: Rename "GPL Edition" into
 162         "Community Edition".
 163
 164 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
 165
 166         * sem_ch12.adb (Install_Body): In order to determine the placement of
 167         the freeze node for an instance of a generic nested within another
 168         instance, take into account that the outer instance may be declared in
 169         the visible part of a package and the inner intance may be in the
 170         private part of the same package.
 171
 172 2018-06-11  Eric Botcazou  <ebotcazou@adacore.com>
 173
 174         * errout.adb (Special_Msg_Delete): Remove handling of Atomic and VFA.
 175
 176 2018-06-11  Nicolas Roche  <roche@adacore.com>
 177
 178         * libgnat/s-valuti.adb (Bad_Value): Ensure that we do not generate a
 179         stack overflow while raising a constraint error.
 180
 181 2018-06-11  Eric Botcazou  <ebotcazou@adacore.com>
 182
 183         * repinfo.ads (Rep_Value): Use a single line.
 184         * repinfo.adb (Rep_Value): Likewise.
 185         (List_Attr): Do not use string concatenation.
 186
 187 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
 188
 189         * exp_unst.adb (Visit_Node): Check reference to formal parameter of
 190         current procedure, because the bounds of its type may be uplevel
 191         references.
 192
 193 2018-06-02  Eric Botcazou  <ebotcazou@adacore.com>
 194
 195         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: If this is
 196         not a definition, retrieve the expression only if it's a compile-time
 197         known value if we are just annotating types.
 198
 199         * gcc-interface/utils.c (convert): Do not try to upcast properly for a
 200         conversion between tagged types in type_annotate_only mode.
 201
 202 2018-06-02  Eric Botcazou  <ebotcazou@adacore.com>
 203
 204         * gcc-interface/ada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro.
 205         * gcc-interface/decl.c (gnat_to_gnu_component_type): Cache the padding
 206         type built for an aliased component with variable size.
 207
 208 2018-05-31  Pierre-Marie de Rodat  <derodat@adacore.com>
 209
 210         * doc/gnat_ugn/project-manager-figure.png: Delete.
 211
 212 2018-05-31  Pierre-Marie de Rodat  <derodat@adacore.com>
 213
 214         * vxworks-arm-link.spec, vxworks-e500-link.spec,
 215         vxworks-gnat-crtbe-link.spec, vxworks-smp-arm-link.spec,
 216         vxworks-smp-e500-link.spec, vxworks-smp-ppc-link.spec,
 217         vxworks-smp-x86-link.spec: New files.
 218
 219 2018-05-31  Pierre-Marie de Rodat  <derodat@adacore.com>
 220
 221         * gnatvsn.adb: Re-center the copyright header.
 222         * indepsw-darwin.adb: Adjust the starting copyright year to 2011.
 223
 224 2018-05-31  Fedor Rybin  <frybin@adacore.com>
 225
 226         * doc/gnat_ugn/gnat_utility_programs.rst: Document Stubs_Subdir in
 227         gnattest section on user guide.
 228
 229 2018-05-31  Ed Schonberg  <schonberg@adacore.com>
 230
 231         * sem_res.adb (Resolve_String_Literal): If the type is a string type
 232         whose component subtype has a static predicate, ensure that the
 233         predicate is applied to each character by expanding the string into the
 234         equivalent aggregate. This is also done if the component subtype is
 235         constrained.
 236
 237 2018-05-31  Eric Botcazou  <ebotcazou@adacore.com>
 238
 239         * gcc-interface/trans.c (Call_to_gnu): Remove obsolete code.
 240
 241 2018-05-31  Piotr Trojanek  <trojanek@adacore.com>
 242
 243         * sem_ch6.adb (Check_Missing_Return): Handle procedures with no
 244         explicit spec.
 245
 246 2018-05-31  Eric Botcazou  <ebotcazou@adacore.com>
 247
 248         * gcc-interface/trans.c (Call_to_gnu): In the by-reference case, if
 249         the type of the parameter is an unconstrained array type, convert
 250         to the type of the actual before the type of the formal only if the
 251         conversion was suppressed earlier.  Use in_param and gnu_actual_type
 252         local variables throughout, and uniform spelling for In Out or Out.
 253         Also remove dead code in the component-by-reference case.
 254
 255 2018-05-31  Frederic Konrad  <konrad@adacore.com>
 256
 257         * tracebak.c (STOP_FRAME): Harden condition.
 258         (is_return_from, EXTRA_STOP_CONDITION): New helpers for VxWorks in RTP
 259         mode.
 260
 261 2018-05-31  Ed Schonberg  <schonberg@adacore.com>
 262
 263         * checks.adb (Apply_Discriminant_Check): Do not apply discriminant
 264         check to a call to a build-in-place function, given that the return
 265         object is limited and cannot be copied.
 266
 267 2018-05-31  Olivier Hainque  <hainque@adacore.com>
 268
 269         * libgnat/s-atopri.ads: Update comment on __atomic_compare_exchange
 270         builtins.
 271
 272 2018-05-31  Eric Botcazou  <ebotcazou@adacore.com>
 273
 274         * gcc-interface/trans.c (Call_to_gnu): If this is a function call and
 275         there is no target, also create a temporary for the return value for
 276         an allocator if the type is an unconstrained record type with default
 277         discriminant.
 278
 279 2018-05-31  Hristian Kirtchev  <kirtchev@adacore.com>
 280
 281         * exp_ch7.adb (Find_Transient_Context): An iteration scheme is a valid
 282         boudary for a transient scope.
 283
 284 2018-05-31  Valentine Reboul  <reboul@adacore.com>
 285
 286         * gnatvsn.ads: Rename "GPL" version to "Community".
 287
 288 2018-05-31  Ed Schonberg  <schonberg@adacore.com>
 289
 290         * einfo.ads: Improve documentation for the Is_Unsigned_Type entity
 291         flag.
 292
 293 2018-05-31  Piotr Trojanek  <trojanek@adacore.com>
 294
 295         * sem_prag.adb (Analyze_Pragma): Replace call to Unique_Defining_Entity
 296         with a semantically equivalent call to Defining_Entity.
 297
 298 2018-05-31  Piotr Trojanek  <trojanek@adacore.com>
 299
 300         * sem_prag.adb (Analyze_Pragma): Set Etype on the rewritten
 301         Max_Queue_Length expression.
 302
 303 2018-05-31  Sergey Rybin  <rybin@adacore.com>
 304
 305         * doc/gnat_ugn/gnat_and_program_execution.rst: gnatelim does not need
 306         that the main unit to be built before the call, now it computes the
 307         closure of the main unit itself.
 308         * gnat_ugn.texi: Regenerate.
 309
 310 2018-05-31  Eric Botcazou  <ebotcazou@adacore.com>
 311
 312         * repinfo.adb (List_Structural_Record_Layout): Set First to false
 313         after having listed the fields of the parent type, if any.
 314
 315 2018-05-31  Eric Botcazou  <ebotcazou@adacore.com>
 316
 317         * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not
 318         deal with the ___XP suffix for packed array types here...
 319         <E_Array_Subtype>: ...or here when processing the implementation type
 320         but when processing the original type instead.  Do not reuse the DECL
 321         of the implementation type for the original type.  Tidy up.
 322
 323 2018-05-31  Eric Botcazou  <ebotcazou@adacore.com>
 324
 325         * einfo.ads (Object_Size_Clause): Declare.
 326         * einfo.adb (Object_Size_Clause): New function.
 327         * gcc-interface/utils.c (maybe_pad_type): Test Has_Size_Clause before
 328         retrieving Size_Clause and post the warning on the object size clause
 329         if Has_Object_Size_Clause is true.
 330
 331 2018-05-31  Javier Miranda  <miranda@adacore.com>
 332
 333         * sem_util.ads, sem_util.adb (Find_Primitive_Eq): New subprogram.
 334         * exp_ch4.adb (Expand_Composite_Equality): Use the new subprogram
 335         Find_Primitive_Eq to search for the primitive of types whose underlying
 336         type is a tagged type.
 337
 338 2018-05-31  Yannick Moy  <moy@adacore.com>
 339
 340         * sem_prag.adb (Analyze_Pragma.Check_Loop_Pragma_Placement): Inverse
 341         order of treatment between nodes recognized as loop pragmas (or
 342         generated from one) and block statements.
 343
 344 2018-05-31  Doug Rupp  <rupp@adacore.com>
 345
 346         * libgnat/s-osprim__posix2008.adb (Clock): Implement using
 347         clock_gettime.
 348
 349 2018-05-31  Ed Schonberg  <schonberg@adacore.com>
 350
 351         * exp_unst.ads, exp_unst.adb (In_Synchronized_Unit): New predicate to
 352         mark subprograms that cannot be eliminated because they must be treated
 353         as reachable from outside the current unit. This includes entry bodies
 354         and protected operations.
 355
 356 2018-05-31  Ed Schonberg  <schonberg@adacore.com>
 357
 358         * exp_ch4.adb (Expand_Modular_Addition, Expand_Modular_Subtraction):
 359         Convert all operands of the generated code to Standard.Unsigned, to
 360         prevent spurious visibility errors. This is needed when the generated
 361         expansion involves a modular index type of an array type, and the index
 362         type is not immediately visible.
 363
 364 2018-05-30  Piotr Trojanek  <trojanek@adacore.com>
 365
 366         * einfo.ads (Package_Instantiation): Update comment after a routine
 367         that uses this field has been renamed.
 368
 369 2018-05-30  Ed Schonberg  <schonberg@adacore.com>
 370
 371         * exp_ch11.adb (Replace_Raise_By_Goto): The transfomation is legal even
 372         if the local raise statement includes a string expression. This
 373         expression might be picked up by an outer handler or discarded, but
 374         plays no role in this transformation.
 375
 376 2018-05-30  Hristian Kirtchev  <kirtchev@adacore.com>
 377
 378         * exp_aggr.adb, exp_unst.adb, freeze.adb, libgnat/a-direct.adb: Minor
 379         reformatting.
 380
 381 2018-05-30  Ed Schonberg  <schonberg@adacore.com>
 382
 383         * exp_unst.adb (Visit_Node): Handle the semantic Procedure_To_Call
 384         field in relevant nodes: Allocate, Free, and return statements.
 385
 386 2018-05-30  Ed Schonberg  <schonberg@adacore.com>
 387
 388         * exp_unst.adb (Visit_Node): Do not traverse a Component_Association
 389         that has not been analyzed, as will be the case for a nested aggregate
 390         that is expanded into individual assignments.
 391
 392 2018-05-30  Justin Squirek  <squirek@adacore.com>
 393
 394         * aspects.adb, aspects.ads: Register new aspect.
 395         * par-prag.adb (Prag): Register new pragma.
 396         * sem_ch13.adb (Analyze_Aspect_Specifications): Add processing for new
 397         aspect similar to Aspect_Max_Queue_Length.
 398         * sem_prag.adb, sem_prag.ads (Analyze_Pragma): Register new pragma and
 399         set it to use the same processing as Pragma_Max_Queue_Length.
 400         * snames.ads-tmpl: Move definition of Name_Max_Entry_Queue_Depth so
 401         that it can be processed as a pragma in addition to a restriction and
 402         add an entry for the pragma itself.
 403
 404 2018-05-30  Ed Schonberg  <schonberg@adacore.com>
 405
 406         * freeze.adb (Freeze_Object_Declaration): A pragma Thread_Local_Storage
 407         is now legal on a variable of composite type initialized with an
 408         aggregate that is fully static and requires no elaboration code.
 409         * exp_aggr.adb (Convert_To_Positional): Recognize additional cases of
 410         nested aggregates that are compile-time static, so they can be used to
 411         initialize variables declared with Threqd_Local_Storage.
 412         * doc/gnat_rm/implementation_defined_pragmas.rst: Add documentation on
 413         Thread_Local_Storage.
 414         * gnat_rm.texi: Regenerate.
 415
 416 2018-05-30  Yannick Moy  <moy@adacore.com>
 417
 418         * sem_util.adb (Policy_In_Effect): Take into account CodePeer and
 419         GNATprove modes.
 420
 421 2018-05-30  Justin Squirek  <squirek@adacore.com>
 422
 423         * libgnat/a-direct.adb, libgnat/a-direct.ads (Name_Case_Equivalence):
 424         Add implementation.
 425         (Start_Search): Modify to use Start_Search_Internal
 426         (Start_Search_Internal): Add to break out an extra flag for searching
 427         case insensative due to the potential for directories within the same
 428         OS to allow different casing schemes.
 429         * sysdep.c (__gnat_name_case_equivalence): Add as a default fallback
 430         for when the more precise solution fails.
 431
 432 2018-05-30  Hristian Kirtchev  <kirtchev@adacore.com>
 433
 434         * checks.adb, exp_ch5.adb, exp_ch7.adb, exp_unst.adb, sem_eval.adb:
 435         Minor reformatting.
 436
 437 2018-05-30  Pascal Obry  <obry@adacore.com>
 438
 439         * libgnat/g-comlin.ads (Value_Callback, Define_Switch): New.
 440         * libgnat/g-comlin.adb: Add corresponding implementation.
 441
 442 2018-05-30  Gary Dismukes  <dismukes@adacore.com>
 443
 444         * sem_res.adb, sem_util.adb: Fix several typos.
 445
 446 2018-05-30  Olivier Hainque  <hainque@adacore.com>
 447
 448         * vx_crtbegin_attr.c (CTOR_ATTRIBUTE, DTOR_ATTRIBUTE): Empty.
 449         (eh_registration_ctors, eh_registration_tors): New static variables,
 450         forced in a .ctors/.dtors section, respectively, with priority.
 451
 452 2018-05-30  Bob Duff  <duff@adacore.com>
 453
 454         * aspects.ads, contracts.adb, exp_util.adb, expander.adb, expander.ads,
 455         freeze.adb, inline.adb, lib-xref.adb, sem.ads, sem_aggr.adb,
 456         sem_attr.adb, sem_ch13.adb, sem_ch3.adb, sem_ch5.adb, sem_ch6.adb,
 457         sem_ch8.adb, sem_dim.adb, sem_elab.adb, sem_res.adb, sem_res.ads,
 458         sinfo.ads: Spell preanalysis, preanalyze correctly.
 459
 460 2018-05-30  Bob Duff  <duff@adacore.com>
 461
 462         * libgnat/g-sestin.ads: Rework documentation comments.
 463
 464 2018-05-30  Piotr Trojanek  <trojanek@adacore.com>
 465
 466         * errout.adb, exp_aggr.adb, exp_ch7.adb, exp_util.adb, lib.adb,
 467         sem_ch13.adb, sem_ch4.adb, sem_res.adb, sem_util.adb
 468         (Has_Original_Node): Refactor to use Is_Rewrite_Substitution.
 469
 470 2018-05-30  Piotr Trojanek  <trojanek@adacore.com>
 471
 472         * sem_prag.adb (Analyze_Pragma): Remove conjuncts that are always true.
 473
 474 2018-05-30  Hristian Kirtchev  <kirtchev@adacore.com>
 475
 476         * sem_util.adb (Is_Atomic_Object): Cleaned up. Split the entity logic
 477         in a separate routine.
 478         (Is_Atomic_Object_Entity): New routine.
 479         (Is_Atomic_Prefix): Cleaned up.
 480         (Is_Synchronized_Object): Check that the object is atomic, or its type
 481         is atomic.
 482         (Object_Has_Atomic_Components): Removed.
 483         * sem_util.ads (Is_Atomic_Object): Reword the comment on usage.
 484         (Is_Atomic_Object_Entity): New routine.
 485
 486 2018-05-30  Ed Schonberg  <schonberg@adacore.com>
 487
 488         * sem_ch3.adb (Access_Subprogram_Declaration): The flag
 489         Needs_Activation_Record is only needed on a subprogram type, not on a
 490         pointer to such.
 491         * sem_res.adb (Resolve_Selected_Component): If the context type and the
 492         component type are anonymous access to subprograms, use the component
 493         type to obtain the proper value of Needs_Activation_Record flag for the
 494         expression.
 495
 496 2018-05-30  Eric Botcazou  <ebotcazou@adacore.com>
 497
 498         * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Add
 499         comment about the memset case.
 500
 501 2018-05-30  Bob Duff  <duff@adacore.com>
 502
 503         * exp_ch5.adb (Expand_Formal_Container_Element_Loop): Remove the code
 504         to analyze the Elmt_Decl, because it gets analyzed in the wrong scope.
 505         We need to analyze it as part of analyzing the block, so that if the
 506         call to Element that initializes Elmt_Decl returns on the secondary
 507         stack, the block will ss_mark/ss_release. This block is inside the
 508         loop; we don't want to leak memory until the loop exits.  The purpose
 509         of analyzing Elmt_Decl first was to catch the error of modifying it,
 510         which is illegal because it's a loop parameter. The above causes us to
 511         miss that error.  Therefore, we add a flag Is_Loop_Parameter, and set
 512         it on the Element entity, so we end up with an E_Variable node with the
 513         flag set.
 514         * einfo.ads, einfo.adb (Is_Loop_Parameter): New flag.
 515         * sem_ch5.adb (Diagnose_Non_Variable_Lhs): Give the "assignment to loop
 516         parameter not allowed" error if Is_Loop_Parameter.
 517         * sem_util.adb (Is_Variable): Return False if Is_Loop_Parameter, to
 518         trigger the call to Diagnose_Non_Variable_Lhs.
 519
 520 2018-05-30  Arnaud Charlet  <charlet@adacore.com>
 521
 522         * checks.adb (Apply_Scalar_Range_Check):
 523         * sem_eval.adb (Check_Non_Static_Context, Out_Of_Range): Ignore out of
 524         range values for System.Priority in CodePeer mode since the actual
 525         target compiler may provide a wider range.
 526
 527 2018-05-30  Ed Schonberg  <schonberg@adacore.com>
 528
 529         * exp_unst.adb: Search specification of main unit as well, for
 530         unnesting.
 531
 532 2018-05-30  Ed Schonberg  <schonberg@adacore.com>
 533
 534         * exp_ch7.adb (Check_Unnesting_Elaboration_Code): The statement part of
 535         a package body that is a compilation unit may contain blocks that
 536         declare local subprograms.  In Subprogram_Unnesting Mode such
 537         subprograms must be handled as nested inside the (implicit) elaboration
 538         procedure that executes that statement part. To handle properly uplevel
 539         references we construct that subprogram explicitly, to contain blocks
 540         and inner subprograms, The statement part of the compilation unit
 541         becomes a call to this subprogram. This is only done if blocks are
 542         present in the statement list of the body.
 543
 544 2018-05-30  Bob Duff  <duff@adacore.com>
 545
 546         * exp_ch7.adb: Minor comment fix.
 547
 548 2018-05-30  Ed Schonberg  <schonberg@adacore.com>
 549
 550         * exp_unst.adb (Visit_Node): Handle properly subprogram instantiations
 551         that have no corresponding body and appear as attributes of the
 552         corresponding wrapper package declaration.
 553         (Register_Subprogram): New subprogram, used for subprogram bodies and
 554         for subprogram instantiations to enter callable entity into Subp table.
 555
 556 2018-05-30  Hristian Kirtchev  <kirtchev@adacore.com>
 557
 558         * libgnat/s-secsta.adb: Reimplement the secondary stack support.
 559         * libgnat/s-secsta.ads: Update the documentation of all routines in the
 560         public part of the package.  Reimplement the private part of the
 561         package to account for the new secondary stack structure.  Add types
 562         and subprograms for testing purposes.  Add several documentation
 563         sections.
 564
 565 2018-05-30  Hristian Kirtchev  <kirtchev@adacore.com>
 566
 567         * exp_aggr.adb, exp_ch3.adb, exp_ch4.adb, exp_ch7.adb, exp_unst.adb,
 568         exp_util.adb, exp_util.ads, libgnat/a-calcon.adb, libgnat/a-calcon.ads,
 569         libgnat/s-os_lib.adb, repinfo.adb, sem_ch3.adb, sem_disp.adb,
 570         sem_disp.ads, sem_util.adb: Minor reformatting.
 571
 572 2018-05-30  Arnaud Charlet  <charlet@adacore.com>
 573
 574         * gcc-interface/Makefile.in: Move special flags for Ada runtime files
 575         from here...
 576         * Makefile.rtl: ... to here.  Update comments.  Protect call to
 577         "GCC_FOR_TARGET" in case target_os isn't defined.
 578
 579 2018-05-30  Arnaud Charlet  <charlet@adacore.com>
 580
 581         * gcc-interface/Makefile.in: Move target pair settings from here...
 582         * Makefile.rtl: ... to here.
 583         (setup-rts): New target.
 584
 585 2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
 586
 587         * doc/gnat_ugn/building_executable_programs_with_gnat.rst (Alphabetical
 588         List of All Switches): Replace "modules" with "units".
 589         (Subprogram Inlining Control): Likewise.
 590         * gnat_ugn.texi: Regenerate.
 591         * usage.adb (Usage): Fix description of -gnatn switch.
 592
 593 2018-05-29  Arnaud Charlet  <charlet@adacore.com>
 594
 595         * gcc-interface/Makefile.in: Fix typos.
 596
 597 2018-05-29  Ed Schonberg  <schonberg@adacore.com>
 598
 599         * exp_ch7.adb (Build_Finalizer_Call): Attach to tree the reference to
 600         the finalizer procedure in the At_End handler, for use in LLVM
 601         generation.
 602
 603 2018-05-29  Javier Miranda  <miranda@adacore.com>
 604
 605         * exp_ch4.adb (Expand_N_Op_Eq, Expand_Composite_Equality): Use the new
 606         subprogram Inherits_From_Tagged_Full_View to identify more reliably
 607         untagged private types completed with a derivation of an untagged
 608         private whose full view is a tagged type.
 609         * sem_util.ads, sem_util.adb (Inherits_From_Tagged_Full_View): New
 610         subprogram.
 611         (Collect_Primitive_Operations): Handle untagged private types completed
 612         with a derivation of an untagged private type whose full view is a
 613         tagged type. In such case, collecting the list of primitives we may
 614         find two equality primitives: one associated with the untagged private
 615         and another associated with the ultimate tagged type (and we must
 616         remove from the returned list this latter one).
 617
 618 2018-05-29  Ed Schonberg  <schonberg@adacore.com>
 619
 620         * exp_unst.adb (Visit_Node): Handle statement sequences that include an
 621         At_End handler.
 622
 623 2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
 624
 625         * repinfo.adb (List_Entities): Also recurse into blocks without label.
 626
 627 2018-05-29  Ed Schonberg  <schonberg@adacore.com>
 628
 629         * exp_ch6.adb (Expand_N_Subprogram_Body): Do not generate push/pop for
 630         exceptions if subprogram unnesting is in effect, because these branch
 631         nodes are relevant only in the presence of nested subprograms.
 632
 633 2018-05-29  Ed Schonberg  <schonberg@adacore.com>
 634
 635         * libgnat/s-fatgen.adb (Succ, Pred):  Raise Constraint_Error
 636         unconditionally when applied to the largest positive (resp. largest
 637         negative) value of a floating-point type.
 638
 639 2018-05-29  Ed Schonberg  <schonberg@adacore.com>
 640
 641         * einfo.ads, einfo.adb: Clarify use of Activation_Record_Component:
 642         discriminants and exceptions are never components of such.  The flag
 643         Needs_Activation_Record is set on subprogram types, not on access to
 644         them.
 645
 646 2018-05-29  Ed Schonberg  <schonberg@adacore.com>
 647
 648         * sem_ch3.adb: Set scope of component of subtype.
 649
 650 2018-05-29  Ed Schonberg  <schonberg@adacore.com>
 651
 652         * exp_unst.adb (Visit_Node): Exclude selected components whose prefix
 653         carry no type. Such selected components appear in unit names that are
 654         child units, both in the specification and possibly in an end label for
 655         the unit, and they do not contain any relevant uplevel references.
 656
 657 2018-05-29  Arnaud Charlet  <charlet@adacore.com>
 658
 659         * libgnat/a-calend.ads, libgnat/a-calend.adb (Epoch_Offset): Make it a
 660         function.
 661
 662 2018-05-29  Olivier Hainque  <hainque@adacore.com>
 663
 664         * libgnat/system-vxworks7-ppc-rtp.ads: New file.
 665         * libgnat/system-vxworks7-ppc-kernel.ads: New file.
 666         * libgnat/system-vxworks7-e500-rtp.ads: New file.
 667         * libgnat/system-vxworks7-e500-kernel.ads: New file.
 668         * libgnat/system-vxworks7-x86-rtp.ads: New file.
 669         * libgnat/system-vxworks-ppc64-kernel.ads: Rename as ...
 670         * libgnat/system-vxworks7-ppc64-kernel.ads: and adjust name of
 671         gnat-crtbe link spec to use the vx7 variant.
 672
 673 2018-05-29  Olivier Hainque  <hainque@adacore.com>
 674
 675         * vx_crtbegin.inc: Use a consistent naming convention for the
 676         registration/deregistration functions across RTP or kernel.  Remove the
 677         ctor/dtor attribute setting based on RTP/kernel, expect the optional
 678         attribute extension to be provided by includers instead.
 679         * vx_crtbegin.c: Mere inclusion of vx_crtbegin.inc with empty attribute
 680         extension for the registration/deregistration functions.
 681         * vx_crtbegin_attr.c: New file. Include vx_crtbegin.inc with explicit
 682         constructor/destructor attribute extensions.
 683         * vx_crtbegin_array.c: New file. Include vx_crtbegin.inc with empty
 684         attribute extensions and declare _ctors/_dtors arrays.
 685         * vx_crtbegin_auto.c: Remove.
 686         * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Use
 687         vxworks7-gnat-crtbe-link.spec.
 688         * libgnat/system-vxworks7-aarch64.ads: Likewise.
 689         * libgnat/system-vxworks7-e500-rtp-smp.ads: Likewise.
 690         * libgnat/system-vxworks7-ppc-rtp-smp.ads: Likewise.
 691         * libgnat/system-vxworks7-ppc64-rtp-smp.ads: Likewise.
 692         * libgnat/system-vxworks7-x86-kernel.ads: Likewise.
 693         * libgnat/system-vxworks7-x86-rtp-smp.ads: Likewise.
 694         * libgnat/system-vxworks7-x86_64-kernel.ads: Likewise.
 695         * libgnat/system-vxworks7-x86_64-rtp-smp.ads: Likewise.
 696
 697 2018-05-29  Piotr Trojanek  <trojanek@adacore.com>
 698
 699         * ali.adb: Minor reformatting.
 700
 701 2018-05-29  Joel Brobecker  <brobecker@adacore.com>
 702
 703         * doc/gnat_ugn/platform_specific_information.rst: Update package
 704         requirements for 32bit GNAT on x86_64-linux.
 705         * gnat_ugn.texi: Regenerate.
 706
 707 2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
 708
 709         * doc/gnat_ugn/building_executable_programs_with_gnat.rst (Debugging
 710         Control): Adjust description of -gnatRj.
 711         * gnat_ugn.texi: Regenerate.
 712         * opt.ads (List_Representation_Info_To_JSON): Likewise.
 713         * repinfo.adb (List_Rep_Info): Do not automatically create a file
 714         if List_Representation_Info_To_JSON is true.
 715         * switch-c.adb (Scan_Front_End_Switches) <R>: Remove incompatibility
 716         check between -gnatRj and -gnatRs.
 717         * usage.adb (Usage): Adjust description of -gnatRj.
 718
 719 2018-05-29  Pascal Obry  <obry@adacore.com>
 720
 721         * libgnat/s-os_lib.adb (Normalize_Pathname): Fix handling of ".." in
 722         the root directory.
 723
 724 2018-05-29  Pascal Obry  <obry@adacore.com>
 725
 726         * libgnat/s-os_lib.adb: Minor reformatting.
 727
 728 2018-05-29  Doug Rupp  <rupp@adacore.com>
 729
 730         * libgnat/a-calend.adb (Epoch_Offset): Move from body to ...
 731         * libgnat/a-calend.ads (Epoch_Offset): to private part of spec
 732         * libgnat/a-calcon.ads (To_Unix_Nano_Time): New function spec.
 733         * libgnat/a-calcon.adb (To_Unix_Nano_Time): New function body.
 734
 735 2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
 736
 737         * repinfo.ads (JSON format): Document new pair for components.
 738         * repinfo.adb (Derived_Discriminant): New function.
 739         (List_Structural_Record_Layout): Add Outer_Ent parameter and pass it
 740         in recursive calls. If the record type is the parent of an extension,
 741         find and list the derived discriminant from the extension, if any.
 742         (List_Component_Layout): List the Discriminant_Number in JSON mode.
 743         (List_Record_Info): Adjust call to List_Structural_Record_Layout.
 744
 745 2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
 746
 747         * doc/gnat_ugn/building_executable_programs_with_gnat.rst (Alphabetical
 748         List of All Switches): Document -gnatRj.
 749         (Debugging Control): Likewise.
 750         * gnat_ugn.texi: Regenerate.
 751         * opt.ads (List_Representation_Info_To_JSON): New boolean variable.
 752         * osint-c.adb (Create_Repinfo_File): Use the .json instead of .rep
 753         extension if List_Representation_Info_To_JSON is true.
 754         * repinfo.ads: Document the JSON output format.
 755         * repinfo.adb (List_Location): New procedure.
 756         (List_Array_Info): Add support for JSON output.
 757         (List_Entities): Likewise.
 758         (Unop): Likewise.
 759         (Binop): Likewise.
 760         (Print_Expr): Likewise.
 761         (List_Linker_Section): Likewise.
 762         (List_Mechanisms): Likewise.
 763         (List_Name): Likewise.
 764         (List_Object_Info): Likewise.
 765         (List_Record_Info): Likewise.
 766         (List_Component_Layout): Likewise.  Add Indent parameter.
 767         (List_Structural_Record_Layout): New procedure.
 768         (List_Attr): Add support for JSON output.
 769         (List_Type_Info): Likewise.
 770         (Write_Unknown_Val): Likewise.
 771         * switch-c.adb (Scan_Front_End_Switches) <R>: Deal with 'j'.
 772         * usage.adb (Usage): List -gnatRj.
 773
 774 2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
 775
 776         * repinfo.adb (List_Component_Layout): New procedure extracted from...
 777         (List_Record_Layout): ...here.  Invoke it.
 778
 779 2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
 780
 781         * repinfo.adb (Write_Unknown_Val): New procedure.
 782         (List_GCC_Expression): Call it.
 783         (List_Record_Layout): Likewise.
 784         (Write_Val): Likewise.
 785
 786 2018-05-29  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 787
 788         * exp_ch4.adb (Expand_N_Op_Abs): Clear Do_Overflow_Check when inserting
 789         code to do check.
 790
 791 2018-05-29  Arnaud Charlet  <charlet@adacore.com>
 792
 793         * lib-writ.adb (Write_ALI): Do not use new function from s-casuti yet.
 794         This breaks build of cross compilers with older versions of GNAT, so
 795         better avoid it.
 796
 797 2018-05-29  Doug Rupp  <rupp@adacore.com>
 798
 799         * libgnarl/s-taprop.ads (Monotonic_Clock): Refine documentation to
 800         reflect reality.
 801
 802 2018-05-29  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 803
 804         * exp_ch4.adb (Expand_N_Op_Abs): Always do range check against 'First.
 805
 806 2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
 807
 808         * repinfo.adb (List_Entities): Do not list the Linker_Section for
 809         subprograms here...
 810         (List_Mechanisms): ...but here instead.  Use consistent name output
 811         and formatting conventions.
 812
 813 2018-05-29  Bob Duff  <duff@adacore.com>
 814
 815         * lib-writ.adb (Write_ALI): Cleanup: avoid use of global var; call new
 816         To_Lower function.
 817         * libgnat/s-casuti.ads, libgnat/s-casuti.adb (To_Upper, To_Lower,
 818         To_Mixed): New functions.
 819         * osint.adb: Cleanup: use Is_Directory_Separator, which correctly
 820         allows both '\' and '/' on Windows.
 821
 822 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 823
 824         * repinfo.ads: Minor fixes and tweaks in comments.
 825
 826 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 827
 828         * repinfo.adb (List_GCC_Expression): Remove Valop and replace calls to
 829         it with calls to Unop.
 830
 831 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 832
 833         * repinfo.ads (TCode): Adjust range.
 834         (Truth_Andif_Expr): Remove.
 835         (Truth_Orif_Expr): Likewise.
 836         (Truth_And_Expr .. Dynamic_Val): Adjust value.
 837         * repinfo.adb (Print_Expr): Remove handling of Truth_{And,Or}if_Expr.
 838         (Rep_Value): Likewise.
 839         * repinfo.h (Truth_Andif_Expr): Remove.
 840         (Truth_Orif_Expr): Likewise.
 841         (Truth_And_Expr .. Dynamic_Val): Adjust value.
 842         * gcc-interface/decl.c (annotate_value) <TRUTH_ANDIF_EXPR>: Fall
 843         through to TRUTH_AND_EXPR case.
 844         <TRUTH_ORIF_EXPR>: Fall through to TRUTH_OR_EXPR case.
 845
 846 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
 847
 848         * exp_unst.adb (Visit_Node): For indexed components and attribute
 849         references, examine index expressions or associated expressions as well
 850         to record uplevel references.
 851         (Vist_Node): For function and procedure calls, if a formal is an
 852         unconstrained array and the actual is constrained, check whether bounds
 853         of actual have uplevel references.
 854
 855 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
 856
 857         * einfo.ads, einfo.adb: Exceptions can be uplevel references, and thus
 858         they can appear as components of activation records.
 859         * exp_unst.adb (Visit_Node): A reference to an exception may be an
 860         uplevel reference.
 861
 862 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 863
 864         * exp_ch4.adb (Expand_Composite_Equality): Compute whether the size
 865         depends on a discriminant manually instead of using the predicate
 866         Size_Depends_On_Discriminant in the array type case.
 867
 868 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
 869
 870         * exp_unst.adb (Check_Static_Type): For a record subtype, check
 871         discriminant constraints as well.
 872         (Visit_Node): For a selected component, check type of prefix, as is
 873         done for indexed components and slices.
 874
 875 2018-05-28  Javier Miranda  <miranda@adacore.com>
 876
 877         * exp_ch4.adb (Real_Range_Check): Add a temporary to store the integer
 878         value when converting a float value to a fixed-point value. This is
 879         required for CCG because it handles fixed-point types by means of
 880         unsigned integer type variables. The range check is now performed using
 881         the integer value stored in this temporary.
 882
 883 2018-05-28  Yannick Moy  <moy@adacore.com>
 884
 885         * sem_util.adb (Is_OK_Volatile_Context): Add attributes First, Last and
 886         Length as valid non-interfering contexts for SPARK.
 887
 888 2018-05-28  Claire Dross  <dross@adacore.com>
 889
 890         * sem_disp.ads, sem_disp.adb (Inheritance_Utilities): Package for
 891         generic inheritance utilities.
 892         (Generic_Inherited_Subprograms): Generic version of
 893         Inherited_Subprograms, generic in Find_Dispatching_Type function.
 894         (Generic_Is_Overriding_Subprogram): Generic version of
 895         Is_Overriding_Subprogram, generic in Find_Dispatching_Type function.
 896         (Inherited_Subprograms): Instance of Generic_Inherited_Subprograms with
 897         Sem_Disp.Find_Dispatching_Type.
 898         (Is_Overriding_Subprogram): Instance of
 899         Generic_Is_Overriding_Subprogram with Sem_Disp.Find_Dispatching_Type.
 900         (Inheritance_Utilities_Inst): Instance of Inheritance_Utilities
 901         with Sem_Disp.Find_Dispatching_Type.
 902
 903 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
 904
 905         * exp_ch4.adb (Expand_Composite_Equality): For a composite (or FP)
 906         component type, do not expand array equality using the unconstrained
 907         base type, except for the case where the bounds of the type depend on a
 908         discriminant.
 909
 910 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
 911
 912         * einfo.ads, einfo.adb (Needs_Activation_Record): New flag on
 913         access-to-subprogram types, to indicate that an indirect call through
 914         such a type requires an activation record when compiling for LLVM.
 915         * sem_ch3.adb (Access_Subprogram_Declaration): Set new flag as needed.
 916
 917 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
 918
 919         * exp_ch4.adb (Real_Range_Check): Specialize float-to-fixed conversions
 920         when bounds of fixed type are static, to remove some spuerfluous
 921         implicit conversions and provide an accurate result when converting
 922         back and forth between the fixed point type and a floating point type.
 923
 924 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
 925
 926         * exp_unst.adb (Unnest_Subprogram): Prevent creation of empty
 927         activation records.
 928
 929 2018-05-28  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 930
 931         * exp_unst.adb (Check_Static_Type): Add argument to indicate node to be
 932         replaced, if any; all callers changed.
 933         (Note_Uplevel_Ref): Likewise.  Also replace reference to deferred
 934         constant with private view so we take the address of that entity.
 935         (Note_Uplevel_Bound): Add argument to indicate node to be replaced, if
 936         any; all callers changed.  Handle N_Indexed_Component like
 937         N_Attribute_Reference.  Add N_Type_Conversion case.
 938         (Visit_Node): Indexed references can be uplevel if the type isn't
 939         static.
 940         (Unnest_Subprograms): Don't rewrite if no reference given.  If call has
 941         been relocated, set first_named pointer in original node as well.
 942
 943 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
 944
 945         * exp_aggr.adb (Flatten): Copy tree of expression in a component
 946         association with a range or a set of discrete choices, rather than
 947         relocating the node. This avoids inconsistencies in the tree when
 948         handling nested subprograms with uplevel references for LLVM.
 949
 950 2018-05-28  Arnaud Charlet  <charlet@adacore.com>
 951
 952         * exp_util.adb (Possible_Bit_Aligned_Component): Always return False in
 953         codepeer mode.
 954
 955 2018-05-28  Arnaud Charlet  <charlet@adacore.com>
 956
 957         * exp_unst.adb: Fix typo.
 958
 959 2018-05-28  Bob Duff  <duff@adacore.com>
 960
 961         * libgnat/a-convec.adb (Query_Element): Minor cleanup: remove an
 962         unnecessary use of 'Unrestricted_Access.
 963
 964 2018-05-28  Hristian Kirtchev  <kirtchev@adacore.com>
 965
 966         * repinfo.adb (Expr_Value_S): New routine.
 967         (List_Linker_Section): Properly extract the value of the section
 968         argument.
 969
 970 2018-05-28  Patrick Bernardi  <bernardi@adacore.com>
 971
 972         * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Update the
 973         description of the -D binder switch to reflect current usage.
 974         * gnat_ugn.texi: Regenerate.
 975
 976 2018-05-28  Gary Dismukes  <dismukes@adacore.com>
 977
 978         * exp_ch3.adb: Minor reformatting
 979
 980 2018-05-28  Justin Squirek  <squirek@adacore.com>
 981
 982         * exp_ch3.adb
 983         (Build_Initialization_Call): Add logic to pass the appropriate actual to match
 984          new formal.
 985         (Init_Formals): Add new formal *_skip_null_excluding_check
 986         * exp_util.adb, exp_util.ads
 987         (Enclosing_Init_Proc): Added to fetch the enclosing Init_Proc from the current
 988          scope.
 989         (Inside_Init_Proc): Refactored to use Enclosing_Init_Proc
 990         (Needs_Conditional_Null_Excluding_Check): Added to factorize the predicate
 991          used to determine how to generate an Init_Proc for a given type.
 992         (Needs_Constant_Address): Minor reformatting
 993         * sem_res.adb
 994         (Resolve_Null): Add logic to generate a conditional check in certain cases
 995
 996 2018-05-28  Hristian Kirtchev  <kirtchev@adacore.com>
 997
 998         * exp_aggr.adb, gnatlink.adb, sem_ch6.adb, sem_res.adb, sem_util.adb:
 999         Minor reformatting.
1000
1001 2018-05-28  Hristian Kirtchev  <kirtchev@adacore.com>
1002
1003         * sem_prag.adb (Process_Atomic_Independent_Shared_Volatile): Include
1004         the declarations of single concurrent types because they fall in the
1005         category of full type and object declarations.
1006
1007 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
1008
1009         * repinfo.adb (Compute_Max_Length): Skip _Parent component.
1010         (List_Record_Layout): Likewise.
1011
1012 2018-05-28  Ed Schonberg  <schonberg@adacore.com>
1013
1014         * sem_util.adb (Is_Function_Result): Add a warning if a postcondition
1015         includes a call to function to which it applies. This may mean an
1016         omission of an attribute reference 'Result, in particular if the
1017         function is pqrameterless.
1018
1019 2018-05-28  Justin Squirek  <squirek@adacore.com>
1020
1021         * sem_ch8.adb (Find_Expanded_Name): Add extra guard to make sure the
1022         misresolved package name is not a case of mistaken identity.
1023
1024 2018-05-28  Yannick Moy  <moy@adacore.com>
1025
1026         * sem_res.adb (Resolve_Range): Re-resolve the low bound of a range in
1027         GNATprove mode, as the order of resolution (low then high) means that
1028         all the information is not available when resolving the low bound the
1029         first time.
1030
1031 2018-05-28  Eric Botcazou  <ebotcazou@adacore.com>
1032
1033         * repinfo.adb (List_Array_Info): Start with an explicit blank line and
1034         end with the linker section, if any.
1035         (List_Entities): Do not output the linker section for record types,
1036         array types and variables.
1037         (Print_Expr): Factor out common processing for unary operators and
1038         special values.  Adjust and reorder the various cases.
1039         (List_Object_Info): End with the linker section, if any.
1040         (List_Record_Info): Likewise.
1041         (List_Type_Info): Do not start with a blank line.
1042
1043 2018-05-25  Nicolas Roche  <roche@adacore.com>
1044
1045         * libgnat/s-valrea.adb (Scan_Real): Abort computation once it is sure
1046         that the result will be either -infinite or +infinite.
1047
1048 2018-05-25  Patrick Bernardi  <bernardi@adacore.com>
1049
1050         * libgnat/s-parame.ads, libgnat/s-parame__vxworks.ads,
1051         libgnat/s-parame__ae653.ads, libgnat/s-parame__hpux.ads (Size_Type):
1052         Expand range of type to match the address space of the target.
1053         (Task_Storage_Size): Remove unused type.
1054
1055 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
1056
1057         * sem_res.adb (Set_Mixed_Mode_Operand): If the operand is an expression
1058         of a fixed point type and the parent is a multiplying operation,
1059         resolve the operand with its own type because the context will impose a
1060         resulting type on the result of the multiplication by means of
1061         approriate conversion.
1062
1063 2018-05-25  Hristian Kirtchev  <kirtchev@adacore.com>
1064
1065         * exp_ch3.adb (Default_Initialize_Object): Ensure that the analysis of
1066         the in-place initialization aggregate created for pragmas
1067         Initialize_Scalars or Normalize_Scalars is performed with checks
1068         suppressed.
1069
1070 2018-05-25  Arnaud Charlet  <charlet@adacore.com>
1071
1072         * exp_aggr.adb (Convert_To_Positional): Bump default for
1073         Max_Others_Replicate to 32. Update comments.
1074         * osint.ads (Unknown_Attributes): No longer pretend this is a constant.
1075         (No_File_Info_Cache): Initialize separately.
1076         * osint.adb (No_File_Info_Cache): Update initializer.
1077
1078 2018-05-25  Javier Miranda  <miranda@adacore.com>
1079
1080         * sem_res.adb (Resolve_Membership_Op): Allow the use of the membership
1081         test when the left operand is a class-wide interface and the right
1082         operand is not a class-wide type.
1083         * exp_ch4.adb (Tagged_Membership): Adding support for interface as the
1084         left operand.
1085
1086 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
1087
1088         * exp_aggr.adb (Flatten): A quantified expression cannot be duplicated
1089         in an others clause to prevent visibility issues with the generated
1090         loop variable.
1091         (Component_OK_For_Backend): Return false for a quantified expression.
1092         (Check_Static_Component): Ditto.
1093
1094 2018-05-25  Hristian Kirtchev  <kirtchev@adacore.com>
1095
1096         * libgnat/s-secsta.adb (SS_Allocate): Reimplemented.
1097         (SS_Allocate_Dynamic): New routine. The allocation logic is now split
1098         into three distring cases rather than in one loop which attempts to
1099         handle all three cases. This rewrite eliminates an issue where the last
1100         frame of the stack cannot be freed, thus causing the memory range of a
1101         new frame to approach the overflow point of the memory index type.
1102         Since the overflow is logically treated as a
1103         too-much-memory-on-the-stack scenario, it causes a bogus Storage_Error.
1104         (SS_Allocate_Static): New routine. The routine factorizes the static
1105         secondary stack-related code from the former SS_Allocate.
1106
1107 2018-05-25  Sergey Rybin  <rybin@adacore.com>
1108
1109         * doc/gnat_ugn/gnat_and_program_execution.rst: Add description of '-U'
1110         option for gnatelim.
1111
1112 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
1113
1114         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not create
1115         Class_Wide_Clone_Body when analyzing a subprogram_body_stub: the clone
1116         is created when the proper body of the stub is analyzed.
1117         * sem_util.adb (ZBuild_Class_Wide_Clone_Body): If the subprogram body
1118         is the proper body of a subunit, the cloned body must be inserted in
1119         the declarative list that contains the stub.
1120
1121 2018-05-25  Justin Squirek  <squirek@adacore.com>
1122
1123         * exp_ch6.adb (Expand_Simple_Function_Return): Add guard in check to
1124         generate code for 6.5(8-10) so that we don't get an assertion error
1125         when dealing with an incomplete return type.
1126
1127 2018-05-25  Arnaud Charlet  <charlet@adacore.com>
1128
1129         * pprint.adb (Expression_Name): Strip too long expressions to avoid
1130         carrying very large strings.
1131
1132 2018-05-25  Patrick Bernardi  <bernardi@adacore.com>
1133
1134         * switch-b.adb (Scan_Binder_Switches): binder switch -Q accepts Natural
1135         numbers.
1136
1137 2018-05-25  Doug Rupp  <rupp@adacore.com>
1138
1139         * tracebak.c (aarch64-linux): Implement.
1140
1141 2018-05-25  Justin Squirek  <squirek@adacore.com>
1142
1143         * sem_ch8.adb: Minor reformatting.
1144
1145 2018-05-25  Piotr Trojanek  <trojanek@adacore.com>
1146
1147         * sem_util.adb (Iterate_Call_Parameters): Fix code convention and
1148         assertions.
1149
1150 2018-05-25  Hristian Kirtchev  <kirtchev@adacore.com>
1151
1152         * einfo.adb, einfo.ads, exp_ch3.adb, exp_ch8.adb, exp_unst.adb,
1153         pprint.adb, sem_ch12.adb, sem_ch3.adb, sem_prag.adb, sem_util.adb:
1154         Minor reformatting.
1155
1156 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
1157
1158         * sem_ch12.adb (Instance_Exists): New function, subsidiary of
1159         Validate_Derived_Type_Instance, to verify that all interfaces
1160         implemented by the formal type are also implemented by the actual. The
1161         verification is complicated when an interface of the formal is declared
1162         in a generic unit and the actual is declared in an instance of it.
1163         There is currently no mechanism to relate an interface declared within
1164         a generic to the corresponding interface in an instance, so we must
1165         traverse the list of interfaces of the actual, looking for a name
1166         match, and verifying that that interface is declared in an instance.
1167
1168 2018-05-25  Piotr Trojanek  <trojanek@adacore.com>
1169
1170         * sem_util.adb (Iterate_Call_Parameters): Rewrite with extra
1171         assertions; replace function versions of Next_Formal/Next_Actual with
1172         their procedural versions (which are more concise).
1173
1174 2018-05-25  Doug Rupp  <rupp@adacore.com>
1175
1176         * libgnarl/s-osinte__aix.ads, libgnarl/s-osinte__android.ads,
1177         libgnarl/s-osinte__darwin.ads, libgnarl/s-osinte__freebsd.ads,
1178         libgnarl/s-osinte__hpux.ads, libgnarl/s-osinte__kfreebsd-gnu.ads,
1179         libgnarl/s-osinte__linux.ads, libgnarl/s-osinte__lynxos178e.ads,
1180         libgnarl/s-osinte__qnx.ads, libgnarl/s-osinte__rtems.ads
1181         (Relative_Timed_Wait): Remove.
1182         * libgnarl/s-tpopmo.adb (Timed_Sleep, Timed_Delay): Rewrite to allow
1183         for incremental looping. Remove references to Rel_Time and
1184         Relative_Timed_Wait.
1185         * libgnat/s-osprim__posix.adb, libgnat/s-osprim__posix2008.adb
1186         (Timed_Delay): Make separate.
1187         * libgnat/s-optide.adb: New separate procedure.
1188         * libgnat/s-osprim.ads (Max_System_Delay): New constant.
1189         * libgnat/s-osprim__lynxos.ads (Max_Sensible_Delay): Set to 6 months.
1190         (Max_System_Delay): New constant.
1191
1192 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
1193
1194         * sem_ch12.adb (Validate_Derived_Type_Instance): Verify that the actual
1195         for a formal derived type implements all the interfaces declared for
1196         the formal.
1197
1198 2018-05-25  Yannick Moy  <moy@adacore.com>
1199
1200         * sem_prag.adb (Check_Applicable_Policy): Deal specially with CodePeer
1201         and GNATprove modes when applicable policy is Ignore.
1202
1203 2018-05-25  Eric Botcazou  <ebotcazou@adacore.com>
1204
1205         * freeze.adb (Freeze_Enumeration_Type): Do not give integer size to a
1206         boolean type with convention C.
1207         * libgnat/i-cexten.ads (bool): Change to boolean with convention C.
1208         * gcc-interface/decl.c (gnat_to_gnu_entity): Add new local variable
1209         FOREIGN and use it throughout the function.
1210         <E_Enumeration_Type>: Set precision 1 on boolean types with foreign
1211         convention.
1212         <E_Enumeration_Subtype>: Likewise for subtypes.
1213         <E_Record_Type>: Force the size of a storage unit on empty classes.
1214         * gcc-interface/utils.c (make_type_from_size) <BOOLEAN_TYPE>: Skip
1215         boolean types with precision 1 if the size is the expected one.
1216
1217 2018-05-25  Arnaud Charlet  <charlet@adacore.com>
1218
1219         * pprint.adb (Expression_Name): Do not print non ASCII characters.
1220
1221 2018-05-25  Bob Duff  <duff@adacore.com>
1222
1223         * libgnat/a-strunb__shared.ads, libgnat/a-stwiun__shared.ads,
1224         libgnat/a-stzunb__shared.ads: (Initialize, Adjust): Add pragma Inline.
1225
1226 2018-05-25  Bob Duff  <duff@adacore.com>
1227
1228         * sem_util.ads: Minor comment fix.
1229
1230 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
1231
1232         * exp_unst.adb (Visit_Node): Restrict check for uplevel references in
1233         prefixes of array attributes, to prefixes that are entity names whose
1234         type is constrained.
1235         (Note_Uplevel_Bound): Verify that the bound is declared in an enclosing
1236         subprogram, as itype created for loops in pre/postcondition may appear
1237         in loops at the library level.
1238
1239 2018-05-25  Ed Schonberg  <schonberg@adacore.com>
1240
1241         * sem_ch13.adb (Build_Predicate_Functions): The predicate function
1242         declaration is inserted into the tree and analyzed at that point, so
1243         should not be reinserted when the body is constructed. Inside a
1244         generic, ensure that the body is not inserted twice in the tree.
1245
1246 2018-05-25  Yannick Moy  <moy@adacore.com>
1247
1248         * sem_prag.adb (Check_Grouping): Modify test to ignore statements and
1249         declarations not coming from source.
1250
1251 2018-05-25  Fedor Rybin  <frybin@adacore.com>
1252
1253         * doc/gnat_ugn/gnat_utility_programs.rst: Document new switch
1254         --copy-environment for gnattest.
1255
1256 2018-05-24  Piotr Trojanek  <trojanek@adacore.com>
1257
1258         * sem_elab.adb (Non_Private_View): Simplify by removing a local Result
1259         variable.
1260         * sem_prag.adb (Get_Base_Subprogram): Same as above.
1261
1262 2018-05-24  Eric Botcazou  <ebotcazou@adacore.com>
1263
1264         * fe.h (Set_Normalized_First_Bit): Declare.
1265         (Set_Normalized_Position): Likewise.
1266         * repinfo.adb (List_Record_Layout): Do not use irregular output for a
1267         variable position.  Fix minor spacing issue.
1268         * gcc-interface/decl.c (annotate_rep): If a field has a variable
1269         offset, compute the normalized position and annotate it in addition to
1270         the bit offset.
1271
1272 2018-05-24  Eric Botcazou  <ebotcazou@adacore.com>
1273
1274         * gcc-interface/trans.c (Handled_Sequence_Of_Statements_to_gnu):
1275         Constify and rename variables.  Fix formatting.
1276         (gnat_to_gnu) <N_Exception_Handler>: Minor tweak.
1277         <N_Raise_Statement>: Likewise.
1278
1279 2018-05-24  Javier Miranda  <miranda@adacore.com>
1280
1281         * exp_ch8.adb (Build_Body_For_Renaming): Adding support to build the
1282         body of a variant record equality renaming.
1283         (Expand_N_Subprogram_Renaming_Declaration): Adapt the code to the new
1284         implementation of Build_Body_For_Renaming.
1285         * exp_ch3.ads (Build_Variant_Record_Equality): New library level
1286         function that factorizes the functionality needed by
1287         Build_Body_For_Renaming and Expand_Freeze_Record_Type to build the body
1288         of a variant record equality subprogram.
1289         * exp_ch3.adb (Build_Variant_Record_Equality): New subprogram.
1290         (Build_Variant_Record_Equality): New local procedure of
1291         Expand_Freeze_Record_Type containing all the code specific for freezing
1292         the record type that cannot be place in the new library level function.
1293
1294 2018-05-24  Ed Schonberg  <schonberg@adacore.com>
1295
1296         * einfo.ads, einfo.adb (Is_Activation_Record): New flag on
1297         in_parameters, used when unesting subprograms for LLVM, to indicate
1298         that a generated parameter carries the activation record from the
1299         enclosing subprogram.
1300         * exp_unst.adb (Check_Static_Type): Handle array attributes of types
1301         whose bounds may contain up-level references that need to be added to
1302         an activation recoord.
1303         (Add_Extra_Formal): Set Is_Activation_Record on new formal.
1304
1305 2018-05-24  Yannick Moy  <moy@adacore.com>
1306
1307         * pprint.adb (Expression_Image): Improve the printing of expressions,
1308         by taking more cases into account, in particular qualified expressions
1309         and aggregates.  Also count more the number of parentheses to close
1310         after the expression.
1311
1312 2018-05-24  Javier Miranda  <miranda@adacore.com>
1313
1314         * sem_ch3.adb (Is_Visible_Component): For untagged types add missing
1315         check for renamed discriminants.
1316         * sem_ch4.adb (Analyze_Overloaded_Selected_Component,
1317         Analyze_Selected_Component, Check_Misspelled_Selector): For calls to
1318         Is_Visible_Component pass the associated selector node to allow
1319         checking renamed discriminants on untagged types.
1320
1321 2018-05-24  Ed Schonberg  <schonberg@adacore.com>
1322
1323         * sem_ch8.adb (Analyze_Use_Type): Do not assign the Prev_Use_Clause
1324         link to a use_type clause if this would cause an infinite loop in the
1325         machinery that detects redundant use clauses. This may happen when the
1326         redundant clauses appear in the context of a child unit and the context
1327         of its parent.
1328
1329 2018-05-24  Piotr Trojanek  <trojanek@adacore.com>
1330
1331         * sinfo.ads: Fix grammar in comment.
1332
1333 2018-05-24  Justin Squirek  <squirek@adacore.com>
1334
1335         * einfo.ads, einfo.adb (Append_Entity): Modified to use Link_Entities
1336         and manage doubly-linked entity chain.
1337         (Nested_Scenarios): Removed entity field used for optimization during
1338          elaboration to make room for the new field Prev_Entity.
1339         (Link_Entities): Added to replace redundant calls to Set_Next_Entity
1340         and Set_Prev_Entity as well as centralize changes to the entity chain.
1341         (Predicated_Parent): Modified to use Node38.
1342         (Prev_Entity): Added to fetch new node field Prev_Entity in all entity
1343         types.
1344         (Remove_Entity): Moved from sem_util.
1345         (Set_Nested_Scenarios): Deleted.
1346         (Set_Predicated_Parent): Modified to use Node38.
1347         (Set_Prev_Entity): Added to set Prev_Entity field.
1348         (Set_Validated_Object): Modified to use Node38.
1349         (Unlink_Next_Entity): Added to process Prev_Entity when an unlinking
1350         action is required.
1351         (Validated_Object): Modified to use Node38.
1352         (Write_Field36_Name): Remove Nested_Scenarios, Validated_Object, and
1353         predicated parent cases.
1354         (Write_Field38_Name): Add predicated parent and Validated_Object cases.
1355         * sem_ch3.adb (Process_Subtype): Add guard to protect against
1356         inappropriate marking of Predicated_Parent to non-itype subtypes.
1357         (Make_Class_Wide_Type): Preserve Prev_Entity field and set in new type.
1358         (Copy_And_Swap): Add setting of Prev_Entity.
1359         (Build_derived_Record_Type): Replace Set_Next_Entity w/ Link_Entities.
1360         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Replace Set_Next_Entity
1361         w/ Link_Entities.
1362         (New_Overloaded_Entity): Remove block created to search for previous
1363         entities in the entity chain with relevant calls to Prev_Entity as well
1364         as replace duplicated code from Remove_Entity_And_Homonym with a call
1365         to that subprogram.
1366         * sem_ch7.adb (Exchange_Declarations): Replace Set_Next_Entity w/
1367         Link_Entities.
1368         * sem_elab.adb (Find_And_Process_Nested_Scenarios): Remove global and
1369         initial subprogram declarations related to Nested_Scenarios.
1370         (Process_Nested_Scenarios): Deleted.
1371         (Save_Scenario): Deleted.
1372         (Traverse_Body): Remove optimization for Nested_Scenarios so as to free
1373         node space in the entity tree.
1374         * sem_util.adb, sem_util.ads (Remove_Entity): Moved to einfo.
1375         (Remove_Entity_And_Homonym): Added to separate functionality of
1376         Remove_Entity from the homonym chain directly.
1377         * exp_attr.adb (Expand_N_Attribute_Reference): Replace Set_Next_Entity
1378         w/ Link_Entities and Unlink_Next_Entity.
1379         * exp_ch3.adb (Expand_N_Object_Declaration): Replace Set_Next_Entity w/
1380         Link_Entities.
1381         * exp_ch6.adb (Replace_Renaming_Declaration_Id): Replace
1382         Set_Next_Entity w/ Link_Entities.
1383         * exp_disp.adb (Expand_Dispatching_Call): Replace Set_Next_Entity w/
1384         Link_Entities and Unlink_Next_Entity.
1385         * exp_spark.adb (Expand_SPARK_N_Object_Renaming_Declaration): Replace
1386         call to Remove_Entity with its new incarnation.
1387         * exp_util.adb (New_Class_Wide_Subtype): Add setting of Prev_Entity.
1388         * freeze.adb (Freeze_Record_Type): Replace Set_Next_Entity w/
1389         Link_Entities.
1390
1391 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
1392
1393         * sem_ch10.adb (Expand_Limited_With_Clause): Update the call to
1394         Install_Limited_Withed_Unit.
1395         (Expand_With_Clause): Update the call to Install_Withed_Unit.
1396         (Implicit_With_On_Parent): Update the call to Install_Withed_Unit.
1397         (Install_Context_Clauses): Update the call to Install_Withed_Unit.
1398         (Install_Limited_Context_Clauses): Update the calls to
1399          Install_Limited_Withed_Unit.
1400         (Install_Limited_Withed_Unit): Renamed to better illustrate its
1401         purpose.
1402         (Install_Private_With_Clauses): Update the calls to Install_Withed_Unit
1403         and Install_Limited_Withed_Unit.
1404         (Install_With_Clause): Uninstall a limited with clause if a [private]
1405         with clause is given for the same package.
1406         (Install_Withed_Unit): Renamed to better illustrate its purpose.
1407         (Remove_Limited_With_Unit): New routine.
1408
1409 2018-05-24  Eric Botcazou  <ebotcazou@adacore.com>
1410
1411         * raise-gcc.c (__gnat_SEH_error_handler): Remove prototype.
1412         (__gnat_personality_seh0): Adjust and beef up comments, and
1413         fix formatting throughout.
1414         (__gnat_adjust_context): Deal minimally with version 2.
1415         * seh_init.c (__gnat_map_SEH): Fix formatting.
1416         (_gnat_SEH_error_handler): Adjust comments.
1417         (__gnat_install_SEH_handler): Fix formatting.
1418
1419 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
1420
1421         * exp_ch7.adb, sem_ch3.adb, sem_res.adb: Minor reformatting.
1422
1423 2018-05-24  Ed Schonberg  <schonberg@adacore.com>
1424
1425         * exp_aggr.adb (Flatten): Add a warning on an others clause in an array
1426         aggregate with static bounds when named associations cover all index
1427         positions and the others clause is redundant.
1428
1429 2018-05-24  Raphael Amiard  <amiard@adacore.com>
1430
1431         * libgnat/a-cohama.ads: Add documentation.
1432
1433 2018-05-24  Raphael Amiard  <amiard@adacore.com>
1434
1435         * libgnat/a-convec.ads: Add documentation.
1436
1437 2018-05-24  Justin Squirek  <squirek@adacore.com>
1438
1439         * exp_ch3.adb (Expand_N_Object_Declaration): Ignore raising an error in
1440         expansion for limited tagged types when the node to be expanded is a
1441         raise expression due to it not representing a valid object.
1442         * exp_ch5.adb (Expand_N_Assignment_Statement): Add exception to error
1443         message regarding assignments to limited types to ignore genereated
1444         code.
1445
1446 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
1447
1448         * exp_util.adb (New_Class_Wide_Subtype): Capture and restore relevant
1449         Ghost-related attributes of the class-wide subtype because the copy
1450         clobbers them.
1451
1452 2018-05-24  Justin Squirek  <squirek@adacore.com>
1453
1454         * sem_res.adb (Resolve_Entity_Name): Add guard to protect against
1455         marking use clauses as effective when the reference appears within
1456         generated code.
1457
1458 2018-05-24  Cyrille Comar  <comar@adacore.com>
1459
1460         * doc/gnat_rm/the_gnat_library.rst: Fix typos.
1461         * gnat_rm.texi: Regenerate.
1462
1463 2018-05-24  Bob Duff  <duff@adacore.com>
1464
1465         * exp_ch7.adb (Expand_Cleanup_Actions): Create a mark unconditionally
1466         for build-in-place functions with a caller-unknown-size result.
1467         (Create_Finalizer): For build-in-place functions with a
1468         caller-unknown-size result, check at run time whether we need to
1469         release the secondary stack.
1470
1471 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
1472
1473         * sem_prag.adb (Analyze_Pragma): Use the full view of an internally
1474         generated incomplete type.
1475
1476 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
1477
1478         * expander.adb (Expand): Update the save and restore of the Ghost
1479         region.
1480         * exp_ch3.adb (Freeze_Type): Likewise.
1481         * exp_disp.adb (Make_DT): Likewise.
1482         * exp_util.adb (Build_DIC_Procedure_Body): Likewise.
1483         (Build_DIC_Procedure_Declaration): Likewise.
1484         (Build_Invariant_Procedure_Body): Likewise.
1485         (Build_Invariant_Procedure_Declaration): Likewise.
1486         (Make_Predicate_Call): Likewise.
1487         * freeze.adb (Add_To_Result): Insert the freeze action of a living
1488         entity prior to the start of the enclosing ignored Ghost region.
1489         (Freeze_Entity): Update the save and restore of the Ghost region.
1490         * ghost.adb (Install_Ghost_Mode): Reimplemented.
1491         (Install_Ghost_Region): New routine.
1492         (Mark_And_Set_Ghost_Assignment): Install a region rather than a mode.
1493         (Mark_And_Set_Ghost_Body): Likewise.
1494         (Mark_And_Set_Ghost_Completion): Likewise.
1495         (Mark_And_Set_Ghost_Declaration): Likewise.
1496         (Mark_And_Set_Ghost_Instantiation): Likewise.
1497         (Mark_And_Set_Ghost_Procedure_Call): Likewise.
1498         (Name_To_Ghost_Mode): New routine.
1499         (Restore_Ghost_Region): New routine.
1500         * ghost.ads (Install_Ghost_Region): New routine.
1501         (Restore_Ghost_Region): New routine.
1502         * opt.ads: Add new global variable Ignored_Ghost_Region.
1503         * rtsfind.adb (Load_RTU): Update the save and restore of the Ghost
1504         region. Install a clean region.
1505         * sem.adb (Analyze): Likewise.
1506         (Do_Analyze): Likewise.
1507         * sem_ch3.adb (Analyze_Object_Declaration): Likewise
1508         (Derive_Progenitor_Subprograms): Use local variable Iface_Alias to
1509         capture the ultimate alias of the current primitive.
1510         (Process_Full_View): Update the save and restore of the Ghost region.
1511         Do not inherit DIC and invariant procedures.
1512         * sem_ch5.adb (Analyze_Assignment): Update the save and restore of the
1513         Ghost region.
1514         * sem_ch6.adb (Analyze_Procedure_Call): Likewise.
1515         (Analyze_Subprogram_Body_Helper): Likewise.
1516         * sem_ch7.adb (Analyze_Package_Body_Helper): Likewise.
1517         * sem_ch12.adb (Analyze_Package_Instantiation): Likewise.
1518         (Analyze_Subprogram_Instantiation): Likewise.
1519         (Instantiate_Package_Body): Likewise.
1520         (Instantiate_Subprogram_Body): Likewise.
1521         * sem_ch13.adb (Build_Predicate_Functions): Likewise.
1522         (Build_Predicate_Function_Declaration): Likewise.
1523         * sem_disp.adb
1524         (Add_Dispatching_Operation): Do not consider DIC and invariant
1525         procedures.
1526         (Check_Dispatching_Operation): Use Add_Dispatching_Operation to collect
1527         a dispatching subprogram.
1528         (Check_Operation_From_Private_View): Likewise.
1529         (Override_Dispatching_Operation): Likewise.
1530         * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Update the save
1531         and restore of the Ghost region.
1532         (Analyze_Initial_Condition_In_Decl_Part): Likewise.
1533         (Analyze_Pragma): Update the save and restore of the Ghost region.
1534         (Analyze_Pre_Post_Condition_In_Decl_Part): Likewise.
1535         * sem_util.adb (Is_Suitable_Primitive): New routine.
1536         * sem_util.ads (Is_Suitable_Primitive): New routine.
1537         * sinfo.ads: Update the section of Ghost regions.
1538
1539 2018-05-24  Piotr Trojanek  <trojanek@adacore.com>
1540
1541         * doc/gnat_rm/implementation_defined_pragmas.rst (Contract_Cases):
1542         Change "condition" to "case guard" after renaming in the contract
1543         grammar.
1544         * gnat_rm.texi: Regenerate.
1545
1546 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
1547
1548         * exp_util.adb (Expand_Static_Predicates_In_Choices): Indicate that the
1549         construct with discrete choices no longer contains a subtype with
1550         predicates since the expansion already handled this case.
1551
1552 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
1553
1554         * freeze.adb (Wrap_Imported_Subprogram): Generate an unchecked
1555         conversion to the return type to avoid a side effect where an imported
1556         relocated function generates a new anonymous access type, whose
1557         accessibility level does not agree with with that of the wrapper.
1558
1559 2018-05-24  Javier Miranda  <miranda@adacore.com>
1560
1561         * sem_util.adb (Abstract_Interface_List): Add missing support for
1562         private types whose full view is a synchronized type.
1563         * sem_ch3.adb (Build_Derived_Private_Type): Skip building the full
1564         derivation of a private type parent type is a task type with
1565         discriminants as gigi does not use such type directly.
1566
1567 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
1568
1569         * sem_elab.adb (Build_Variable_Reference_Marker): Do not create a
1570         variable marker when the reference appears in the formal part of a
1571         compilation unit instance because there is no place to insert it.
1572         (In_Compilation_Instance_Formal_Part): New routine.
1573
1574 2018-05-24  Piotr Trojanek  <trojanek@adacore.com>
1575
1576         * layout.ads, repinfo.ads: Fix references to renamed Backend_Layout
1577         configuration parameter.
1578
1579 2018-05-24  Doug Rupp  <rupp@adacore.com>
1580
1581         * argv-lynxos178-raven-cert.c: New file.
1582         * libgnat/system-lynxos178-x86.ads: New file.
1583
1584 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
1585
1586         * exp_disp.adb, freeze.adb, gnat1drv.adb, sem_ch5.adb, sem_spark.adb:
1587         Minor reformattings.
1588
1589 2018-05-23  Pascal Obry  <obry@adacore.com>
1590
1591         * adaint.c (win32_wait): Properly free the handle/pid lists when
1592         WaitForMultipleObjects fails (return WAIT_FAILED).
1593
1594 2018-05-23  Pascal Obry  <obry@adacore.com>
1595
1596         * adaint.c (win32_wait): Add missing parentheses.
1597
1598 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
1599
1600         * exp_ch3.adb (Check_Large_Modular_Array): Moved to Freeze.
1601         (Expand_N_Object_Declaration): Do not check for a large modular array
1602         here.
1603         * freeze.adb (Check_Large_Modular_Array): Moved from Exp_Ch3.
1604         (Freeze_Object_Declaration): Code cleanup. Check for a large modular
1605         array.
1606         * sem_ch3.adb: Minor reformatting.
1607
1608 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
1609
1610         * einfo.ads: New attribute on types: Predicated_Parent, to simplify the
1611         retrieval of the applicable predicate function to an itype created for
1612         a constrained array component.
1613         * einfo.adb: Subprograms for Predicated_Parent.
1614         (Predicate_Function): Use new attribute.
1615         * exp_util.adb (Make_Predicate_Call): If the predicate function is not
1616         available for a subtype, retrieve it from the base type, which may have
1617         been frozen after the subtype declaration and not captured by the
1618         subtype declaration.
1619         * sem_aggr.adb (Resolve_Array_Aggregate): An Others association is
1620         legal within a generated initiqlization procedure, as may happen with a
1621         predicate check on a component, when the predicate function applies to
1622         the base type of the component.
1623         * sem_ch3.adb (Analyze_Subtype_Declaration): Clean up inheritance of
1624         predicates for subtype declarations and for subtype indications in
1625         other contexts.
1626         (Process_Subtype): Likewise. Handle properly the case of a private type
1627         with unknown discriminants whose full view is an unconstrained array.
1628         Use Predicated_Parent to indicate source of predicate function on an
1629         itype whose parent is itself an itype.
1630         (Complete_Private_Subtype): If the private view has unknown
1631         discriminants and the full view is an unconstrained array, set base
1632         type of completion to the full view of parent.
1633         (Inherit_Predicate_Flags): Prevent double assignment of predicate
1634         function and flags.
1635         (Build_Subtype): For a constrained array component, propagate predicate
1636         information from original component type declaration.
1637
1638 2018-05-23  Boris Yakobowski  <yakobowski@adacore.com>
1639
1640         * libgnat/a-ngelfu.ads (Arctanh, Arccoth): Fix faulty preconditions.
1641
1642 2018-05-23  Arnaud Charlet  <charlet@adacore.com>
1643
1644         * checks.adb (Minimize_Eliminate_Overflows): Default initialize Lo and
1645         Hi.
1646         * sem_elab.adb: Make "out" parameters instead of "in out" when
1647         relevant.
1648
1649 2018-05-23  Bob Duff  <duff@adacore.com>
1650
1651         * gnatbind.adb (List_Applicable_Restrictions): Add
1652         No_Implementation_Restrictions to the list of restrictions not to list.
1653         Remove double negative "not No_Restriction_List".  Comment the
1654         commentary that is output, so it won't cause errors if used directly in
1655         a gnat.adc.
1656
1657 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
1658
1659         * sem_prag.adb (Inherit_Class_Wide_Pre): Refine legality check on
1660         class-wide precondition on a type extension when ancestor does not have
1661         a class-wide precondition.  Previously the compiler accepted such a
1662         precondition when the ancestor had a class-wide postcondition.
1663
1664 2018-05-23  Javier Miranda  <miranda@adacore.com>
1665
1666         * sem_attr.adb (Valid_Scalars): Do not invoke Error_Attr_P to report
1667         the warning on occurrences of this attribute whose evaluation is always
1668         true (since that subprogram aborts processing the attribute). In
1669         addition, replace the node by its boolean result 'True' (required
1670         because the backend has no knowledge of this attribute).
1671
1672 2018-05-23  Bob Duff  <duff@adacore.com>
1673
1674         * libgnat/a-convec.adb: (Insert, Insert_Space): Suppress warnings. The
1675         code in question is not reachable in the case where Count_Type'Last is
1676         out of range.
1677
1678 2018-05-23  Yannick Moy  <moy@adacore.com>
1679
1680         * doc/gnat_rm/implementation_defined_pragmas.rst: Clarify meaning of
1681         local pragma Warnings Off without On.
1682         * gnat_rm.texi: Regenerate.
1683
1684 2018-05-23  Olivier Hainque  <hainque@adacore.com>
1685
1686         * libgnat/g-excact.ads (Is_Foreign_Exception): New predicate.
1687         * libgnat/g-excact.adb: Implement.
1688
1689 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
1690
1691         * sem_ch5.adb (Analyze_Iterator_Specification): If a subtype indication
1692         is present, verify its legality when the domain of iteration is a
1693         GNAT-specific formal container, as is already done for arrays and
1694         predefined containers.
1695
1696 2018-05-23  Yannick Moy  <moy@adacore.com>
1697
1698         * sem_util.adb (Enclosing_Declaration): Fix the case of a named number
1699         declaration, which was not taken into account.
1700
1701 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
1702
1703         * debug.adb: Switch -gnatd_s is now used to stop elaboration checks on
1704         synchronized suspension.
1705         * rtsfind.ads: Add entries for units Ada.Synchronous_Barriers and
1706         Ada.Synchronous_Task_Control and routines Suspend_Until_True and
1707         Wait_For_Release.
1708         * sem_elab.adb: Document switch -gnatd_s.
1709         (In_Task_Body): New routine.
1710         (Is_Potential_Scenario): Code cleanup. Stop the traversal of a task
1711         body when the current construct denotes a synchronous suspension call,
1712         and restriction No_Entry_Calls_In_Elaboration_Code or switch -gnatd_s
1713         is in effect.
1714         (Is_Synchronous_Suspension_Call): New routine.
1715         * switch-c.adb (Scan_Front_End_Switches): Switch -gnatJ now sets switch
1716         -gnatd_s.
1717
1718 2018-05-23  Javier Miranda  <miranda@adacore.com>
1719
1720         * exp_disp.adb (Make_DT): Restrict the initialization of
1721         External_Tag and Expanded_Name to an empty string to the case where
1722         both pragmas apply (i.e. No_Tagged_Streams and Discard_Names), since
1723         restricted runtimes are compiled with pragma Discard_Names.
1724         * doc/gnat_rm/implementation_defined_pragmas.rst,
1725         doc/gnat_rm/implementation_defined_characteristics.rst: Add
1726         documentation.
1727         * gnat_rm.texi: Regenerate.
1728
1729 2018-05-23  Maroua Maalej  <maalej@adacore.com>
1730
1731         * sem_spark.adb: Fix of some permission rules of pointers in SPARK.
1732
1733 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
1734
1735         * sem_ch5.adb (Preanalyze_Range): The pre-analysis of the domain of
1736         iteration of an Ada2012 loop is performed to determine the type of the
1737         domain, but full analysis is performed once the loop is rewritten as a
1738         while-loop during expansion. The pre-analysis suppresses expansion; it
1739         must also suppress the generation of freeze nodes, which may otherwise
1740         appear in the wrong scope before rewritting.
1741
1742 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
1743
1744         * sem_elab.adb: Update the section on suppressing elaboration warnings.
1745
1746 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
1747
1748         * einfo.adb (Is_Elaboration_Checks_OK_Id): Use predicate
1749         Is_Elaboration_Target.
1750         (Is_Elaboration_Target): New routine.
1751         (Is_Elaboration_Warnings_OK_Id): Use predicate Is_Elaboration_Target.
1752         (Set_Is_Elaboration_Checks_OK_Id): Use predicate Is_Elaboration_Target.
1753         (Set_Is_Elaboration_Warnings_OK_Id): Use predicate
1754         Is_Elaboration_Target.
1755         * einfo.ads: Add new synthesized attribute Is_Elaboration_Target along
1756         with occurrences in nodes.
1757         (Is_Elaboration_Target): New routine.
1758         * sem_prag.adb (Analyze_Pragma): Suppress elaboration warnings when an
1759         elaboration target is subject to pragma Warnings (Off, ...).
1760
1761 2018-05-23  Eric Botcazou  <ebotcazou@adacore.com>
1762
1763         * repinfo.adb (List_Type_Info): Remove obsolete stuff.
1764
1765 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
1766
1767         * einfo.adb: Flag304 is now Is_Elaboration_Warnings_OK_Id.
1768         (Is_Elaboration_Warnings_OK_Id): New routine.
1769         (Set_Is_Elaboration_Warnings_OK_Id): New routine.
1770         (Write_Entity_Flags): Output Flag304.
1771         * einfo.ads: Add new attribute Is_Elaboration_Warnings_OK_Id along with
1772         occurrences in entities.
1773         (Is_Elaboration_Warnings_OK_Id): New routine along with pragma Inline.
1774         (Set_Is_Elaboration_Warnings_OK_Id): New routine along with pragma
1775         Inline.
1776         * sem_attr.adb (Analyze_Access_Attribute): Capture the state of
1777         elaboration warnings.
1778         * sem_ch3.adb (Analyze_Object_Declaration): Capture the state of
1779         elaboration warnings.
1780         * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Capture the
1781         state of elaboration warnings.
1782         (Analyze_Subprogram_Body_Helper): Capture the state of elaboration
1783         warnings.
1784         (Analyze_Subprogram_Declaration): Capture the state of elaboration
1785         warnings.
1786         * sem_ch9.adb (Analyze_Entry_Declaration): Capture the state of
1787         elaboration warnings.
1788         (Analyze_Single_Task_Declaration): Capture the state of elaboration
1789         warnings.
1790         (Analyze_Task_Type_Declaration): Capture the state of elaboration
1791         warnings.
1792         * sem_ch12.adb (Analyze_Generic_Package_Declaration): Capture the state
1793         of elaboration warnings.
1794         (Analyze_Generic_Subprogram_Declaration): Capture the state of
1795         elaboration warnings.
1796         * sem_elab.adb: Add a section on suppressing elaboration warnings.
1797         Type Processing_Attributes includes component Suppress_Warnings
1798         intended to suppress any elaboration warnings along a path in the
1799         graph.  Update Initial_State to include a value for this component.
1800         Types Target_Attributes and Task_Attriutes include component
1801         Elab_Warnings_OK to indicate whether the target or task has elaboration
1802         warnings enabled.  component Elab_Warnings_OK.
1803         (Build_Access_Marker): Propagate attribute
1804         Is_Elaboration_Warnings_OK_Node from the attribute to the generated
1805         call marker.
1806         (Extract_Instantiation_Attributes): Set the value for Elab_Warnings_OK.
1807         (Extract_Target_Attributes): Set the value for Elab_Warnings_OK.
1808         (Extract_Task_Attributes): Set the value for Elab_Warnings_OK.
1809         (Process_Conditional_ABE_Access): Suppress futher elaboration warnings
1810         when already in this mode or when the attribute or target have warnings
1811         suppressed.
1812         (Process_Conditional_ABE_Activation_Impl): Do not emit any diagnostics
1813         if warnings are suppressed.
1814         (Process_Conditional_ABE_Call): Suppress further elaboration warnings
1815         when already in this mode, or the target or call have warnings
1816         suppressed.
1817         (Process_Conditional_ABE_Call_Ada): Do not emit any diagnostics if
1818         warnings are suppressed.
1819         (Process_Conditional_ABE_Call_SPARK): Do not emit any diagnostics if
1820         warnings are suppressed.
1821         (Process_Conditional_ABE_Instantiation): Suppress further elaboration
1822         warnings when already in this mode or when the instantiation has
1823         warnings suppressed.
1824         (Process_Conditional_ABE_Instantiation_Ada): Do not emit any
1825         diagnostics if warnings are suppressed.
1826         (Process_Conditional_ABE_Variable_Assignment_Ada): Use the more
1827         specific Is_Elaboration_Warnings_OK_Id rather than Warnings_Off.
1828         (Process_Conditional_ABE_Variable_Assignment_SPARK): Use the more
1829         specific Is_Elaboration_Warnings_OK_Id rather than Warnings_Off.
1830         (Process_Task_Object): Suppress further elaboration warnings when
1831         already in this mode, or when the object, activation call, or task type
1832         have warnings suppressed. Update the processing state to indicate that
1833         the path goes through a task body.
1834         * sinfo.adb (Is_Elaboration_Warnings_OK_Node): Accept attribute
1835         references.
1836         (Set_Is_Elaboration_Warnings_OK_Node): Accept attribute references.
1837         * sinfo.ads: Attribute Is_Elaboration_Warnings_OK_Node now applies to
1838         attribute references.
1839
1840 2018-05-23  Piotr Trojanek  <trojanek@adacore.com>
1841
1842         * einfo.ads: Minor reformatting.
1843
1844 2018-05-23  Ed Schonberg  <schonberg@adacore.com>
1845
1846         * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
1847         anonymous_access_to_ subprogram formal, apply a conversion to force an
1848         accsssibility check that will fail statically, enforcing 3.10.2 (13).
1849
1850 2018-05-23  Daniel Mercier  <mercier@adacore.com>
1851
1852         * gnat1drv.adb: Turn off length expansion in CodePeer mode.
1853
1854 2018-05-23  Bob Duff  <duff@adacore.com>
1855
1856         * freeze.adb: (Check_Address_Clause): Deal with build-in-place
1857         aggregates in addition to build-in-place calls.
1858
1859 2018-05-23  Bob Duff  <duff@adacore.com>
1860
1861         * einfo.ads: Minor reformatting.
1862         * sem_ch3.adb: Likewise.
1863         * sinfo.ads: Likewise.
1864
1865 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
1866
1867         * exp_ch3.adb (Default_Initialize_Object): Do not optimize scalar array
1868         initialization when the component type has predicates.
1869         * exp_ch4.adb (Expand_N_Allocator): Do not optimize scalar array
1870         allocation when the component type has predicates.
1871
1872 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
1873
1874         * einfo.adb, exp_disp.adb, sem_ch3.adb, sem_ch6.adb, sem_prag.adb:
1875         Minor reformatting.
1876
1877 2018-05-22  Justin Squirek  <squirek@adacore.com>
1878
1879         * sem_ch6.adb (Analyze_Expression_Function): Propagate flags from the
1880         original function spec into the generated function spec due to
1881         expansion of expression functions during analysis.
1882         (Analyze_Subprogram_Body_Helper): Modify check on formal parameter
1883         references from the body to the subprogram spec in the case of
1884         expression functions because of inconsistances related to having a
1885         generated body.
1886         * libgnarl/s-osinte__android.ads: Flag parameters as unused.
1887         * libgnarl/s-osinte__lynxos178e.ads: Likewise.
1888         * libgnarl/s-osinte__qnx.adb: Likewise.
1889         * libgnarl/s-osinte__qnx.ads: Likewise.
1890
1891 2018-05-22  Doug Rupp  <rupp@adacore.com>
1892
1893         * init.c (HAVE_ADJUST_CONTEXT_FOR_RAISE): Don't define on VxWorks7 for
1894         AArch64.
1895
1896 2018-05-22  Olivier Hainque  <hainque@adacore.com>
1897
1898         * libgnat/a-except.adb (Exception_Propagation.Propagate_Exception):
1899         Expect an Exception_Occurence object, not an Access.
1900         (Complete_And_Propagate_Occurrence): Adjust accordingly.
1901         (Raise_From_Signal_Handler): Likewise.
1902         (Reraise_Occurrence_No_Defer): If we have a Machine_Occurrence
1903         available in the provided occurrence object, just re-propagate the
1904         latter as a bare "raise;" would do.
1905         * libgnat/a-exexpr.adb (Propagate_Exception): Adjust to spec change.
1906         * libgnat/a-exstat.adb (String_To_EO): Initialize X.Machine_Occurrence
1907         to null, to mark that the occurrence we're crafting from the stream
1908         contents is not being propagated (yet).
1909
1910 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1911
1912         * exp_aggr.adb (Initialize_Ctrl_Record_Component): Insert the generated
1913         code for a transient component in line with the rest of the
1914         initialization code, rather than before the aggregate. This ensures
1915         that the component has proper visibility of the discriminants.
1916
1917 2018-05-22  Jerome Lambourg  <lambourg@adacore.com>
1918
1919         * adaint.c: Reorganize QNX-specific macros, use syspage to retreive the
1920         number of CPUs.
1921
1922 2018-05-22  Jerome Lambourg  <lambourg@adacore.com>
1923
1924         * sigtramp-qnx.c: Properly restore link register in signal trampoline.
1925
1926 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1927
1928         * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Strip away any
1929         conversions before extracting the value of the expression.
1930         * exp_ch3.adb (Default_Initialize_Object): Optimize the default
1931         initialization of an array of scalars.
1932         (Get_Simple_Init_Val): Add processing for array types. Remove the
1933         processing of strings because this case is already handled by the array
1934         case.
1935         (Needs_Simple_Initialization): Moved to Sem_Util.
1936         (Simple_Init_Array_Type): New routine.
1937         (Simple_Init_Initialize_Scalars_Type): Reimplemented to use the new
1938         facilities from Sem_Util.
1939         (Simple_Initialization_OK): New routine.
1940         * exp_ch3.ads (Needs_Simple_Initialization): Moved to Sem_Util.
1941         * exp_ch4.adb (Expand_N_Allocator): Optimize the default allocation of
1942         an array of scalars.
1943         * sem_prag.adb (Analyze_Float_Value): New routine.
1944         (Analyze_Integer_Value): New routine.
1945         (Analyze_Pragma): Reimplement the analysis of pragma Initialize_Scalars
1946         to handled the extended form of the pragma.
1947         (Analyze_Type_Value_Pair): New routine.
1948         * sem_util.adb: Add invalid value-related data structures.
1949         (Examine_Array_Bounds): New routine.
1950         (Has_Static_Array_Bounds): Reimplemented.
1951         (Has_Static_Non_Empty_Array_Bounds): New routine.
1952         (Invalid_Scalar_Value): New routine.
1953         (Needs_Simple_Initialization): Moved from Exp_Ch3.
1954         (Set_Invalid_Scalar_Value): New routines.
1955         * sem_util.ads (Has_Static_Non_Empty_Array_Bounds): New routine.
1956         (Invalid_Scalar_Value): New routine.
1957         (Needs_Simple_Initialization): Moved from Exp_Ch3.
1958         (Set_Invalid_Scalar_Value): New routines.
1959         * snames.ads-tmpl: Add names for the salar type families used by pragma
1960         Initialize_Scalars.
1961
1962 2018-05-22  Javier Miranda  <miranda@adacore.com>
1963
1964         * exp_disp.adb (Make_DT): Initialize the External_Tag with an empty
1965         string when pragma No_Tagged_Streams is applicable to the tagged type,
1966         and initialize the Expanded_Name with an empty string when pragma
1967         Discard_Names is applicable to the tagged type.
1968
1969 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
1970
1971         * sem_ch6.adb (Check_Conformance): Add RM reference for rule that a
1972         formal subprogram is never subtype conformqnt, and thus cannot be the
1973         prefix of 'Access.  Reject as well the attribute when applied to a
1974         renaming of a formal subprogram.
1975
1976 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
1977
1978         * exp_ch3.adb (Build_Array_Init_Proc): Update the call to
1979         Needs_Simple_Initialization.
1980         (Build_Init_Statements): Update the call to Get_Simple_Init_Val.
1981         (Check_Subtype_Bounds): Renamed to Extract_Subtype_Bounds. Update the
1982         profile and comment on usage.
1983         (Default_Initialize_Object): Do not use New_Copy_Tree to set the proper
1984         Sloc of a value obtained from aspect Default_Value because this could
1985         potentially replicate large trees. The proper Sloc is now set in
1986         Get_Simple_Init_Val.
1987         (Get_Simple_Init_Val): Reorganized by breaking the various cases into
1988         separate routines. Eliminate the use of global variables.
1989         (Init_Component): Update the call to Get_Simple_Init_Val.
1990         (Needs_Simple_Initialization): Update the parameter profile and all
1991         uses of T.
1992         (Simple_Init_Defaulted_Type): Copy the value of aspect Default_Value
1993         and set the proper Sloc.
1994         * exp_ch3.ads (Get_Simple_Init_Val): Update the parameter profile and
1995         comment on usage.
1996         (Needs_Simple_Initialization): Update the parameter profile.
1997
1998 2018-05-22  Patrick Bernardi  <bernardi@adacore.com>
1999
2000         * sem_ch3.adb (Build_Discriminant_Constraints): Raise an error if the
2001         user tries to use a subtype indication as a discriminant constraint.
2002
2003 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
2004
2005         * exp_ch4.ads, exp_ch4.adb, exp_util.adb, expander.adb: Remove mention
2006         of N_Reduction_Expression and N_Reduction_Expression_Parameter.
2007         * par-ch4.adb: Remove parsing routines for reduction expressions.
2008         * sem.adb, sinfo.ads, sinfo.adb, sem_ch4.ads, sem_ch4.adb, sem_res.adb,
2009         sem_spark.adb, sprint.adb: Remove analysis routines for reduction
2010         expressions.
2011
2012 2018-05-22  Arnaud Charlet  <charlet@adacore.com>
2013
2014         * sem_ch8.adb (Check_Frozen_Renaming): Do not emit error in
2015         Relaxed_RM_Semantics mode.
2016
2017 2018-05-22  Arnaud Charlet  <charlet@adacore.com>
2018
2019         * comperr.adb (Delete_SCIL_Files): Take into account
2020         N_Generic_Package_Renaming_Declaration.
2021
2022 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
2023
2024         * sem_ch3.adb (Search_Derivation_Levels): Whenever a parent type is
2025         private, use the full view if available, because it may include renamed
2026         discriminants whose values are stored in the corresponding
2027         Stored_Constraint.
2028
2029 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
2030
2031         * einfo.ads, einfo.adb: New attribute Hidden_In_Formal_Instance,
2032         defined on packages that are actuals for formal packages, in order to
2033         set/reset the visibility of the formals of a formal package with given
2034         actuals, when there are subsequent uses of those formals in the
2035         enclosing generic, as required by RN 12.7 (10).
2036         * atree.ads, atree.adb: Add operations for Elist30.
2037         * atree.h: Add Elist30.
2038         * sem_ch12.adb (Analyze_Formal_Package_Instantiation): Collect formals
2039         that are not defaulted and are thus not visible within the current
2040         instance.
2041         (Check_Formal_Packages): Reset visibility of formals of a formal
2042         package that are not defaulted, on exit from current instance.
2043
2044 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
2045
2046         * sem_prag.adb (Analyze_Input_Output): Emit an error when a non-null,
2047         non-'Result output appears in the output list of a function.
2048
2049 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
2050
2051         * exp_attr.adb (Build_Array_VS_Func): Reimplemented.
2052         (Build_Record_VS_Func): Reimplemented.
2053         (Expand_N_Attribute): Reimplement the handling of attribute
2054         'Valid_Scalars.
2055         * sem_attr.adb (Analyze_Attribute): Reimplement the handling of
2056         attribute 'Valid_Scalars.
2057         * sem_util.adb (Scalar_Part_Present): Reimplemented.
2058         (Validated_View): New routine.
2059         * sem_util.ads (Scalar_Part_Present): Update the parameter profile and
2060         comment on usage.
2061         (Validated_View): New routine.
2062         * doc/gnat_rm/implementation_defined_attributes.rst: Update the
2063         documentation of attribute 'Valid_Scalars.
2064         * gnat_rm.texi: Regenerate.
2065
2066 2018-05-22  Bob Duff  <duff@adacore.com>
2067
2068         * binde.adb: (Choose): Ignore a pragma Elaborate_Body that appears in
2069         the spec of a SAL_Interface package.
2070
2071 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
2072
2073         * freeze.adb (Freeze_Entity): When analyzing delayed aspects of an
2074         entity E within a generic unit, indicate that there are no remaining
2075         delayed aspects after invoking Analyze_Aspects_At_Freeze_Point. The
2076         entity E is not frozen yet but the aspects should not be reanalyzed at
2077         the freeze point, which may be outside of the generic and may not have
2078         the proper visibility.
2079
2080 2018-05-22  Bob Duff  <duff@adacore.com>
2081
2082         * doc/gnat_ugn/gnat_utility_programs.rst: Add documentation for
2083         the new --split-line-before-record, --indent-named-statements and
2084         --no-align-modes gnatpp switches.
2085
2086 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
2087
2088         * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Handle properly
2089         a second argument that is a constant of a given string value.
2090
2091 2018-05-22  Doug Rupp  <rupp@adacore.com>
2092
2093         * sigtramp-vxworks-target.inc: Align stack to 128bits on AArch64.
2094
2095 2018-05-22  Jerome Lambourg  <lambourg@adacore.com>
2096
2097         * sigtramp-qnx.c: Fix stack alignment issue in the signal trampoline.
2098
2099 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
2100
2101         * freeze.adb (Freeze_Fixed_Point_Type): If the first subtype has
2102         delayed aspects, analyze them now, os that the representation of the
2103         type (size, bounds) can be computed and validated.
2104
2105 2018-05-22  Olivier Hainque  <hainque@adacore.com>
2106
2107         * libgnat/s-dwalin.adb (Enable_Cache): Skip symbols outside of the
2108         executable code section boundaries.
2109
2110 2018-05-22  Javier Miranda  <miranda@adacore.com>
2111
2112         * locales.c: New implementation for the Ada.Locales package.
2113         * libgnat/a-locale.ads: Remove comment indicating that this is not
2114         implemented.
2115         * doc/gnat_rm/standard_library_routines.rst: Remove comment indicating
2116         that this is not implemented.
2117         * gnat_rm.texi: Regenerate.
2118
2119 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
2120
2121         * exp_ch5.adb, freeze.adb, pprint.adb, sem_ch4.adb, sem_res.adb: Minor
2122         reformattings.
2123
2124 2018-05-22  Justin Squirek  <squirek@adacore.com>
2125
2126         * sem_ch12.adb (In_Same_Declarative_Part): Moved to sem_util.
2127         (Freeze_Subprogram_Body, Install_Body): Modify calls to
2128         In_Same_Declarative_Part.
2129         * sem_prag.adb (Analyze_Pragma-Pragma_Pure_Function): Add check to
2130         verify pragma declaration is within the same declarative list with
2131         corresponding error message.
2132         * sem_util.adb, sem_util.ads (In_Same_Declarative_Part): Moved from
2133         sem_ch12.adb and generalized to be useful outside the scope of
2134         freezing.
2135
2136 2018-05-22  Hristian Kirtchev  <kirtchev@adacore.com>
2137
2138         * sem_ch6.adb (Analyze_Subprogram_Declaration): Set the proper
2139         categorization of the unit after processing the aspects in case one of
2140         its aspects is converted into a categorization pragma.
2141
2142 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
2143
2144         * freeze.adb (Warn_Overlay): Do not emit a wawrning on an object
2145         declaration with an explicit address clause and a type with default
2146         initialization, if the declaration carries an aspect
2147         Suppress_Initialization.
2148
2149 2018-05-21  Daniel Mercier  <mercier@adacore.com>
2150
2151         * pprint.adb: Use mixed case for attribute names.
2152
2153 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
2154
2155         * sem_ch6.adb (Analyze_Generic_Subprogram_Body): Rename the call to
2156         Analyze_Aspect_Specifications_On_Body_Or_Stub.
2157         (Analyze_Subprogram_Body_Helper): Rename the calls to
2158         Analyze_Aspect_Specifications_On_Body_Or_Stub.
2159         * sem_ch9.adb (Analyze_Entry_Body): Rename the call to
2160         Analyze_Aspect_Specifications_On_Body_Or_Stub.
2161         * sem_ch10.adb: Add with and use clause for Sem_Ch13.
2162         (Analyze_Package_Body_Stub): Add constant Id. Decorate the package stub
2163         prior to analyzing its aspects.
2164         (Analyze_Protected_Body_Stub): Add constant Id. Decorate the package
2165         stub prior to analyzing its aspects. Save and restore the configuration
2166         switches.
2167         (Analyze_Task_Body_Stub): Add constant Id. Decorate the package stub
2168         prior to analyzing its aspects.
2169         * sem_ch13.adb (Analyze_Aspect_Specifications_On_Body_Or_Stub): Renamed
2170         to Analyze_Aspects_On_Subprogram_Body_Or_Stub.
2171         * sem_ch13.ads (Analyze_Aspect_Specifications_On_Body_Or_Stub): Renamed
2172         to Analyze_Aspects_On_Subprogram_Body_Or_Stub.
2173         * sem_prag.adb: Code reformatting.
2174         (Analyze_Refined_Depends_Global_Post): Consider task body stubs.
2175
2176 2018-05-21  Jerome Lambourg  <lambourg@adacore.com>
2177
2178         * gcc-interface/Makefile.in: Add g-soliop__qnx.ads to the runtime build
2179         for QNX.
2180
2181 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
2182
2183         * exp_cg.adb: Remove with and use clause for Exp_Disp.
2184         * exp_ch9.adb: Remove with and use clause for Exp_Disp.
2185         * exp_disp.adb (Is_Predefined_Dispatching_Operation): Moved to Sem_Util.
2186         (Is_Predefined_Interface_Primitive): Moved to Sem_Util.
2187         (Is_Predefined_Internal_Operation): Moved to Sem_Util.
2188         * exp_disp.ads (Is_Predefined_Dispatching_Operation): Moved to Sem_Util.
2189         (Is_Predefined_Interface_Primitive): Moved to Sem_Util.
2190         (Is_Predefined_Internal_Operation): Moved to Sem_Util.
2191         * exp_dist.adb: Remove with and use clause for Exp_Disp.
2192         * freeze.adb: Remove with and use clause for Exp_Disp.
2193         * sem_cat.adb: Remove with and use clause for Exp_Disp.
2194         * sem_ch6.adb: Remove with and use clause for Exp_Disp.
2195         * sem_ch12.adb: Remove with and use clause for Exp_Disp.
2196         * sem_elab.adb (Check_Overriding_Primitive): Do not process predefined
2197         primitives.
2198         * sem_util.adb: Remove with and use clause for Exp_Disp.
2199         (Is_Predefined_Dispatching_Operation): Moved from Exp_Disp.
2200         (Is_Predefined_Interface_Primitive): Moved from Exp_Disp.
2201         (Is_Predefined_Internal_Operation): Moved from Exp_Disp.
2202         * sem_util.ads (Is_Predefined_Dispatching_Operation): Moved from
2203         Exp_Disp.
2204         (Is_Predefined_Interface_Primitive): Moved from Exp_Disp.
2205         (Is_Predefined_Internal_Operation): Moved from Exp_Disp.
2206
2207 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
2208
2209         * sem_res.adb (Valid_Conversion): Improve error message on an illegal
2210         type conversion whose expression has a limited view of a type.
2211
2212 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
2213
2214         * exp_ch5.adb (Build_Formal_Container_Iteration): If source has
2215         explicit name for iterator loop, preserve that name in expanded
2216         construct, for possible use in exit statements.
2217
2218 2018-05-21  Javier Miranda  <miranda@adacore.com>
2219
2220         * sem_ch4.adb (Analyze_Membership_Op): Avoid compiler crash when the
2221         spec of a unit has Ada 2012 membership tests with multiple choices and
2222         the unit body is not compiled under Ada 2012 mode.
2223
2224 2018-05-21  Doug Rupp  <rupp@adacore.com>
2225
2226         * sigtramp-vxworks-target.inc: Set cfa_reg properly from sigcontext
2227         pregs.
2228         (CFI_COMMON_REGS): Restore LR jic probed from prologue.
2229         (REGNO_PC_OFFSET): Change to correct value for Aarch64.
2230
2231 2018-05-21  Jose Ruiz  <ruiz@adacore.com>
2232
2233         * doc/gnat_ugn/gnat_utility_programs.rst, exp_attr.adb,
2234         libgnarl/s-tassta.adb: Minor typo fixes
2235
2236 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
2237
2238         * sem_ch4.adb (Analyze_One_Call): Recognize complex cases where an
2239         indexed call originally in prefix forn is itself the prefix of a
2240         further call.
2241
2242 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
2243
2244         * sem_eval.adb (Is_Null_Range): Clarify access to the full view of a
2245         type.
2246         (Not_Null_Range): Same as above.
2247
2248 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
2249
2250         * exp_ch3.adb: Minor reformatting.
2251         * exp_ch6.adb: Likewise.
2252         * freeze.adb: Likewise.
2253         * inline.adb: Likewise.
2254         * sem_util.adb: Likewise.
2255
2256 2018-05-21  Yannick Moy  <moy@adacore.com>
2257
2258         * inline.adb (Expand_Inlined_Call.Process_Formals): Use a type
2259         conversion instead of an unchecked type conversion when inlining a
2260         return statement, unless type qualification is required (for character
2261         and string literal) or no check can result from the conversion (for
2262         access types).
2263         * opt.ads: Update comment.
2264
2265 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
2266
2267         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Install the elaboration
2268         model of the compilation unit spec, if any.
2269         * sem_ch7.adb (Analyze_Package_Body_Helper): Install the elaboration
2270         model of the compilation unit spec, if any.
2271         * sem_ch10.adb (Analyze_Subunit): Install the elaboration model of the
2272         parent compilation unit spec, if any.
2273         * sem_elab.adb (Check_Elaboration_Scenarios): Restore the elaboration
2274         model of the main unit.
2275         (Is_Same_Unit): The routine now uses Unit_Entity.
2276         (Is_Subunit): Removed.
2277         (Normalize_Unit): Removed.
2278         (Unit_Entity): New routine.
2279         * sem_prag.adb (Analyze_Pragma): Reimplement the handling of pragma
2280         Elaboration_Checks. The analysis now ensures that the pragma appears at
2281         the configuration level, and on the initial declaration of a unit.
2282         Other placements are either flagged as illegal, or ignored.
2283         (Check_Duplicate_Elaboration_Checks_Pragma): New routine.
2284         (Ignore_Elaboration_Checks_Pragma): New routine.
2285         * sem_util.adb (Install_Elaboration_Model): New routine.
2286         * sem_util.ads (Install_Elaboration_Model): New routine.
2287         * doc/gnat_rm/implementation_defined_pragmas.rst: Update the
2288         documentation of pragma Elaboration_Checks.
2289         * gnat_rm.texi: Regenerate.
2290
2291 2018-05-21  Olivier Hainque  <hainque@adacore.com>
2292
2293         * libgnat/s-trasym__dwarf.adb (Executable_Name): Return argv[0] instead
2294         of empty string when argv[0] couldn't be found on PATH.
2295         (Enable_Cache): Raise Program_Error instead of attempting a null
2296         pointer dereference when the Exec_Module initialization failed.
2297
2298 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
2299
2300         * libgnarl/a-reatim.ads (Clock_Time): Remove External aspect.
2301         * libgnarl/a-taside.ads (Tasking_State): Likewise.
2302         * libgnat/a-calend.ads (Clock_Time): Likewise.
2303
2304 2018-05-21  Yannick Moy  <moy@adacore.com>
2305
2306         * sem_ch6.adb (Analyze_Procedure_Call): Refine test to recognize prefix
2307         call notation in inlined call in GNATprove mode.
2308
2309 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
2310
2311         * einfo.adb (Is_External_State): An abstract state is also external
2312         when it is declared with option "synchronous".
2313         * einfo.ads: Update the documentation of synthesized attribute
2314         Is_External_State.
2315         * sem_util.adb (Find_Simple_Properties): New routine.
2316         (Is_Enabled_External_Property): New routine.
2317         (State_Has_Enabled_Property): Reimplemented. The two flavors of option
2318         External have precedence over option Synchronous when determining
2319         whether a property is in effect.
2320
2321 2018-05-21  Yannick Moy  <moy@adacore.com>
2322
2323         * sem_eval.adb (Static_Length): Take into account case of variable of
2324         subtype string literal.
2325
2326 2018-05-21  Olivier Hainque  <hainque@adacore.com>
2327
2328         * libgnat/s-objrea.ads (Get_Memory_Bounds): Rename as Get_Xcode_Bounds.
2329         (Object_Section): Rename Flag_Alloc component as Flag_Xcode.
2330         * libgnat/s-objrea.adb (Get_Xcode_Bounds): Adjust to new subprogram and
2331         component name.
2332         (Get_Section, ELF case): Set Flag_Xcode from SHF_EXECINSTR.
2333         * libgnat/s-dwalin.adb (Open): Adjust to the Get_Memory_Bounds name
2334         change.
2335
2336 2018-05-21  Olivier Hainque  <hainque@adacore.com>
2337
2338         * libgnat/s-dwalin.ads (Dwarf_Context): Change type of Load_Address to
2339         Address, and type of Low, High to Storage_Offset.
2340         (Low): Rename as Low_Address and convey that the return value is a
2341         runtime reference accounting for a load address.
2342         * libgnat/s-dwalin.adb (Read_Aranges_Entry): Adjust to the
2343         address/offset type changes.
2344         (Aranges_Lookup): Likewise.
2345         (Symbolic_Address): Likewise.
2346         (Symbolic_Traceback): Likewise.
2347         (Dump_Cache): Likewise.
2348         (Is_Inside): Likewise.
2349         (Open): Likewise.
2350         (Set_Load_Address): Likewise.
2351         (Low_Address): Likewise, and account for C.Load_Address.
2352         * libgnat/s-trasym__dwarf.adb (Lt): Use Low_Address instead of Low.
2353         (Multi_Module_Symbolic_Traceback): Compare address in traceback
2354         with module Low_Address instead of Low.
2355
2356 2018-05-21  Olivier Hainque  <hainque@adacore.com>
2357
2358         * libgnat/s-dwalin.ads (Dwarf_Context): Rename Load_Slide as
2359         Load_Address.
2360         * libgnat/s-dwalin.adb (Is_Inside): Adjust accordingly.
2361         (Set_Load_Address): Likewise.
2362         (Symbolic_Traceback): Likewise.
2363
2364 2018-05-21  Olivier Hainque  <hainque@adacore.com>
2365
2366         * libgnat/s-trasym__dwarf.adb (Add_Module_To_Cache): Expect a
2367         Load_Address argument and pass it down to Init_Module.
2368         * libgnat/s-tsmona__linux.adb (Build_Cache_For_All_Modules): Pass
2369         lm.l_addr as the Load_Address to Add_Module_To_Cache.
2370
2371 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
2372
2373         * einfo.adb (Has_Discriminants): Stronger assertion.
2374         (Set_Has_Discriminants): Stronger assertion.
2375         * sem_ch13.adb (Push_Scope_And_Install_Discriminants): Adapt to respect
2376         the stronger assertion on Has_Discriminant.
2377         (Uninstall_Discriminants_And_Pop_Scope): Same as above.
2378         * sem_util.adb (New_Copy_Tree): Same as above.
2379         * sem_ch7.adb (Generate_Parent_References): Prevent calls to
2380         Has_Discriminant on non-type entities that might happen when the
2381         compiled code has errors.
2382         * sem_ch3.adb (Derived_Type_Declaration): Only call
2383         Set_Has_Discriminant on type entities.
2384
2385 2018-05-21  Arnaud Charlet  <charlet@adacore.com>
2386
2387         * exp_unst.adb (Unnest_Subprogram): Unnest all subprograms relevant for
2388         code generation.
2389
2390 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
2391
2392         * lib.ads: Fix typo in enumeration in comment.
2393
2394 2018-05-21  Ed Schonberg  <schonberg@adacore.com>
2395
2396         * sem_attr.adb (Analyze_Attribute, case Scalar_Storage_Order): The
2397         attribute reference is legal within a generic unit when the prefix is a
2398         formal private type.
2399
2400 2018-05-21  Hristian Kirtchev  <kirtchev@adacore.com>
2401
2402         * exp_ch7.adb (Establish_Transient_Scope): Code cleanup. Do not
2403         delegate the secondary stack management when there is no suitable
2404         transient context, and the transient scope was intended to manage the
2405         secondary stack because this causes premature reclamation. Change the
2406         transient scope creation logic by special casing assignment statements
2407         of controlled components for type initialization procedures.
2408         (Find_Node_To_Be_Wrapped): Renamed to Find_Transient_Context. Update
2409         the comment on usage.
2410         (Find_Transient_Context): Change the initinte loop into a while loop.
2411         Iterations schemes and iterator specifications are not valid transient
2412         contexts because they rely on special processing. Assignment statements
2413         are now treated as a normal transient context, special cases are
2414         handled by the caller. Add special processing for pragma Check.
2415         (Is_OK_Construct): Removed. Its functionality has been merged in
2416         routine Find_Transient_Context.
2417         * sem_ch5.adb (Check_Call): Reimplemented. Add code to properly
2418         retrieve the subprogram being invoked. Use a more accurate predicate
2419         (Requires_Transient_Scope) to determine that the function will emply
2420         the secondary stack.
2421
2422 2018-05-21  Piotr Trojanek  <trojanek@adacore.com>
2423
2424         * ada_get_targ.adb: Fix subprogram body headers.
2425         * adabkend.adb: Likewise.
2426         * checks.adb: Likewise.
2427         * exp_ch3.adb: Likewise.
2428         * exp_ch5.adb: Likewise.
2429         * exp_ch9.adb: Likewise.
2430         * exp_dist.adb: Likewise.
2431         * exp_tss.adb: Likewise.
2432         * inline.adb: Likewise.
2433         * lib-writ.adb: Likewise.
2434         * lib-xref-spark_specific.adb: Likewise.
2435         * libgnarl/s-osinte__darwin.adb: Likewise.
2436         * libgnarl/s-stusta.adb: Likewise.
2437         * libgnarl/s-taprop__solaris.adb: Likewise.
2438         * libgnarl/s-tposen.adb: Likewise.
2439         * libgnarl/s-vxwext__kernel-smp.adb: Likewise.
2440         * libgnarl/s-vxwext__kernel.adb: Likewise.
2441         * libgnat/a-btgbso.adb: Likewise.
2442         * libgnat/a-cfdlli.adb: Likewise.
2443         * libgnat/a-cfhama.adb: Likewise.
2444         * libgnat/a-cfinve.adb: Likewise.
2445         * libgnat/a-cimutr.adb: Likewise.
2446         * libgnat/a-coboho.adb: Likewise.
2447         * libgnat/a-cofove.adb: Likewise.
2448         * libgnat/a-cofuve.adb: Likewise.
2449         * libgnat/a-comutr.adb: Likewise.
2450         * libgnat/a-exexda.adb: Likewise.
2451         * libgnat/a-tags.adb: Likewise.
2452         * libgnat/a-tideau.adb: Likewise.
2453         * libgnat/a-wtdeau.adb: Likewise.
2454         * libgnat/a-ztdeau.adb: Likewise.
2455         * libgnat/g-alleve.adb: Likewise.
2456         * libgnat/s-excdeb.adb: Likewise.
2457         * libgnat/s-parint.adb: Likewise.
2458         * libgnat/s-shasto.adb: Likewise.
2459         * libgnat/s-traceb__hpux.adb: Likewise.
2460         * prepcomp.adb: Likewise.
2461         * sem_ch4.adb: Likewise.
2462         * sem_ch6.adb: Likewise.
2463         * sem_dist.adb: Likewise.
2464         * sem_prag.adb: Likewise.
2465         * sem_util.adb: Likewise.
2466         * sinfo.adb: Likewise.
2467         * switch.adb: Likewise.
2468
2469 2018-05-04  John Marino  <gnugcc@marino.st>
2470
2471         PR ada/85635
2472         * link.c (BSD platforms): Add missing backslash.
2473
2474 2018-04-27  Eric Botcazou  <ebotcazou@adacore.com>
2475
2476         PR ada/85540
2477         * init.c (__gnat_handle_vms_condition): Add missing parentheses.
2478
2479 2018-04-25  Eric Botcazou  <ebotcazou@adacore.com>
2480
2481         PR ada/85007
2482         * gnat_ugn.texi: Regenerate.
2483
2484 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
2485
2486         PR ada/85007
2487         * gnatlink.adb (Gnatlink): Remove handling of -b switch.
2488         * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink):
2489         Remove documentation of -b switch.
2490
2491 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
2492
2493         PR ada/85036
2494         * gnatlink.adb (Process_Args): Drop existing link switches if multiple
2495         switches are passed for --LINK.
2496
2497 2018-03-12  Eric Botcazou  <ebotcazou@adacore.com>
2498
2499         PR ada/82813
2500         * gcc-interface/misc.c (gnat_post_options): Disable string overflow
2501         warnings.
2502
2503 2018-03-10  Eric Botcazou  <ebotcazou@adacore.com>
2504
2505         * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>:
2506         Consider only entities for objects.
2507
2508 2018-03-07  Sebastian Huber  <sebastian.huber@embedded-brains.de>
2509
2510         * gcc-interface/Makefile.in (OSCONS_CPP): Remove redundant
2511         $(GNATLIBCFLAGS).
2512         (OSCONS_EXTRACT): Add $(GNATLIBCFLAGS_FOR_C).
2513
2514 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
2515
2516         * gcc-interface/trans.c (convert_with_check): Fix typo in the condition
2517         guarding the overflow check emitted for the upper bound of a floating-
2518         point conversion.
2519
2520 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
2521
2522         * gcc-interface/utils.c (def_builtin_1): Bail out on error_mark_node.
2523
2524 2018-02-28  Eric Botcazou  <ebotcazou@adacore.com>
2525
2526         * libgnat/i-cexten.ads (Float_128): New type.
2527
2528 2018-02-02  Eric Botcazou  <ebotcazou@adacore.com>
2529
2530         * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
2531         false if the component type is a pointer.
2532
2533 2018-01-11  Gary Dismukes  <dismukes@adacore.com>
2534
2535         * exp_ch3.adb (Default_Initialize_Object): Call New_Copy_Tree on the
2536         result of Get_Simple_Init_Value and pass the source location of the
2537         object declaration's object_definition.
2538
2539 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
2540
2541         * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Handle
2542         properly object declarations with initializations that are
2543         build-in-place function calls, when there is an address specification,
2544         either as an aspect specification or an explicit attribute
2545         specification clause, for the initialized object.
2546         * freeze.adb (Check_Address_Clause): Do not remove side-effects from
2547         initial expressions in the case of a build-in-place call.
2548
2549 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
2550
2551         * sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a
2552         private (sub)type; refactor to avoid early return statement.
2553         (Not_Null_Range): Same as above.
2554
2555 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2556
2557         * freeze.adb (Freeze_Entity): Ensure that a Ghost type is not
2558         concurrent, nor effectively volatile.
2559         * ghost.adb (Check_Ghost_Type): New routine.
2560         * ghost.ads (Check_Ghost_Type): New routine.
2561         * sem_util.adb (Is_Declaration): Reimplemented. The routine can now
2562         consider specific subsets of declarations.
2563         (Is_Declaration_Other_Than_Renaming): Removed. Its functionality is
2564         replicated by Is_Declaration.
2565         * sem_util.ads (Is_Declaration): New parameter profile. Update the
2566         comment on usage.
2567         (Is_Declaration_Other_Than_Renaming): Removed.
2568
2569 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2570
2571         * sem_ch5.adb (Analyze_Assignment): Assignments to variables that act
2572         as Part_Of consituents of single protected types are illegal when they
2573         take place inside a protected function.
2574         (Diagnose_Non_Variable_Lhs): Use Within_Function to check for an
2575         enclosing function.
2576         (Is_Protected_Part_Of_Constituent): New routine.
2577         (Within_Function): New routine.
2578
2579 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
2580
2581         Bump copyright notices to 2018.
2582
2583 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2584
2585         * binde.adb, par-ch6.adb, par-ch9.adb, sem_ch12.adb, sem_ch13.adb:
2586         Minor reformatting.
2587
2588 2018-01-11  Justin Squirek  <squirek@adacore.com>
2589
2590         * par-ch6.adb (Scan_Body_Or_Expression_Function): Add additional check
2591         to make sure a given expression function is properly parenthesized.
2592
2593 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2594
2595         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Check the
2596         categorization of a subprogram body which does not complete a previous
2597         declaration.
2598
2599 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2600
2601         * sem_ch10.adb (Check_Private_Child_Unit): Ensure that the enclosing
2602         scope of package Ada is Standard.
2603
2604 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
2605
2606         * sem_ch13.adb (Replace_Type_Ref): Handle properly reference to a
2607         subcomponent of the current entity when building the body for a dynamic
2608         predicate function for a record with composite subcomponents.
2609
2610 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2611
2612         * exp_aggr.adb (Convert_Aggr_In_Object_Decl): Update the call to
2613         Establish_Transient_Scope.
2614         (Convert_To_Assignments): Update the call to Establish_Transient_Scope.
2615         (Expand_Array_Aggregate): Update the call to Establish_Transient_Scope.
2616         * exp_ch6.adb (Expand_Call_Helper): Update the call to
2617         Establish_Transient_Scope.
2618         (Make_Build_In_Place_Call_In_Object_Declaration): Update the call to
2619         Establish_Transient_Scope.
2620         * exp_ch7.adb (Establish_Transient_Scope): Restructured. Delegate the
2621         management of the secondary stack to an enclosing scope if there is no
2622         suitable construct to wrap, and the transient scope was intended to
2623         manage the secondary stack.
2624         (Find_Node_To_Be_Wrapped): Restructured. A case_statement_alternative
2625         is a valid boundary for a transient expression which comes from the
2626         statements of the alternative, otherwise alternatives cannot be
2627         wrapped. Assignments of controlled objects which have controlled
2628         actions suppressed now stop the traversal as there is no point in
2629         looking for an enclosing construct. Add several N_xxx_Body choices to
2630         the termination conditions for completeness.
2631         * exp_ch7.ads (Establish_Transient_Scope): Update the parameter profile
2632         and the associated comment on usage.
2633         * exp_smem.adb (Add_Shared_Var_Lock_Procs): Update the call to
2634         Establish_Transient_Scope.
2635         (Add_Write_After): Update the call to Establish_Transient_Scope.
2636         * sem_res.adb (Check_Initialization_Call): Removed.
2637         (Resolve_Actuals): Account for additional cases where finalization
2638         actions are required by utilizing predicate Needs_Finalization rather
2639         than Is_Controlled.
2640         (Resolve_Call): Type initialization procedures can now utilize
2641         transient scopes to manage the secondary stack, thus preventing leaks
2642         during initialization.  Remove the previous kludgy algorithm which
2643         attempts to manage the secondary stack at the object creation site.
2644
2645 2018-01-11  Jerome Lambourg  <lambourg@adacore.com>
2646
2647         * libgnat/g-soliop__qnx.ads: New.
2648         * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update
2649         for QNX.
2650
2651 2018-01-11  Bob Duff  <duff@adacore.com>
2652
2653         * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if
2654         a null procedure occurs in a protected definition.
2655
2656 2018-01-11  Bob Duff  <duff@adacore.com>
2657
2658         * binderr.ads, namet.ads: Minor reformatting.
2659
2660 2018-01-11  Bob Duff  <duff@adacore.com>
2661
2662         * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of
2663         xml2gnat.
2664
2665 2018-01-11  Bob Duff  <duff@adacore.com>
2666
2667         * binde.adb (Force_Elab_Order): Give an error if there are duplicate
2668         unit names.
2669
2670 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
2671
2672         * sem_ch6.adb (Freeze_Expr_Types): If an access value is the
2673         controlling argument of a dispatching call. freeze the corresponding
2674         designated type.
2675
2676 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
2677
2678         * doc/Makefile: Add Sphinx option -W to treat warnings as errors.
2679
2680 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
2681
2682         * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording
2683         corrections.
2684         * gnat_rm.texi: Regenerate.
2685
2686 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
2687
2688         * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the
2689         formsl type corresponding to the actual fixed point type is private,
2690         because in this case there can be no suspicious arithmetic operations
2691         in the generic unless they reference a formal subprogram.  Clarify
2692         warning.
2693
2694 2018-01-11  Javier Miranda  <miranda@adacore.com>
2695
2696         * exp_util.adb (Remove_Side_Effects): No action done for functions
2697         returning class-wide types since it requires generating code using
2698         'reference and the CCG target has no secondary stack.
2699         * gnat1drv.adb: Disable building static dispatch tables when generating
2700         C code.
2701
2702 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
2703
2704         * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads,
2705         libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads
2706         (File_Type): Add Default_Initial_Condition aspect.
2707
2708 2018-01-11  Pascal Obry  <obry@adacore.com>
2709
2710         * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation.
2711
2712 2018-01-11  Bob Duff  <duff@adacore.com>
2713
2714         * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation
2715         to match what the Libadalang-based version does.
2716         * doc/gnat_ugn/about_this_guide.rst: Update reference.
2717
2718 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2719
2720         * sem_res.adb (Uses_SS): A controlled type requires the secondary stack
2721         if it contains at least one component declaration employing a function
2722         call returning on the secondary stack.
2723
2724 2018-01-11  Yannick Moy  <moy@adacore.com>
2725
2726         * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
2727         Update description of restriction SPARK_05 with SPARK 2014.
2728         * gnat_rm.texi: Regenerate.
2729
2730 2018-01-11  Vasiliy Fofanov  <fofanov@adacore.com>
2731
2732         * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout.
2733
2734 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2735
2736         * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb,
2737         sem_res.adb, sem_util.adb: Minor reformatting.
2738
2739 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
2740
2741         * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type
2742         has a delayed aspect which must be processed at the point the type is
2743         frozen. This mimics what is done when the predicate is provided by a
2744         source aspect.
2745
2746 2018-01-11  Doug Rupp  <rupp@adacore.com>
2747
2748         * init.c (vxworks): Add macro checks for __aarch64__.
2749
2750 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2751
2752         * exp_util.adb (Add_Failure_Expression): New routine.
2753         (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
2754         * sem_util.adb (Is_Current_Instance): Code cleanup.
2755
2756 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
2757
2758         * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded
2759         Default_Sec_Stack_Size.
2760         * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack
2761         limit check so that the integer index does not overflow. Check the
2762         dynamic stack allocation does not cause the secondary stack pointer to
2763         overflow.
2764         (SS_Info): Align colons.
2765         (SS_Init): Cover the case when bootstraping with an old compiler that
2766         does not set Default_SS_Size.
2767
2768 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
2769
2770         * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the
2771         legality of an inherited operation that may require overriding, ignore
2772         primitive_wrappers that correspond to explicit operations that override
2773         an interface primitive.
2774         * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the
2775         operation to which the class-wide expression applies is a protected op.
2776         with a primitive_wrapper, verify that the updated inherited expression
2777         does not contain an internal call to a protected function.  This
2778         completes the implementation of AI12-0166.
2779
2780 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2781
2782         * ali.adb: Document the remaining letters available for ALI lines.
2783         (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line.
2784         * ali.ads: Update type With_Record. Field
2785         Implicit_With_From_Instantiation is no longer in use. Add field
2786         Implicit_With.
2787         * csinfo.adb (CSinfo): Remove the setup for attribute
2788         Implicit_With_From_Instantiation.
2789         * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as
2790         either implicitly or explicitly withed.
2791         (Is_Implicit_With_Clause): New routine.
2792         (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid
2793         confusion with the with clause attribute by the same name.
2794         (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers.
2795         * rtsfind.adb (Maybe_Add_With): Code cleanup.
2796         * sem_ch8.adb (Present_System_Aux): Code cleanup.
2797         * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated
2798         for a parent unit.
2799         (Implicit_With_On_Parent): Mark the with clause as generated for a
2800         parent unit.
2801         * sem_ch12.adb (Inherit_Context): With clauses inherited by an
2802         instantiation are no longer marked as Implicit_With_From_Instantiation
2803         because they are already marked as implicit.
2804         * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge
2805         which marks implicit with clauses as related to an instantiation.
2806         * sinfo.adb (Implicit_With_From_Instantiation): Removed.
2807         (Parent_With): New routine.
2808         (Set_Implicit_With_From_Instantiation): Removed.
2809         (Set_Parent_With): New routine.
2810         * sinfo.ads: Update the documentation of attribute Implicit_With.
2811         Remove attribute Implicit_With_From_Instantiation along with
2812         occurrences in nodes.  Add attribute Parent_With along with occurrences
2813         in nodes.
2814         (Implicit_With_From_Instantiation): Removed along with pragma Inline.
2815         (Parent_With): New routine along with pragma Inline.
2816         (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline.
2817         (Set_Parent_With): New routine along with pragma Inline.
2818
2819 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2820
2821         * sem_util.adb (Find_Enclosing_Scope): Return the unique defining
2822         entity when the enclosing construct is a body.
2823
2824 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
2825
2826         * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified
2827         Secondary_Stack_Size handling as a pragma is now generated for the
2828         corresponding aspect instead of an attribute.  Pragma expression is
2829         relocated instead of evaluated. Discriminant of the corresponding
2830         record type is referenced rather than the type discriminant.
2831         (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update
2832         Secondary_Stack_Size rep item checks to only look for the pragma rep.
2833         * sem_ch13.adb (Analyze_One_Aspect): Transform
2834         Aspect_Secondary_Stack_Size into a pragma instead of an attribute
2835         because the attribute does not have visibility on a task type's
2836         discriminants when the type's definition is expanded.
2837         (Analyze_Attribute_Definition_Clause): Remove handling of
2838         Attribute_Secondary_Stack_Size.
2839         * snames.adb-tmpl, snames.ads-tmpl: Remove
2840         Attribute_Secondary_Stack_Size, no longer used.
2841
2842 2018-01-11  Justin Squirek  <squirek@adacore.com>
2843
2844         * sem_ch8.adb: Minor comment fix.
2845
2846 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2847
2848         * exp_ch4.adb (Process_Action): Do not abandon the inspection of an
2849         individual action because the action may denote a complex expression,
2850         such as a case statement, which in turn may contain additional
2851         transient objects.
2852
2853 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
2854
2855         * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform
2856         analysis on a copy of the expression with a copy of the index variable,
2857         because full expansion will rewrite construct into a loop with the
2858         original loop variable.
2859         * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the
2860         expression is an iterated component association. Full analysis takes
2861         place when construct is rewritten as a loop.
2862         (In_Place_Assign_OK, Safe_Component): An iterated_component_association
2863         is not safe for in-place assignment.
2864         * sem_util.adb (Remove_Entity): Handle properly the case of an isolated
2865         entity with no homonym and no other entity in the scope.
2866
2867 2018-01-11  Justin Squirek  <squirek@adacore.com>
2868
2869         * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error
2870         message to be printed on the pragma argument identifier.
2871
2872 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
2873
2874         * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last
2875         entity of the generated invariant procedure in order to construct a
2876         proper entity chain.
2877
2878 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
2879
2880         * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in
2881         comment.
2882
2883 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
2884
2885         * einfo.ads, einfo.adb (Activation_Record_Component,
2886         Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity):
2887         Allow E_Discriminant.
2888
2889 2018-01-10  Eric Botcazou  <ebotcazou@adacore.com>
2890
2891         * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check
2892         for atomic access once the component size is taken into account and
2893         also do it if the component type is Atomic or Volatile_Full_Access.
2894
2895 2018-01-04  Eric Botcazou  <ebotcazou@adacore.com>
2896
2897         * gnatvsn.ads: Bump copyright year.
2898
2899 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2900             Alan Hayward  <alan.hayward@arm.com>
2901             David Sherwood  <david.sherwood@arm.com>
2902
2903         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE
2904         as polynomial.
2905
2906 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2907             Alan Hayward  <alan.hayward@arm.com>
2908             David Sherwood  <david.sherwood@arm.com>
2909
2910         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION
2911         as polynomial.
2912
2913 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2914             Alan Hayward  <alan.hayward@arm.com>
2915             David Sherwood  <david.sherwood@arm.com>
2916
2917         * gcc-interface/utils.c (gnat_types_compatible_p): Handle
2918         polynomial TYPE_VECTOR_SUBPARTS.
2919
2920 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
2921             Alan Hayward  <alan.hayward@arm.com>
2922             David Sherwood  <david.sherwood@arm.com>
2923
2924         * gcc-interface/misc.c (enumerate_modes): Handle polynomial
2925         GET_MODE_NUNITS.
2926
2927 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
2928
2929         Update copyright years.
2930
2931         * gnat_ugn.texi: Bump @copying's copyright year.
2932         * gnat_rm.texi: Likewise.
2933 \f
2934 Copyright (C) 2018 Free Software Foundation, Inc.
2935
2936 Copying and distribution of this file, with or without modification,
2937 are permitted in any medium without royalty provided the copyright
2938 notice and this notice are preserved.