gcc/ada/ChangeLog

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