gcc/ada/ChangeLog

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