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