gcc/ada/ChangeLog

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