gcc/ada/ChangeLog

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