gcc/ada/ChangeLog

   1 2018-05-04  John Marino  <gnugcc@marino.st>
   2
   3         PR ada/85635
   4         * link.c (BSD platforms): Add missing backslash.
   5
   6 2018-04-27  Eric Botcazou  <ebotcazou@adacore.com>
   7
   8         PR ada/85540
   9         * init.c (__gnat_handle_vms_condition): Add missing parentheses.
  10
  11 2018-04-25  Eric Botcazou  <ebotcazou@adacore.com>
  12
  13         PR ada/85007
  14         * gnat_ugn.texi: Regenerate.
  15
  16 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
  17
  18         PR ada/85007
  19         * gnatlink.adb (Gnatlink): Remove handling of -b switch.
  20         * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink):
  21         Remove documentation of -b switch.
  22
  23 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
  24
  25         PR ada/85036
  26         * gnatlink.adb (Process_Args): Drop existing link switches if multiple
  27         switches are passed for --LINK.
  28
  29 2018-03-12  Eric Botcazou  <ebotcazou@adacore.com>
  30
  31         PR ada/82813
  32         * gcc-interface/misc.c (gnat_post_options): Disable string overflow
  33         warnings.
  34
  35 2018-03-10  Eric Botcazou  <ebotcazou@adacore.com>
  36
  37         * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>:
  38         Consider only entities for objects.
  39
  40 2018-03-07  Sebastian Huber  <sebastian.huber@embedded-brains.de>
  41
  42         * gcc-interface/Makefile.in (OSCONS_CPP): Remove redundant
  43         $(GNATLIBCFLAGS).
  44         (OSCONS_EXTRACT): Add $(GNATLIBCFLAGS_FOR_C).
  45
  46 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
  47
  48         * gcc-interface/trans.c (convert_with_check): Fix typo in the condition
  49         guarding the overflow check emitted for the upper bound of a floating-
  50         point conversion.
  51
  52 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
  53
  54         * gcc-interface/utils.c (def_builtin_1): Bail out on error_mark_node.
  55
  56 2018-02-28  Eric Botcazou  <ebotcazou@adacore.com>
  57
  58         * libgnat/i-cexten.ads (Float_128): New type.
  59
  60 2018-02-02  Eric Botcazou  <ebotcazou@adacore.com>
  61
  62         * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
  63         false if the component type is a pointer.
  64
  65 2018-01-11  Gary Dismukes  <dismukes@adacore.com>
  66
  67         * exp_ch3.adb (Default_Initialize_Object): Call New_Copy_Tree on the
  68         result of Get_Simple_Init_Value and pass the source location of the
  69         object declaration's object_definition.
  70
  71 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
  72
  73         * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Handle
  74         properly object declarations with initializations that are
  75         build-in-place function calls, when there is an address specification,
  76         either as an aspect specification or an explicit attribute
  77         specification clause, for the initialized object.
  78         * freeze.adb (Check_Address_Clause): Do not remove side-effects from
  79         initial expressions in the case of a build-in-place call.
  80
  81 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
  82
  83         * sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a
  84         private (sub)type; refactor to avoid early return statement.
  85         (Not_Null_Range): Same as above.
  86
  87 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
  88
  89         * freeze.adb (Freeze_Entity): Ensure that a Ghost type is not
  90         concurrent, nor effectively volatile.
  91         * ghost.adb (Check_Ghost_Type): New routine.
  92         * ghost.ads (Check_Ghost_Type): New routine.
  93         * sem_util.adb (Is_Declaration): Reimplemented. The routine can now
  94         consider specific subsets of declarations.
  95         (Is_Declaration_Other_Than_Renaming): Removed. Its functionality is
  96         replicated by Is_Declaration.
  97         * sem_util.ads (Is_Declaration): New parameter profile. Update the
  98         comment on usage.
  99         (Is_Declaration_Other_Than_Renaming): Removed.
 100
 101 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 102
 103         * sem_ch5.adb (Analyze_Assignment): Assignments to variables that act
 104         as Part_Of consituents of single protected types are illegal when they
 105         take place inside a protected function.
 106         (Diagnose_Non_Variable_Lhs): Use Within_Function to check for an
 107         enclosing function.
 108         (Is_Protected_Part_Of_Constituent): New routine.
 109         (Within_Function): New routine.
 110
 111 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
 112
 113         Bump copyright notices to 2018.
 114
 115 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 116
 117         * binde.adb, par-ch6.adb, par-ch9.adb, sem_ch12.adb, sem_ch13.adb:
 118         Minor reformatting.
 119
 120 2018-01-11  Justin Squirek  <squirek@adacore.com>
 121
 122         * par-ch6.adb (Scan_Body_Or_Expression_Function): Add additional check
 123         to make sure a given expression function is properly parenthesized.
 124
 125 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 126
 127         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Check the
 128         categorization of a subprogram body which does not complete a previous
 129         declaration.
 130
 131 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 132
 133         * sem_ch10.adb (Check_Private_Child_Unit): Ensure that the enclosing
 134         scope of package Ada is Standard.
 135
 136 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 137
 138         * sem_ch13.adb (Replace_Type_Ref): Handle properly reference to a
 139         subcomponent of the current entity when building the body for a dynamic
 140         predicate function for a record with composite subcomponents.
 141
 142 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 143
 144         * exp_aggr.adb (Convert_Aggr_In_Object_Decl): Update the call to
 145         Establish_Transient_Scope.
 146         (Convert_To_Assignments): Update the call to Establish_Transient_Scope.
 147         (Expand_Array_Aggregate): Update the call to Establish_Transient_Scope.
 148         * exp_ch6.adb (Expand_Call_Helper): Update the call to
 149         Establish_Transient_Scope.
 150         (Make_Build_In_Place_Call_In_Object_Declaration): Update the call to
 151         Establish_Transient_Scope.
 152         * exp_ch7.adb (Establish_Transient_Scope): Restructured. Delegate the
 153         management of the secondary stack to an enclosing scope if there is no
 154         suitable construct to wrap, and the transient scope was intended to
 155         manage the secondary stack.
 156         (Find_Node_To_Be_Wrapped): Restructured. A case_statement_alternative
 157         is a valid boundary for a transient expression which comes from the
 158         statements of the alternative, otherwise alternatives cannot be
 159         wrapped. Assignments of controlled objects which have controlled
 160         actions suppressed now stop the traversal as there is no point in
 161         looking for an enclosing construct. Add several N_xxx_Body choices to
 162         the termination conditions for completeness.
 163         * exp_ch7.ads (Establish_Transient_Scope): Update the parameter profile
 164         and the associated comment on usage.
 165         * exp_smem.adb (Add_Shared_Var_Lock_Procs): Update the call to
 166         Establish_Transient_Scope.
 167         (Add_Write_After): Update the call to Establish_Transient_Scope.
 168         * sem_res.adb (Check_Initialization_Call): Removed.
 169         (Resolve_Actuals): Account for additional cases where finalization
 170         actions are required by utilizing predicate Needs_Finalization rather
 171         than Is_Controlled.
 172         (Resolve_Call): Type initialization procedures can now utilize
 173         transient scopes to manage the secondary stack, thus preventing leaks
 174         during initialization.  Remove the previous kludgy algorithm which
 175         attempts to manage the secondary stack at the object creation site.
 176
 177 2018-01-11  Jerome Lambourg  <lambourg@adacore.com>
 178
 179         * libgnat/g-soliop__qnx.ads: New.
 180         * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update
 181         for QNX.
 182
 183 2018-01-11  Bob Duff  <duff@adacore.com>
 184
 185         * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if
 186         a null procedure occurs in a protected definition.
 187
 188 2018-01-11  Bob Duff  <duff@adacore.com>
 189
 190         * binderr.ads, namet.ads: Minor reformatting.
 191
 192 2018-01-11  Bob Duff  <duff@adacore.com>
 193
 194         * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of
 195         xml2gnat.
 196
 197 2018-01-11  Bob Duff  <duff@adacore.com>
 198
 199         * binde.adb (Force_Elab_Order): Give an error if there are duplicate
 200         unit names.
 201
 202 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 203
 204         * sem_ch6.adb (Freeze_Expr_Types): If an access value is the
 205         controlling argument of a dispatching call. freeze the corresponding
 206         designated type.
 207
 208 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
 209
 210         * doc/Makefile: Add Sphinx option -W to treat warnings as errors.
 211
 212 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
 213
 214         * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording
 215         corrections.
 216         * gnat_rm.texi: Regenerate.
 217
 218 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 219
 220         * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the
 221         formsl type corresponding to the actual fixed point type is private,
 222         because in this case there can be no suspicious arithmetic operations
 223         in the generic unless they reference a formal subprogram.  Clarify
 224         warning.
 225
 226 2018-01-11  Javier Miranda  <miranda@adacore.com>
 227
 228         * exp_util.adb (Remove_Side_Effects): No action done for functions
 229         returning class-wide types since it requires generating code using
 230         'reference and the CCG target has no secondary stack.
 231         * gnat1drv.adb: Disable building static dispatch tables when generating
 232         C code.
 233
 234 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
 235
 236         * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads,
 237         libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads
 238         (File_Type): Add Default_Initial_Condition aspect.
 239
 240 2018-01-11  Pascal Obry  <obry@adacore.com>
 241
 242         * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation.
 243
 244 2018-01-11  Bob Duff  <duff@adacore.com>
 245
 246         * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation
 247         to match what the Libadalang-based version does.
 248         * doc/gnat_ugn/about_this_guide.rst: Update reference.
 249
 250 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 251
 252         * sem_res.adb (Uses_SS): A controlled type requires the secondary stack
 253         if it contains at least one component declaration employing a function
 254         call returning on the secondary stack.
 255
 256 2018-01-11  Yannick Moy  <moy@adacore.com>
 257
 258         * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
 259         Update description of restriction SPARK_05 with SPARK 2014.
 260         * gnat_rm.texi: Regenerate.
 261
 262 2018-01-11  Vasiliy Fofanov  <fofanov@adacore.com>
 263
 264         * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout.
 265
 266 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 267
 268         * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb,
 269         sem_res.adb, sem_util.adb: Minor reformatting.
 270
 271 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 272
 273         * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type
 274         has a delayed aspect which must be processed at the point the type is
 275         frozen. This mimics what is done when the predicate is provided by a
 276         source aspect.
 277
 278 2018-01-11  Doug Rupp  <rupp@adacore.com>
 279
 280         * init.c (vxworks): Add macro checks for __aarch64__.
 281
 282 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 283
 284         * exp_util.adb (Add_Failure_Expression): New routine.
 285         (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
 286         * sem_util.adb (Is_Current_Instance): Code cleanup.
 287
 288 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
 289
 290         * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded
 291         Default_Sec_Stack_Size.
 292         * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack
 293         limit check so that the integer index does not overflow. Check the
 294         dynamic stack allocation does not cause the secondary stack pointer to
 295         overflow.
 296         (SS_Info): Align colons.
 297         (SS_Init): Cover the case when bootstraping with an old compiler that
 298         does not set Default_SS_Size.
 299
 300 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 301
 302         * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the
 303         legality of an inherited operation that may require overriding, ignore
 304         primitive_wrappers that correspond to explicit operations that override
 305         an interface primitive.
 306         * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the
 307         operation to which the class-wide expression applies is a protected op.
 308         with a primitive_wrapper, verify that the updated inherited expression
 309         does not contain an internal call to a protected function.  This
 310         completes the implementation of AI12-0166.
 311
 312 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 313
 314         * ali.adb: Document the remaining letters available for ALI lines.
 315         (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line.
 316         * ali.ads: Update type With_Record. Field
 317         Implicit_With_From_Instantiation is no longer in use. Add field
 318         Implicit_With.
 319         * csinfo.adb (CSinfo): Remove the setup for attribute
 320         Implicit_With_From_Instantiation.
 321         * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as
 322         either implicitly or explicitly withed.
 323         (Is_Implicit_With_Clause): New routine.
 324         (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid
 325         confusion with the with clause attribute by the same name.
 326         (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers.
 327         * rtsfind.adb (Maybe_Add_With): Code cleanup.
 328         * sem_ch8.adb (Present_System_Aux): Code cleanup.
 329         * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated
 330         for a parent unit.
 331         (Implicit_With_On_Parent): Mark the with clause as generated for a
 332         parent unit.
 333         * sem_ch12.adb (Inherit_Context): With clauses inherited by an
 334         instantiation are no longer marked as Implicit_With_From_Instantiation
 335         because they are already marked as implicit.
 336         * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge
 337         which marks implicit with clauses as related to an instantiation.
 338         * sinfo.adb (Implicit_With_From_Instantiation): Removed.
 339         (Parent_With): New routine.
 340         (Set_Implicit_With_From_Instantiation): Removed.
 341         (Set_Parent_With): New routine.
 342         * sinfo.ads: Update the documentation of attribute Implicit_With.
 343         Remove attribute Implicit_With_From_Instantiation along with
 344         occurrences in nodes.  Add attribute Parent_With along with occurrences
 345         in nodes.
 346         (Implicit_With_From_Instantiation): Removed along with pragma Inline.
 347         (Parent_With): New routine along with pragma Inline.
 348         (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline.
 349         (Set_Parent_With): New routine along with pragma Inline.
 350
 351 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 352
 353         * sem_util.adb (Find_Enclosing_Scope): Return the unique defining
 354         entity when the enclosing construct is a body.
 355
 356 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
 357
 358         * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified
 359         Secondary_Stack_Size handling as a pragma is now generated for the
 360         corresponding aspect instead of an attribute.  Pragma expression is
 361         relocated instead of evaluated. Discriminant of the corresponding
 362         record type is referenced rather than the type discriminant.
 363         (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update
 364         Secondary_Stack_Size rep item checks to only look for the pragma rep.
 365         * sem_ch13.adb (Analyze_One_Aspect): Transform
 366         Aspect_Secondary_Stack_Size into a pragma instead of an attribute
 367         because the attribute does not have visibility on a task type's
 368         discriminants when the type's definition is expanded.
 369         (Analyze_Attribute_Definition_Clause): Remove handling of
 370         Attribute_Secondary_Stack_Size.
 371         * snames.adb-tmpl, snames.ads-tmpl: Remove
 372         Attribute_Secondary_Stack_Size, no longer used.
 373
 374 2018-01-11  Justin Squirek  <squirek@adacore.com>
 375
 376         * sem_ch8.adb: Minor comment fix.
 377
 378 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 379
 380         * exp_ch4.adb (Process_Action): Do not abandon the inspection of an
 381         individual action because the action may denote a complex expression,
 382         such as a case statement, which in turn may contain additional
 383         transient objects.
 384
 385 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 386
 387         * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform
 388         analysis on a copy of the expression with a copy of the index variable,
 389         because full expansion will rewrite construct into a loop with the
 390         original loop variable.
 391         * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the
 392         expression is an iterated component association. Full analysis takes
 393         place when construct is rewritten as a loop.
 394         (In_Place_Assign_OK, Safe_Component): An iterated_component_association
 395         is not safe for in-place assignment.
 396         * sem_util.adb (Remove_Entity): Handle properly the case of an isolated
 397         entity with no homonym and no other entity in the scope.
 398
 399 2018-01-11  Justin Squirek  <squirek@adacore.com>
 400
 401         * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error
 402         message to be printed on the pragma argument identifier.
 403
 404 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 405
 406         * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last
 407         entity of the generated invariant procedure in order to construct a
 408         proper entity chain.
 409
 410 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
 411
 412         * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in
 413         comment.
 414
 415 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
 416
 417         * einfo.ads, einfo.adb (Activation_Record_Component,
 418         Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity):
 419         Allow E_Discriminant.
 420
 421 2018-01-10  Eric Botcazou  <ebotcazou@adacore.com>
 422
 423         * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check
 424         for atomic access once the component size is taken into account and
 425         also do it if the component type is Atomic or Volatile_Full_Access.
 426
 427 2018-01-04  Eric Botcazou  <ebotcazou@adacore.com>
 428
 429         * gnatvsn.ads: Bump copyright year.
 430
 431 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 432             Alan Hayward  <alan.hayward@arm.com>
 433             David Sherwood  <david.sherwood@arm.com>
 434
 435         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE
 436         as polynomial.
 437
 438 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 439             Alan Hayward  <alan.hayward@arm.com>
 440             David Sherwood  <david.sherwood@arm.com>
 441
 442         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION
 443         as polynomial.
 444
 445 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 446             Alan Hayward  <alan.hayward@arm.com>
 447             David Sherwood  <david.sherwood@arm.com>
 448
 449         * gcc-interface/utils.c (gnat_types_compatible_p): Handle
 450         polynomial TYPE_VECTOR_SUBPARTS.
 451
 452 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 453             Alan Hayward  <alan.hayward@arm.com>
 454             David Sherwood  <david.sherwood@arm.com>
 455
 456         * gcc-interface/misc.c (enumerate_modes): Handle polynomial
 457         GET_MODE_NUNITS.
 458
 459 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
 460
 461         Update copyright years.
 462
 463         * gnat_ugn.texi: Bump @copying's copyright year.
 464         * gnat_rm.texi: Likewise.
 465 \f
 466 Copyright (C) 2018 Free Software Foundation, Inc.
 467
 468 Copying and distribution of this file, with or without modification,
 469 are permitted in any medium without royalty provided the copyright
 470 notice and this notice are preserved.