gcc/ada/ChangeLog

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