gcc/ada/ChangeLog

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