gcc/ada/ChangeLog

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