1 2018-01-11 Pascal Obry <obry@adacore.com>
3 * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation.
5 2018-01-11 Bob Duff <duff@adacore.com>
7 * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation
8 to match what the Libadalang-based version does.
9 * doc/gnat_ugn/about_this_guide.rst: Update reference.
11 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com>
13 * sem_res.adb (Uses_SS): A controlled type requires the secondary stack
14 if it contains at least one component declaration employing a function
15 call returning on the secondary stack.
17 2018-01-11 Yannick Moy <moy@adacore.com>
19 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
20 Update description of restriction SPARK_05 with SPARK 2014.
21 * gnat_rm.texi: Regenerate.
23 2018-01-11 Vasiliy Fofanov <fofanov@adacore.com>
25 * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout.
27 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com>
29 * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb,
30 sem_res.adb, sem_util.adb: Minor reformatting.
32 2018-01-11 Ed Schonberg <schonberg@adacore.com>
34 * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type
35 has a delayed aspect which must be processed at the point the type is
36 frozen. This mimics what is done when the predicate is provided by a
39 2018-01-11 Doug Rupp <rupp@adacore.com>
41 * init.c (vxworks): Add macro checks for __aarch64__.
43 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com>
45 * exp_util.adb (Add_Failure_Expression): New routine.
46 (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
47 * sem_util.adb (Is_Current_Instance): Code cleanup.
49 2018-01-11 Patrick Bernardi <bernardi@adacore.com>
51 * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded
52 Default_Sec_Stack_Size.
53 * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack
54 limit check so that the integer index does not overflow. Check the
55 dynamic stack allocation does not cause the secondary stack pointer to
57 (SS_Info): Align colons.
58 (SS_Init): Cover the case when bootstraping with an old compiler that
59 does not set Default_SS_Size.
61 2018-01-11 Ed Schonberg <schonberg@adacore.com>
63 * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the
64 legality of an inherited operation that may require overriding, ignore
65 primitive_wrappers that correspond to explicit operations that override
66 an interface primitive.
67 * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the
68 operation to which the class-wide expression applies is a protected op.
69 with a primitive_wrapper, verify that the updated inherited expression
70 does not contain an internal call to a protected function. This
71 completes the implementation of AI12-0166.
73 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com>
75 * ali.adb: Document the remaining letters available for ALI lines.
76 (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line.
77 * ali.ads: Update type With_Record. Field
78 Implicit_With_From_Instantiation is no longer in use. Add field
80 * csinfo.adb (CSinfo): Remove the setup for attribute
81 Implicit_With_From_Instantiation.
82 * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as
83 either implicitly or explicitly withed.
84 (Is_Implicit_With_Clause): New routine.
85 (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid
86 confusion with the with clause attribute by the same name.
87 (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers.
88 * rtsfind.adb (Maybe_Add_With): Code cleanup.
89 * sem_ch8.adb (Present_System_Aux): Code cleanup.
90 * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated
92 (Implicit_With_On_Parent): Mark the with clause as generated for a
94 * sem_ch12.adb (Inherit_Context): With clauses inherited by an
95 instantiation are no longer marked as Implicit_With_From_Instantiation
96 because they are already marked as implicit.
97 * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge
98 which marks implicit with clauses as related to an instantiation.
99 * sinfo.adb (Implicit_With_From_Instantiation): Removed.
100 (Parent_With): New routine.
101 (Set_Implicit_With_From_Instantiation): Removed.
102 (Set_Parent_With): New routine.
103 * sinfo.ads: Update the documentation of attribute Implicit_With.
104 Remove attribute Implicit_With_From_Instantiation along with
105 occurrences in nodes. Add attribute Parent_With along with occurrences
107 (Implicit_With_From_Instantiation): Removed along with pragma Inline.
108 (Parent_With): New routine along with pragma Inline.
109 (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline.
110 (Set_Parent_With): New routine along with pragma Inline.
112 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com>
114 * sem_util.adb (Find_Enclosing_Scope): Return the unique defining
115 entity when the enclosing construct is a body.
117 2018-01-11 Patrick Bernardi <bernardi@adacore.com>
119 * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified
120 Secondary_Stack_Size handling as a pragma is now generated for the
121 corresponding aspect instead of an attribute. Pragma expression is
122 relocated instead of evaluated. Discriminant of the corresponding
123 record type is referenced rather than the type discriminant.
124 (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update
125 Secondary_Stack_Size rep item checks to only look for the pragma rep.
126 * sem_ch13.adb (Analyze_One_Aspect): Transform
127 Aspect_Secondary_Stack_Size into a pragma instead of an attribute
128 because the attribute does not have visibility on a task type's
129 discriminants when the type's definition is expanded.
130 (Analyze_Attribute_Definition_Clause): Remove handling of
131 Attribute_Secondary_Stack_Size.
132 * snames.adb-tmpl, snames.ads-tmpl: Remove
133 Attribute_Secondary_Stack_Size, no longer used.
135 2018-01-11 Justin Squirek <squirek@adacore.com>
137 * sem_ch8.adb: Minor comment fix.
139 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com>
141 * exp_ch4.adb (Process_Action): Do not abandon the inspection of an
142 individual action because the action may denote a complex expression,
143 such as a case statement, which in turn may contain additional
146 2018-01-11 Ed Schonberg <schonberg@adacore.com>
148 * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform
149 analysis on a copy of the expression with a copy of the index variable,
150 because full expansion will rewrite construct into a loop with the
151 original loop variable.
152 * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the
153 expression is an iterated component association. Full analysis takes
154 place when construct is rewritten as a loop.
155 (In_Place_Assign_OK, Safe_Component): An iterated_component_association
156 is not safe for in-place assignment.
157 * sem_util.adb (Remove_Entity): Handle properly the case of an isolated
158 entity with no homonym and no other entity in the scope.
160 2018-01-11 Justin Squirek <squirek@adacore.com>
162 * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error
163 message to be printed on the pragma argument identifier.
165 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com>
167 * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last
168 entity of the generated invariant procedure in order to construct a
171 2018-01-11 Piotr Trojanek <trojanek@adacore.com>
173 * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in
176 2018-01-11 Arnaud Charlet <charlet@adacore.com>
178 * einfo.ads, einfo.adb (Activation_Record_Component,
179 Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity):
180 Allow E_Discriminant.
182 2018-01-10 Eric Botcazou <ebotcazou@adacore.com>
184 * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check
185 for atomic access once the component size is taken into account and
186 also do it if the component type is Atomic or Volatile_Full_Access.
188 2018-01-04 Eric Botcazou <ebotcazou@adacore.com>
190 * gnatvsn.ads: Bump copyright year.
192 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
193 Alan Hayward <alan.hayward@arm.com>
194 David Sherwood <david.sherwood@arm.com>
196 * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE
199 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
200 Alan Hayward <alan.hayward@arm.com>
201 David Sherwood <david.sherwood@arm.com>
203 * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION
206 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
207 Alan Hayward <alan.hayward@arm.com>
208 David Sherwood <david.sherwood@arm.com>
210 * gcc-interface/utils.c (gnat_types_compatible_p): Handle
211 polynomial TYPE_VECTOR_SUBPARTS.
213 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
214 Alan Hayward <alan.hayward@arm.com>
215 David Sherwood <david.sherwood@arm.com>
217 * gcc-interface/misc.c (enumerate_modes): Handle polynomial
220 2018-01-03 Jakub Jelinek <jakub@redhat.com>
222 Update copyright years.
224 * gnat_ugn.texi: Bump @copying's copyright year.
225 * gnat_rm.texi: Likewise.
227 Copyright (C) 2018 Free Software Foundation, Inc.
229 Copying and distribution of this file, with or without modification,
230 are permitted in any medium without royalty provided the copyright
231 notice and this notice are preserved.