gcc/ada/ChangeLog

   1 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
   2
   3         * sem_util.adb (Find_Enclosing_Scope): Return the unique defining
   4         entity when the enclosing construct is a body.
   5
   6 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
   7
   8         * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified
   9         Secondary_Stack_Size handling as a pragma is now generated for the
  10         corresponding aspect instead of an attribute.  Pragma expression is
  11         relocated instead of evaluated. Discriminant of the corresponding
  12         record type is referenced rather than the type discriminant.
  13         (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update
  14         Secondary_Stack_Size rep item checks to only look for the pragma rep.
  15         * sem_ch13.adb (Analyze_One_Aspect): Transform
  16         Aspect_Secondary_Stack_Size into a pragma instead of an attribute
  17         because the attribute does not have visibility on a task type's
  18         discriminants when the type's definition is expanded.
  19         (Analyze_Attribute_Definition_Clause): Remove handling of
  20         Attribute_Secondary_Stack_Size.
  21         * snames.adb-tmpl, snames.ads-tmpl: Remove
  22         Attribute_Secondary_Stack_Size, no longer used.
  23
  24 2018-01-11  Justin Squirek  <squirek@adacore.com>
  25
  26         * sem_ch8.adb: Minor comment fix.
  27
  28 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
  29
  30         * exp_ch4.adb (Process_Action): Do not abandon the inspection of an
  31         individual action because the action may denote a complex expression,
  32         such as a case statement, which in turn may contain additional
  33         transient objects.
  34
  35 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
  36
  37         * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform
  38         analysis on a copy of the expression with a copy of the index variable,
  39         because full expansion will rewrite construct into a loop with the
  40         original loop variable.
  41         * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the
  42         expression is an iterated component association. Full analysis takes
  43         place when construct is rewritten as a loop.
  44         (In_Place_Assign_OK, Safe_Component): An iterated_component_association
  45         is not safe for in-place assignment.
  46         * sem_util.adb (Remove_Entity): Handle properly the case of an isolated
  47         entity with no homonym and no other entity in the scope.
  48
  49 2018-01-11  Justin Squirek  <squirek@adacore.com>
  50
  51         * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error
  52         message to be printed on the pragma argument identifier.
  53
  54 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
  55
  56         * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last
  57         entity of the generated invariant procedure in order to construct a
  58         proper entity chain.
  59
  60 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
  61
  62         * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in
  63         comment.
  64
  65 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
  66
  67         * einfo.ads, einfo.adb (Activation_Record_Component,
  68         Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity):
  69         Allow E_Discriminant.
  70
  71 2018-01-10  Eric Botcazou  <ebotcazou@adacore.com>
  72
  73         * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check
  74         for atomic access once the component size is taken into account and
  75         also do it if the component type is Atomic or Volatile_Full_Access.
  76
  77 2018-01-04  Eric Botcazou  <ebotcazou@adacore.com>
  78
  79         * gnatvsn.ads: Bump copyright year.
  80
  81 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
  82             Alan Hayward  <alan.hayward@arm.com>
  83             David Sherwood  <david.sherwood@arm.com>
  84
  85         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE
  86         as polynomial.
  87
  88 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
  89             Alan Hayward  <alan.hayward@arm.com>
  90             David Sherwood  <david.sherwood@arm.com>
  91
  92         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION
  93         as polynomial.
  94
  95 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
  96             Alan Hayward  <alan.hayward@arm.com>
  97             David Sherwood  <david.sherwood@arm.com>
  98
  99         * gcc-interface/utils.c (gnat_types_compatible_p): Handle
 100         polynomial TYPE_VECTOR_SUBPARTS.
 101
 102 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 103             Alan Hayward  <alan.hayward@arm.com>
 104             David Sherwood  <david.sherwood@arm.com>
 105
 106         * gcc-interface/misc.c (enumerate_modes): Handle polynomial
 107         GET_MODE_NUNITS.
 108
 109 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
 110
 111         Update copyright years.
 112
 113         * gnat_ugn.texi: Bump @copying's copyright year.
 114         * gnat_rm.texi: Likewise.
 115 \f
 116 Copyright (C) 2018 Free Software Foundation, Inc.
 117
 118 Copying and distribution of this file, with or without modification,
 119 are permitted in any medium without royalty provided the copyright
 120 notice and this notice are preserved.