gcc/ada/ChangeLog

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