gcc/ada/ChangeLog

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