gcc/ada/ChangeLog

   1 2019-08-14  Javier Miranda  <miranda@adacore.com>
   2
   3         * exp_aggr.adb (Is_CCG_Supported_Aggregate): Return False for
   4         arrays with bounds not known at compile time.
   5
   6 2019-08-14  Ed Schonberg  <schonberg@adacore.com>
   7
   8         * sem_util.adb (New_Copy_Tree, Visit_Entity): A quantified
   9         expression includes the implicit declaration of the loop
  10         parameter. When a quantified expression is copied during
  11         expansion, for example when building the precondition code from
  12         the generated pragma, a new loop parameter must be created for
  13         the new tree, to prevent duplicate declarations for the same
  14         symbol.
  15
  16 2019-08-14  Yannick Moy  <moy@adacore.com>
  17
  18         * sem_disp.adb (Check_Dispatching_Operation): Update assertion
  19         for the separate declarations created in GNATprove mode.
  20         * sem_disp.ads (Is_Overriding_Subprogram): Update comment.
  21         * sem_elab.adb (SPARK_Processor): Fix test for checking of
  22         overriding primitives.
  23
  24 2019-08-14  Eric Botcazou  <ebotcazou@adacore.com>
  25
  26         * inline.adb (Add_Inlined_Body): Tweak comments.
  27         (List_Inlining_Info): Also list information about non-main
  28         units.
  29
  30 2019-08-14  Gary Dismukes  <dismukes@adacore.com>
  31
  32         * sem_ch4.adb (Analyze_Selected_Component): In the case where
  33         the prefix is of a concurrent type, and the selected entity
  34         matching the selector is the first private declaration of the
  35         type (such as the first local variable in a task's body), set
  36         Is_Private_Op.
  37
  38 2019-08-14  Piotr Trojanek  <trojanek@adacore.com>
  39
  40         * einfo.adb (Is_Generic_Actual_Subprogram): Replace repeated
  41         calls to Ekind with Ekind_In.
  42
  43 2019-08-13  Richard Sandiford  <richard.sandiford@arm.com>
  44
  45         PR middle-end/91421
  46         * gcc-interface/trans.c (gigi): Call set_decl_buillt_in_function.
  47         (Call_to_gnu): Use DECL_FE_FUNCTION_CODE instead of DECL_FUNCTION_CODE.
  48
  49 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
  50
  51         * ali.ads (Linker_Option_Record): Remove Original_Pos component.
  52         * ali.adb (Scan_ALI): Do not set it.
  53
  54 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
  55
  56         * sem_ch3.adb (Build_Derived_Concurrent_Type): Add a couple of
  57         local variables and use them.  When the derived type fully
  58         constrains the parent type, rewrite it as a subtype of an
  59         implicit (unconstrained) derived type instead of the other way
  60         around.
  61         (Copy_And_Build): Deal with concurrent types and use predicates.
  62         (Build_Derived_Private_Type): Build the full derivation if
  63         needed for concurrent types too.
  64         (Build_Derived_Record_Type): Add marker comment.
  65         (Complete_Private_Subtype): Use predicates.
  66
  67 2019-08-13  Ed Schonberg  <schonberg@adacore.com>
  68
  69         * sem_ch3.adb (Check_Generic_Ancestor): New subprogram,
  70         aubsidiary to Build_Derived_Record_Type. to enforce the rule
  71         that a type extension declared in a generic body cznnot have an
  72         ancestor that is a generic formal (RM 3.9.1 (4/2)). The rule
  73         applies to all ancestors of the type, including interface
  74         progenitors.
  75
  76 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
  77
  78         * sem_ch3.adb (Build_Underlying_Full_View): Delete.
  79         (Complete_Private_Subtype): Do not set the full view on the
  80         private subtype here.  If the full base is itself derived from
  81         private, do not re-derive the parent type but instead constrain
  82         an existing underlying full view.
  83         (Prepare_Private_Subtype_Completion): Do not get to the
  84         underlying full view, if any.  Set the full view on the private
  85         subtype here.
  86         (Process_Full_View): Likewise.
  87         * sem_ch12.adb (Check_Generic_Actuals): Also set
  88         Is_Generic_Actual_Type on the full view if the type of the
  89         actual is private.
  90         (Restore_Private_Views): Also reset Is_Generic_Actual_Type on
  91         the full view if the type of the actual is private.
  92         * sem_eval.adb (Subtypes_Statically_Match): Remove bypass for
  93         generic actual types.
  94
  95 2019-08-13  Javier Miranda  <miranda@adacore.com>
  96
  97         * sem_res.adb (Resolve_Selected_Component): When the type of the
  98         component is an access to a class-wide type and the type of the
  99         context is an access to a tagged type the relevant type is that
 100         of the component (since in such case we may need to generate
 101         implicit type conversions or dispatching calls).
 102
 103 2019-08-13  Ed Schonberg  <schonberg@adacore.com>
 104
 105         * exp_aggr.adb (Aggr_Assignment_OK_For_Backend):  Preanalyze
 106         expression, rather do a full analysis, to prevent unwanted
 107         removal of side effects which mask the intent of the expression.
 108
 109 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
 110
 111         * impunit.adb (Non_Imp_File_Names_95): Add
 112         GNAT.Branch_Prediction.
 113
 114 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
 115
 116         * exp_ch6.adb: Remove with and use clauses for Sem_Ch12.
 117         (Expand_Call_Helper): Swap the back-end inlining case and the
 118         special front-end expansion case.  In back-end inlining mode, do
 119         not invoke Add_Inlined_Body unless the call may be inlined.
 120         * inline.ads (Add_Pending_Instantiation): New function moved
 121         from...
 122         * inline.adb (Add_Inlined_Body): Simplify comment.  Turn test on
 123         the enclosing unit into assertion.
 124         (Add_Pending_Instantiation): New function moved from...
 125         * sem_ch12.ads (Add_Pending_Instantiation): ...here.
 126         * sem_ch12.adb (Add_Pending_Instantiation): ...here.
 127
 128 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
 129
 130         * sem.adb (Do_Analyze): Recompute Style_Check_Max_Line_Length
 131         after restoring Style_Max_Line_Length.
 132
 133 2019-08-13  Arnaud Charlet  <charlet@adacore.com>
 134
 135         * sem_ch13.adb (Check_Iterator_Functions): Protect against
 136         cascaded errors.
 137
 138 2019-08-13  Ed Schonberg  <schonberg@adacore.com>
 139
 140         * sem_ch8.adb (Analyze_Subprogram_Renaming): Do no suppress mode
 141         conformance checks on child unit instance that is a compilation
 142         unit.
 143
 144 2019-08-13  Gary Dismukes  <dismukes@adacore.com>
 145
 146         * exp_dbug.adb (Fully_Qualify_Name): Add full name qualification
 147         for the E_Exception case.
 148
 149 2019-08-13  Gary Dismukes  <dismukes@adacore.com>
 150
 151         * exp_aggr.adb (Aggr_Size_OK): Compute the aggregate size using
 152         universal arithmetic, to avoid situations where the size
 153         computation overflows.
 154
 155 2019-08-13  Justin Squirek  <squirek@adacore.com>
 156
 157         * repinfo.adb (List_Scalar_Storage_Order): Modify conditionals
 158         for displaying ordering to always be triggered when -gnatR4 is
 159         in effect.
 160
 161 2019-08-13  Justin Squirek  <squirek@adacore.com>
 162
 163         * aspects.adb, aspects.ads: Register new aspect.
 164         * par-prag.adb (Prag): Register new pragma
 165         * sem_ch13.adb (Analyze_Aspect_Specifications): Add processing
 166         for new aspect similar to Aspect_Max_Entry_Queue_Length.
 167         * sem_prag.adb, sem_prag.ads (Analyze_Pragma): Register new
 168         pragma and set it to use the same processing as
 169         Pragma_Max_Queue_Length.
 170         * snames.ads-tmpl: Move definition of
 171         Name_Max_Entry_Queue_Length so that it can be processed as a
 172         pragma in addition to a restriction and add an entry for the
 173         pragma itself.
 174
 175 2019-08-13  Yannick Moy  <moy@adacore.com>
 176
 177         * sem_ch4.adb (Analyze_Allocator): Do not insert subtype
 178         declaration for allocator inside a spec expression.
 179
 180 2019-08-13  Yannick Moy  <moy@adacore.com>
 181
 182         * sem_res.adb (Resolve_Call): Do not inline calls inside record
 183         types.
 184
 185 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
 186
 187         * sem_ch4.adb (Analyze_One_Call): Remove bypass for type
 188         mismatch in nested instantiations.
 189         * sem_ch8.adb (Find_Nearer_Entity): New function.
 190         (Find_Renamed_Entity): Use it to disambiguate the candidates for
 191         the renaming generated for an instantiation when it is
 192         ambiguous.
 193
 194 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
 195
 196         * gnat1drv.adb (Adjust_Global_Switches): Do not set
 197         Back_End_Inlining in ASIS mode either.
 198
 199 2019-08-13  Olivier Hainque  <hainque@adacore.com>
 200
 201         * libgnat/s-win32.ads: Define size_t and fix the MapViewOfFile
 202         binding to use it instead of DWORD for the dwNumberOfBytesToMap
 203         argument.
 204         * libgnat/g-sercom__mingw.adb (Read): State which definition of
 205         size_t to fetch in call to Last_Index.
 206
 207 2019-08-13  Arnaud Charlet  <charlet@adacore.com>
 208
 209         * gcc-interface/Make-lang.in: Remove unused TRACE variable. Pass
 210         LN_S to relevant gnatlib targets.
 211         * gcc-interface/Makefile.in: Systematically pass LN_S to
 212         relevant gnatlib targets.
 213
 214 2019-08-13  Yannick Moy  <moy@adacore.com>
 215
 216         * sem_dim.adb (Analyze_Dimension,
 217         Analyze_Dimension_Array_Aggregate, Analyze_Dimension_Call,
 218         Analyze_Dimension_Extension_Or_Record_Aggregate): Return
 219         immediately when inside an inlined body.
 220         * sem_res.adb (Resolve_Call): Remove special checking now done
 221         inside Analyze_Dimension_Call.
 222
 223 2019-08-13  Justin Squirek  <squirek@adacore.com>
 224
 225         * exp_ch4.adb (Expand_N_Allocator): Add condition to detect
 226         library-level object declarations
 227
 228 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
 229
 230         * doc/gnat_ugn/building_executable_programs_with_gnat.rst
 231         (-gnateT): Document Double_Float_Alignment parameter and fix
 232         description of Double_Scalar_Alignment parameter.
 233         * gnat_ugn.texi: Regenerate.
 234
 235 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
 236
 237         * exp_ch6.adb (Expand_Call_Helper): If back-end inlining is
 238         enabled, also instantiate the body of a generic unit containing
 239         a subprogram subject to aspect/pragma Inline_Always at
 240         optimization level zero.
 241         * sem_ch12.adb (Might_Inline_Subp): Minor tweak.
 242         (Analyze_Package_Instantiation): Do not instantiate the package
 243         body because of inlining considerations if the instantiation is
 244         done in a generic unit.  Move around similar condition involving
 245         the main unit.  Add test on Back_End_Inlining to processing for
 246         front-end inlining.
 247
 248 2019-08-13  Javier Miranda  <miranda@adacore.com>
 249
 250         * exp_disp.adb (Make_Secondary_DT): Handle record type
 251         derivations that have interface components located at fixed
 252         positions and interface components located at variable offset.
 253         The offset of components located at fixed positions is computed
 254         using the dummy object (similar to the case where all the
 255         interface components are located at fixed positions).
 256         (Make_DT): Build the dummy object for all tagged types that
 257         implement interface types (that is, build it also for types with
 258         variable size components), and use the dummy object to compute
 259         the offset of all tag components located at fixed positions when
 260         initializing the Interface_Table object.
 261
 262 2019-08-13  Justin Squirek  <squirek@adacore.com>
 263
 264         * gnatcmd.adb (GNATCmd): Add constant for new compiler switch
 265         --help-ada, and include usage subprogram. Add line to usage help
 266         explaining the new flag.
 267         (GNATCmd_Usage): Rename from locally declared Usage so as not to
 268         confuse with the newly imported version. Add new argument case
 269         for --help-ada and add bug report email to implicit display of
 270         help without the --help flag so as to unify output between the
 271         two cases.
 272
 273 2019-08-13  Dmitriy Anisimkov  <anisimko@adacore.com>
 274
 275         * libgnat/g-comlin.adb (Getopt): Quote unrecognized switch in
 276         Invalid_Switch exception message.
 277
 278 2019-08-13  Yannick Moy  <moy@adacore.com>
 279
 280         * sem_util.adb (Traverse_More_Func): Take into account
 281         Loop_Actions inside N_Iterated_Component_Association nodes.
 282         * sinfo.ads: Document correctly Loop_Actions as a field of nodes
 283         of kind N_Iterated_Component_Association.
 284
 285 2019-08-13  Claire Dross  <dross@adacore.com>
 286
 287         * libgnat/a-cfinve.adb, libgnat/a-cofove.adb (Find_Index,
 288         Reverse_Find_Index): Use bigger type to avoid range check
 289         failure at the last loop iteration.
 290
 291 2019-08-12  Dmitriy Anisimkov  <anisimko@adacore.com>
 292
 293         * libgnat/g-socket.adb (Is_IPv6_Address): Check that no less
 294         then 2 colons in IPv6 numeric address.
 295
 296 2019-08-12  Dmitriy Anisimkov  <anisimko@adacore.com>
 297
 298         * libgnat/g-comlin.ads, libgnat/g-comlin.adb (Getopt): Add
 299         parameter Quiet. Need to do not output error messages to
 300         console. Invalid_Switch exception generation surrounded by an
 301         error message.
 302
 303 2019-08-12  Ed Schonberg  <schonberg@adacore.com>
 304
 305         * exp_ch6.adb (Expand_Actuals. Add_Call_By_Copy_Code): Add code
 306         to generate proper checks when an actual for an in-out or out
 307         parameter has a non-null access type.  No constraints are
 308         applied to an inbound access parameter, but on exit a not-null
 309         check must be performed if the type of the actual requires it.
 310
 311 2019-08-12  Ed Schonberg  <schonberg@adacore.com>
 312
 313         * sem_util.adb (Is_Expaned_Priority_Attribute): Check whether
 314         call comes from a rewritten attribute before comparing name with
 315         Get_Ceiling run-time subprogram.
 316
 317 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 318
 319         * exp_util.ads (Component_May_Be_Bit_Aligned): Small comment
 320         tweaks.
 321         (Possible_Bit_Aligned_Component): Likewise.
 322         (Type_May_Have_Bit_Aligned_Components): Likewise.
 323         * exp_util.adb (Component_May_Be_Bit_Aligned): Likewise.
 324         (Possible_Bit_Aligned_Component): Likewise.
 325         (Type_May_Have_Bit_Aligned_Components): Likewise.
 326
 327 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 328
 329         * exp_ch4.adb (Expand_N_Op_Eq): Expand the array equality if
 330         either operand is a possibly unaligned slice.
 331         * exp_ch6.adb (Expand_Simple_Function_Return): Do not generate a
 332         copy for a possibly unaligned object if it is represented as a
 333         scalar.
 334         * exp_util.adb (Is_Possibly_Unaligned_Slice): Do not always
 335         return false if the target doesn't have strict alignment.
 336
 337 2019-08-12  Bob Duff  <duff@adacore.com>
 338
 339         * sem_ch12.adb (Instantiate_Package_Body): Remove suppression of
 340         checks in instances of internal units.
 341         * sem_ch6.adb (Analyze_Function_Return): Do not generate a
 342         constraint check on an extended_return_statement if the subtype
 343         of the return object in the statement is identical to the return
 344         subtype of the function.
 345
 346 2019-08-12  Bob Duff  <duff@adacore.com>
 347
 348         * libgnat/a-cbmutr.adb (Is_Reachable): Declare Idx to be of the
 349         base subtype.  Clearly it makes no sense to loop "while Idx >=
 350         0", if Idx is of a nonnegative subtype.
 351
 352 2019-08-12  Bob Duff  <duff@adacore.com>
 353
 354         * libgnat/a-tifiio.adb (Put_Scaled): Prevent AA from being
 355         negative, since Field is range 0 .. something.
 356
 357 2019-08-12  Bob Duff  <duff@adacore.com>
 358
 359         * doc/gnat_ugn/gnat_utility_programs.rst (gnatmetric, gnatpp,
 360         gnatstub): Remove documentation for Ada language version
 361         switches, and note that they are no longer needed.
 362
 363 2019-08-12  Gary Dismukes  <dismukes@adacore.com>
 364
 365         * sem_ch5.adb (Prepare_Param_Spec_Loop): Set the parents of the
 366         copied low and high bounds in the case where the loop range is
 367         given by a discrete_subtype_indication, to prevent hanging (or
 368         Assert_Failure) in Insert_Actions.
 369
 370 2019-08-12  Ed Schonberg  <schonberg@adacore.com>
 371
 372         * sem_ch6.adb (heck_Untagged_Equality): Verify that user-defined
 373         equality has the same profile as the predefined equality before
 374         applying legality rule in RM 4.5.2 (9.8).
 375
 376 2019-08-12  Bob Duff  <duff@adacore.com>
 377
 378         * libgnat/a-except.ads: Update obsolete comment, still making
 379         clear that this is a variant.  Add explicit default for Id
 380         component of Exception_Occurrence, because that value is used.
 381         Define Null_Occurrence less redundantly.
 382         * libgnat/a-einuoc.adb: Minor simplification of code.
 383
 384 2019-08-12  Justin Squirek  <squirek@adacore.com>
 385
 386         * libgnat/a-dhfina.adb, libgnat/a-dhfina.ads (Is_Simple_Name,
 387         Is_Root_Directory, Is_Parent_Directory,
 388         Is_Current_Directory_Name, Is_Relative_Name, Initial_Directory,
 389         Relative_Name, Compose): Add implementation and documentation.
 390         * libgnat/a-direct.adb (Containing_Directory): Modify routine to
 391         use routines from Ada.Directories.Hierarchical_File_Names and
 392         remove incorrect special case for parent directories.
 393         (Fetch_Next_Entry): Add check for current directory and parent
 394         directory and ignore them under certain circumstances.
 395         (Simple_Nmae): Add check for null result from
 396         Simple_Name_Internal and raise Name_Error.
 397         (Simple_Name_Internal): Add explicit check for root directories,
 398         sanitize trailing directory separators, and modify behavior so
 399         that current and parent directories are considered valid
 400         results.
 401         * Makefile.rtl: Add entry to GNATRTL_NONTASKING_OBJS.
 402
 403 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 404
 405         * freeze.adb (Freeze_Entity): Give the same error for an
 406         Object_Size clause on a variable-sized type as for a Size
 407         clause.
 408
 409 2019-08-12  Gary Dismukes  <dismukes@adacore.com>
 410
 411         * sem_prag.adb (Analyze_Pragma, Pragma_Suppress_Initialization):
 412         For private types, set the Suppress_Initialization flag on the
 413         Full_View of the entity rather than the entity's base type.
 414
 415 2019-08-12  Yannick Moy  <moy@adacore.com>
 416
 417         * aspects.adb, aspects.ads (Aspect_No_Caching): New aspect.
 418         * contracts.adb, contracts.ads (Add_Contract_Item): Add handling
 419         of No_Caching.
 420         (Analyze_Object_Contract): Add handling of No_Caching.
 421         * einfo.adb, einfo.ads
 422         (Get_Pragma): Add handling of No_Caching.
 423         * doc/gnat_rm/implementation_defined_aspects.rst,
 424         doc/gnat_rm/implementation_defined_pragmas.rst: Document new
 425         aspect/pragma.
 426         * gnat_rm.texi: Regenerate.
 427         * par-prag.adb (Prag): New pragma Pragma_No_Caching.
 428         * sem_ch13.adb (Analyze_Aspect_Specifications,
 429         Check_Aspect_At_Freeze_Point): Add handling of No_Caching.
 430         * sem_prag.adb (Analyze_Pragma): Deal with pragma No_Caching.
 431         * sem_prag.ads (Analyze_External_Property_In_Decl_Part): Now
 432         applies to No_Caching.
 433         * sem_util.adb, sem_util.ads (Is_Effectively_Volatile): Add
 434         handling of No_Caching.
 435         (No_Caching_Enabled): New query function.
 436         * snames.ads-tmpl: New names for pragma.
 437
 438 2019-08-12  Yannick Moy  <moy@adacore.com>
 439
 440         * sem_util.adb, sem_util.ads (Traverse_More_Func,
 441         Traverse_More_Proc): Add formal parameter for Itypes traversal.
 442
 443 2019-08-12  Yannick Moy  <moy@adacore.com>
 444
 445         * exp_attr.adb, exp_attr.ads (Expand_Size_Attribute): New
 446         procedure to share part of the attribute expansion with
 447         GNATprove mode.
 448         (Expand_N_Attribute_Reference): Extract part of the
 449         Size/Object_Size expansion in the new procedure
 450         Expand_Size_Attribute.
 451         * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
 452         Size/Object_Size attributes using the new procedure
 453         Expand_Size_Attribute.
 454
 455 2019-08-12  Yannick Moy  <moy@adacore.com>
 456
 457         * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Only
 458         expand Enum_Rep attribute when its parameter is a literal.
 459
 460 2019-08-12  Justin Squirek  <squirek@adacore.com>
 461
 462         * sem_eval.adb (Check_Non_Static_Context): Add a condition to
 463         determine if a range violation constitues a warning or an error.
 464         (Out_Of_Range): Add a condition to determine if a range
 465         violation constitues a warning or an error.
 466
 467 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 468
 469         * exp_ch4.adb (Real_Range_Check): Do not rewrite the conversion
 470         node but its expression instead, after having fetched its
 471         current value.  Clear the Do_Range_Check flag on entry.  Return
 472         early for a rewritten float-to-float conversion.  Remove
 473         redundant local variable.  Suppress all checks when inserting
 474         the temporary and do not reanalyze the node.
 475
 476 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 477
 478         * sprint.ads: Minor comment tweak.
 479
 480 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 481
 482         * checks.adb (Insert_Valid_Check): Do not retrieve the
 483         Do_Range_Check flag from the Original_Node but from the
 484         Validated_Object.  Remove useless bypass for floating-point
 485         types.
 486
 487 2019-08-12  Yannick Moy  <moy@adacore.com>
 488
 489         * sem_util.adb, sem_util.ads (Traverse_More_Func,
 490         Traverse_More_Proc): New traversal subprograms.
 491
 492 2019-08-12  Jerome Lambourg  <lambourg@adacore.com>
 493
 494         * libgnarl/s-taprop__vxworks.adb (Abort_Handler): Only call
 495         s-tpopsp.Self when actually needed.
 496
 497 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 498
 499         * exp_ch4.adb (Discrete_Range_Check): Return if checks are
 500         suppressed.
 501
 502 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 503
 504         * sem_res.adb: Add with & use clause for Sem_Mech and
 505         alphabetize.
 506         (Resolve_Actuals): Do not apply a scalar range check for the
 507         source of a conversion whose result is passed by reference to a
 508         valued procedure.
 509
 510 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 511
 512         * checks.adb (Insert_Valid_Check): Reset the Do_Range_Check flag
 513         on the validated object.
 514         * exp_ch6.adb (Add_Call_By_Copy_Code): Reset the Do_Range_Check
 515         flag on the actual here, as well as on the Expression if the
 516         actual is a N_Type_Conversion node.
 517         (Add_Validation_Call_By_Copy_Code): Generate the incoming range
 518         check if needed and reset the Do_Range_Check flag on the
 519         Expression if the actual is a N_Type_Conversion node.
 520         (Expand_Actuals): Do not reset the Do_Range_Check flag here.
 521         Generate the incoming range check for In parameters here instead
 522         of...
 523         (Expand_Call_Helper): ...here.  Remove redudant condition.
 524         * sem_res.adb (Resolve_Actuals): Use local variable A_Typ and
 525         remove obsolete comments.
 526         (Resolve_Type_Conversion): Do not force the Do_Range_Check flag
 527         on the operand if range checks are suppressed.
 528
 529 2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>
 530
 531         * checks.adb (Activate_Range_Check): Remove redundant argument.
 532         (Generate_Range_Check): Likewise.
 533         (Apply_Float_Conversion_Check): Reset the Do_Range_Check flag on
 534         entry and remove redundant condition.
 535
 536 2019-08-02  Alexandre Oliva  <oliva@adacore.com>
 537
 538         * libgnat/a-exexpr.adb (Begin_Handler_v1, End_Handler_v1): New.
 539         (Claimed_Cleanup): New.
 540         (Begin_Handler, End_Handler): Document.
 541         * gcc-interface/trans.c (gigi): Switch to exception handler
 542         ABI #1.
 543         (Exception_Handler_to_gnu_gcc): Save the original cleanup
 544         returned by begin handler, pass it to end handler, and use
 545         EH_ELSE_EXPR to pass a propagating exception to end handler.
 546         (gnat_to_gnu): Leave the exception pointer alone for reraise.
 547         (add_cleanup): Handle EH_ELSE_EXPR, require it by itself.
 548
 549 2019-07-23  Ed Schonberg  <schonberg@adacore.com>
 550
 551         * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations,
 552         Freeze_Entity_Checks): Include Aspect_CPU with other aspects
 553         whose expresssion may depend on a discriminant, and thus require
 554         that components of the type be made visible.
 555
 556 2019-07-23  Eric Botcazou  <ebotcazou@adacore.com>
 557
 558         * checks.adb (Convert_And_Check_Range): Add Suppress parameter
 559         and pass it in the call to Insert_Actions.  Rename local
 560         variable.
 561         (Generate_Range_Check): Minor comment fixes.  Pass Range_Check
 562         in the first call to Convert_And_Check_Range and All_Checks in
 563         the second call.
 564         * exp_ch4.adb (Expand_N_Type_Conversion): Reset the
 565         Do_Overflow_Check flag in the float-to-float case too if there
 566         is also a range check.
 567
 568 2019-07-23  Eric Botcazou  <ebotcazou@adacore.com>
 569
 570         * checks.adb (Activate_Overflow_Check): Remove redundant
 571         argument.
 572         * exp_ch4.adb (Discrete_Range_Check): Reset the overflow flag.
 573         (Expand_N_Type_Conversion): Do not reset it here.
 574
 575 2019-07-23  Eric Botcazou  <ebotcazou@adacore.com>
 576
 577         * repinfo.adb (List_Component_Layout): Pass Decimal to UI_Write.
 578         (Write_Val): Likewise.
 579
 580 2019-07-23  Ed Schonberg  <schonberg@adacore.com>
 581
 582         * aspects.ads: New table Operational_Aspect, used to distinguish
 583         between aspects that are view-specific, such as those related to
 584         iterators, and representation aspects that apply to all views of
 585         a type.
 586         * aspects.adb (Find_Aspect): If the aspect being sought is
 587         operational, do not ecamine the full view of a private type to
 588         retrieve it.
 589         * sem_ch5.adb (Analyze_Iterator_Specification): Improve error
 590         message when the intended domain of iteration does not implement
 591         the required iterator aspects.
 592
 593 2019-07-23  Yannick Moy  <moy@adacore.com>
 594
 595         * sem_spark.ads (Is_Local_Context): New function.
 596         * sem_spark.adb (Check_Declaration): Issue errors on violations
 597         of SPARK RM 3.10(4)
 598         (Process_Path): Do not issue error on borrow/observe during
 599         elaboration, as these are caught by the new rule.
 600
 601 2019-07-23  Yannick Moy  <moy@adacore.com>
 602
 603         * exp_ch7.adb (Create_Finalizer): Force finalizer not to be
 604         Ghost enabled.
 605         * exp_dbug.adb (Get_External_Name): Explain special case of
 606         Ghost finalizer.
 607
 608 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 609
 610         * repinfo.adb (List_Entities): Also list compiled-generated
 611         types present as Etype of objects.
 612
 613 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 614
 615         * sinfo.ads: Update the documentation about the
 616         Do_Division_Check, Do_Overflow_Check and Do_Range_Check flags.
 617
 618 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 619
 620         * exp_ch4.adb (Expand_N_Type_Conversion): Beef up comment.
 621         (Fixup_Universal_Fixed_Operation): Set the base type instead of
 622         the type of the enclosing type conversion on the operation.
 623
 624 2019-07-22  Ed Schonberg  <schonberg@adacore.com>
 625
 626         * exp_ch4.adb (Expand_N_In): Do not suggest the use of attribute
 627         'Valid as a replacement for a range check on a discrete type
 628         when the bounds of the range are given by type conversions,
 629         because in such a case there are distinct types involved and the
 630         subbested attribute replacement would be misplaced.
 631
 632 2019-07-22  Yannick Moy  <moy@adacore.com>
 633
 634         * sem_spark.adb (Get_Root_Object, Is_Path_Expression,
 635         Is_Subpath_Expression): Add parameter Is_Traversal to adapt
 636         these functions to the case of paths returned from a traversal
 637         function.
 638         (Read_Indexes): Handle the case of an if-expression or
 639         case-expression.
 640         (Check_Statement): Check Emit_Messages only when issuing an
 641         error message. This is important as Emit_Messages may store the
 642         information that an error was detected.
 643
 644 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 645
 646         * checks.adb (Apply_Type_Conversion_Checks): Do not set
 647         Do_Range_Check flag on conversions from fixed-point types
 648         either.
 649         * exp_attr.adb: Add use and with clause for Expander.
 650         (Expand_N_Attribute_Reference) <Fixed_Value, Integer_Value>: Set
 651         the Conversion_OK flag and do not generate overflow/range checks
 652         manually.
 653         * exp_ch4.adb (Expand_N_Qualified_Expression): Remove
 654         superfluous clearing of Do_Range_Check flag.
 655         (Discrete_Range_Check): New procedure to generate a range check
 656         for discrete types.
 657         (Real_Range_Check): Remove redundant local variable and adjust.
 658         Remove useless shortcut.  Clear Do_Range_Check flag on all
 659         paths.
 660         (Expand_N_Type_Conversion): Remove redundant test on
 661         Conversion_OK.  Call Discrete_Range_Check to generate range
 662         checks on discrete types.  Remove obsolete code for
 663         float-to-integer conversions.  Add code to generate range checks
 664         for conversions involving fixed-point types.
 665
 666 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 667
 668         * sprint.ads: Fix pasto in comment.
 669
 670 2019-07-22  Javier Miranda  <miranda@adacore.com>
 671
 672         * sem_res.adb (Resolve_Actuals): Replace code that displaces the
 673         pointer to an allocated object to reference its secondary
 674         dispatch table by a type conversion (which takes care of
 675         handling all cases).
 676
 677 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 678
 679         * sprint.adb (Sprint_Node_Actual)
 680         <N_Decimal_Fixed_Point_Definition>: Swap a couple of spaces.
 681         (Write_Itype): Minor consistency fixes throughout.  Add support
 682         for printing ordinary and decimal fixed-point types and
 683         subtypes.
 684
 685 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 686
 687         * exp_attr.adb (Expand_Loop_Entry_Attribute): Beef up comment.
 688
 689 2019-07-22  Ed Schonberg  <schonberg@adacore.com>
 690
 691         * libgnat/s-valboo.ads, libgnat/s-valcha.ads,
 692         libgnat/s-valdec.ads, libgnat/s-valenu.ads,
 693         libgnat/s-valint.ads, libgnat/s-vallld.ads,
 694         libgnat/s-vallli.ads, libgnat/s-valllu.ads,
 695         libgnat/s-valrea.ads, libgnat/s-valuns.ads,
 696         libgnat/s-valwch.ads: Change categorization of packages that
 697         implement attribute 'Value from Pure to Preelaborate, to prevent
 698         undesirable optimizations when the evaluation of the attribute
 699         raises Constraint_Error, but subsequent use of the result of
 700         this evsaluation is removed by a subsequent optimization.
 701
 702 2019-07-22  Ed Schonberg  <schonberg@adacore.com>
 703
 704         * sem_warn.adb (Check_References): Do not emit s warning on a
 705         referenced entity with no explicit assignment if the type of the
 706         entity has Preelaborable_Initialixation, such as
 707         Exception_Occurrence.
 708
 709 2019-07-22  Javier Miranda  <miranda@adacore.com>
 710
 711         * exp_ch4.adb (Size_In_Storage_Elements): Improve the expansion
 712         to handle array indexes that are modular type.
 713         (Expand_N_Allocator): For 32-bit targets improve the generation
 714         of the runtime check associated with large arrays supporting
 715         arrays initialized with a qualified expression.
 716         * libgnat/s-imenne.adb (Image_Enumeration_8,
 717         Image_Enumeration_16, Image_Enumeration_32): Define the index of
 718         Index_Table with range Natural'First .. Names'Length since in
 719         the worst case all the literals of the enumeration type would be
 720         single letter literals and the Table built by the frontend would
 721         have as many components as the length of the names string. As a
 722         result of this enhancement, the internal tables declared using
 723         Index_Table have a length closer to the real needs, thus
 724         avoiding the declaration of large arrays on 32-bit CCG targets.
 725
 726 2019-07-22  Yannick Moy  <moy@adacore.com>
 727
 728         * sem_ch3.adb (Constrain_Access): Issue a message about ignored
 729         constraint.
 730
 731 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 732
 733         * sem_ch8.adb (End_Use_Type): Reset the In_Use flag on the
 734         class-wide type if the type is tagged.
 735         (Use_One_Type): Add commentary on the handling of the class-wide
 736         type.
 737
 738 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 739
 740         * einfo.ads (Is_For_Access_Subtype): Delete.
 741         (Set_Is_For_Access_Subtype): Likewise.
 742         * einfo.adb (Is_For_Access_Subtype): Likewise.
 743         (Set_Is_For_Access_Subtype): Likewise.
 744         (Write_Entity_Flags): Do not write Is_For_Access_Subtype.
 745         * exp_ch4.adb (Expand_N_Selected_Component): Do not deal with
 746         it.
 747         * exp_spark.adb (Expand_SPARK_N_Selected_Component): Likewise.
 748         * sem_ch4.adb (Analyze_Explicit_Dereference): Likewise.
 749         * sem_ch3.adb (Build_Discriminated_Subtype): Do not build a
 750         special private subtype for access-to-record subtypes.
 751
 752 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 753
 754         * sem_ch3.adb (Complete_Private_Subtype): Rework the setting of
 755         the Etype of the full view for full base types that cannot
 756         contain any discriminant.  Remove code and comment about it in
 757         the main path.
 758
 759 2019-07-22  Ed Schonberg  <schonberg@adacore.com>
 760
 761         * sem_ch3.adb (Convert_Bound): Subsidiary of
 762         Floating_Point_Type_Declaration, to handle properly range
 763         specifications with bounds that may include static constants of
 764         a given type rather than real literals.
 765
 766 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 767
 768         * sem_aggr.adb (Rewrite_Bound): Be prepared for discriminals
 769         too.
 770         (Rewrite_Range;): Minor tweak.
 771         (Resolve_Record_Aggregate): For a component with default
 772         initialization whose expression is an array aggregate, also
 773         rewrite the bounds of the component associations, if any.
 774
 775 2019-07-22  Gary Dismukes  <dismukes@adacore.com>
 776
 777         * exp_ch5.adb (Expand_N_Case_Statement): In the case where a
 778         case statement is rewritten as an equivalent if statement,
 779         inherit the From_Condition_Expression flag from the case
 780         statement.
 781
 782 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 783
 784         * sem_ch8.adb (Check_Constrained_Object): Further extend the
 785         special optimization to all limited types.
 786
 787 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 788
 789         * exp_attr.adb (Expand_N_Attribute_Reference)
 790         <Attribute_Enum_Val>: Set No_Truncation on the
 791         N_Unchecked_Type_Conversion built around the argument passed to
 792         the attribute.
 793
 794 2019-07-22  Nicolas Roche  <roche@adacore.com>
 795
 796         * libgnat/s-valrea.adb (Scan_Real): Ignore non significative
 797         digits to avoid converging to infinity in some cases.
 798
 799 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 800
 801         * libgnat/g-encstr.adb (Encode_Wide_String): Fix oversight.
 802         (Encode_Wide_Wide_String): Likewise.
 803
 804 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 805
 806         * sem_warn.adb (Find_Var): Bail out for a function call with an
 807         Out or In/Out parameter.
 808
 809 2019-07-22  Nicolas Roche  <roche@adacore.com>
 810
 811         * terminals.c (__gnat_tty_waitpid): Support both blocking and
 812         not blocking mode.
 813         * libgnat/g-exptty.ads (Is_Process_Running): New function.
 814         * libgnat/g-exptty.adb (Close): Don't try to interrupt/terminate
 815         a process if it is already dead.
 816
 817 2019-07-22  Ed Schonberg  <schonberg@adacore.com>
 818
 819         * freeze.adb (Freeze_Fixed_Point_Type): When freezing a
 820         fixed-point subtype, check whether the parent type declarastion
 821         includes an aspect specification for the 'Small type attribute,
 822         and inherit the specified value.
 823
 824 2019-07-22  Javier Miranda  <miranda@adacore.com>
 825
 826         * freeze.adb (Freeze_Subprogram): Check that C++ constructors
 827         must have external or link name.
 828
 829 2019-07-22  Ed Schonberg  <schonberg@adacore.com>
 830
 831         * sem_res.adb (Resolve_Selected_Component): If the prefix has a
 832         deferred reference, generate the correct reference now, to
 833         indicate that the previous assignment is used.  This prevents
 834         spurious warnings on useless assignments when compiling with all
 835         warnings enabled. when there is a subsequent call in the same
 836         stqtement list, in which the prefix of the selected component is
 837         the actual for an out parameter.
 838
 839 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 840
 841         * exp_attr.adb (Expand_Loop_Entry_Attribute): Copy the condition
 842         of a while loop instead of simply relocating it.
 843
 844 2019-07-18  Arnaud Charlet  <charlet@adacore.com>
 845
 846         * Makefile.rtl, expect.c, env.c, aux-io.c, mkdir.c, initialize.c,
 847         cstreams.c, raise.c, tracebak.c, adadecode.c, init.c, raise-gcc.c,
 848         argv.c, adaint.c, adaint.h, ctrl_c.c, sysdep.c, rtinit.c, cio.c,
 849         seh_init.c, exit.c, targext.c: Introduce a "STANDALONE" mode where C
 850         runtime files do not have any dependency on GCC include files.
 851         Remove unnecessary includes.
 852         Remove remaining references to VMS in runtime C file.
 853         * runtime.h: new File.
 854
 855 2019-07-13  Andreas Schwab  <schwab@linux-m68k.org>
 856
 857         * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
 858
 859 2019-07-11  Piotr Trojanek  <trojanek@adacore.com>
 860
 861         * lib-writ.adb (Ensure_System_Dependency,
 862         Up_To_Date_ALI_File_Exists, Write_ALI): Replace low-level access
 863         to table with a high-level query.
 864
 865 2019-07-11  Piotr Trojanek  <trojanek@adacore.com>
 866
 867         * checks.adb: Fix typo in comment.
 868         * sem.adb (Semantics): Avoid repeated calls to
 869         In_Extended_Main_Source_Unit by reusing an already-cached
 870         result.
 871         * sem_util.adb (First_Global): Fix style.
 872
 873 2019-07-11  Yannick Moy  <moy@adacore.com>
 874
 875         * sem_res.adb (Resolve_Call): Do not perform dimensionality
 876         checking on inlined bodies.
 877
 878 2019-07-11  Yannick Moy  <moy@adacore.com>
 879
 880         * debug.adb: Flip meaning of debug switch -gnatdF.
 881
 882 2019-07-11  Yannick Moy  <moy@adacore.com>
 883
 884         * sem_eval.adb (Is_Same_Value): Add special case for rewritten
 885         Loop_Entry attribute.
 886
 887 2019-07-11  Claire Dross  <dross@adacore.com>
 888
 889         * gnat1drv.adb: SPARK checking rules for pointer aliasing are
 890         moved to GNATprove backend.
 891         * sem_spark.ads, sem_spark.adb (Sem_SPARK): Is now a generic
 892         unit. Takes as parameters:
 893          - Retysp which is used to query the most underlying type
 894            visible in SPARK. We do not introduce aliasing checks for
 895            types which are not visibly deep.
 896          - Component_Is_Visible_In_SPARK is used to avoid doing pointer
 897            aliasing checks on components which are not visible in SPARK.
 898          - Emit_Messages returns True in the second phase of SPARK
 899            analysis. Error messages for failed aliasing checks are only
 900            output in this case.
 901         Additionally, errors on constructs not supported in SPARK are
 902         removed as duplicates of marking errors. Components are stored
 903         in the permission map using their original component to avoid
 904         inconsistencies between components of different views of the
 905         same type.
 906         (Check_Expression): Handle delta constraints.
 907         (Is_Deep): Exported so that we can check for SPARK restrictions
 908         on deep types inside SPARK semantic checkings.
 909         (Is_Traversal_Function): Exported so that we can check for SPARK
 910         restrictions on traversal functions inside SPARK semantic
 911         checkings.
 912         (Check_Call_Statement, Read_Indexes): Check wether we are
 913         dealing with a subprogram pointer type before querying called
 914         entity.
 915         (Is_Subpath_Expression): Image attribute can appear inside a
 916         path.
 917         (Check_Loop_Statement): Correct order of statements in the loop.
 918         (Check_Node): Ignore raise nodes.
 919         (Check_Statement): Use Last_Non_Pragma to get the object
 920         declaration in an extended return statement.
 921
 922 2019-07-11  Patrick Bernardi  <bernardi@adacore.com>
 923
 924         * bindgen.adb (Gen_Main): Do not generate a reference to
 925         Ada_Main_Program_Name when the Minimal_Binder flag is set.
 926         (Gen_Output_File_Ada): Do not output GNAT_Version and
 927         Ada_Main_Program_Name info if Minimal_Binder flag is set.
 928         * bindusg.adb: Add documentation for new -minimal switch.
 929         * gnatbind.adb (Scan_Bind_Arg): Scan -minimal switch.
 930         * opt.ads: Add new global flag Minimal_Binder to indicate if the
 931         binder should not produce global variables.
 932         * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
 933         Update documentation with new binder -minimal switch.
 934         * gnat_ugn.texi: Regenerate.
 935
 936 2019-07-11  Eric Botcazou  <ebotcazou@adacore.com>
 937
 938         * Makefile.rtl: Add warning note about compilation flags and
 939         capitalize.
 940
 941 2019-07-11  Ed Schonberg  <schonberg@adacore.com>
 942
 943         * exp_ch9.adb (Expand_N_Protected_Type_Declaaration): New
 944         subsidiary routine Replace_Access_Definition, to handle properly
 945         a protected type PT one of whose private components is of type
 946         access PT.
 947
 948 2019-07-11  Dmitriy Anisimkov  <anisimko@adacore.com>
 949
 950         * libgnat/g-socket.ads (Level_Type): Add enumerators for
 951         IP_Protocol_For_ICMP, IP_Protocol_For_IGMP,
 952         IP_Protocol_For_RAW_Level.
 953         * libgnat/g-socket.adb (Levels): Handle them.
 954         * s-oscons-tmplt.c: Import socket protocols defined in
 955         netinet/in.h.
 956
 957 2019-07-11  Claire Dross  <dross@adacore.com>
 958
 959         * libgnat/a-cfhama.adb, libgnat/a-cfhase.adb (Free): Do not
 960         reset the Has_Element flag if no element is freed.
 961
 962 2019-07-11  Arnaud Charlet  <charlet@adacore.com>
 963
 964         * errno.c: Remove obsolete support for MaRTE OS.
 965
 966 2019-07-11  Ed Schonberg  <schonberg@adacore.com>
 967
 968         * exp_ch4.adb (Expand_N_Type_Conversion): If a predicate check
 969         is generated, analyze it with range check suppressed, because
 970         that check has been previously applied.
 971         * exp_ch5.adb (Expand_N_Assignment_Statement): If the RHS is a
 972         type conversion to the type of the LHS, do not apply a predicate
 973         check to the RHS because it will have been generated already
 974         during its expansion.
 975         * exp_ch6.adb (Can_Fold_Predicate_Call): Extend processing to
 976         handle a predicate check on a constant entity whose value is
 977         static.
 978
 979 2019-07-11  Hristian Kirtchev  <kirtchev@adacore.com>
 980
 981         * bindo.adb: Remove the documentation of switch -d_N because it
 982         is no longer in use.
 983         * bindo-graphs.ads, bindo-graphs.adb (Is_Spec_Before_Body_Edge):
 984         New routine.
 985         * bindo-writers.adb (Write_Dependency_Edge): Add the missing
 986         case of a spec-before-body edge.
 987
 988 2019-07-11  Dmitriy Anisimkov  <anisimko@adacore.com>
 989
 990         * libgnat/g-socket.ads (Mode_Type): Add a Socket_Raw enumerator.
 991         * libgnat/g-socket.adb (Modes): Handle Socket_Raw.
 992
 993 2019-07-11  Justin Squirek  <squirek@adacore.com>
 994
 995         * exp_ch9.adb (Build_Private_Protected_Declaration): Add
 996         exception for the moving of pragmas to internally generated
 997         specs for pragma Unreferenced.
 998
 999 2019-07-11  Bob Duff  <duff@adacore.com>
1000
1001         * doc/gnat_ugn/gnat_utility_programs.rst: Fix inconsistent
1002         documentation for gnatmetric.
1003         * gnat_ugn.texi: Regenerate.
1004
1005 2019-07-11  Bob Duff  <duff@adacore.com>
1006
1007         * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
1008         --spaces-only switch.
1009
1010 2019-07-11  Hristian Kirtchev  <kirtchev@adacore.com>
1011
1012         * sem_util.adb (Null_Status): Assume that an erroneous construct
1013         has an undefined null status.
1014
1015 2019-07-11  Hristian Kirtchev  <kirtchev@adacore.com>
1016
1017         * checks.adb, exp_ch6.adb, gnat1drv.adb, sem_aux.adb,
1018         sem_ch2.adb, sem_ch8.adb, sem_res.adb: Minor reformatting.
1019
1020 2019-07-11  Hristian Kirtchev  <kirtchev@adacore.com>
1021
1022         * sem_ch8.adb (Analyze_Object_Renaming): Obtain the object being
1023         renamed using routine Get_Object_Name which takes care of
1024         various name forms.
1025         (Get_Object_Name): New routine.
1026
1027 2019-07-11  Ed Schonberg  <schonberg@adacore.com>
1028
1029         * exp_ch6.adb (Can_Fold_Predicate_Call): New function,
1030         subsidiary of Expand_Call_Helper, to compute statically a
1031         predicate check when the argument is a static integer.
1032
1033 2019-07-11  Hristian Kirtchev  <kirtchev@adacore.com>
1034
1035         * sem_res.adb (Resolve_Op_Not): Do not rewrite an equality
1036         operator into a function call when the operator is intrinsic.
1037
1038 2019-07-11  Thomas Quinot  <quinot@adacore.com>
1039
1040         * sem_prag.adb (Analyze_Pragma, case pragma Check): Do not call
1041         Set_SCO_Pragma_Enabled for the dynamic predicate case.
1042
1043 2019-07-11  Hristian Kirtchev  <kirtchev@adacore.com>
1044
1045         * exp_util.ads, exp_util.adb (Needs_Finalization): Move to
1046         Sem_Util.
1047         * sem_ch9.adb (Analyze_Protected_Definition): Code cleanup. Mark
1048         the protected type as having controlled components when it
1049         contains at least one such component.
1050         * sem_util.ads, sem_util.adb (Needs_Finalization): New
1051         function.
1052
1053 2019-07-11  Eric Botcazou  <ebotcazou@adacore.com>
1054
1055         * alloc.ads (Rep_JSON_Table_Initial): New constant.
1056         (Rep_JSON_Table_Increment): Likewise.
1057         * debug.adb: Document -gnatd_j switch.
1058         * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add
1059         repinfo-input.o.
1060         * gnat1drv.adb: Add with clause for Repinfo.Input.
1061         Add with and use clauses for Sinput.
1062         (Read_JSON_Files_For_Repinfo): New procedure.
1063         (Gnat1drv1): Deal with -gnatd_j switch.
1064         * repinfo-input.ad[sb]: New unit.
1065         * snames.ads-tmpl (Name_Discriminant): New constant.
1066         (Name_Operands): Likewise.
1067
1068 2019-07-11  Justin Squirek  <squirek@adacore.com>
1069
1070         * checks.adb (Apply_Accessibility_Check): Add check for constant
1071         folded conditions on accessibility checks.
1072
1073 2019-07-11  Arnaud Charlet  <charlet@adacore.com>
1074
1075         * libgnarl/g-thread.ads, libgnarl/g-thread.adb (Get_Thread):
1076         Update comments. Add new version taking a Task_Id.
1077
1078 2019-07-11  Hristian Kirtchev  <kirtchev@adacore.com>
1079
1080         * bindo.adb: Update the section of switches and debugging
1081         elaboration issues.
1082         * bindo.ads: Add type Elaboration_Phase.
1083         * bindo-augmentors.adb: Add use clause for
1084         Bindo.Writers.Phase_Writers.
1085         (Augment_Library_Graph): Signal the start and end of the
1086         aubmentation phase.
1087         * bindo-builders.adb: Add with and use clause for Bindo.Writers.
1088         Add use clause for Bindo.Writers.Phase_Writers.
1089         (Build_Invocation_Graph): Signal the start and end of the
1090         invocation graph construction phase.
1091         (Build_Library_Graph): Signal the start and end of the library
1092         graph construction phase.
1093         * bindo-diagnostics.adb: Add use clause for
1094         Bindo.Writers.Phase_Writers.
1095         (Diagnose_Cycle): Signal the start and end of the cycle
1096         diagnostic phase.
1097         * bindo-elaborators.adb: Add use clause for
1098         Bindo.Writers.Phase_Writers.
1099         (Elaborate_Units): Signal the start and end of the unit
1100         elaboration phase.
1101         * bindo-graphs.adb: Add use clause for
1102         Bindo.Writers.Phase_Writers.
1103         (Find_Components): Signal the start and end of the component
1104         discovery phase.
1105         (Find_Cycles): Signal the start and end of the cycle discovery
1106         phase.
1107         * bindo-units.adb: Add with and use clause for Bindo.Writers.
1108         Add use clause for Bindo.Writers.Phase_Writers.
1109         (Collect_Elaborable_Units): Signal the start and end of the unit
1110         collection phase.
1111         * bindo-validators.adb: Add with and use clause for
1112         Bindo.Writers.  Add use clause for Bindo.Writers.Phase_Writers.
1113         (Validate_Cycles, Validate_Elaboration_Order,
1114         Validate_Invocation_Graph, Validate_Library_Graph): Signal the
1115         start and end of the libray graph validation phase.
1116         * bindo-writers.ads, bindo-writers.adb: Add new nested package
1117         Phase_Writers.
1118         * debug.adb: Update the documentation of switch d_S.
1119
1120 2019-07-11  Yannick Moy  <moy@adacore.com>
1121
1122         * sem_res.adb (Check_Argument_Order): Special case calls to
1123         operators.
1124
1125 2019-07-10  Dmitriy Anisimkov  <anisimko@adacore.com>
1126
1127         * libgnat/s-ststop.adb: Remove System.Strings.Stream_Ops
1128         dependence on System.Streams.Stream_IO.
1129
1130 2019-07-10  Ed Schonberg  <schonberg@adacore.com>
1131
1132         * sem_ch2.adb (Analyze_Integer_Literal): Preserve the type of
1133         the literal if prior analysis determined that its type is a
1134         modular integer type.
1135
1136 2019-07-10  Doug Rupp  <rupp@adacore.com>
1137
1138         * init.c: Do not attempt to re-arm guard page on x86_64-vx7(r2).
1139
1140 2019-07-10  Ed Schonberg  <schonberg@adacore.com>
1141
1142         * sem_ch8.adb (Check_Constrained_Object): A record that is
1143         limited because of the presence of a limited component is
1144         constrained, and no subtype indiciation needs to be created for
1145         it, just as is the case for declared limited records.
1146
1147 2019-07-10  Yannick Moy  <moy@adacore.com>
1148
1149         * sem_aux.adb, sem_aux.ads (Is_Protected_Operation): New
1150         function to determine if a subprogram is protected.
1151         * sem_spark.adb (Setup_Protected_Components): New procedure to
1152         add protected components to the environment.
1153         (Check_Callable_Body): Call the new Setup_Protected_Components.
1154         (Check_Package_Spec): Merge local environment with enclosing one
1155         when done.
1156
1157 2019-07-10  Claire Dross  <dross@adacore.com>
1158
1159         * sem_spark.adb (Check_Expression): Allow digits constraints as
1160         input.
1161         (Illegal_Global_Usage): Pass in the entity.
1162         (Is_Subpath_Expression): New function to allow different nodes
1163         as inner parts of a path expression.
1164         (Read_Indexes): Allow concatenation and aggregates with box
1165         expressions.  Allow attributes Update and Loop_Entry.
1166         (Check_Expression): Allow richer membership test.
1167         (Check_Node): Ignore bodies of generics.
1168         (Get_Root_Object): Allow concatenation and attributes.
1169
1170 2019-07-10  Hristian Kirtchev  <kirtchev@adacore.com>
1171
1172         * sem_ch6.adb (Check_Discriminant_Conformance): Use Find_Type to
1173         discover the type of a full view discriminant.
1174
1175 2019-07-10  Arnaud Charlet  <charlet@adacore.com>
1176
1177         * doc/gnat_ugn/gnat_and_program_execution.rst: Improve gnatmem's
1178         doc for the depth switch.
1179
1180 2019-07-10  Bob Duff  <duff@adacore.com>
1181
1182         * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
1183         --source-line-breaks switch.
1184
1185 2019-07-10  Justin Squirek  <squirek@adacore.com>
1186
1187         * doc/gnat_rm/implementation_defined_attributes.rst: Add mention
1188         of 'Image attribute with 'Img's entry to mention additional
1189         added 2012 usage of Obj'Image.
1190         * doc/gnat_rm/implementation_defined_pragmas.rst: Correct
1191         mispelling of Async_Writers.
1192         * gnat_rm.texi: Regenerate.
1193         * sem_prag.adb (Analyze_Pragma): Correct mispelling of
1194         Async_Writers.
1195         * sem_util.adb (State_Has_Enabled_Property): Correct mispelling
1196         of Async_Writers.
1197
1198 2019-07-10  Simon Buist  <buist@adacore.com>
1199
1200         * sem_util.ads (Child_Prefix): New constant.
1201         * sem_util.adb (Unique_Name): Add a special prefix to child
1202         units that have a nested subprogram or package.
1203
1204 2019-07-10  Arnaud Charlet  <charlet@adacore.com>
1205
1206         * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert.
1207
1208 2019-07-10  Hristian Kirtchev  <kirtchev@adacore.com>
1209
1210         * sem_ch3.adb (Check_Nonoverridable_Aspects): Correct the
1211         spelling in certain error messages.
1212         (Check_Pragma_Implemented): Correct the spelling in certain
1213         error messages.
1214
1215 2019-07-10  Eric Botcazou  <ebotcazou@adacore.com>
1216
1217         * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add g-brapre.
1218         * libgnat/g-brapre.ads: New package specification.
1219         * doc/gnat_rm/the_gnat_library.rst: Document it.
1220         * gnat_rm.texi: Regenerate.
1221
1222 2019-07-10  Yannick Moy  <moy@adacore.com>
1223
1224         * osint-c.adb (Set_File_Name): Always add extension for multiple
1225         units per file mode.
1226
1227 2019-07-10  Corentin Gay  <gay@adacore.com>
1228
1229         * sysdep.c: Put include directive for 'vxWorks.h' before any
1230         other VxWorks headers.
1231
1232 2019-07-10  Eric Botcazou  <ebotcazou@adacore.com>
1233
1234         * doc/gnat_rm/implementation_defined_attributes.rst
1235         (Scalar_Storage_Order): Minor tweaks.  Add note about debuggers.
1236         * gnat_rm.texi: Regenerate.
1237
1238 2019-07-10  Hristian Kirtchev  <kirtchev@adacore.com>
1239
1240         * exp_ch4.adb (Expand_N_Case_Expression): Mark the generated
1241         assignments to the temporary result as being OK because the
1242         expansion of case expressions is correct by construction.
1243         (Is_Copy_Type): Update the predicate to match the comment
1244         within.
1245
1246 2019-07-10  Hristian Kirtchev  <kirtchev@adacore.com>
1247
1248         * bindo-graphs.adb, bindo.adb, debug.adb, exp_ch6.adb,
1249         sem_ch10.adb, sem_ch13.adb, sem_ch3.adb, sem_ch4.adb,
1250         sem_ch6.adb, sem_ch7.adb, sem_res.adb, sem_spark.adb,
1251         sem_util.adb, warnsw.ads: Minor reformatting.
1252
1253 2019-07-10  Joffrey Huguet  <huguet@adacore.com>
1254
1255         * libgnat/a-strbou.ads, libgnat/a-strfix.ads,
1256         libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add global
1257         contracts, contract cases, preconditions and postconditions to
1258         procedures and functions.
1259
1260 2019-07-10  Doug Rupp  <rupp@adacore.com>
1261
1262         * sysdep.c (__gnat_is_file_not_found_error): Reformulate to also
1263         work for vxworks7r2 SR0610.
1264
1265 2019-07-10  Doug Rupp  <rupp@adacore.com>
1266
1267         * env.c (__gnat_environ): Reformulate to also work for
1268         vxworks7r2 SR0610.
1269
1270 2019-07-10  Patrick Bernardi  <bernardi@adacore.com>
1271
1272         * Makefile.rtl: Handle vxworks7r2 ppc target
1273
1274 2019-07-10  Hristian Kirtchev  <kirtchev@adacore.com>
1275
1276         * bindo.adb: Update the section on switches.
1277         * bindo-graphs.adb
1278         (Add_Cycle, Add_Vertex_And_Complement): Remove.
1279         (Create): The graph no longer needs a set of recorded cycles
1280         because the cycles are not rediscovered in permuted forms.
1281         (Cycle_End_Vertices): New routine.
1282         (Destroy): The graph no longer needs a set of recorded cycles
1283         because the cycles are not rediscovered in permuted forms.
1284         (Destroy_Library_Graph_Vertex): Move to the library level.
1285         (Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge):
1286         Remove.
1287         (Find_Cycles_From_Successor, Find_Cycles_From_Vertex,
1288         Find_Cycles_In_Component, Has_Elaborate_All_Edge): New routines.
1289         (Insert_And_Sort): Remove.
1290         (Is_Elaborate_Body_Edge): Use predicate
1291         Is_Vertex_With_Elaborate_Body.
1292         (Is_Recorded_Cycle): Remove.
1293         (Is_Vertex_With_Elaborate_Body): New routine.
1294         (Normalize_And_Add_Cycle): Remove.
1295         (Precedence): Rename to xxx_Precedence, where xxx relates to the
1296         input.  These versions better reflect the desired input
1297         precedence.
1298         (Record_Cycle): New routine.
1299         (Remove_Vertex_And_Complement, Set_Is_Recorded_Cycle): Remove.
1300         (Trace_xxx): Update all versions to use debug switch -d_t.
1301         (Trace_Component): New routine.
1302         (Trace_Eol): Removed.
1303         (Trace_Vertex): Do not output the component as this information
1304         is already available when the component is traced.
1305         (Unvisit, Visit): New routine.
1306         * bindo-graphs.ads: Add new instance LGV_Lists.  Remove instance
1307         RC_Sets.  Update the structure of type Library_Graph_Attributes
1308         to remove the set of recorded cycles.
1309         (Destroy_Library_Graph_Vertex): Move to the library level.
1310         * bindo-writers.adb (Write_Component_Vertices): Output
1311         information about the number of vertices.
1312         * debug.adb: Document the use of binder switch -d_t.  Update the
1313         use of binder switch -d_T.
1314
1315 2019-07-10  Yannick Moy  <moy@adacore.com>
1316
1317         * sem_spark.adb (Get_Root_Object): Replace precondition by error
1318         message.
1319         (Read_Indexes): Replace precondition by error message.
1320         (Check_Callable_Body): Check only traversal function returns an
1321         anonymous access type.
1322         (Check_Expression): Issue error on unexpected expression as
1323         path.
1324         * sem_util.adb (First_Global): Fix access to global on
1325         entry/task.
1326
1327 2019-07-10  Javier Miranda  <miranda@adacore.com>
1328
1329         * exp_ch6.adb (Is_Class_Wide_Interface_Type): New subprogram.
1330         (Expand_Call_Helper): Handle non-limited views when we check if
1331         any formal is a class-wide interface type.
1332         * exp_disp.adb (Expand_Interface_Actuals): Handle non-limited
1333         views when we look for interface type formals to force "this"
1334         displacement.
1335
1336 2019-07-10  Ed Schonberg  <schonberg@adacore.com>
1337
1338         * sem_res.adb (Resolve_Equality_Op): Do not replace the resolved
1339         operator by its alias if expander is not active, because the
1340         operand type may not be frozen yet and its inherited operations
1341         have not yet been created.
1342
1343 2019-07-10  Hristian Kirtchev  <kirtchev@adacore.com>
1344
1345         * bindo-elaborators.adb (Elaborate_Units): Set attribute
1346         Elab_Position of all elaborated units.
1347         (Set_Unit_Elaboration_Positions): New routine.
1348
1349 2019-07-10  Gary Dismukes  <dismukes@adacore.com>
1350
1351         * exp_util.adb: Reformatting and a typo fix.
1352
1353 2019-07-10  Yannick Moy  <moy@adacore.com>
1354
1355         * exp_util.adb (Remove_Side_Effects): Prefer renamings for
1356         objects of possible owning type in GNATprove mode.
1357
1358 2019-07-09  Ed Schonberg  <schonberg@adacore.com>
1359
1360         * sem_ch3.adb (Analyze_Object_Declaration): If the object type
1361         is a composite type that has a dynamic predicate and, the
1362         expression in the declaration is an aggregate, the generated
1363         predicate check must appear after the expanded code for the
1364         aggregate, which will appear after the rewritten object
1365         declarastion.
1366
1367 2019-07-09  Justin Squirek  <squirek@adacore.com>
1368
1369         * sem_eval.adb (Expr_Value_E): Add conditional to correctly
1370         handle constant enumerated character types.
1371
1372 2019-07-09  Eric Botcazou  <ebotcazou@adacore.com>
1373
1374         * libgnarl/s-osinte__mingw.ads (CRITICAL_SECTION): Use proper
1375         type for SpinCount component.
1376
1377 2019-07-09  Justin Squirek  <squirek@adacore.com>
1378
1379         * exp_ch4.adb (Expand_N_Allocator): Add conditional to detect
1380         the presence of anoymous access type allocators and issue a
1381         warning if the appropriate warning flag is enabled.
1382         * warnsw.ads: Add new warning flag for anonymous allocators
1383         * warnsw.adb (All_Warnings, Restore_Warnings, Save_Warnings,
1384         Set_Underscore_Warning_Switch): Register new flags.
1385         (WA_Warnings): Register new flag as an "all warnings" switch
1386         * usage.adb,
1387         doc/gnat_ugn/building_executable_programs_with_gnat.rst:
1388         Document new warning switches -gnatw_a and -gnatw_A.
1389         * gnat_ugn.texi: Regenerate.
1390
1391 2019-07-09  Ed Schonberg  <schonberg@adacore.com>
1392
1393         * sem_ch4.adb (Diagnose_Call): Improve error recovery when a
1394         local subprogram name hides a possible candidate name declared
1395         in a child package in the context of the current unit.
1396         * sem_ch6.adb (Process_Formals): Protect against malformed
1397         formal types when the parameter type does not denote an entity.
1398
1399 2019-07-09  Hristian Kirtchev  <kirtchev@adacore.com>
1400
1401         * bindo-augmentors.adb (Visit_Elaboration_Root): Do not start a
1402         DFS from an elaboration root whose corresponding unit lacks
1403         elaboration code. This behavior mimics that of the old
1404         elaboration order mechanism.
1405         * bindo-graphs.adb (Find_All_Cycles_Through_Vertex): Move the
1406         vertex tracing within the functional branches of the routine.
1407         This prevents spurious trace output.
1408         (Has_No_Elaboration_Code): New routine.
1409         (Trace_Cycle, Trace_Edge): Update the various Ids to use the
1410         "standard" trace format.
1411         * bindo-graphs.ads (Has_No_Elaboration_Code): New routine.
1412         * bindo-units.ads, bindo-units.adb (Has_No_Elaboration_Code):
1413         New routine.
1414
1415 2019-07-09  Piotr Trojanek  <trojanek@adacore.com>
1416
1417         * ali.ads, bindo-graphs.adb, bindo-validators.adb, clean.adb,
1418         doc/gnat_ugn/elaboration_order_handling_in_gnat.rst, einfo.ads,
1419         exp_aggr.adb, exp_ch13.adb, exp_ch4.adb, exp_ch5.adb,
1420         exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_pakd.adb,
1421         fname-uf.ads, gnatlink.adb, inline.adb, lib.ads, make.adb,
1422         namet.ads, opt.ads, par-ch4.adb, par-ch6.adb, par-labl.adb,
1423         prep.adb, sem_aggr.adb, sem_ch13.adb, sem_ch4.adb, sem_ch5.adb,
1424         sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch8.adb, sem_dim.adb,
1425         sem_disp.adb, sem_prag.adb, sem_res.adb, sem_warn.adb,
1426         sinfo.ads: Replace ".  " with ". ". Minor reformatting and typo
1427         corrections.
1428         * gnat_ugn.texi: Generate.
1429
1430 2019-07-09  Hristian Kirtchev  <kirtchev@adacore.com>
1431
1432         * bindo.ads: Move type Precedence_Kind from the private to the
1433         visible part of the unit.
1434         * bindo-augmentors.adb: Remove the use of global data as it is
1435         bad practice.
1436         (Augment_Library_Graph): Update the parameter profile.
1437         (Is_Visited, Set_Is_Visited): Remove.
1438         (Visit_Elaboration_Root, Visit_Elaboration_Roots): Update the
1439         parameter profile and comment on usage.
1440         (Visit_Vertex): Likewise.  Also keep track of which invocation
1441         edge activates a task.
1442         * bindo-augmentors.ads (Augment_Library_Graph): Update the
1443         parameter profile and comment on usage.
1444         * bindo-builders.adb (Create_Forced_Edge,
1445         Create_Spec_And_Body_Edge, Create_With_Edge): Update the call to
1446         Add_Edge.
1447         * bindo-diagnostics.adb: Add with end use clauses for Restrict
1448         and Rident.
1449         (Output_Dynamic_Model_Suggestions): Remove.
1450         (Output_Invocation_Related_Suggestions): New routine.
1451         (Output_Suggestions): Output all invocation-related suggestions
1452         together.
1453         * bindo-elaborators.adb: Remove types Comparator_Ptr and
1454         Predicate_Ptr.
1455         (Find_Best_Vertex): Update the parameter profile.
1456         * bindo-graphs.adb (Activates_Task): New routine.
1457         (Add_Body_Before_Spec_Edge): Update the call to
1458         Add_Edge_With_Return.
1459         (Add_Edge): Update the parameter profile and the call to
1460         Add_Edge_With_Return.
1461         (Add_Edge_With_Return): Update the parameter profile and comment
1462         on usage.
1463         (At_Least_One_Edge_Satisfies): New routine.
1464         (Contains_Elaborate_All_Edge): Reimplement.
1465         (Contains_Static_Successor_Edge, Contains_Task_Activation): New
1466         routine.
1467         (Contains_Weak_Static_Successor): Remove.
1468         (Is_Static_Successor_Edge): New routine.
1469         * bindo-graphs.ads: Add types LGE_Predicate_Ptr,
1470         LGV_Comparator_Ptr, and LGV_Predicate_Ptr.  Update type
1471         Library_Graph_Edge_Attributes to capture whether an invocation
1472         edge activates a task.  Update the value of
1473         No_Library_Graph_Edge_Attributes.
1474         (Activates_Task): Update the parameter profile and comment on
1475         usage.
1476         (Contains_Static_Successor_Edge, Contains_Task_Activation): New
1477         routines.
1478         (Contains_Weak_Static_Successor): Remove.
1479         * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst:
1480         Update the documentation to reflect the new task-related advice.
1481         * gnat_ugn.texi: Regenerate.
1482
1483 2019-07-09  Piotr Trojanek  <trojanek@adacore.com>
1484
1485         * exp_util.adb (Containing_Package_With_Ext_Axioms): Replace
1486         low-level Ekind test with a high-level wrapper.
1487
1488 2019-07-09  Arnaud Charlet  <charlet@adacore.com>
1489
1490         * libgnat/s-memory.adb: Disable calls to Abort defer/undefer
1491         when ZCX_By_Default.
1492
1493 2019-07-09  Javier Miranda  <miranda@adacore.com>
1494
1495         * sem_ch13.adb (Rep_Item_Too_Early): Representation clauses are
1496         not allowed for a derivation of a generic type. Extend the
1497         current test to check that none of the parents is a generic
1498         type.
1499
1500 2019-07-09  Hristian Kirtchev  <kirtchev@adacore.com>
1501
1502         * exp_ch9.adb, exp_util.adb, repinfo.adb, sem_ch12.adb,
1503         sem_prag.adb, sem_res.adb, sem_spark.adb, sem_util.adb: Minor
1504         reformatting.
1505
1506 2019-07-09  Ed Schonberg  <schonberg@adacore.com>
1507
1508         * sem_res.adb (Resolve_Equality_Op): If the node was overloaded,
1509         set properly the entity to which the node has been resolved. The
1510         original entity is the first one found during analysis, and is
1511         not necessarily the resolved one.
1512         (Resolve_Op_Not): If the argument of negation is an overloaded
1513         equality operation, call its resolution directly given that the
1514         context type does not participate in overload resolution.
1515
1516 2019-07-09  Hristian Kirtchev  <kirtchev@adacore.com>
1517
1518         * bindo.adb: Remove with and use clauses for Debug.  Add with
1519         and use clauses for Opt.
1520         (Find_Elaboration_Order): Enable the v4.0 elaboration order. The
1521         v3.0 mechanism is now available under binder switch -H.
1522         * bindusg.adb (Display): Enable switch -H.
1523         * debug.adb: Free compiler switch -gnatd_G.  Free binder switch
1524         -d_N.
1525         * sem_elab.adb: Update the section on switches to remove
1526         -gnatd_G.
1527         (Invocation_Graph_Recording_OK): The invocation graph is now
1528         unconditionally recorded in ALI files.
1529         * switch-b.adb (Scan_Binder_Switches): Scan switch -H.
1530         * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
1531         Update the documentation on compiler switches related to
1532         elaboration.  Update the documentation on binder switches to
1533         include switch -H.
1534         * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
1535         the documentation on elaboration order handling in GNAT.
1536         * gnat_ugn.texi: Regenerate.
1537
1538 2019-07-09  Eric Botcazou  <ebotcazou@adacore.com>
1539
1540         * repinfo.adb (List_Entities): Disregard formals altogether.
1541         (List_Name): Properly escape the double quote in the JSON
1542         output.
1543
1544 2019-07-09  Javier Miranda  <miranda@adacore.com>
1545
1546         * exp_util.adb (Remove_Side_Effects): Preserve the
1547         Do_Range_Check flag.
1548
1549 2019-07-09  Yannick Moy  <moy@adacore.com>
1550
1551         * sinfo.ads: Refine comment for Do_Range_Check.
1552
1553 2019-07-09  Yannick Moy  <moy@adacore.com>
1554
1555         * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
1556         attribute reference on Enum_Rep.
1557
1558 2019-07-09  Ed Schonberg  <schonberg@adacore.com>
1559
1560         * sem_ch12.adb (Instantiate_Formal_Package): Handle properly the
1561         case where the actual for a formal package in an instance is the
1562         current instance of an enclosing generic package.
1563         (Check_Formal_Packages): If the formal package declaration is
1564         box-initialized or lacks associations altogether, no internal
1565         instance was created to verify conformance, and there is no
1566         validating package to remove from tree.
1567
1568 2019-07-09  Yannick Moy  <moy@adacore.com>
1569
1570         * freeze.adb (Build_Renamed_Body): Do not set body to inline in
1571         GNATprove mode.
1572
1573 2019-07-09  Yannick Moy  <moy@adacore.com>
1574
1575         * exp_util.adb (Expand_Subtype_From_Expr): Still expand the type
1576         of static expressions in GNATprove_Mode.
1577         * sem_ch3.adb (Analyze_Object_Declaration): Remove obsolete
1578         special case for GNATprove_Mode.
1579
1580 2019-07-09  Piotr Trojanek  <trojanek@adacore.com>
1581
1582         * doc/gnat_rm/the_gnat_library.rst,
1583         doc/gnat_ugn/building_executable_programs_with_gnat.rst,
1584         erroutc.adb, libgnat/g-comlin.adb, libgnat/g-comlin.ads,
1585         libgnat/g-regexp.ads, libgnat/g-regpat.ads,
1586         libgnat/g-spipat.ads, libgnat/s-os_lib.ads,
1587         libgnat/s-regexp.ads: Reword "wild card" to "wildcard".
1588         * gnat_rm.texi, gnat_ugn.texi: Regenerate.
1589
1590 2019-07-09  Yannick Moy  <moy@adacore.com>
1591
1592         * sem_spark.adb (Check_Expression): Handle correctly implicit
1593         assignments as part of allocators and (extension) aggregates.
1594         (Get_Root_Object): Adapt for new path expressions.
1595         (Is_Path_Expression): Return True for (extension) aggregate.
1596
1597 2019-07-09  Piotr Trojanek  <trojanek@adacore.com>
1598
1599         * einfo.ads: Fix a typo.
1600
1601 2019-07-09  Ed Schonberg  <schonberg@adacore.com>
1602
1603         * sem_util.adb (Scope_Within_Or_Same): Handle properly task
1604         bodies and protected bodies, so that local variables within have
1605         their proper scopes after these constructs have been rewritten
1606         during expansion. This patch resembles but is not identical to
1607         the code in Scope_Within.
1608
1609 2019-07-09  Arnaud Charlet  <charlet@adacore.com>
1610
1611         * gnat1drv.adb (Adjust_Global_Switches): Set
1612         Dynamic_Elaboration_Checks to True in CodePeer mode.
1613
1614 2019-07-09  Yannick Moy  <moy@adacore.com>
1615
1616         * sem_spark.adb (Get_Perm_Or_Tree): Issue an error when
1617         encountering unknown global variable.
1618
1619 2019-07-09  Yannick Moy  <moy@adacore.com>
1620
1621         * sem_spark.adb (Check_Expression): Change signature to take an
1622         Extended_Checking_Mode, for handling read permission checking of
1623         sub-expressions in an assignment.
1624         (Check_Parameter_Or_Global): Adapt to new behavior of
1625         Check_Expression for mode Assign.
1626         (Check_Safe_Pointers): Do not analyze generic bodies.
1627         (Check_Assignment): Separate checking of the target of an
1628         assignment.
1629
1630 2019-07-09  Eric Botcazou  <ebotcazou@adacore.com>
1631
1632         * repinfo.ads (JSON format): Adjust.
1633         * repinfo.adb (Need_Blank_Line): Rename to...
1634         (Need_Separator): ...this.
1635         (Blank_Line): Rename to...
1636         (Write_Separator): ...this and add JSON specific handling.
1637         (List_Array_Info): Adjust to above renaming.
1638         (List_Object_Info): Likewise.
1639         (List_Record_Info): Likewise.
1640         (List_Subprogram_Info): Likewise.
1641         (List_Type_Info): Likewise.
1642         (List_Entities): Do not set Need_Blank_Line.
1643         (List_Rep_Info): Set Need_Separator and add JSON specific
1644         handling. Output a single JSON stream in the  normal case.
1645
1646 2019-07-09  Arnaud Charlet  <charlet@adacore.com>
1647
1648         * doc/gnat_ugn/the_gnat_compilation_model.rst: Update doc on
1649         -fdump-ada-spec now that we generate Ada 2012.
1650         * gnat_ugn.texi: Regenerate.
1651
1652 2019-07-08  Eric Botcazou  <ebotcazou@adacore.com>
1653
1654         * repinfo.adb (List_Common_Type_Info): New procedure extracted
1655         from...
1656         (List_Type_Info): ...here.  Call it for the common information,
1657         start with a blank line and output the linker section at the
1658         end, if any.
1659         (List_Mechanisms): Rename to...
1660         (List_Subprogram_Info): ...this.
1661         (List_Array_Info): Call List_Common_Type_Info.
1662         (List_Entities): Adjust to above change and renaming.
1663         (List_Record_Info): Call List_Common_Type_Info.
1664
1665 2019-07-08  Dmitriy Anisimkov  <anisimko@adacore.com>
1666
1667         * libgnat/g-sercom.ads
1668         (Serial_Port_Descriptor): New type.
1669         (Serial_Port): Add a comment, make it hold a
1670         Serial_Port_Descriptor.
1671         (To_Ada, To_C): New procedures.
1672         (Port_Data, Port_Data_Access): Remove types.
1673         * libgnat/g-sercom.adb (To_Ada): New stub.
1674         * libgnat/g-sercom__linux.adb, libgnat/g-sercom__mingw.adb:
1675         Update implementations accordingly.
1676         * s-oscons-tmplt.c: Bind Serial_Port_Descriptor to
1677         System.Win32.HANDLE on Windows, and to Interfaces.C.int on
1678         Linux. Add "Interfaces.C." prefix for other basic integer type
1679         bindings.
1680         * xoscons.adb (Output_Info): Remove the "Interfaces.C." prefix
1681         for subtypes generation.
1682
1683 2019-07-08  Arnaud Charlet  <charlet@adacore.com>
1684
1685         * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
1686         Update documentation on No_Exceptions restriction.
1687         * gnat_rm.texi: Regenerate.
1688
1689 2019-07-08  Dmitriy Anisimkov  <anisimko@adacore.com>
1690
1691         * libgnat/s-os_lib.adb: Do not call __gnat_kill for Invalid_Pid.
1692
1693 2019-07-08  Piotr Trojanek  <trojanek@adacore.com>
1694
1695         * sem_util.adb (Enclosing_Package_Or_Subprogram): Do not expect
1696         package and subprogram bodies.
1697
1698 2019-07-08  Bob Duff  <duff@adacore.com>
1699
1700         * doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
1701         of ignored GNATpp switch.
1702
1703 2019-07-08  Hristian Kirtchev  <kirtchev@adacore.com>
1704
1705         * doc/gnat_rm/implementation_defined_pragmas.rst:
1706         Update the documentation of pragma Initialize_Scalars.
1707         * gnat_rm.texi: Regenerate.
1708
1709 2019-07-08  Javier Miranda  <miranda@adacore.com>
1710
1711         * exp_ch4.adb (Tagged_Membership): Fix regression silently
1712         introduced in r260738 that erroneouslusy causes the evaluation
1713         to True of the membership test when the left operand of the
1714         membership test is a class-wide interface object and the right
1715         operand is a type that implements such interface type.
1716
1717 2019-07-08  Hristian Kirtchev  <kirtchev@adacore.com>
1718
1719         * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not
1720         register an address clause when its prefix denotes a generic
1721         formal object.
1722
1723 2019-07-08  Hristian Kirtchev  <kirtchev@adacore.com>
1724
1725         * bindo-diagnostics.adb (Diagnose_Cycle): Capture the presence
1726         of an Elaborate_All edge before iterating over the edges of the
1727         cycle.
1728         (Output_Elaborate_Body_Transition): Update the parameter profile
1729         and the comment on usage. Add a missing case where the edge is
1730         within the context of an Elaborate_All.
1731         (Output_Transition): Update the call to
1732         Output_Elaborate_Body_Transition.
1733         * bindo-graphs.ads, bindo-graphs.adb
1734         (Contains_Elaborate_All_Edge): New routine.
1735
1736 2019-07-08  Piotr Trojanek  <trojanek@adacore.com>
1737
1738         * lib-xref-spark_specific.adb (Create_Heap): Set dummy Etype for
1739         the fake __HEAP entity.
1740
1741 2019-07-08  Daniel Mercier  <mercier@adacore.com>
1742
1743         * gnat1drv.adb: Suppress warnings on memory representation in
1744         CodePeer compiler mode.
1745
1746 2019-07-08  Nicolas Roche  <roche@adacore.com>
1747
1748         * rtinit.c (__gnat_runtime_initialize): Remove dependency on
1749         CommandLineToArgvW.
1750
1751 2019-07-08  Doug Rupp  <rupp@adacore.com>
1752
1753         * Makefile.rtl: Handle vxworks7r2 in x86_64 and x86 vxworks7.
1754
1755 2019-07-08  Dmitriy Anisimkov  <anisimko@adacore.com>
1756
1757         * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
1758
1759 2019-07-08  Yannick Moy  <moy@adacore.com>
1760
1761         * expander.adb (Expand): Do not reset Analyzed flag always.
1762         * sem_eval.adb (Fold_Ureal): Mark node as analyzed.
1763
1764 2019-07-08  Ed Schonberg  <schonberg@adacore.com>
1765
1766         * exp_ch9.adb (Expand_N_Timed_Entry_Call): Do not insert twice
1767         the assignment statement that computes the delay value, to
1768         prevent improper tree sharing when the value is a type
1769         conversion and Float_Overflow checks are enabled.
1770
1771 2019-07-08  Hristian Kirtchev  <kirtchev@adacore.com>
1772
1773         * bindo.adb: Update the section on terminology to include new
1774         concepts.  Update the section on switches to include new
1775         entries.
1776         * bindo.ads: Add type Precedence_Kind.
1777         * bindo-builders.adb: Add with and use clauses for Debug and
1778         Bindo.Validators.  Add use clauses for
1779         Bindo.Validators.Invocation_Graph_Validators and
1780         Bindo.Validators.Library_Graph_Validators.
1781         (Build_Invocation_Graph): Validate the graph immediately after
1782         it was built.
1783         (Build_Library_Graph): Update the parameter profile. The
1784         creation of the graph is now elaboration model-agnostic.
1785         Validate the graph immediately after it was built.
1786         (Create_With_Edge): Create regular with edges for Elaborate and
1787         Elaborate_All edges when the appropriate debug switches are in
1788         effect.
1789         * bindo-builders.ads (Build_Library_Graph): Update the parameter
1790         profile.
1791         * bindo-diagnostics.adb (Diagnose_Cycle): Track the presence of
1792         an Elaborate_All edge throughout the inspection of the cycle's
1793         edges.
1794         (Output_Dynamic_Model_Suggestions): Output the suggestion only
1795         when the cycle contains at least one weak edge where the
1796         successor was statically elaborated.
1797         (Output_Elaborate_Body_Transition, Output_Forced_Transition,
1798         Output_With_Transition): Update the assertions.
1799         * bindo-elaborators.adb: Remove use clauses for
1800         Bindo.Validators.Invocation_Graph_Validators and
1801         Bindo.Validators.Library_Graph_Validators.  Remove strings
1802         Add_To_All_Candidates_Msg and Add_To_Comp_Candidates_Msg.
1803         Remove type String_Ptr.
1804         (Add_Vertex, Add_Vertex_If_Elaborable, Create_All_Candidates_Set
1805         Create_Component_Candidates_Set): Remove.
1806         (Create_Component_Vertex_Sets, Create_Vertex_Sets): New routine.
1807         (Elaborate_Component): Update the parameter profile and the
1808         comment on usage.  Reimplement the elaboration of a component.
1809         The algorithm will now attempt to elaborate as many vertices
1810         possible. If this is not possible, and a weakly elaborable
1811         vertex is available use unit was compiled using the dynamic
1812         model, the algorithm will elaborate it.
1813         (Elaborate_Library_Graph): Reimplement the elaboration of the
1814         graph. The algorithm will now attempt to elaborate as many
1815         vertices along with their components as possible. If this is not
1816         possible, and a weakly elaborable vertex is available use unit
1817         was compiled using the dynamic model, the algorithm will
1818         elaborate it along with its component.
1819         (Elaborate_Units): Merge with the functionality of
1820         Elaborate_Units_Common.
1821         (Elaborate_Units_Common, Elaborate_Units_Dynamic,
1822         Elaborate_Units_Static): Remove.
1823         (Elaborate_Vertex): Update the parameter profile and the comment
1824         on usage.  Reimplemented.
1825         (Find_Best_Candidate): Remove.
1826         (Find_Best_Elaborable_Vertex, Find_Best_Vertex,
1827         Find_Best_Weakly_Elaborable_Vertex, Has_Elaborable_Body,
1828         Insert_Elaborable_Successor, Insert_Vertex): New routines.
1829         (Is_Better_Candidate): Remove.
1830         (Is_Better_Elaborable_Vertex,
1831         Is_Better_Weakly_Elaborable_Vertex,
1832         Is_Suitable_Elaborable_Vertex,
1833         Is_Suitable_Weakly_Elaborable_Vertex): New routines.
1834         (Trace_Candidate_Vertices): Remove.
1835         (Trace_Component): Output the number of strong and weak
1836         predecessors.
1837         (Trace_Unelaborated_Vertices): Remove.
1838         (Trace_Vertex): Output the number of strong and weak
1839         predecessors.
1840         (Trace_Vertices): New routine.
1841         (Update_Successor, Update_Successors): Update the parameter
1842         profile and the comment on usage.
1843         * bindo-graphs.adb: Remove type Precedence_Kind.
1844         (Add_Edge_With_Return): Update the increment of pending
1845         predecessors.
1846         (Add_Vertex): Provide default values for strong and weak
1847         predecessors.
1848         (Complementary_Vertex): Move the initial declaration to the
1849         spec. Update the parameter profile and the comment on usage.
1850         (Contains_Weak_Static_Successor): New routine.
1851         (Create): Update the parameter profile. The creation of the
1852         graph is now elaboration model-agnostic.
1853         (Decrement_Pending_Predecessors): Update the parameter profile
1854         and the comment on usage. Reimplemented.
1855         (Delete_Edge): Update the decrement of pending predecesors.
1856         (Has_Elaborate_Body): Do not treat a vertex as being subject to
1857         Elaborate_Body when a debug switch is in effect.
1858         (Increment_Pending_Predecessors): Update the parameter profile
1859         and the comment on usage. Reimplemented.
1860         (Is_Elaborable_Component): Reimplemented.
1861         (Is_Elaborable_Vertex): Move the initial declaration to the
1862         spec.  Reimplemented.
1863         (Is_Elaborate_Body_Pair): New routine.
1864         (Is_Dynamically_Elaborated): Update the parameter profile.
1865         Reimplemented.
1866         (Is_Weakly_Elaborable_Vertex): New routine.
1867         (Pending_Predecessors): Removed.
1868         (Pending_Predecessors_For_Elaboration,
1869         Pending_Strong_Predecessors, Pending_Weak_Predecessors,
1870         Update_Pending_Predecessors): New routines.
1871         (Update_Pending_Predecessors_Of_Components): Update the
1872         increment of pending predecessors.
1873         * bindo-graphs.ads: Update the components of type
1874         Component_Attributes.  Update the components of type
1875         Library_Graph_Attributes.  Update the components of type
1876         Library_Graph_Vertex_Attributes.  Update the initialization of
1877         No_Component_Attributes.  Update the initialization of
1878         No_Library_Graph_Vertex_Attributes.
1879         (Complementary_Vertex, Contains_Weak_Static_Successor): New
1880         routines.
1881         (Create): Update the parameter profile and the comment on usage.
1882         (Decrement_Pending_Predecessors, Is_Dynamically_Elaborated):
1883         Update the parameter profile and the comment on usage.
1884         (Is_Elaborate_Body_Pair, Is_Weakly_Elaborable_Vertex): New
1885         routines.
1886         (Pending_Predecessors): Removed.
1887         (Pending_Predecessors_For_Elaboration,
1888         Pending_Strong_Predecessors, Pending_Weak_Predecessors): New
1889         routines.
1890         * bindo-writers.adb (Write_Components): Moved from the spec.
1891         (Write_Component): Output the strong and weak predecessors.
1892         (Write_Library_Graph): Output the components as part of the
1893         graph.
1894         (Write_Library_Graph_Vertex): Output the strong and weak
1895         predecessors.
1896         * bindo-writers.ads (Write_Components): Moved to the body.
1897         * debug.adb: Add and document new GNATbind switches -d_a, -d_b,
1898         -d_e.
1899         * bindo-validators.adb: Minor reformattings.
1900
1901 2019-07-08  Bob Duff  <duff@adacore.com>
1902
1903         * libgnat/g-sercom.ads, libgnat/g-sercom__linux.adb (Data_Rate):
1904         Support additional data rates.
1905
1906 2019-07-08  Olivier Hainque  <hainque@adacore.com>
1907
1908         * gcc-interface/trans.c (Compilation_Unit_to_gnu): Don't request
1909         DECL_ARTIFICIAL_P on elab proc declarations.
1910
1911 2019-07-08  Eric Botcazou  <ebotcazou@adacore.com>
1912
1913         * repinfo.adb (List_Record_Info): Declare Incomplete_Layout and
1914         Not_In_Extended_Main local exceptions.
1915         (List_Structural_Record_Layout): For an extension, raise the
1916         former if the parent subtype has not been built and the latter
1917         if it is not declared in the main source unit.  Fall back to the
1918         flat layout if either exception has been raised.
1919
1920 2019-07-08  Ed Schonberg  <schonberg@adacore.com>
1921
1922         * libgnat/a-strfix.adb (Delete): The RM describes the semantics
1923         of Delete as equivalent to that of Replace_String with a null
1924         argument. As a result, deleting a null string that starts past
1925         the end of its argument is a noop and must not raise
1926         Index_Error.
1927
1928 2019-07-08  Javier Miranda  <miranda@adacore.com>
1929
1930         * exp_disp.adb (Register_Primitive): When registering a
1931         primitive in the secondary dispatch table, handle primitive
1932         inherited through several levels of type derivation (required to
1933         properly handle inherited 'null' primitive).
1934
1935 2019-07-08  Bob Duff  <duff@adacore.com>
1936
1937         * doc/gnat_ugn/gnat_utility_programs.rst: Document handling of
1938         preprocessor directives in GNATpp.
1939
1940 2019-07-08  Javier Miranda  <miranda@adacore.com>
1941
1942         * gnat1drv.adb (Post_Compilation_Validation_Checks:
1943         Validate_Compile_Time_Warning_Errors is now located in sem_prag
1944         (instead of sem_ch13).
1945         * sem_ch13.ads (Validate_Compile_Time_Warning_Error,
1946         Validate_Compile_Time_Warning_Errors): Move to sem_prag.
1947         * sem_ch13.adb
1948         (Compile_Time_Warnings_Errors): Move to sem_prag.
1949         (Initialize): Remove initialization of table
1950         Compile_Time_Warning_Errors.
1951         (Validate_Compile_Time_Warning_Error,
1952         Validate_Compile_Time_Warning_Errors): Move to sem_prag.
1953         * sem_prag.ads (Validate_Compile_Time_Warning_Errors): New
1954         procedure.
1955         * sem_prag.adb (Initialize): Initialize table
1956         Compile_Time_Warning_Errors.
1957
1958 2019-07-08  Ed Schonberg  <schonberg@adacore.com>
1959
1960         * sem_ch13.adb (Analyze_Aspect_Specifications): For a
1961         pre/postcondition of a generic subprogram declaration, do not
1962         use Relocate_Node on the aspect expression to construct the
1963         corresponding attribute specification, to prevent tree anomalies
1964         when the expression is a call with named actual parameters.
1965
1966 2019-07-08  Javier Miranda  <miranda@adacore.com>
1967
1968         * sem_attr.adb (Analyze_Attribute [Attribute_Size]): For pragmas
1969         used to report user defined compile time warning or errors
1970         handle 'Size for types with known static RM size.
1971
1972 2019-07-08  Justin Squirek  <squirek@adacore.com>
1973
1974         * exp_imgv.adb (Build_Enumeration_Image_Tables): Default SSO for
1975         the building of image tables.
1976         (Expand_Image_Attribute): Minor cleanup.
1977
1978 2019-07-08  Dmitriy Anisimkov  <anisimko@adacore.com>
1979
1980         * libgnat/g-socket.ads, libgnat/g-socket.adb: Improve
1981         documentation.
1982         (Get_Socket_Option, Set_Socket_Option): Remove default value for
1983         the Level formal.
1984
1985 2019-07-08  Ed Schonberg  <schonberg@adacore.com>
1986
1987         * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): For an
1988         unanalized aspect in a generic context that has not been
1989         analyzed yet, if the aspect applies to a type, place the type on
1990         the scope stack to make its components visible, before checking
1991         conformance with the version of the expression analyzed at the
1992         freeze point.
1993
1994 2019-07-05  Justin Squirek  <squirek@adacore.com>
1995
1996         * checks.adb (Apply_Accessibility_Check): Add logic to fetch the
1997         function result accessibility level if one is required within
1998         the generated check.
1999         * exp_ch6.adb (Needs_Result_Accessibility_Level): Modify
2000         controlling elsif block to handle more cases such as anonymous
2001         access results and disable checking for coextensions.
2002
2003 2019-07-05  Ed Schonberg  <schonberg@adacore.com>
2004
2005         * sem_ch9.adb (Analyze_Accept_Statement): If this is an illegal
2006         accept statement for an enclosing entry abandon analysis to
2007         prevent scope mismatches and potential infinite loops in
2008         compiler.
2009
2010 2019-07-05  Hristian Kirtchev  <kirtchev@adacore.com>
2011
2012         * ali.adb (For_Each_Invocation_Construct,
2013         For_Each_Invocation_Relation): New version.
2014         (Scan_ALI): Initialize field Invocation_Graph_Encoding.
2015         (Set_Invocation_Graph_Encoding): Update the setting of the
2016         invocation graph encoding.
2017         * ali.ads: Move field Invocation_Graph_Encoding from Unit_Record
2018         to ALI_Record because the encoding applies to the whole ALI,
2019         rather than one of the units (spec or body) for which the ALI
2020         file was created.
2021         (For_Each_Invocation_Construct, For_Each_Invocation_Relation):
2022         New version.
2023         * bindo.adb: Update the section on switches.  Complete the
2024         section of debugging elaboration order issues.
2025         (Find_Elaboration_Order): Prepare the routine for the switch
2026         from the old to the new elaboration order mechanism.
2027         * bindo-diagnostics.adb (Find_And_Output_Invocation_Paths):
2028         Manage a visited set used by Visit_Vertex.
2029         (Output_All_Cycles_Suggestions,
2030         Output_Dynamic_Model_Suggestions): Clarify the nature of the
2031         suggested switch.
2032         (Output_Elaborate_Body_Transition): Update the diagnostic to
2033         emit a better message.
2034         (Output_Forced_Suggestions, Output_Full_Encoding_Suggestions):
2035         Clarify the nature of the suggested switch.
2036         (Visit_Vertex): Update the parameter profile to add a set of
2037         invokers visited during the transition. This set prevents
2038         infinite exploration of the graph in case the invocations are
2039         recursive.
2040         * bindo-elaborators.adb: Add a use clause for
2041         Bindo.Writers.Dependency_Writers.
2042         (Elaborate_Units_Common): Output the library graph after it has
2043         been augmented with invocation edges. Output just the components
2044         instead of outputting the whole library graph again.
2045         (Elaborate_Units_Dynamic, Elaborate_Units_Static): Output the
2046         dependencies as expressed in the library graph.
2047         * bindo-units.adb (Invocation_Graph_Encoding): Update the
2048         extraction of the invocation graph encoding.
2049         * bindo-writers.adb: Add with and use clauses for Binderr and
2050         Butil.
2051         (palgc, plgc): New debug routine.
2052         (Write_Components): Moved to the spec. Add a header for the
2053         output.
2054         (Write_Dependencies, Write_Dependencies_Of_Vertex,
2055         Write_Dependency_Edge): New routine.
2056         (Write_Elaboration_Order): Update the logic to follow the format
2057         of Binde's order output.
2058         (Write_Library_Graph): Do not output the components every time
2059         the graph is written.
2060         (Write_Unit): Output the invocation graph encoding of the unit.
2061         Output the invocation constructs and relations for the unit
2062         only.
2063         * bindo-writers.ads (Write_Components): Moved from the body.
2064         (Write_Dependencies): New routine.
2065         * bindusg.adb: Prepare the routine for the switch from the old
2066         to the new elaboration order mechanism.
2067         * debug.adb: Binder switch -d_O is now not associated with any
2068         functionality.
2069         * einfo.adb (Is_Elaboration_Target): The attribute applies to
2070         packages, as specified by the comment on the attribute usage.
2071         * opt.ads: Add a global flag which controls the choice between
2072         the new and the legacy elaboration order mechanism.
2073         * sem_elab.adb: Add Package_Target to type Target_Kind.
2074         (Build_Elaborate_Body_Procedure, Build_Elaborate_Procedure,
2075         Build_Elaborate_Spec_Procedure, Check_Elaboration_Scenarios,
2076         Check_SPARK_Model_In_Effect): Use Main_Unit_Entity to obtain the
2077         entity of the main unit.
2078         (Create_Package_Rep): New routine.
2079         (Create_Target_Rep): Add processing for packages.
2080         (Declaration_Placement_Of_Node, Has_Prior_Elaboration): Use
2081         Main_Unit_Entity to obtain the entity of the main
2082          unit.
2083         (Invocation_Graph_Recording_OK): Prepare the routine for the
2084         switch from the old to the new elaboration order mechanism.
2085         (Main_Unit_Entity): New routine.
2086         (Meet_Elaboration_Requirement,
2087         Process_Conditional_ABE_Variable_Reference): Use
2088         Main_Unit_Entity to obtain the entity of the main unit.
2089         (Process_Invocation_Instantiation): New routine.
2090         (Process_Invocation_Scenario): Add processing for
2091         instantiations.
2092         * switch-b.adb (Scan_Binder_Switches): Prepare the routine for
2093         the switch from the old to the new elaboration order mechanism.
2094
2095 2019-07-05  Joffrey Huguet  <huguet@adacore.com>
2096
2097         * libgnat/a-textio.adb: Add abstract state refinment.
2098         * libgnat/a-textio.ads: Add File_System abstract state.  Add
2099         global contracts, contract cases, preconditions and
2100         postconditions to procedures and functions.
2101         (Set_Input, Set_Output, Set_Error, Standard_Input,
2102         Standard_Output, Standard_Error, Current_Input, Current_Output,
2103         Current_Error): Turn SPARK_Mode off.
2104         (Get_Line): Turn SPARK_Mode off on Get_Line functions.
2105         * libgnat/a-tideio.ads, libgnat/a-tienio.ads,
2106         libgnat/a-tifiio.ads, libgnat/a-tiflio.ads,
2107         libgnat/a-tiinio.ads, libgnat/a-timoio.ads: Add global
2108         contracts, contract cases, preconditions and postconditions to
2109         procedures and functions.
2110
2111 2019-07-05  Arnaud Charlet  <charlet@adacore.com>
2112
2113         * doc/gnat_ugn/platform_specific_information.rst: Refresh doc on
2114         installing from the command line on Windows.  Remove obsolete
2115         part.
2116         * gnat_ugn.texi: Regenerate.
2117
2118 2019-07-05  Vasiliy Fofanov  <fofanov@adacore.com>
2119
2120         * libgnat/a-wichha.ads (Is_Alphanumeric): Replace comment with
2121         the correct one.  Also capitalize references to False
2122         throughout.
2123
2124 2019-07-05  Eric Botcazou  <ebotcazou@adacore.com>
2125
2126         * exp_ch4.adb (Expand_N_Indexed_Component): Do not expand actual
2127         parameters of function calls here either.
2128
2129 2019-07-05  Hristian Kirtchev  <kirtchev@adacore.com>
2130
2131         * bindo-units.adb, checks.adb, exp_attr.adb, exp_ch3.adb,
2132         exp_ch4.adb, exp_pakd.adb, lib-writ.adb, libgnat/g-traceb.adb,
2133         libgnat/g-traceb.ads, libgnat/s-stratt.ads, sem_aux.ads,
2134         sem_util.adb: Minor reformatting.
2135
2136 2019-07-05  Ed Schonberg  <schonberg@adacore.com>
2137
2138         * sem_ch13.adb (Build_Predicate_Functions): If a subtype that
2139         carries a static predicate aspect is frozen immediately after
2140         its declaration, ensure that the generated function body created
2141         for predicate checking is inserted after the corresponding
2142         subprogram declaration, which is created at the point the
2143         declaration is elaborated.
2144
2145 2019-07-05  Hristian Kirtchev  <kirtchev@adacore.com>
2146
2147         * exp_ch7.adb (Cleanup_Record): Use the underlying type when
2148         checking for components with tasks.
2149
2150 2019-07-05  Arnaud Charlet  <charlet@adacore.com>
2151
2152         * libgnarl/s-osinte__linux.ads: Link with -lrt before -lpthread.
2153
2154 2019-07-05  Ed Schonberg  <schonberg@adacore.com>
2155
2156         * exp_pakd.adb (Expand_Bit_Packed_Element_Set): Add explicit
2157         range checks when the index type of the bit-packed array is an
2158         enumeration type with a non-standard representation,
2159
2160 2019-07-05  Hristian Kirtchev  <kirtchev@adacore.com>
2161
2162         * sem_res.adb (Is_Control_Flow_Statement): Delay statements
2163         contain an expression, which in turn may have side effects and
2164         affect the infinite recursion. As a result, delay statements
2165         should not be treated specially.
2166
2167 2019-07-05  Arnaud Charlet  <charlet@adacore.com>
2168
2169         * libgnarl/s-linux.ads, libgnarl/s-linux__alpha.ads,
2170         libgnarl/s-linux__android.ads, libgnarl/s-linux__hppa.ads,
2171         libgnarl/s-linux__mips.ads, libgnarl/s-linux__riscv.ads,
2172         libgnarl/s-linux__sparc.ads: Fix typos in comments.
2173
2174 2019-07-05  Hristian Kirtchev  <kirtchev@adacore.com>
2175
2176         * sem_res.adb (Check_Infinite_Recursion): Reimplemented.
2177         (Enclosing_Declaration_Or_Statement,
2178         Invoked_With_Different_Arguments, Is_Conditional_Statement,
2179         Is_Control_Flow_Statement, Is_Immediately_Within_Body,
2180         Is_Raise_Idiom, Is_Raise_Statement, Is_Sole_Statement,
2181         Preceded_By_Control_Flow_Statement,
2182         Within_Conditional_Statement): New routines.
2183
2184 2019-07-05  Javier Miranda  <miranda@adacore.com>
2185
2186         * exp_ch4.adb (Expand_N_Type_Conversion): Do not apply an
2187         accessibility check when the conversion is an access to
2188         class-wide interface type and it is an actual parameter.
2189         * exp_ch6.adb (Expand_Call_Helper): Add documentation on the
2190         accessibility level of an anonymous allocator defining the value
2191         of an access parameter.
2192         * sem_util.ads, sem_util.adb (Dynamic_Accessibility_Level): Add
2193         support for an anonymous allocator whose type is that of a
2194         stand-alone object of an anonymous access to object type.
2195
2196 2019-07-05  Piotr Trojanek  <trojanek@adacore.com>
2197
2198         * einfo.ads, sem_res.adb: Typo fixes in comments.
2199
2200 2019-07-05  Bob Duff  <duff@adacore.com>
2201
2202         * exp_ch6.adb (Is_Build_In_Place_Function): Narrow the check for
2203         Has_Foreign_Convention to the imported case only.  If a
2204         build-in-place function is exported, and called from Ada code,
2205         build-in-place protocols should be used.
2206
2207 2019-07-05  Ed Schonberg  <schonberg@adacore.com>
2208
2209         * sem_util.adb (Encloing_Subprogram): If Enclosing_Dynamic_Scope
2210         is a loop, continue climbing the scope stack to find the
2211         enclosing subprogram.
2212         (Gather_Components): Handle properly a choice in a record
2213         aggregate that is given by a subtype with a static predicate.
2214
2215 2019-07-05  Javier Miranda  <miranda@adacore.com>
2216
2217         * debug.adb (-gnatd.K): Leave available this switch.
2218         * contracts.adb (Build_And_Analyze_Contract_Only_Subprograms):
2219         Remove.
2220         * scil_ll.ads, scil_ll.adb (Contract_Only_Body_Flag,
2221         Contract_Only_Body_Nodes, Get_Contract_Only_Body,
2222         Is_Contract_Only_Body, Set_Contract_Only_Body): Remove.
2223
2224 2019-07-05  Pierre-Marie de Rodat  <derodat@adacore.com>
2225
2226         * libgnat/a-strunb.ads: Import documentation from the RM
2227
2228 2019-07-05  Pierre-Marie de Rodat  <derodat@adacore.com>
2229
2230         * libgnat/a-strfix.ads: Import documentation from the RM
2231
2232 2019-07-05  Yannick Moy  <moy@adacore.com>
2233
2234         * adabkend.adb (Scan_Back_End_Switches): Accept -Og and -Ofast
2235         switches.
2236
2237 2019-07-05  Hristian Kirtchev  <kirtchev@adacore.com>
2238
2239         * ali.adb: Relocate types Invocation_Construct_Record,
2240         Invocation_Relation_Record, and Invocation_Signature_Record to
2241         the body of ALI.  Relocate tables Invocation_Constructs,
2242         Invocation_Relations, and Invocation_Signatures to the body of
2243         ALI.  Remove type Body_Placement_Codes.  Add new types
2244         Declaration_Placement_Codes, and
2245         Invocation_Graph_Encoding_Codes.  Update the literals of type
2246         Invocation_Graph_Line_Codes.
2247         (Add_Invocation_Construct): Update the parameter profile. Add an
2248         invocation construct built from all attributes provided.
2249         (Add_Invocation_Relation): Update the parameter profile. Add an
2250         invocation relation built from all attributes provided.
2251         (Body_Placement): New routine.
2252         (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
2253         Removed.
2254         (Code_To_Declaration_Placement_Kind,
2255         Code_To_Invocation_Graph_Encoding_Kind, Column,
2256         Declaration_Placement_Kind_To_Code, Extra,
2257         For_Each_Invocation_Construct, For_Each_Invocation_Relation,
2258         Invocation_Graph_Encoding,
2259         Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
2260         Locations, Name): New routine.
2261         (Scan_Invocation_Construct_Line): Reimplement the scanning
2262         mechanism.
2263         (Scan_Invocation_Graph_Attributes_Line): New routine.
2264         (Scan_Invocation_Graph_Line): Use a case statement to dispatch.
2265         (Scan_Invocation_Relation_Line): Reimplement the scanning
2266         mechanism.
2267         (Scope): New routine.
2268         (Set_Invocation_Graph_Encoding, Signature, Spec_Placement,
2269         Target): New routine.
2270         * ali.ads: Add new type Invocation_Graph_Encoding_Kind.  Add
2271         component Invocation_Graph_Encoding to type Unit_Record.
2272         Relocate various types and data structures to the body of ALI.
2273         (Add_Invocation_Construct, Add_Invocation_Relation): Update the
2274         parameter profile.
2275         (Body_Placement): New routine.
2276         (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
2277         Removed.
2278         (Code_To_Declaration_Placement_Kind,
2279         Code_To_Invocation_Graph_Encoding_Kind, Column,
2280         Declaration_Placement_Kind_To_Code, Extra,
2281         For_Each_Invocation_Construct, For_Each_Invocation_Relation,
2282         Invocation_Graph_Encoding,
2283         Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
2284         Locations, Name, Scope, Set_Invocation_Graph_Encoding,
2285         Signature, Spec_Placement, Target): New routine.
2286         * bindo.adb: Add with clause for Binde.  Add with and use
2287         clauses for Debug.  Update the documentation.  Add new switches.
2288         (Find_Elaboration_Order): Dispatch to the proper elaboration
2289         mechanism.
2290         * bindo-augmentors.adb:
2291         Remove with and use clauses for GNAT and GNAT.Sets.  Remove
2292         membership set VS.  Update the parameter profiles of most
2293         routines to use better parameter names.  Update the
2294         implementation of most routine to use the new parameter names.
2295         Remove various redundant assertions.
2296         * bindo-builders.adb: Use better names for instantiated data
2297         structures. Update all references to these names.  Update the
2298         parameter profiles of most routines to use better parameter
2299         names.  Update the implementation of most routine to use the new
2300         parameter names.
2301         (Build_Library_Graph): Update the parameter profile. Update the
2302         call to Create.
2303         (Create_Vertex): Reimplemented.
2304         (Declaration_Placement_Vertex): New routine.
2305         * bindo-builders.ads (Build_Library_Graph): Update the parameter
2306         profile and comment on usage.
2307         * bindo-diagnostics.adb: Almost a new unit.
2308         * bindo-diagnostics.ads: Add a use clause for
2309         Bindo.Graphs.Invocation_Graphs.  Remove package
2310         Cycle_Diagnostics.
2311         (Diagnose_Circularities): New routine.
2312         * bindo-elaborators.adb: Remove the with and use clauses for
2313         Binderr and GNAT.Sets.  Remove the use clause for
2314         Bindo.Diagnostics.Cycle_Diagnostics.  Remove membership set VS.
2315         Update the parameter profiles of most routines to use better
2316         parameter names.  Update the implementation of most routine to
2317         use the new parameter names.  (Elaborate_Units_Common): Update
2318         the parameter profile. Pass an infication to the library graph
2319         builder whether the dynamic model is in effect.
2320         (Elaborate_Units_Dynamic, Elaborate_Units_Static): Use
2321         Diagnose_Circularities to provide diagnostics.
2322         (Update_Successor): Use routine In_Same_Component to determine
2323         whether the predecessor and successor reside in different
2324         components.
2325         * bindo-graphs.adb: Add with and use clauses for Butil, Debug,
2326         Output, and Bindo.Writers.  Remove with and use clauses for
2327         GNAT.Lists.  Update the parameter profiles of most routines to
2328         use better parameter names.  Update the implementation of most
2329         routine to use the new parameter names.  Remove various
2330         redundant assertions.  Remove doubly linked list EL.  Add new
2331         type Precedence_Kind.
2332         (Add_Cycle): New routine.
2333         (Add_Vertex): Update the parameter profile. Update the creation
2334         of vertex attributes.
2335         (Add_Vertex_And_Complement, Body_Vertex, Column,
2336         Complementary_Vertex, Copy_Cycle_Path, Cycle_Kind_Of): New
2337         routines.
2338         (Destroy_Invocation_Graph_Edge, Destroy_Library_Graph_Cycle,
2339         Destroy_Library_Graph_Edge, Extra, File_Name,
2340         Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge,
2341         Find_Cycles, Find_First_Lower_Precedence_Cycle,
2342         Get_LGC_Attributes, Has_Next, Hash_Library_Graph_Cycle,
2343         Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
2344         Highest_Precedence_Edge, In_Same_Component, Insert_And_Sort,
2345         Invocation_Edge_Count, Invocation_Graph_Encoding,
2346         Is_Cycle_Initiating_Edge, Is_Cyclic_Edge,
2347         Is_Cyclic_Elaborate_All_Edge, Is_Cyclic_Elaborate_Body_Edge,
2348         Is_Cyclic_Elaborate_Edge, Is_Cyclic_Forced_Edge,
2349         Is_Cyclic_Invocation_Edge, Is_Cyclic_With_Edge,
2350         Is_Dynamically_Elaborated, Is_Elaborate_All_Edge,
2351         Is_Elaborate_Body_Edge, Is_Elaborate_Edge: New routines.
2352         (Is_Existing_Predecessor_Successor_Relation): Removed.
2353         (Is_Forced_Edge, Is_Invocation_Edge, Is_Recorded_Cycle,
2354         Is_Recorded_Edge, Is_With_Edge, Iterate_Edges_Of_Cycle, Kind,
2355         Length): New routine.
2356         (Lib_Vertex): Removed.
2357         (Line, Links_Vertices_In_Same_Component,
2358         Maximum_Invocation_Edge_Count, Next, Normalize_And_Add_Cycle,
2359         Normalize_Cycle_Path, Number_Of_Cycles, Path, Precedence,
2360         Remove_Vertex_And_Complement, Sequence_Next_Cycle): New routines.
2361         (Sequence_Next_IGE_Id): Renamed to Sequence_Next_Edge.
2362         (Sequence_Next_IGV_Id): Renamed to Sequence_Next_Vertex.
2363         (Sequence_Next_LGE_Id): Renamed to Sequence_Next_Edge.
2364         (Sequence_Next_LGV_Id): Renamed to Sequence_Next_Vertex.
2365         (Set_Is_Existing_Predecessor_Successor_Relation): Removed.
2366         (Set_Is_Recorded_Cycle, Set_Is_Recorded_Edge,
2367         Set_LGC_Attributes, Spec_Vertex, Trace_Cycle, Trace_Edge,
2368         Trace_Eol, Trace_Vertex): New routines.
2369         * bindo-graphs.ads: Add with and use clauses for Types and
2370         GNAT.Lists.  Update the parameter profiles of most routines to
2371         use better parameter names.  Update the implementation of most
2372         routine to use the new parameter names.  Add the new
2373         instantiated data structures IGE_Lists, IGV_Sets, LGC_Lists,
2374         LGE_Lists, LGE_Sets, LGV_Sets, and RC_Sets.  Add new type
2375         Library_Graph_Cycle_Id along with an empty and initial value.
2376         Remove component Lib_Vertex and add new components Body_Vertex
2377         and Spec_Vertex to type Invocation_Graph_Vertex_Attributes.  Add
2378         new type Library_Graph_Cycle_Kind.  Add new iterators
2379         All_Cycle_Iterator and Edges_Of_Cycle_Iterator.  Add new type
2380         Library_Graph_Cycle_Attributes.  Add new components
2381         Cycle_Attributes, Cycles, and Dynamically_Elaborated to type
2382         Library_Graph_Attributes.
2383         (Body_Vertex, Column, Destroy_Invocation_Graph_Edge,
2384         Destroy_Library_Graph_Cycle_Attributes,
2385         Destroy_Library_Graph_Edge, Extra, File_Name, Find_Cycles,
2386         Has_Elaborate_All_Cycle, Has_Next, Hash_Library_Graph_Cycle,
2387         Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
2388         In_Same_Component, Invocation_Edge_Count,
2389         Invocation_Graph_Encoding, Is_Dynamically_Elaborated,
2390         Is_Elaborate_All_Edge, Is_Elaborate_Body_Edge,
2391         Is_Elaborate_Edge, Is_Forced_Edge, Is_Invocation_Edge,
2392         Is_With_Edge, Iterate_All_Cycles, Iterate_Edges_Of_Cycle, Kind):
2393         New routines.
2394         (Length, Lib_Vertex, (Line, Next, Number_Of_Cycles, Present,
2395         Same_Library_Graph_Cycle_Attributes, Spec_Vertex): New routines.
2396         * bindo-units.adb (File_Name, Invocation_Graph_Encoding): New
2397         routines.
2398         * bindo-units.ads: Add new instantiated data structure
2399         Unit_Sets.
2400         (File_Name, Invocation_Graph_Encoding): New routine.
2401         * bindo-validators.adb: Remove with and use clauses for GNAT and
2402         GNAT.Sets.  Remove membership set US.  Update the parameter
2403         profiles of most routines to use better parameter names.  Update
2404         the implementation of most routine to use the new parameter
2405         names.
2406         (Validate_Cycle, Validate_Cycle_Path, Validate_Cycles,
2407         Validate_Invocation_Graph_Vertex): Remove the validation of
2408         component Lib_Vertex. Add the validation of components
2409         Body_Vertex and Spec_Vertex.
2410         (Write_Error): New routine.
2411         * bindo-validators.ads (Validate_Cycles): New routine.
2412         * bindo-writers.adb: Update the parameter profiles of most
2413         routines to use better parameter names.  Update the
2414         implementation of most routine to use the new parameter names.
2415         (Write_Cycle, Write_Cyclic_Edge, Write_Cycles): New routines.
2416         (Write_Invocation_Graph_Vertex): Remove the output of component
2417         Lib_Vertex. Add the output of components Body_Vertex and
2418         Spec_Vertex.
2419         * bindo-writers.ads (Write_Cycles): New routine.
2420         * debug.adb: Use binder switches -d_C and -d_P, add
2421         documentation on their usage.
2422         * gnatbind.adb: Remove with and use clauses for Binde.  Delegate
2423         the choice of elaboration mechanism to Bindo.
2424         * lib-writ.adb (Column, Extra, Invoker, Kind, Line, Locations,
2425         Name, Placement, Scope, Signature, Target): Removed.
2426         (Write_Invocation_Graph): Moved at the top level.
2427         (Write_Invocation_Graph_Attributes): New routine.
2428         (Write_Invocation_Relation, Write_Invocation_Signature): Moved
2429         at the top level.
2430         * lib-writ.ads: Add a documentation section on invocation graph
2431         attributes.
2432         * sem_elab.adb (Body_Placement_Of): New routine.
2433         (Declare_Invocation_Construct): Update the call to
2434         Add_Invocation_Construct.
2435         (Declaration_Placement_Of_Node): New routine.
2436         (Get_Invocation_Attributes): Correct the retrieval of the
2437         enclosing subprogram where the postcondition procedure lives.
2438         (Placement_Of, Placement_Of_Node): Removed.
2439         (Record_Invocation_Graph): Record the encoding format used.
2440         (Record_Invocation_Graph_Encoding): New routine.
2441         (Record_Invocation_Relation): Update the call to
2442         Add_Invocation_Relation.
2443         (Spec_Placement_Of): Removed.
2444         * libgnat/g-lists.ads, libgnat/g-lists.adb (Equal): New routine.
2445
2446 2019-07-05  Ed Schonberg  <schonberg@adacore.com>
2447
2448         * checks.adb (Apply_Predicate_Check): Except within the
2449         subprogram body that defines the formal, do not apply predicate
2450         check on a formal IN parameter: such a check is redundant and
2451         its expansion can lead to out-of-scope references when it is
2452         originates in a function call in a precondition,
2453
2454 2019-07-05  Yannick Moy  <moy@adacore.com>
2455
2456         * sem_res.adb (Resolve_Call): Cannot inline in quantified
2457         expressions.
2458         * sem_util.adb, sem_util.ads (In_Quantified_Expression): New
2459         function.
2460
2461 2019-07-05  Bob Duff  <duff@adacore.com>
2462
2463         * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
2464         Fix typo.
2465         * gnat_rm.texi: Regenerate.
2466
2467 2019-07-05  Bob Duff  <duff@adacore.com>
2468
2469         * exp_attr.adb (Input): Take the No_Stream_Optimizations
2470         restriction into account.
2471
2472 2019-07-05  Claire Dross  <dross@adacore.com>
2473
2474         * libgnat/a-cofove.ads, libgnat/a-cofove.adb: Definite formal
2475         vectors are now always bounded so that they do not need to be
2476         limited anymore.
2477
2478 2019-07-05  Dmitriy Anisimkov  <anisimko@adacore.com>
2479
2480         * libgnat/g-traceb.ads, libgnat/g-traceb.adb (Call_Chain): New
2481         function.
2482
2483 2019-07-04  James Clarke  <jrtc27@debian.org>
2484
2485         * libgnarl/s-osinte__kfreebsd-gnu.ads (clockid_t): Make type
2486         definition public.
2487         (CLOCK_REALTIME): Make value public.
2488
2489 2019-07-04  Javier Miranda  <miranda@adacore.com>
2490
2491         * exp_tss.adb (Init_Proc): Adding missing support for access to
2492         subprograms and access to protected subprograms of non-default
2493         C++ constructors.
2494
2495 2019-07-04  Eric Botcazou  <ebotcazou@adacore.com>
2496
2497         * gnat1drv.adb (Adjust_Global_Switches): Use proper interface to
2498         set the validity settings in CodePeer mode.
2499         * par-load.adb (Load): Remove all code dealing with validity
2500         settings.
2501         * validsw.ads (Validity_Check_Copies): Alphabetize.
2502         * validsw.adb (Reset_Validity_Check_Options): Set all options to
2503         off.
2504         (Save_Validity_Check_Options): Save all options.
2505
2506 2019-07-04  Hristian Kirtchev  <kirtchev@adacore.com>
2507
2508         * exp_ch3.adb, exp_ch4.adb, exp_ch4.ads, exp_ch5.adb,
2509         exp_ch7.adb, exp_ch9.adb, exp_ch11.adb, exp_unst.adb,
2510         rtsfind.ads, sem_attr.adb, sem_ch10.adb, sem_ch12.adb,
2511         sem_ch13.adb, sem_dim.adb, sem_disp.adb, xref_lib.adb: Minor
2512         reformatting.
2513
2514 2019-07-04  Joffrey Huguet  <huguet@adacore.com>
2515
2516         * libgnarl/a-taside.ads: Add assertion policy to ignore
2517         preconditions.
2518         (Abort_Task, Is_Terminated, Is_Callable): Add preconditions.
2519
2520 2019-07-04  Eric Botcazou  <ebotcazou@adacore.com>
2521
2522         * doc/gnat_rm/implementation_defined_pragmas.rst: Fix
2523         capitalization and parenthesis glitches.
2524         * gnat_rm.texi: Regenerate.
2525
2526 2019-07-04  Ed Schonberg  <schonberg@adacore.com>
2527
2528         * sem_ch10.adb (Remove_Context_Clauses): Handle properly the
2529         removal of a limited_with_clause which appears in the library
2530         unit oF the main unit, when some other unit in the context has a
2531         regular with_clause on the same unit, to prevent spurious
2532         visibility errors in the subsequent analysis of pending instance
2533         bodies.
2534
2535 2019-07-04  Hristian Kirtchev  <kirtchev@adacore.com>
2536
2537         * sem_elab.adb: Add new type Elaboration_Phase_Status along with
2538         a global to keep track of the elaboration phase status.
2539         Initialize all internal data structures to Nil for services
2540         Elaborated_Units, Internal_Representation, and Scenario_Storage.
2541         (Build_Call_Marker): Do not create a call marker when the
2542         elaboration phase is not active.
2543         (Build_Variable_Reference_Marker): Do not create a call marker
2544         when the elaboration phase is not active.
2545         (Check_Elaboration_Scenarios): Destroy all internal structures
2546         when the elaboration phase does not have to run. Do not execute
2547         when the elaboration phase is not active.
2548         (Elaboration_Phase_Active): New routine.
2549         (Finalize_All_Data_Structures): New routine.
2550         (Initialize): Initialize all internal data structures and signal
2551         that the elaboration phase has started.
2552         (Initialize_All_Data_Structures): New routine.
2553         (Initialize_Elaborated_Units): Initialize all internal data
2554         structures.
2555         (Initialize_Internal_Representation): Initialize all internal
2556         data structures.
2557         (Initialize_Scenario_Storage): Initialize all internal data
2558         structures.
2559         (Kill_Elaboration_Scenario): Do not execute when the elaboration
2560         phase is not active.
2561         (Set_Elaboration_Phase): New routine.
2562         (Update_Elaboration_Scenario): Do not execute when the
2563         elaboration phase is not active.
2564
2565 2019-07-04  Gary Dismukes  <dismukes@adacore.com>
2566
2567         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The special
2568         treatment of calling Mask_Unfrozen_Types must also be done in
2569         the case of an Ignored_Ghost_Entity, because Expander_Active is
2570         False in that case.
2571
2572 2019-07-04  Yannick Moy  <moy@adacore.com>
2573
2574         * sem_prag.adb (Check_Library_Level_Entity): Update for new rule
2575         on SPARK_Mode.
2576
2577 2019-07-04  Justin Squirek  <squirek@adacore.com>
2578
2579         * sem_disp.adb (Check_Controlling_Formals): Obtain the full view
2580         before type comparison.
2581
2582 2019-07-04  Ed Schonberg  <schonberg@adacore.com>
2583
2584         * exp_ch4.ads, exp_ch4.adb (Build_Eq_Call): New visible
2585         subprogram, extracted from Expand_Composite_Equality, to handle
2586         properly the composition of equality for variant record types.
2587         * exp_ch3.adb (MAke_Eq_If): Use Build_Eq_Call for each
2588         component, to handle properly the case of a component with a
2589         user-defined equality. Revert to predefined equality if the
2590         user-defined operation is abstract, to maintain compatibility
2591         with older versions,
2592
2593 2019-07-04  Justin Squirek  <squirek@adacore.com>
2594
2595         * exp_ch3.adb (Build_Initialization_Call): Fixup
2596         *_skip_null_excluding_check argument to handle new default.
2597         (Init_Formals): Make *_skip_null_excluding_check formal default
2598         to False
2599         * exp_ch4.adb (Expand_N_Allocator): Add comment to note heavy
2600         code duplication
2601
2602 2019-07-04  Bob Duff  <duff@adacore.com>
2603
2604         * sem_ch3.adb (Access_Definition): Do not create a master unless
2605         Tasking_Allowed. Otherwise, this fails on restricted runtimes.
2606
2607 2019-07-04  Hristian Kirtchev  <kirtchev@adacore.com>
2608
2609         * sem_util.adb (Propagate_DIC_Attributes): Do not propagate the
2610         Default_Initial_Condition attributes to an incomplete type.
2611
2612 2019-07-04  Ed Schonberg  <schonberg@adacore.com>
2613
2614         * sem_attr.adb (Check_Array_Type): An array type attribute such
2615         as 'First can be applied to an unconstrained array tyope when
2616         the attribute reference appears within an aspect specification
2617         and the prefix is a current instance, given that the prefix of
2618         the attribute will become a formal of the subprogram that
2619         implements the aspect (typically a predicate check).
2620
2621 2019-07-04  Piotr Trojanek  <trojanek@adacore.com>
2622
2623         * sem_util.adb (Yields_Synchronized_Object): Fix typos in
2624         comments.
2625
2626 2019-07-04  Yannick Moy  <moy@adacore.com>
2627
2628         * sem_util.adb (Yields_Synchronized_Object): Adapt to new SPARK
2629         rule.
2630
2631 2019-07-04  Yannick Moy  <moy@adacore.com>
2632
2633         * sem_spark.adb (Check_Statement): Only check permission of
2634         object in extended return when it is of a deep type.
2635
2636 2019-07-04  Justin Squirek  <squirek@adacore.com>
2637
2638         * sem_ch12.adb (Perform_Appropriate_Analysis): Added for
2639         selecting which type of analysis based on wheither the
2640         instantiation is a generic at the library-level. In which case
2641         expansion during analysis.
2642         (Preanalyze_Actuals): Modify calls to Analyze to use the new
2643         routine.
2644
2645 2019-07-04  Ed Schonberg  <schonberg@adacore.com>
2646
2647         * exp_unst.adb: Handle conditional expressions.
2648
2649 2019-07-04  Yannick Moy  <moy@adacore.com>
2650
2651         * sem_spark.adb (Check_Package_Spec, Check_Package_Body): Only
2652         analyze parts of the code marked in SPARK.
2653
2654 2019-07-04  Hristian Kirtchev  <kirtchev@adacore.com>
2655
2656         * erroutc.adb, exp_aggr.adb, inline.adb, opt.adb, sem_ch3.adb:
2657         Minor reformatting.
2658
2659 2019-07-04  Yannick Moy  <moy@adacore.com>
2660
2661         * sem_spark.adb (Explanation, Get_Expl): New functions to get
2662         the explanation for a permission mismatch.
2663         (Perm_Error, Perm_Mismatch, Perm_Error_Loop_Exit): Take
2664         explanation into account for issuing a more precise error
2665         message.
2666         (Set_Perm_Prefixes, Set_Perm_Extensions,
2667         Set_Perm_Extensions_Move): Pass suitable argument for the
2668         explanation node.
2669
2670 2019-07-04  Arnaud Charlet  <charlet@adacore.com>
2671
2672         * exp_aggr.adb (In_Place_Assign_OK): Moved to top level and add
2673         support for record aggregates.
2674         (Component_Check): Use Is_CCG_Supported_Aggregate instead of a
2675         similar local predicate.
2676         (Convert_To_Assignments): Take advantage of In_Place_Assign_OK
2677         predicate when possible.
2678         (Is_CCG_Supported_Aggregate): Return False for records with
2679         representation clauses and fix the logic for dealing with nested
2680         aggregates.
2681
2682 2019-07-04  Piotr Trojanek  <trojanek@adacore.com>
2683
2684         * opt.adb (Set_Config_Switches): Keep assertions policy as
2685         enabled when analysing internal units in GNATprove mode.
2686
2687 2019-07-04  Arnaud Charlet  <charlet@adacore.com>
2688
2689         * exp_ch4.adb (Expand_Short_Circuit_Operator): Strip
2690         N_Variable_Reference_Marker when checking for the presence of
2691         actions.
2692
2693 2019-07-04  Arnaud Charlet  <charlet@adacore.com>
2694
2695         * exp_aggr.adb (Check_Component): Take into account type
2696         conversions.
2697
2698 2019-07-04  Dmitriy Anisimkov  <anisimko@adacore.com>
2699
2700         * doc/gnat_ugn/platform_specific_information.rst: Document
2701         Windows socket timeout particularity.
2702         * gnat_ugn.texi: Regenerate.
2703         * gsocket.h: Include versionhelpers.h.
2704         * socket.c (__gnat_minus_500ms): New function.
2705         * libgnat/g-sothco.ads (Minus_500ms_Windows_Timeout): New
2706         imported function.
2707         * libgnat/g-socket.adb (Set_Socket_Option): Refactor to remove
2708         500ms from the requested timeout only on old Windows version.
2709
2710 2019-07-04  Thomas Quinot  <quinot@adacore.com>
2711
2712         * get_scos.adb: Remove bogus, dead code.
2713
2714 2019-07-04  Ed Schonberg  <schonberg@adacore.com>
2715
2716         * sem_dim.adb (Analyze_Dimension_Array_Aggregate): If the
2717         component is an entity name, its dimensions are those of its
2718         type.
2719
2720 2019-07-03  Bob Duff  <duff@adacore.com>
2721
2722         * doc/gnat_ugn/gnat_utility_programs.rst: Document new flags in
2723         GNATpp.
2724
2725 2019-07-03  Hristian Kirtchev  <kirtchev@adacore.com>
2726
2727         * binde.adb: Remove with clause for System.OS_Lib.
2728         (Force_Elab_Order): Refactor the majority of the code in Butil.
2729         Use the new forced units iterator to obtain unit names.
2730         * bindo-builders.adb: Add with and use clauses for Binderr,
2731         Butil, Opt, Output, Types, GNAT, and GNAT.Dynamic_HTables.  Add
2732         a hash table which maps units to line number in the forced
2733         elaboration order file.
2734         (Add_Unit): New routine.
2735         (Build_Library_Graph): Create forced edges between pairs of
2736         units listed in the forced elaboration order file.
2737         (Create_Forced_Edge, Create_Forced_Edges, Destroy_Line_Number,
2738         Duplicate_Unit_Error, Hash_Unit, Internal_Unit_Info,
2739         Is_Duplicate_Unit, Missing_Unit_Info): New routines.
2740         * bindo-graphs.adb (Is_Internal_Unit, Is_Predefined_Unit):
2741         Refactor some of the behavior to Bindo-Units.
2742         * bindo-graphs.ads: Enable the enumeration literal for forced
2743         edges.
2744         * bindo-units.adb, bindo-units.ads (Is_Internal_Unit,
2745         Is_Predefined_Unit): New routines.
2746         * butil.adb: Add with and use clauses for Opt, GNAT, and
2747         System.OS_Lib.  Add with clause for Unchecked_Deallocation.
2748         (Has_Next, Iterate_Forced_Units, Next, Parse_Next_Unit_Name,
2749         Read_Forced_Elab_Order_File): New routines.
2750         * butil.ads: Add with and use clauses for Types.  Add new
2751         iterator over the units listed in the forced elaboration order
2752         file.
2753         (Has_Next, Iterate_Forced_Units, Next): New routine.
2754         * namet.adb, namet.ads (Present): New routine.
2755
2756 2019-07-03  Bob Duff  <duff@adacore.com>
2757
2758         * sem_ch3.adb (Access_Definition): The code was creating a
2759         master in the case where the designated type is a class-wide
2760         interface type. Create a master in the noninterface case as
2761         well. That is, create a master for all limited class-wide types.
2762
2763 2019-07-03  Yannick Moy  <moy@adacore.com>
2764
2765         * erroutc.adb (Sloc_In_Range): New function to determine whether
2766         the range of a pragma Warnings covers a location, taking
2767         instantiations into account.
2768
2769 2019-07-03  Johannes Kanig  <kanig@adacore.com>
2770
2771         * osint.ads, osint.adb (Get_First_Main_File_Name): New routine
2772         to access the first file provided on the command line.
2773
2774 2019-07-03  Ed Schonberg  <schonberg@adacore.com>
2775
2776         * inline.adb (Process_Formals_In_Aspects): New procedure within
2777         Expand_Inlined_Call, to perform a replacement of references to
2778         formals that appear in aspect specifications within the body
2779         being inlined.
2780
2781 2019-07-03  Justin Squirek  <squirek@adacore.com>
2782
2783         * sem_ch8.adb (Analyze_Object_Renaming): Add call to search for
2784         the appropriate actual subtype of the object renaming being
2785         analyzed.
2786         (Check_Constrained_Object): Minor cleanup.
2787
2788 2019-07-03  Yannick Moy  <moy@adacore.com>
2789
2790         * sem_spark.adb (Get_Observed_Or_Borrowed_Expr): New function to
2791         return go through traversal function call.
2792         (Check_Type): Consistently use underlying type.
2793         (Get_Perm): Adapt for case of elaboration code where variables
2794         are not declared in the environment. Remove incorrect handling
2795         of borrow and observe.
2796
2797 2019-07-03  Hristian Kirtchev  <kirtchev@adacore.com>
2798
2799         * inline.adb (Build_Return_Object_Formal): New routine.
2800         (Can_Split_Unconstrained_Function): Code clean up.
2801         (Copy_Formals,Copy_Return_Object): New routines.
2802         (Split_Unconstrained_Function): Code clean up and refactoring.
2803
2804 2019-07-03  Gary Dismukes  <dismukes@adacore.com>
2805
2806         * bindo-augmentors.adb, bindo-augmentors.ads,
2807         bindo-builders.ads, bindo-elaborators.adb, sem_ch12.adb,
2808         sem_ch13.adb, sem_spark.adb, sinfo.ads: Minor editorial
2809         corrections and reformatting.
2810
2811 2019-07-03  Bob Duff  <duff@adacore.com>
2812
2813         * sem_warn.adb (Check_Infinite_Loop_Warning): Avoid the warning
2814         if an Iterator_Specification is present.
2815
2816 2019-07-03  Bob Duff  <duff@adacore.com>
2817
2818         * doc/gnat_ugn/gnat_utility_programs.rst: Document default
2819         new-line behavior.
2820
2821 2019-07-03  Hristian Kirtchev  <kirtchev@adacore.com>
2822
2823         * ali.adb: Add with and use clauses for GNAT,
2824         GNAT.Dynamic_HTables, and Snames.  Add a map from invocation
2825         signature records to invocation signature ids.  Add various
2826         encodings of invocation-related attributes.  Sort and update
2827         table Known_ALI_Lines.
2828         (Add_Invocation_Construct, Add_Invocation_Relation,
2829         Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
2830         Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
2831         Code_To_Invocation_Graph_Line_Kind, Destroy, Hash): New
2832         routines.
2833         (Initialize_ALI): Sort the initialization sequence. Add
2834         initialization for all invocation-related tables.
2835         (Invocation_Construct_Kind_To_Code,
2836         Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
2837         Invocation_Signature_Of, Present): New routines.
2838         (Scan_ALI): Add the default values for invocation-related ids.
2839         Scan invocation graph lines.
2840         (Scan_Invocation_Graph_Line): New routine.
2841         * ali.ads: Add with clause for GNAT.Dynamic_Tables.  Add types
2842         for invocation constructs, relations, and signatures.  Add
2843         tables for invocation constructs, relations, and signatures.
2844         Update Unit_Record to capture invocation-related ids.  Relocate
2845         table Unit_Id_Tables and subtypes Unit_Id_Table, Unit_Id_Array
2846         from Binde.
2847         (Add_Invocation_Construct, Add_Invocation_Relation,
2848         Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
2849         Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
2850         Code_To_Invocation_Graph_Line_Kind,
2851         Invocation_Construct_Kind_To_Code,
2852         Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
2853         Invocation_Signature_Of, Present): New routines.
2854         * binde.adb: Add with and use clause for Types.  Add use clause
2855         for ALI.Unit_Id_Tables;
2856         * binde.ads: Relocate table Unit_Id_Tables and subtypes
2857         Unit_Id_Table, Unit_Id_Array to ALI.
2858         * bindgen.adb: Remove with and use clause for ALI.
2859         * bindgen.ads: Remove with and use clause for Binde.  Add with
2860         and use clause for ALI.
2861         * bindo.adb,  bindo.ads, bindo-augmentors.adb,
2862         bindo-augmentors.ads, bindo-builders.adb, bindo-builders.ads,
2863         bindo-diagnostics.adb, bindo-diagnostics.ads,
2864         bindo-elaborators.adb, bindo-elaborators.ads, bindo-graphs.adb,
2865         bindo-graphs.ads, bindo-units.adb, bindo-units.ads,
2866         bindo-validators.adb, bindo-validators.ads, bindo-writers.adb,
2867         bindo-writers.ads: New units.
2868         * debug.adb: Use and describe GNAT debug switches -gnatd_F and
2869         -gnatd_G.  Add GNATbind debug switches in the ranges dA .. dZ,
2870         d.a .. d.z, d.A .. d.Z, d.1 .. d.9, d_a .. d_z, d_A .. d_Z, and
2871         d_1 .. d_9.  Use and describe GNATbind debug switches -d_A,
2872         -d_I, -d_L, -d_N, -d_O, -d_T, and -d_V.
2873         * exp_util.adb, exp_util.ads (Exceptions_OK): Relocate to
2874         Sem_Util.
2875         * gnatbind.adb: Add with and use clause for Bindo.  Use the new
2876         Bindo elaboration order only when -d_N is in effect.
2877         * lib-writ.adb
2878         (Column, Extra, Invoker, Kind, Line, Locations, Name, Placement,
2879         Scope, Signature, Target): New routines.
2880         (Write_ALI): Output all invocation-related data.
2881         (Write_Invocation_Graph): New routine.
2882         * lib-writ.ads: Document the invocation graph ALI line.
2883         * namet.adb, namet.ads (Present): New routines.
2884         * sem_ch8.adb (Find_Direct_Name): Capture the status of
2885         elaboration checks and warnings of an identifier.
2886         (Find_Expanded_Name): Capture the status of elaboration checks
2887         and warnings of an expanded name.
2888         * sem_ch12.adb (Analyze_Generic_Package_Declaration): Ensure
2889         that invocation graph-related data within the body of the main
2890         unit is encoded in the ALI file.
2891         (Analyze_Generic_Subprogram_Declaration): Ensure that invocation
2892         graph-related data within the body of the main unit is encoded
2893         in the ALI file.
2894         (Analyze_Package_Instantiation): Perform minimal decoration of
2895         the instance entity.
2896         (Analyze_Subprogram_Instantiation): Perform minimal decoration
2897         of the instance entity.
2898         * sem_elab.adb: Perform heavy refactoring of all code. The unit
2899         is now split into "services" which specialize in one area of ABE
2900         checks.  Add processing in order to capture invocation-graph
2901         related attributes of the main unit, and encode them in the ALI
2902         file.  The Processing phase can now operate in multiple modes,
2903         all described by type Processing_Kind.  Scenarios and targets
2904         are now distinct at the higher level, and carry their own
2905         representations. This eliminates the need to constantly
2906         recompute their attributes, and offers the various processors a
2907         uniform interface.  The various initial states of the Processing
2908         phase are now encoded using type Processing_In_State, and
2909         xxx_State constants.
2910         * sem_elab.ads: Update the literals of type
2911         Enclosing_Level_Kind.  Add Inline pragmas on several routines.
2912         * sem_prag.adb (Process_Inline): Ensure that invocation
2913         graph-related data within the body of the main unit is encoded
2914         in the ALI file.
2915         * sem_util.adb (Enclosing_Generic_Body, Enclosing_Generic_Unit):
2916         Code clean up.
2917         (Exceptions_OK): Relocated from Sem_Util.
2918         (Mark_Save_Invocation_Graph_Of_Body): New routine.
2919         * sem_util.ads (Exceptions_OK): Relocated from Sem_Util.
2920         (Mark_Save_Invocation_Graph_Of_Body): New routine.
2921         * sinfo.adb (Is_Elaboration_Checks_OK_Node): Now applicable to
2922         N_Variable_Reference_Marker.
2923         (Is_Elaboration_Warnings_OK_Node): Now applicable to
2924         N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
2925         (Is_Read): Use Flag4.
2926         (Is_SPARK_Mode_On_Node): New applicable to
2927         N_Variable_Reference_Marker.
2928         (Is_Write): Use Flag5.
2929         (Save_Invocation_Graph_Of_Body): New routine.
2930         (Set_Is_Elaboration_Checks_OK_Node): Now applicable to
2931         N_Variable_Reference_Marker.
2932         (Set_Is_Elaboration_Warnings_OK_Node): Now applicable to
2933         N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
2934         (Set_Is_SPARK_Mode_On_Node): New applicable to
2935         N_Variable_Reference_Marker.
2936         (Set_Save_Invocation_Graph_Of_Body): New routine.
2937         * sinfo.ads: Update the documentation of attributes
2938         Is_Elaboration_Checks_OK_Node, Is_Elaboration_Warnings_OK_Node,
2939         Is_SPARK_Mode_On_Node.  Update the flag usage of attributes
2940         Is_Read, Is_Write.  Add attribute Save_Invocation_Graph_Of_Body
2941         and update its occurrence in nodes.
2942         (Save_Invocation_Graph_Of_Body): New routine along with pragma
2943         Inline.
2944         (Set_Save_Invocation_Graph_Of_Body): New routine along with
2945         pragma Inline.
2946         * switch-b.adb (Scan_Binder_Switches): Refactor the scanning of
2947         debug switches.
2948         (Scan_Debug_Switches): New routine.
2949         * libgnat/g-dynhta.adb, libgnat/g-dynhta.ads (Contains): New routine.
2950         * libgnat/g-graphs.adb (Associate_Vertices): Update the use of
2951         Component_Vertex_Iterator.
2952         (Contains_Component, Contains_Edge, Contains_Vertex, Has_Next):
2953         Reimplemented.
2954         (Iterate_Component_Vertices): New routine.
2955         (Iterate_Vertices): Removed.
2956         (Next): Update the parameter profile.
2957         (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
2958         routines.
2959         * libgnat/g-graphs.ads: Update the initialization of
2960         No_Component.  Add type Component_Vertex_Iterator.  Remove type
2961         Vertex_Iterator.
2962         (Has_Next): Add new versions and remove old ones.
2963         (Iterate_Component_Vertices): New routine.
2964         (Iterate_Vertices): Removed.
2965         (Next): Add new versions and remove old ones.
2966         (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
2967         routines.
2968         * libgnat/g-sets.adb (Contains): Reimplemented.
2969         * gcc-interface/Make-lang.in (GNATBIND_OBJS): Add
2970         GNAT.Dynamic_HTables, GNAT.Graphs and Bindo units.
2971         * rtsfind.ads: Remove extra space.
2972
2973 2019-07-03  Yannick Moy  <moy@adacore.com>
2974
2975         * sem_spark.adb: Add support for locally borrowing and observing
2976         a path.
2977         (Get_Root_Object): Add parameter Through_Traversal to denote
2978         when we are interesting in getting to the traversed parameter.
2979         (Is_Prefix_Or_Almost): New function to support detection of
2980         illegal access to borrowed or observed paths.
2981         (Check_Pragma): Add analysis of assertion pragmas.
2982
2983 2019-07-03  Ed Schonberg  <schonberg@adacore.com>
2984
2985         * sem_ch13.adb (Build_Predicate_Functions): In a generic context
2986         we do not build the bodies of predicate fuctions, but the
2987         expression in a static predicate must be elaborated to allow
2988         case coverage checking within the generic unit.
2989         (Build_Discrete_Static_Predicate): In a generic context, return
2990         without building function body once the
2991         Static_Discrete_Predicate expression for the type has been
2992         constructed.
2993
2994 2019-07-03  Hristian Kirtchev  <kirtchev@adacore.com>
2995
2996         * bindgen.adb, inline.adb, layout.adb, sem_ch12.adb,
2997         sem_ch13.adb, sem_ch7.adb, styleg.adb: Minor reformatting.
2998
2999 2019-07-03  Bob Duff  <duff@adacore.com>
3000
3001         * par-ch3.adb (P_Defining_Identifier): Call
3002         Check_Defining_Identifier_Casing.
3003         * style.ads, styleg.ads, styleg.adb
3004         (Check_Defining_Identifier_Casing): New procedure to check for
3005         mixed-case defining identifiers.
3006         * stylesw.ads, stylesw.adb (Style_Check_Mixed_Case_Decls): New
3007         flag for checking for mixed-case defining identifiers.
3008         * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
3009         Document new feature.
3010         * gnat_ugn.texi: Regenerate.
3011
3012 2019-07-03  Eric Botcazou  <ebotcazou@adacore.com>
3013
3014         * doc/gnat_ugn/building_executable_programs_with_gnat.rst
3015         (Warning message control): Document that -gnatw.z/Z apply to
3016         array types.
3017         * freeze.adb (Freeze_Entity): Give -gnatw.z warning for array
3018         types as well, but not if the specified alignment is the minimum
3019         one.
3020         * gnat_ugn.texi: Regenerate.
3021
3022 2019-07-03  Bob Duff  <duff@adacore.com>
3023
3024         * einfo.ads, exp_util.adb, layout.ads, sinfo.ads: Spell "laid"
3025         correctly.
3026
3027 2019-07-03  Ed Schonberg  <schonberg@adacore.com>
3028
3029         * sem_ch13.adb (Analyze_Attribute_Definition_Clause): No error
3030         message on attribute applied to a renaming when the renamed
3031         object is an aggregate (from code reading).
3032         (Check_Aspect_At_End_Of_Declarations): In a generic context
3033         where freeze nodes are not generated, the original expression
3034         for an aspect may need to be analyzed to precent spurious
3035         conformance errors when compared with the expression that is
3036         anakyzed at the end of the current declarative list.
3037
3038 2019-07-03  Eric Botcazou  <ebotcazou@adacore.com>
3039
3040         * layout.adb (Layout_Type): Do not set the component size of an
3041         array with a scalar component if the component type is
3042         overaligned.
3043
3044 2019-07-03  Ed Schonberg  <schonberg@adacore.com>
3045
3046         * inline.adb (Make_Loop_Labels_Unique): New procedure to modify
3047         the source code of subprograms that are inlined by the
3048         front-end, to prevent accidental duplication between loop labels
3049         in the inlined code and the code surrounding the inlined call.
3050
3051 2019-07-03  Hristian Kirtchev  <kirtchev@adacore.com>
3052
3053         * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
3054         the section on resolving elaboration circularities to eliminate
3055         certain combinations of switches which together do not produce
3056         the desired effect and confuse users.
3057         * gnat_ugn.texi: Regenerate.
3058
3059 2019-07-03  Arnaud Charlet  <charlet@adacore.com>
3060
3061         * bindgen.adb (Gen_Main): Disable generation of reference to
3062         Ada_Main_Program_Name for CCG.
3063         * bindusg.adb (Display): Add -G to the command-line usage for
3064         gnatbind.
3065         * opt.ads (Generate_C_Code): Update comment.
3066         * switch-b.adb (Scan_Binder_Switches): Add handling for -G.
3067
3068 2019-07-03  Arnaud Charlet  <charlet@adacore.com>
3069
3070         * sem_ch7.adb (Has_Referencer): Do not consider inlined
3071         subprograms when generating C code, which allows us to generate
3072         static inline subprograms.
3073
3074 2019-07-03  Justin Squirek  <squirek@adacore.com>
3075
3076         * sem_ch6.adb (Check_Conformance): Add expression checking for
3077         constant modifiers in anonymous access types (in addition to
3078         "non-null" types) so that they are considered "matching" for
3079         subsequent conformance tests.
3080
3081 2019-07-03  Arnaud Charlet  <charlet@adacore.com>
3082
3083         * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
3084         Clarify wording on No_Multiple_Elaboration.
3085         * gnat_rm.texi: Regenerate.
3086
3087 2019-07-03  Ed Schonberg  <schonberg@adacore.com>
3088
3089         * sem_ch8.adb (Find_Selected_Component): If the prefix is the
3090         current instance of a type or subtype, complete the resolution
3091         of the name by finding the component of the type denoted by the
3092         selector name.
3093
3094 2019-07-03  Eric Botcazou  <ebotcazou@adacore.com>
3095
3096         * doc/gnat_rm/interfacing_to_other_languages.rst (Interfacing to C):
3097         Document that boolean types with convention C now map to C99 bool.
3098         * gnat_rm.texi: Regenerate.
3099
3100 2019-07-03  Javier Miranda  <miranda@adacore.com>
3101
3102         * exp_attr.adb (Expand_Min_Max_Attribute): Code cleanup:
3103         removing code that it is now never executed in the CCG compiler
3104         (dead code).
3105
3106 2019-07-02  Iain Sandoe  <iain@sandoe.co.uk>
3107
3108         * libgnat/system-darwin-ppc.ads: Set Stack_Check_Probes True for
3109         PPC Darwin.
3110
3111 2019-07-01  Ed Schonberg  <schonberg@adacore.com>
3112
3113         * sem_ch12.adb (Is_Defaulted): New predicate in
3114         Check_Formal_Package_Intance, to skip the conformance of checks
3115         on parameters of a formal package that are defaulted,
3116
3117 2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
3118
3119         * checks.adb, exp_ch9.adb, exp_unst.adb, sem_ch4.adb,
3120         sem_prag.adb, sem_spark.adb: Minor reformatting.
3121
3122 2019-07-01  Ed Schonberg  <schonberg@adacore.com>
3123
3124         * sem_attr.adb (Analyze_Attribute, case Enum_Rep): Allow prefix
3125         of attribute to be an attribute reference of a discrete type.
3126
3127 2019-07-01  Eric Botcazou  <ebotcazou@adacore.com>
3128
3129         * sem_ch12.adb (Analyze_Subprogram_Instantiation): Move up
3130         handling of Has_Pragma_Inline_Always and deal with
3131         Has_Pragma_No_Inline.
3132
3133 2019-07-01  Ed Schonberg  <schonberg@adacore.com>
3134
3135         * sem_ch3.adb (Build_Derived_Record_Type): If the parent type is
3136         declared as a subtype of a private type with an inherited
3137         discriminant constraint, its generated full base appears as a
3138         record subtype, so we need to retrieve its oen base type so that
3139         the inherited constraint can be applied to it.
3140
3141 2019-07-01  Yannick Moy  <moy@adacore.com>
3142
3143         * sem_spark.adb: Completely rework the algorithm for ownership
3144         checking, as the rules in SPARK RM have changed a lot.
3145         * sem_spark.ads: Update comments.
3146
3147 2019-07-01  Dmitriy Anisimkov  <anisimko@adacore.com>
3148
3149         * gsocket.h (Has_Sockaddr_Len): Use the offset of sin_family offset in
3150         the sockaddr_in structure to determine the existence of length field
3151         before the sin_family.
3152
3153 2019-07-01  Ed Schonberg  <schonberg@adacore.com>
3154
3155         * sem_prag.adb (Analyze_Pragma, case Weak_External): Pragma only
3156         applies to entities with run-time addresses, not to types.
3157
3158 2019-07-01  Piotr Trojanek  <trojanek@adacore.com>
3159
3160         * einfo.adb, sem_ch7.adb, sem_prag.adb, sem_util.adb: Update
3161         references to the SPARK RM after the removal of Rule 7.1.4(5).
3162
3163 2019-07-01  Piotr Trojanek  <trojanek@adacore.com>
3164
3165         * sysdep.c: Cleanup references to LynuxWorks in docs and
3166         comments.
3167
3168 2019-07-01  Ed Schonberg  <schonberg@adacore.com>
3169
3170         * checks.adb (Insert_Valid_Check): Do not apply validity check
3171         to variable declared within a protected object that uses the
3172         Lock_Free implementation, to prevent unwarranted constant
3173         folding, because entities within such an object msut be treated
3174         as volatile.
3175
3176 2019-07-01  Eric Botcazou  <ebotcazou@adacore.com>
3177
3178         * exp_ch9.adb (Check_Inlining): Deal with Has_Pragma_No_Inline.
3179
3180 2019-07-01  Ed Schonberg  <schonberg@adacore.com>
3181
3182         * exp_unst.adb (Visit_Node, Check_Static_Type): Improve the
3183         handling of private and incomplete types whose full view is an
3184         access type, to detect additional uplevel references in dynamic
3185         bounds. This is relevant to N_Free_Statement among others that
3186         manipulate types whose full viww may be an access type.
3187
3188 2019-07-01  Pat Rogers  <rogers@adacore.com>
3189
3190         * doc/gnat_rm/representation_clauses_and_pragmas.rst: Correct
3191         size indicated for R as a component of an array.
3192         * gnat_rm.texi: Regenerate.
3193
3194 2019-07-01  Justin Squirek  <squirek@adacore.com>
3195
3196         * libgnat/s-win32.ads: Add definition for ULONG, modify
3197         OVERLAPPED type, and add appropriate pragmas.
3198
3199 2019-07-01  Bob Duff  <duff@adacore.com>
3200
3201         * gnat1drv.adb (gnat1drv): Call Write_ALI if the main unit is
3202         ignored-ghost.
3203
3204 2019-07-01  Yannick Moy  <moy@adacore.com>
3205
3206         * sem_ch4.adb (Operator_Check): Refine error message.
3207
3208 2019-07-01  Piotr Trojanek  <trojanek@adacore.com>
3209
3210         * libgnat/a-calend.ads: Revert "Global => null" contracts on
3211         non-pure routines.
3212
3213 2019-07-01  Piotr Trojanek  <trojanek@adacore.com>
3214
3215         * exp_attr.adb, libgnat/g-graphs.ads: Fix typos in comments:
3216         componant -> component.
3217
3218 2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
3219
3220         * libgnat/g-graphs.adb: Use type Directed_Graph rather than
3221         Instance in various routines.
3222         * libgnat/g-graphs.ads: Change type Instance to Directed_Graph.
3223         Update various routines that mention the type.
3224
3225 2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
3226
3227         * libgnat/g-sets.adb: Use type Membership_Set rathern than
3228         Instance in various routines.
3229         * libgnat/g-sets.ads: Change type Instance to Membership_Set.
3230         Update various routines that mention the type.
3231
3232 2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
3233
3234         * libgnat/g-lists.adb: Use type Doubly_Linked_List rather than
3235         Instance in various routines.
3236         * libgnat/g-lists.ads: Change type Instance to
3237         Doubly_Linked_List. Update various routines that mention the
3238         type.
3239
3240 2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
3241
3242         * libgnat/g-dynhta.adb: Use type Dynamic_Hash_Table rather than
3243         Instance in various routines.
3244         * libgnat/g-dynhta.ads: Change type Instance to
3245         Dynamic_Hash_Table. Update various routines that mention the
3246         type.
3247
3248 2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
3249
3250         * exp_attr.adb, exp_ch7.adb, exp_unst.adb, sem_ch3.adb,
3251         sem_util.adb, uintp.adb, uintp.ads: Minor reformatting.
3252
3253 2019-07-01  Javier Miranda  <miranda@adacore.com>
3254
3255         * exp_attr.adb (Expand_Min_Max_Attribute): Disable expansion of
3256         'Min/'Max on integer, enumeration, fixed point and floating
3257         point types since the CCG backend now provides in file
3258         standard.h routines to support it.
3259
3260 2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
3261
3262         * impunit.adb: Add GNAT.Graphs to list Non_Imp_File_Names_95.
3263         * Makefile.rtl, gcc-interface/Make-lang.in: Register unit
3264         GNAT.Graphs.
3265         * libgnat/g-dynhta.adb: Various minor cleanups (use Present
3266         rather than direct comparisons).
3267         (Delete): Reimplement to use Delete_Node.
3268         (Delete_Node): New routine.
3269         (Destroy_Bucket): Invoke the provided destructor.
3270         (Present): New routines.
3271         * libgnat/g-dynhta.ads: Add new generic formal Destroy_Value.
3272         Use better names for the components of iterators.
3273         * libgnat/g-graphs.adb, libgnat/g-graphs.ads: New unit.
3274         * libgnat/g-lists.adb: Various minor cleanups (use Present
3275         rather than direct comparisons).
3276         (Delete_Node): Invoke the provided destructor.
3277         (Present): New routine.
3278         * libgnat/g-lists.ads: Add new generic formal Destroy_Element.
3279         Use better names for the components of iterators.
3280         (Present): New routine.
3281         * libgnat/g-sets.adb, libgnat/g-sets.ads (Destroy, Preset,
3282         Reset): New routines.
3283
3284 2019-07-01  Dmitriy Anisimkov  <anisimko@adacore.com>
3285
3286         * libgnat/g-sothco.adb (Get_Address): Fix the case when AF_INET6
3287         is not defined.
3288
3289 2019-07-01  Ed Schonberg  <schonberg@adacore.com>
3290
3291         * exp_attr.adb (Expand_Attribute_Reference, case Invalid_Value):
3292         Resolve result of call to Get_Simple_Init_Val, which may be a
3293         conversion of a literal.
3294
3295 2019-07-01  Hristian Kirtchev  <kirtchev@adacore.com>
3296
3297         * freeze.adb (Freeze_Expression): Remove the horrible useless
3298         name hiding of N. Insert the freeze nodes generated by the
3299         expression prior to the expression when the nearest enclosing
3300         scope is transient.
3301
3302 2019-07-01  Pierre-Marie de Rodat  <derodat@adacore.com>
3303
3304         * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix
3305         formatting issues in the -gnatR section.
3306         * gnat_ugn.texi: Regenerate.
3307
3308 2019-06-30  Iain Sandoe  <iain@sandoe.co.uk>
3309
3310         * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches.
3311         Push -shared-libgcc explicitly, when it is the target default (unless
3312         overidden by the static flag).
3313         When the user has put an instance of shared/static-libgcc do not push
3314         a duplicate of this.
3315
3316 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3317
3318         * gcc-interface/decl.c (gnat_to_gnu_entity): Beep up comment on SAVED,
3319         and tweak comment on the assertion about the scopes of Itypes.  Do not
3320         skip the regular processing for Itypes that are E_Record_Subtype with
3321         a Cloned_Subtype.  Get the Cloned_Subtype for every E_Record_Subtype
3322         if the type is dummy and hasn't got its own freeze node.
3323         <E_Record_Subtype>: Save again the DECL of the Cloned_Subtype, if any.
3324         <E_Access_Subtype>: Save again the DECL of the equivalent type.
3325         (Gigi_Equivalent_Type) <E_Access_Subtype>: New case.
3326
3327 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3328
3329         * gcc-interface/utils.c (unchecked_convert): Tweak comment.  Only skip
3330         dereferences when padding to have the same size on both sides.  Do it
3331         for destination types with self-referential size too.
3332
3333 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3334
3335         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: If the
3336         type requires strict alignment, then set the RM size to the type size.
3337         Rework handling of alignment and sizes of tagged types in ASIS mode.
3338         (validate_size): Rename local variable and remove special handling for
3339         strict-alignment types.
3340         * gcc-interface/utils.c (finish_record_type): Constify local variables
3341         and use properly typed constants.
3342
3343 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3344
3345         * gcc-interface/decl.c (gnat_to_gnu_field): Rework error messages for
3346         fields requiring strict alignment, add explicit test on Storage_Unit
3347         for position and size, and mention type alignment for position.
3348
3349 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3350
3351         * gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED on
3352         the main variant of a type, if any.
3353
3354 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3355
3356         * gcc-interface/decl.c (set_nonaliased_component_on_array_type): Add
3357         missing guard for the presence of TYPE_CANONICAL.
3358         (set_reverse_storage_order_on_array_type): Likewise.
3359
3360 2019-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3361
3362         * gcc-interface/gigi.h (make_packable_type): Remove default value.
3363         (value_factor_p): Tweak prototype.
3364         * gcc-interface/decl.c (gnat_to_gnu_entity): Add comment.
3365         (gnat_to_gnu_component_type): Likewise.
3366         (gnat_to_gnu_field): Likewise.  Fetch the position of the field earlier
3367         and simplify the condition under which the type is packed.  Declare
3368         local variable is_bitfield.  Pass 1 as max_align to make_packable_type
3369         if it is set to true.
3370         (copy_and_substitute_in_layout): Pass 0 to make_packable_type.
3371         * gcc-interface/utils.c (make_packable_array_type): New function.
3372         (make_packable_type): Use it to rewrite the type of array field.
3373         (maybe_pad_type): Pass align parameter to make_packable_type.
3374         (create_field_decl): Minor tweaks.
3375         (value_factor_p): Assert that FACTOR is a power of 2 and replace the
3376         modulo computation by a masking operation.
3377
3378 2019-06-25  Eric Botcazou  <ebotcazou@adacore.com>
3379
3380         * gcc-interface/decl.c (gnat_to_gnu_entity): Remove superfluous test
3381         in previous change.
3382         * gcc-interface/gigi.h (maybe_character_type): Fix formatting.
3383         (maybe_character_value): Likewise.
3384
3385 2019-06-24  Jan Hubicka  <jh@suse.cz>
3386
3387         * gcc-interface/decl.c (gnat_to_gnu_entity): Check that
3388         type is array or integer prior checking string flag.
3389         * gcc-interface/gigi.h (maybe_character_type): Likewise.
3390         (maybe_character_value): Likewise.
3391
3392 2019-06-24  Martin Sebor  <msebor@redhat.com>
3393
3394         * gcc-interface/utils.c (handle_nonnull_attribute): Quote attribute
3395         name.
3396
3397 2019-06-18  Arnaud Charlet  <charlet@adacore.com>
3398
3399         PR ada/80590
3400         * sem_ch5.adb (Analyze_Loop_Statement): Avoid exception propagation
3401         during normal processing.
3402
3403 2019-06-17  Arnaud Charlet  <charlet@adacore.com>
3404
3405         PR ada/80590
3406         * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Swap the two
3407         conditions to avoid a unnecessary exception propagation in the default
3408         case.
3409
3410 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3411
3412         * gcc-interface/utils.c (handle_stack_protect_attribute): Move around.
3413
3414 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3415
3416         * doc/gnat_rm/implementation_defined_pragmas.rst (Machine_Attribute):
3417         Document additional optional parameters.
3418         * sem_prag.adb (Analyze_Pragma) <Pragma_Machine_Attribute>: Accept
3419         more than one optional parameter.
3420         * gcc-interface/decl.c (prepend_one_attribute_pragma): Alphabetize
3421         the list of supported pragmas.  Simplify the handling of parameters
3422         and add support for more than one optional parameter.
3423         * gcc-interface/utils.c (attr_cold_hot_exclusions): New constant.
3424         (gnat_internal_attribute_table): Add entry for no_icf, noipa, flatten,
3425         used, cold, hot, target and target_clones.
3426         (begin_subprog_body): Do not create the RTL for the subprogram here.
3427         (handle_noicf_attribute): New static function.
3428         (handle_noipa_attribute): Likewise.
3429         (handle_flatten_attribute): Likewise.
3430         (handle_used_attribute): Likewise.
3431         (handle_cold_attribute): Likewise.
3432         (handle_hot_attribute): Likewise.
3433         (handle_target_attribute): Likewise.
3434         (handle_target_clones_attribute): Likewise.
3435
3436 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3437
3438         * gcc-interface/trans.c (lvalue_required_for_attribute_p): Return 0
3439         for 'Size too.
3440         (Identifier_to_gnu): Use the actual subtype for a reference to a
3441         packed array in a return statement.
3442         (Attribute_to_gnu) <Attr_Size>: Do not strip VIEW_CONVERT_EXPRs from
3443         the prefix in every case.
3444
3445 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3446
3447         * gcc-interface/trans.c (gnat_to_gnu): Remove superfluous tests on
3448         Backend_Overflow_Checks_On_Target and rework comments.
3449
3450 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3451
3452         * gcc-interface/trans.c (walk_nesting_tree): New static function.
3453         (finalize_nrv): Use it to walk the entire nesting tree.
3454
3455 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3456
3457         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Remove
3458         obsolete test on Is_For_Access_Subtype.
3459
3460 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3461
3462         * gcc-interface/decl.c (components_to_record): Set a name on the type
3463         created for the REP part, if any.
3464         * gcc-interface/utils.c (finish_record_type): Only take the maximum
3465         when merging sizes for a variant part at offset 0.
3466         (merge_sizes): Rename has_rep parameter into max.
3467
3468 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3469
3470         * gcc-interface/utils.c (gnat_internal_attribute_table): Add support
3471         for stack_protect attribute.
3472         (handle_stack_protect_attribute): New static function.
3473
3474 2019-05-28  Eric Botcazou  <ebotcazou@adacore.com>
3475
3476         * gcc-interface/decl.c (intrin_arglists_compatible_p): Do not return
3477         false if the internal builtin uses a variable list.
3478
3479 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
3480
3481         * gcc-interface/trans.c (Call_to_gnu): Do not initialize the temporary
3482         created out of addressability concerns if it's for the _Init parameter
3483         of an initialization procedure.
3484
3485 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
3486
3487         * gcc-interface/ada-builtin-types.def: New file.
3488         * gcc-interface/ada-builtins.def: Likewise.
3489         * gcc-interface/ada-tree.h (BUILT_IN_LIKELY): New macro.
3490         (BUILT_IN_UNLIKELY): Likewise.
3491         * gcc-interface/trans.c (independent_iterations_p): Initialize the
3492         auto-vector to 16 elements.
3493         (Call_to_gnu): Remove local variable and change the vector of actual
3494         parameters to an auto-vector.  Do not convert actual parameters to
3495         the argument type for front-end built-in functions.  Add support for
3496         front-end built-in functions.
3497         (build_noreturn_cond): Use internal instead of built-in function.
3498         * gcc-interface/utils.c (c_builtin_type): Include ada-builtin-types.def
3499         (install_builtin_function_types): Likewise.
3500         (install_builtin_functions): Include ada-builtins.def first.
3501
3502 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
3503
3504         * gcc-interface/utils.c (maybe_pad_type): Issue the warning for the
3505         specific case of component types preferably.
3506
3507 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
3508
3509         * gcc-interface/trans.c (Identifier_to_gnu): Minor tweaks.
3510         (gnat_to_gnu): Do not convert the result if it is a reference to an
3511         unconstrained array used as the prefix of an attribute reference that
3512         requires an lvalue.
3513
3514 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
3515
3516         * gcc-interface/trans.c (Gigi_Types_Compatible): New predicate.
3517         (Identifier_to_gnu): Use it to assert that the type of the identifier
3518         and that of its entity are compatible for gigi.  Rename a couple of
3519         local variables and separate the processing of the result type.
3520
3521 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
3522
3523         * gcc-interface/trans.c (Call_to_gnu): Use the unpadded type when
3524         putting back an intermediate conversion the type of the actuals.
3525
3526 2019-05-27  Eric Botcazou  <ebotcazou@adacore.com>
3527
3528         * gcc-interface/trans.c (gnat_to_gnu) <Shift operations>: Convert the
3529         count to the unsigned version of its base type before proceeding.
3530
3531 2019-05-16  Martin Sebor  <msebor@redhat.com>
3532
3533         * gcc-interface/trans.c (check_inlining_for_nested_subprog): Quote
3534         reserved names.
3535
3536 2019-05-08  Arnaud Charlet  <charlet@adacore.com>
3537
3538         * standard.ads.h: New file.
3539
3540 2019-05-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3541
3542         * gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
3543         Honor DESTDIR.
3544
3545 2019-04-29  Michael K. Darling  <darlingm@gmail.com>
3546
3547         * gnatvsn.ads: Bump Library_Version to 10.
3548
3549 2019-04-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
3550             Bernd Edlinger  <bernd.edlinger@hotmail.de>
3551             Jakub Jelinek  <jakub@redhat.com>
3552
3553         PR target/89093
3554         * raise-gcc.c (TARGET_ATTRIBUTE): Define.
3555         (continue_unwind, personality_body, PERSONALITY_FUNCTION): Add
3556         TARGET_ATTRIBUTE.
3557
3558 2019-04-07  Eric Botcazou  <ebotcazou@adacore.com>
3559
3560         * libgnat/i-cexten.ads (CFloat_128): New type.
3561
3562 2019-03-22  Dmitriy Anisimkov  <anisimko@adacore.com>
3563
3564         PR ada/89583
3565         * libgnat/g-socket.adb (Bind_Socket, Connect_Socket,
3566         Send_Socket): Fix the computation of structure lengths passed to
3567         low level routines.
3568         (Is_IPv6_Address): Fix the number of expected colons.
3569
3570 2019-03-11  Martin Liska  <mliska@suse.cz>
3571
3572         * gcc-interface/misc.c (gnat_post_options): Wrap option name in string
3573         format message and fix GNU coding style.
3574
3575 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
3576
3577         * gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak.
3578         * gcc-interface/utils.c (convert): Do not pad when doing an unchecked
3579         conversion here.  Use TREE_CONSTANT throughout the function.
3580         (unchecked_convert): Also pad if the source is a CONSTRUCTOR and the
3581         destination is a more aligned array type or a larger aggregate type,
3582         but not between original and packable versions of a type.
3583
3584 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
3585
3586         * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an
3587         operand with VOID_TYPE.
3588
3589 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
3590
3591         * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the
3592         entities of a package renaming another one.
3593
3594 2019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
3595
3596         * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on
3597         individual flag_unswitch_loops and flag_tree_loop_vectorize switches
3598         with test on global optimize switch.
3599         (Raise_Error_to_gnu): Likewise.
3600
3601 2019-02-07  Eric Botcazou  <ebotcazou@adacore.com>
3602
3603         * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.
3604
3605 2019-02-06  Arnaud Charlet  <charlet@adacore.com>
3606
3607         * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads
3608
3609 2019-01-27  Eric Botcazou  <ebotcazou@adacore.com>
3610
3611         * repinfo.adb (List_Component_Layout): Remove superfluous space for
3612         zero-sized field.
3613         * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro.
3614         * gcc-interface/gigi.h (create_extra_subtype): Declare.
3615         * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise.
3616         (update_n_elem): New function.
3617         (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes
3618         instead of doing it manually.
3619         <E_Array_Type>: Use update_n_elem to compute the maximum size.  Use the
3620         index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE
3621         of the array to the maximum size.
3622         <E_Array_Subtype>: Create an extra subtype using the index type of the
3623         base array type for self-referential bounds.  Use update_n_elem to
3624         compute the maximum size.  Set TYPE_ARRAY_MAX_SIZE of the array to the
3625         maximum size.
3626         (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants.
3627         * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of
3628         the base type for an extra subtype.
3629         (gnat_type_max_size): Remove obsolete code.
3630         * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak.
3631         (can_be_lower_p): Deal with pathological types.
3632         * gcc-interface/utils.c (create_extra_subtype): New function.
3633         (create_field_decl): Minor tweak.
3634         (max_size) <tcc_reference>: Compute a better value by using the extra
3635         subtypes on the self-referential bounds.
3636         <tcc_binary>: Rewrite.  Deal with "negative value" in unsigned types.
3637         <tcc_expression>: Likewise.
3638         * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds
3639         of the arrays upfront.  Swap only if the second length is not constant.
3640         Use comparisons on the original bounds consistently for the null tests.
3641         (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro.
3642         (build_allocator): Minor tweak.
3643
3644 2019-01-27  Eric Botcazou  <ebotcazou@adacore.com>
3645
3646         * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
3647         the same value for every dimension of a multidimensional array type.
3648
3649 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
3650
3651         * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the
3652         iteration scheme, if present, throughout the translation.
3653
3654 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
3655
3656         * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use
3657         DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned
3658         by a call to memset if the LHS is a DECL.
3659
3660 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
3661
3662         * gcc-interface/trans.c (struct loop_info_d): Remove artificial field.
3663         (Loop_Statement_to_gnu): Do not set it.
3664
3665 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
3666
3667         * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting.
3668         (Acc_gnat_to_gnu): Likewise.
3669         (Acc_Data_to_gnu): Likewise.
3670         (Acc_Var_to_gnu): Likewise.
3671         (Acc_Reduc_to_gnu): Likewise.
3672         (Acc_Size_List_to_gnu): Likewise.
3673         (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise.
3674         <Pragma_Acc_Data>): Likewise.
3675         (find_loop_for): Remove default value for parameters.
3676         * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into...
3677         <N_Op_Eq>): ...this.
3678
3679 2019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
3680
3681         * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on
3682         the sign bit instead of on the sign of the value.
3683         <PLUS_EXPR>: Turn addition of negative constant into subtraction.
3684         <MULT_EXPR>: Add test for degenerate case.
3685         <BIT_AND_EXPR>: Simplify.
3686
3687 2019-01-18  Sebastian Huber  <sebastian.huber@embedded-brains.de>
3688
3689         * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS.
3690
3691 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
3692
3693         PR other/16615
3694         * exp_ch11.adb: Change "can not" to "cannot".
3695         * sem_ch4.adb: Likewise.
3696
3697 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
3698
3699         PR other/16615
3700         * exp_ch9.adb: Mechanically replace "can not" with "cannot".
3701         * libgnat/s-regpat.ads: Likewise.
3702         * par-ch4.adb: Likewise.
3703         * set_targ.adb: Likewise.
3704         * types.ads: Likewise.
3705
3706 2019-01-08  Justin Squirek  <squirek@adacore.com>
3707
3708         Revert:
3709         2018-07-31  Justin Squirek  <squirek@adacore.com>
3710
3711         * lib-writ.adb (Write_With_Lines): Modfiy the generation
3712         of dependencies within ali files so that source unit
3713         bodies are properly listed even if said bodies are
3714         missing.  Perform legacy behavior in GNATprove mode.
3715         * lib-writ.ads: Modify documentation to reflect current
3716         behavior.
3717
3718         and:
3719         2018-09-26  Justin Squirek  <squirek@adacore.com>
3720
3721         * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add
3722         documentation and an extra conditional check for RCI
3723         units so that generated ali files will list the spec
3724         only instead of a body when a body is not found.
3725
3726 2019-01-04  Eric Botcazou  <ebotcazou@adacore.com>
3727
3728         * gnatvsn.ads: Bump copyright year.
3729
3730 2019-01-01  Jakub Jelinek  <jakub@redhat.com>
3731
3732         Update copyright years.
3733
3734         * gnat_ugn.texi: Bump @copying's copyright year.
3735         * gnat_rm.texi: Likewise.
3736 \f
3737 Copyright (C) 2019 Free Software Foundation, Inc.
3738
3739 Copying and distribution of this file, with or without modification,
3740 are permitted in any medium without royalty provided the copyright
3741 notice and this notice are preserved.