gcc/ada/ChangeLog

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