1 2023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
3 * gcc-interface/decl.cc (gnat_to_gnu_entity): Use _P defines
5 (constructor_address_p): Ditto.
6 (elaborate_expression_1): Ditto.
7 * gcc-interface/trans.cc (Identifier_to_gnu): Ditto.
9 (Subprogram_Body_to_gnu): Ditto.
11 (gnat_to_gnu_external): Ditto.
12 (add_decl_expr): Ditto.
13 (gnat_gimplify_expr): Ditto.
14 * gcc-interface/utils.cc (create_var_decl): Ditto.
15 * gcc-interface/utils2.cc (get_base_type): Ditto.
16 (build_binary_op): Ditto.
17 (build_unary_op): Ditto.
18 (gnat_protect_expr): Ditto.
19 (gnat_invariant_expr): Ditto.
21 2023-05-16 Steve Baird <baird@adacore.com>
23 * usage.adb: Generate output text describing the -gnatw_s switch
24 (and the corresponding -gnatw_S switch).
26 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
28 * exp_attr.adb (Expand_N_Attribute_Reference) <Attribute_Reduce>:
29 Use the canonical accumulator type as the type of the accumulator
32 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
34 * exp_aggr.adb (Expand_Array_Aggregate): Do not set Warnings_Off on
35 the temporary created when in-place expansion is not possible.
37 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
39 * freeze.adb (Freeze_Expression): When the freezing is to be done
40 outside the current scope, skip any scope that is an internal loop.
42 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
44 * exp_imgv.adb (Rewrite_Object_Image): If the prefix is a component
45 that depends on a discriminant, create an actual subtype for it.
47 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
49 * sem_ch13.adb: Add with and use clauses for Expander.
50 (Resolve_Aspect_Expressions) <Aspect_Predicate>: Emulate a
51 bona-fide preanalysis setup before calling
52 Resolve_Aspect_Expression.
54 2023-05-16 Yannick Moy <moy@adacore.com>
56 * libgnat/s-aridou.adb (Lemma_Div_Pow2): Add assertion.
57 * libgnat/s-arit32.adb (Lemma_Abs_Div_Commutation): Simplify.
58 * libgnat/s-expmod.adb (Lemma_Exp_Mod): Add assertions.
59 (Lemma_Euclidean_Mod): Add body to lemma.
60 (Lemma_Mult_Mod): Add assertion.
61 * libgnat/s-valueu.adb (Scan_Raw_Unsigned): Modify assertion.
62 * libgnat/s-vauspe.ads (Raw_Unsigned_Last_Ghost): Add
64 * libgnat/s-widthi.adb: Use more precise types.
66 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
68 * sem_res.adb (Has_Applicable_User_Defined_Literal): Apply the
69 same processing for derived untagged types as for tagged types.
70 * sem_util.ads (Corresponding_Primitive_Op): Adjust description.
71 * sem_util.adb (Corresponding_Primitive_Op): Handle untagged
74 2023-05-16 Javier Miranda <miranda@adacore.com>
77 (Analyze_Attribute_Old_Result): When preanalyzing a class-wide
78 condition, search in the scopes stack for the subprogram that has
79 the condition. This is required because returning the current
80 scope causes reporting spurious errors when the occurrence of the
81 attribute is found, for example, in a quantified expression.
83 2023-05-16 Javier Miranda <miranda@adacore.com>
86 (Needs_BIP_Alloc_Form): Return False for functions with foreign
87 convention since we never use build-in-place for such functions.
89 2023-05-16 Piotr Trojanek <trojanek@adacore.com>
91 * sem_util.adb (Aggregate_Constraint_Checks): Don't exit early
92 when preanalysing in GNATprove mode. Now the condition is
93 consistent with other similar conditions in other code.
95 2023-05-16 Ghjuvan Lacambre <lacambre@adacore.com>
97 * usage.adb (Usage): Document -gnatyD.
99 2023-05-16 Marc Poulhiès <poulhies@adacore.com>
101 * libgnat/s-tsmona__linux.adb (link_map, r_debug_type): Add
102 'aliased' on all components.
104 2023-05-16 Johannes Kliemann <kliemann@adacore.com>
106 * libgnat/system-linux-ppc.ads: Add Support_Atomic_Primitives.
107 * libgnat/s-atopri__32.ads: Add 32 bit version of s-atopri.ads.
108 * Makefile.rtl: Use s-atopro__32.ads for ppc-linux.
110 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
112 * sem_util.adb (Get_Actual_Subtype): For an explicit dereference,
113 return the Actual_Designated_Subtype if it is present.
114 (Get_Actual_Subtype_If_Available): Likewise.
116 2023-05-16 Arnaud Charlet <charlet@adacore.com>
118 * errout.ads: Update comment.
119 * errout.adb (Skip_Msg_Insertion_Warning): Update to take e.g.
120 -gnatyM into account.
121 * erroutc.adb (Get_Warning_Option, Get_Warning_Tag)
122 (Prescan_Message): Add support for Style tags.
123 * par-ch5.adb, par-ch6.adb, par-ch7.adb, par-endh.adb,
124 par-util.adb, style.adb, styleg.adb: Set tag on all style
127 2023-05-16 Tom Tromey <tromey@adacore.com>
129 * doc/gnat_ugn/building_executable_programs_with_gnat.rst
130 (Switches_for_gnatbind): Fix typo.
131 * libgnat/g-spipat.ads: Fix typo.
132 * gnat_ugn.texi: Regenerate.
134 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
136 * exp_aggr.adb (Build_Assignment_With_Temporary): Adjust comment
137 and fix type of second parameter. Create the temporary on the
138 secondary stack by calling Build_Temporary_On_Secondary_Stack.
139 (Convert_Array_Aggr_In_Allocator): Adjust formatting.
140 (Expand_Array_Aggregate): Likewise.
141 * exp_ch4.adb (Expand_N_Allocator): Set Actual_Designated_Subtype
142 on the dereference in the initialization for all composite types.
143 * exp_ch5.adb (Expand_N_Assignment_Statement): Create a temporary
144 on the host for an assignment between nonnative storage models.
145 Suppress more checks when Suppress_Assignment_Checks is set.
146 * exp_ch6.adb (Add_Simple_Call_By_Copy_Code): Deal with actuals
147 that are dereferences with an Actual_Designated_Subtype. Add
148 support for nonnative storage models.
149 (Expand_Actuals): Create a copy if the actual is a dereference
150 with a nonnative storage model.
151 * exp_util.ads (Build_Temporary_On_Secondary_Stack): Declare.
152 * exp_util.adb (Build_Temporary_On_Secondary_Stack): New function.
153 * sem_ch5.adb (Analyze_Assignment.Set_Assignment_Type): Do not
154 build an actual subtype for dereferences with an
155 Actual_Designated_Subtype
156 * sinfo.ads (Actual_Designated_Subtype): Adjust documentation.
157 (Suppress_Assignment_Checks): Likewise.
159 2023-05-16 Piotr Trojanek <trojanek@adacore.com>
161 * exp_spark.adb (SPARK_Freeze_Type): Copy whole handling of DIC
162 and Type_Invariant from Freeze_Type.
164 2023-05-16 Richard Kenner <kenner@adacore.com>
166 * sem_util.adb (Subprogram_Name): If what's passed is already an
167 entity, use that for the name.
169 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
171 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
172 (No_Dependence): Give examples of new No_Dependence restrictions.
173 * gnat_rm.texi: Regenerate.
175 2023-05-16 Arnaud Charlet <charlet@adacore.com>
177 * snames.ads-tmpl (Name_ASCII): New.
178 * style.adb (Check_Identifier): Fix handling of ASCII.
180 2023-05-16 Eric Botcazou <ebotcazou@adacore.com>
182 * gen_il-fields.ads (Opt_Field_Enum): Add Cannot_Be_Superflat.
183 * gen_il-gen-gen_nodes.adb (N_Range): Add Cannot_Be_Superflat as
184 semantical flag and change Includes_Infinities to semantical.
185 * sinfo.ads (Cannot_Be_Superflat): Document it for N_Range.
186 * exp_ch4.adb (Expand_Concatenate): Set Cannot_Be_Superflat on the
187 range of the result if the result cannot be null.
189 2023-05-16 Richard Kenner <kenner@adacore.com>
191 * gen_il-gen-gen_nodes.adb (Present_Expr): Type is now Uint.
193 2023-05-16 Yannick Moy <moy@adacore.com>
195 * libgnat/s-aridou.adb (Big3, Is_Mult_Decomposition)
196 (Is_Scaled_Mult_Decomposition): Add annotation for inlining.
197 (Double_Divide, Scaled_Divide): Simplify and remove ghost code.
198 (Prove_Multiplication): Add calls to lemmas to make proof go
200 * libgnat/s-aridou.ads (Big, In_Double_Int_Range): Add annotation
203 2023-05-16 Yannick Moy <moy@adacore.com>
205 * libgnat/a-strsup.adb: Add intermediate assertions.
207 2023-05-16 Arnaud Charlet <charlet@adacore.com>
209 * gnat1drv.adb: Ensure all dependencies are recorded even when not
212 2023-05-16 Yannick Moy <moy@adacore.com>
214 * libgnat/a-strsup.adb: Set assertion policy for Loop_Variant.
216 2023-05-16 Marc Poulhiès <poulhies@adacore.com>
218 * sem_ch12.adb (Instantiate_Package_Body): Simplify if/then/else.
219 (Instantiate_Subprogram_Body): Likewise.
221 2023-05-16 Yannick Moy <moy@adacore.com>
223 * libgnat/s-aridou.adb:
224 (Big3): Remove override made useless.
225 (Lemma_Quot_Rem): Add new lemma and justify it, as no prover
227 (Lemma_Div_Pow2): Use new lemma Lemma_Quot_Rem.
228 (Prove_Scaled_Mult_Decomposition_Regroup3): Retype for
230 (Scaled_Divide): Remove useless assertions.Decompose some
231 assertions with cut operations. Use Assert_And_Cut for second
232 half. Add assertions.
234 2023-05-15 Marc Poulhiès <poulhies@adacore.com>
236 * exp_ch3.adb (Make_Allocator_For_Return): Fix typo in comment.
238 2023-05-15 Yannick Moy <moy@adacore.com>
240 * libgnat/a-strbou.ads: Add justifications for Mapping.
241 * libgnat/a-strfix.adb: Same.
242 * libgnat/a-strfix.ads: Same.
243 * libgnat/a-strsea.adb: Same.
244 * libgnat/a-strsea.ads: Same.
245 * libgnat/a-strsup.adb: Same and add loop variants.
246 * libgnat/a-strsup.ads: Same and add specification of termination.
248 2023-05-15 Yannick Moy <moy@adacore.com>
250 * libgnat/a-strsup.adb (Super_Slice): Reorder component assignment
251 to avoid failing predicate check related to initialization.
252 * libgnat/s-expmod.adb (Exp_Modular): Add intermediate assertion.
254 2023-05-15 Yannick Moy <moy@adacore.com>
256 * libgnat/i-c.adb: Add loop variants. Remove useless
259 2023-05-15 Bob Duff <duff@adacore.com>
261 * einfo-utils.ads: Remove comment.
263 2023-05-15 Bob Duff <duff@adacore.com>
265 * einfo-utils.ads, einfo-utils.adb: Get rid of the Proc_Next_...
266 procedures. Use Inline aspect instead of pragma Inline.
267 Is_Discrete_Or_Fixed_Point_Type did not have pragma Inline, but
268 now has the aspect; this was probably an oversight
269 (which illustrates why aspects are better).
271 2023-05-15 Ronan Desplanques <desplanques@adacore.com>
273 * doc/gnat_ugn/gnat_utility_programs.rst: Fix formatting
276 2023-05-15 Bob Duff <duff@adacore.com>
279 (Proc_Next_Component_Or_Discriminant): Call
280 Next_Component_Or_Discriminant.
282 2023-05-15 Bob Duff <duff@adacore.com>
285 (First_Entity): Update comment explaining why this exists on all
286 [sub]types, as opposed to just the ones with associated entities.
288 2023-05-15 Bob Duff <duff@adacore.com>
291 (Check_Vanishing_Fields): Disable the check for "root/base type
292 only" fields. This is a bug fix -- if we're checking some subtype
293 S, we don't want to reach over to the root or base type and
294 Reinit_Field_To_Zero of that, thus modifying the field for lots of
295 subtypes other than S. Disable in the to/from E_Void cases. Misc
297 * gen_il-gen-gen_entities.adb: Define First_Entity, Last_Entity,
298 and Stored_Constraint for all type entities, because there are too
299 many cases where Reinit_Field_To_Zero would otherwise be needed.
300 In any case, it seems cleaner to have First_Entity and Last_Entity
301 defined in the same entity kinds.
303 (First_Entity, Last_Entity, Stored_Constraint): Update comments to
304 reflect gen_il-gen-gen_entities.adb changes.
305 (Lit_Hash): Add missing "[root type only]" comment.
306 * exp_ch5.adb: Add Reinit_Field_To_Zero calls for vanishing
308 * sem_ch10.adb: Likewise.
309 * sem_ch6.adb: Likewise.
310 * sem_ch7.adb: Likewise.
311 * sem_ch8.adb: Likewise.
312 * sem_ch3.adb: Likewise. Also remove now-unnecessary
313 Reinit_Field_To_Zero calls.
315 2023-05-15 Eric Botcazou <ebotcazou@adacore.com>
317 * sem_ch7.adb (Hide_Public_Entities): Use the same condition for
318 subprogram bodies without specification as for those with one.
320 2023-05-15 Piotr Trojanek <trojanek@adacore.com>
322 * sem_util.adb (New_Copy_Tree): Remove redundant calls to Present.
324 2023-05-15 Ronan Desplanques <desplanques@adacore.com>
326 * sem_ch8.adb (End_Scope): Simplify lookup of predecessor in
329 2023-05-15 Piotr Trojanek <trojanek@adacore.com>
331 * sem_aggr.adb (Resolve_Aggregate): Accept aggregates with OTHERS
332 appearing inside unchecked conversions.
334 2023-05-15 Steve Baird <baird@adacore.com>
336 * warnsw.ads: Add a new element,
337 Warn_On_Ineffective_Predicate_Test, to the Opt_Warnings_Enum
339 * warnsw.adb: Bind "-gnatw_s" to the new
340 Warn_On_Ineffective_Predicate_Test switch. Add the new switch to
341 the set of switches enabled by -gnata .
343 (Build_Discrete_Static_Predicate): Declare new local procedure,
344 Warn_If_Test_Ineffective, which conditionally generates new
345 warning. Call this new procedure when building a new element of an
347 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
348 Document the -gnatw_s switch (and the corresponding -gnatw_S
350 * gnat_ugn.texi: Regenerate.
352 2023-05-15 Yannick Moy <moy@adacore.com>
354 * sem_attr.adb: Update comment referring to rule number.
356 2023-05-15 Ronan Desplanques <desplanques@adacore.com>
358 * sem_attr.adb: sem_attr.adb (Analyze_Access_Attribute): Tighten
359 validity check for task types.
361 2023-05-15 Ronan Desplanques <desplanques@adacore.com>
363 * doc/gnat_rm/implementation_defined_characteristics.rst: Fix
364 minor documentation formatting issue.
365 * gnat_rm.texi: Regenerate.
366 * gnat_ugn.texi: Regenerate.
368 2023-05-15 Bob Duff <duff@adacore.com>
371 (Expand_N_Op_Expon): Remove the too-big check. Simplify. Signed
372 and modular cases are combined, etc. Remove code with comment "We
373 only handle cases where the right type is a[sic] integer", because
374 the right operand must always be an integer at this point.
376 2023-05-15 Bob Duff <duff@adacore.com>
379 (Analyze_Attribute): Add a call to Check_Error_Detected.
381 2023-05-15 Yannick Moy <moy@adacore.com>
383 * par-prag.adb (First_Arg_Is_Matching_Tool_Name): Fix access to
384 expression in pragma association.
386 2023-05-15 Eric Botcazou <ebotcazou@adacore.com>
388 * repinfo.ads (JSON output format): Document special case of
389 Present member of a Variant object.
390 * repinfo.adb (List_Structural_Record_Layout): Change the type of
391 Ext_Level parameter to Integer. Restrict the first recursion with
392 increasing levels to the fixed part and implement a second
393 recursion with decreasing levels for the variant part. Deal with
394 an extension of a type with unknown discriminants.
396 2023-05-15 Claire Dross <dross@adacore.com>
398 * libgnat/s-valueu.adb: Use cut operations inside assertion to
400 * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add s-spark and
401 s-spcuop dependencies.
403 2023-05-15 Yannick Moy <moy@adacore.com>
405 * sem_prag.adb (Check_Grouping): Allow Annotate pragmas between
408 2023-05-15 Javier Miranda <miranda@adacore.com>
410 * doc/gnat_rm/implementation_defined_pragmas.rst
411 (Extensions_Allowed): Document string interpolation.
412 * gnat_rm.texi: Regenerate.
413 * gnat_ugn.texi: Regenerate.
415 2023-05-15 Joel Brobecker <brobecker@adacore.com>
417 * doc/gnat_ugn/platform_specific_information.rst
418 (_PIE_Enabled_By_Default_On_Linux): New section.
419 * gnat-style.texi: Regenerate.
420 * gnat_ugn.texi: Regenerate.
422 2023-05-15 Javier Miranda <miranda@adacore.com>
425 (Has_Dispatching_Constructor_Call): New subprogram.
426 (Expand_Interface_Conversion): No need to perform dynamic
427 interface conversion when the operand and the target type are
428 interface types and the target interface type is an ancestor of
429 the operand type. The unique exception to this rule is when the
430 operand has a dispatching constructor call (as documented in the
433 2023-05-15 Piotr Trojanek <trojanek@adacore.com>
435 * sem_attr.adb (Analyze_Attribute): Reject attribute Initialized
436 on unchecked unions; fix grammar in comment.
438 2023-05-15 Ronan Desplanques <desplanques@adacore.com>
440 * sem_ch13.adb (Validate_Unchecked_Conversion): Fix behavior on
441 System.Address to access to subprogram subtype conversion.
443 2023-05-15 Piotr Trojanek <trojanek@adacore.com>
446 (Is_Syntactic_Node): Refactored from New_Copy_Tree.
448 (Is_Syntactic_Node): Likewise.
449 (Copy_Separate_Tree): Use Is_Syntactic_Node.
451 (Has_More_Ids): Move to Atree.
452 (Is_Syntactic_Node): Likewise.
454 2023-04-18 Jin Ma <jinma@linux.alibaba.com>
456 * gcc-interface/utils.cc (unchecked_convert): Fixed typo.
458 2023-04-17 Martin Liska <mliska@suse.cz>
460 * gnatvsn.ads: Bump Library_Version to 14.
462 2023-04-15 Eric Botcazou <ebotcazou@adacore.com>
465 * gcc-interface/decl.cc (gnat_to_gnu_entity) <types>: Do not reset
466 align to zero in any case. Set TYPE_USER_ALIGN on the type only if
467 it is an aggregate type, or else a type whose default alignment is
468 specifically capped on selected platforms.
470 2023-04-14 Eric Botcazou <ebotcazou@adacore.com>
473 * gcc-interface/decl.cc (gnat_to_gnu_entity) <types>: Reset align
474 to zero if its value is equal to TYPE_ALIGN and the type is scalar.
475 Set TYPE_USER_ALIGN on the type only if align is positive.
477 2023-03-06 Javier Miranda <miranda@adacore.com>
480 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): For functions with
481 separate spec, if their return type was visible through a limited-
482 with context clause, their extra formals were not added when the
483 spec was analyzed. Now the full view must be available, and the
484 extra formals can be created and Returns_By_Ref computed.
486 2023-03-06 Eric Botcazou <ebotcazou@adacore.com>
490 * Make-generated.in: Do not use GNATMAKE.
491 * gcc-interface/Makefile.in: Ditto.
493 2023-02-26 Peter Foley <pefoley2@pefoley.com>
496 * Make-generated.in: Use GNATMAKE.
497 * gcc-interface/Makefile.in: Ditto.
499 2023-02-14 Eric Botcazou <ebotcazou@adacore.com>
501 * gcc-interface/trans.cc (gnat_gimplify_expr): Add missing guard.
503 2023-02-14 Dongsheng Song <dongsheng.song@gmail.com>
505 * adaint.c [Linux]: Include <features.h>.
506 (__gnat_get_executable_load_address) [Linux]: Enable only for
509 2023-01-16 Marc Poulhiès <poulhies@adacore.com>
511 * gcc-interface/Make-lang.in: Update copyright years.
512 * gcc-interface/Makefile.in: Likewise.
513 * gcc-interface/ada-builtin-types.def: Likewise.
514 * gcc-interface/ada-builtins.def: Likewise.
515 * gcc-interface/ada-tree.def: Likewise.
516 * gcc-interface/ada-tree.h: Likewise.
517 * gcc-interface/ada.h: Likewise.
518 * gcc-interface/config-lang.in: Likewise.
519 * gcc-interface/cuintp.cc: Likewise.
520 * gcc-interface/decl.cc: Likewise.
521 * gcc-interface/gadaint.h: Likewise.
522 * gcc-interface/gigi.h: Likewise.
523 * gcc-interface/lang-specs.h: Likewise.
524 * gcc-interface/lang.opt: Likewise.
525 * gcc-interface/misc.cc: Likewise.
526 * gcc-interface/system.ads: Likewise.
527 * gcc-interface/targtyps.cc: Likewise.
528 * gcc-interface/trans.cc: Likewise.
529 * gcc-interface/utils.cc: Likewise.
530 * gcc-interface/utils2.cc: Likewise.
532 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
534 * exp_ch3.adb (Make_Allocator_For_Return): Fix typo in comment.
536 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
538 * exp_ch3.adb (Make_Allocator_For_Return): Convert the expression
539 to the return object's type in the constrained array case as well.
541 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
543 * exp_ch3.adb (Expand_N_Object_Declaration): For a class-wide non-
544 interface stand-alone object initialized by a function call, call
545 Remove_Side_Effects on the expression to capture the result.
547 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
549 * exp_util.ads (Has_Tag_Of_Type): Declare.
550 * exp_util.adb (Has_Tag_Of_Type): Move to package level. Recurse on
551 qualified expressions.
552 * exp_ch3.adb (Expand_N_Object_Declaration): Use a static reference
553 to the interface tag in more cases for class-wide interface objects.
555 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
557 * exp_util.adb (Make_CW_Equivalent_Type.Has_Tag_Of_Type): Fix pasto.
559 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
561 * exp_util.adb (Is_Temporary_For_Interface_Object): Delete.
562 (Is_Finalizable_Transient.Is_Aliased): Deal with the specific case
563 of temporaries generated for interface objects.
565 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
567 * exp_ch3.adb (Expand_N_Object_Declaration): Do not generate a back-
568 and-forth displacement of the object's address when using a renaming
569 for an interface object with an expression of the same type.
570 * exp_ch4.adb (Expand_Allocator_Expression): Do not remove the side
571 effects of the expression up front for the simple allocators. Do not
572 call the Adjust primitive if the expression is a function call.
573 * exp_ch6.adb (Expand_Ctrl_Function_Call): Do not expand the call
574 unnecessarily for a special return object.
575 (Expand_Simple_Function_Return): Restore the displacement of the
576 return object's address in the case where the expression is the call
577 to a function whose result type is a type that needs finalization.
578 * exp_util.adb (Expand_Subtype_From_Expr): Do not remove the side
579 effects of the expression before calling Make_Subtype_From_Expr.
580 (Make_CW_Equivalent_Type): If the expression has the tag of its type
581 and this type has a uniform size, use 'Object_Size of this type in
582 lieu of 'Size of the expression to compute the expression's size.
584 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
586 * exp_ch3.adb (Make_Allocator_For_Return): Put back an interface
587 conversion for expressions with non-interface class-wide type.
589 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
591 * exp_ch3.adb (Expand_N_Object_Declaration): Also optimize aliased
592 objects if their nominal subtype is not an unconstrained array.
594 2023-01-16 Eric Botcazou <ebotcazou@adacore.com>
596 * exp_ch3.adb (Expand_N_Object_Declaration): Factor out conditions
597 needed for an initializating expression that is a function call to
598 be renamable into the Is_Renamable_Function_Call predicate.
599 Use it to implement the renaming in the case of class-wide interface
600 objects. Remove an interface conversion on all paths, separate and
601 optimize the renaming path in the special expansion for interfaces.
602 (Is_Renamable_Function_Call): New predicate.
603 (Make_Allocator_For_Return): Put back an interface conversion.
604 * exp_ch6.adb (Apply_CW_Accessibility_Check): Remove useless access
605 checks on RE_Tag_Ptr.
607 2023-01-09 Arnaud Charlet <charlet@adacore.com>
609 * accessibility.adb, accessibility.ads, ada_get_targ.adb: Update copyright year.
610 * adabkend.adb, adabkend.ads, adadecode.c, adadecode.h, adaint.c: Likewise.
611 * adaint.h, affinity.c, ali-util.adb, ali-util.ads, ali.adb: Likewise.
612 * ali.ads, alloc.ads, argv-lynxos178-raven-cert.c, argv.c: Likewise.
613 * aspects.adb, aspects.ads, atree.adb, atree.ads, atree.h: Likewise.
614 * aux-io.c, back_end.adb, back_end.ads, backend_utils.adb: Likewise.
615 * backend_utils.ads, bcheck.adb, bcheck.ads, binde.adb, binde.ads: Likewise.
616 * binderr.adb, binderr.ads, bindgen.adb, bindgen.ads: Likewise.
617 * bindo-augmentors.adb, bindo-augmentors.ads, bindo-builders.adb: Likewise.
618 * bindo-builders.ads, bindo-diagnostics.adb: Likewise.
619 * bindo-diagnostics.ads, bindo-elaborators.adb: Likewise.
620 * bindo-elaborators.ads, bindo-graphs.adb, bindo-graphs.ads: Likewise.
621 * bindo-units.adb, bindo-units.ads, bindo-validators.adb: Likewise.
622 * bindo-validators.ads, bindo-writers.adb, bindo-writers.ads: Likewise.
623 * bindo.adb, bindo.ads, bindusg.adb, bindusg.ads, butil.adb: Likewise.
624 * butil.ads, cal.c, casing.adb, casing.ads, checks.adb: Likewise.
625 * checks.ads, cio.c, clean.adb, clean.ads: Likewise.
626 * comperr.adb, comperr.ads, contracts.adb, contracts.ads: Likewise.
627 * csets.adb, csets.ads, cstand.adb: Likewise.
628 * cstand.ads, cstreams.c, ctrl_c.c, debug.adb, debug.ads: Likewise.
629 * debug_a.adb, debug_a.ads, einfo-utils.adb, einfo-utils.ads: Likewise.
630 * einfo.adb, einfo.ads, elists.adb, elists.ads, elists.h, env.c: Likewise.
631 * env.h, err_vars.ads, errno.c, errout.adb, errout.ads: Likewise.
632 * erroutc.adb, erroutc.ads, errutil.adb, errutil.ads: Likewise.
633 * eval_fat.adb, eval_fat.ads, exit.c, exp_aggr.adb, exp_aggr.ads: Likewise.
634 * exp_atag.adb, exp_atag.ads, exp_attr.adb, exp_attr.ads: Likewise.
635 * exp_cg.adb, exp_cg.ads, exp_ch10.ads, exp_ch11.adb: Likewise.
636 * exp_ch11.ads, exp_ch12.adb, exp_ch12.ads, exp_ch13.adb: Likewise.
637 * exp_ch13.ads, exp_ch2.adb, exp_ch2.ads, exp_ch3.adb: Likewise.
638 * exp_ch3.ads, exp_ch4.adb, exp_ch4.ads, exp_ch5.adb, exp_ch5.ads: Likewise.
639 * exp_ch6.adb, exp_ch6.ads, exp_ch7.adb, exp_ch7.ads, exp_ch8.adb: Likewise.
640 * exp_ch8.ads, exp_ch9.adb, exp_ch9.ads, exp_code.adb: Likewise.
641 * exp_code.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.adb: Likewise.
642 * exp_disp.ads, exp_dist.adb, exp_dist.ads, exp_fixd.adb: Likewise.
643 * exp_fixd.ads, exp_imgv.adb, exp_imgv.ads, exp_intr.adb: Likewise.
644 * exp_intr.ads, exp_pakd.adb, exp_pakd.ads, exp_prag.adb: Likewise.
645 * exp_prag.ads, exp_put_image.adb, exp_put_image.ads, exp_sel.adb: Likewise.
646 * exp_sel.ads, exp_smem.adb, exp_smem.ads, exp_spark.adb: Likewise.
647 * exp_spark.ads, exp_strm.adb, exp_strm.ads, exp_tss.adb: Likewise.
648 * exp_tss.ads, exp_unst.adb, exp_unst.ads, exp_util.adb: Likewise.
649 * exp_util.ads, expander.adb, expander.ads, expect.c, fe.h: Likewise.
650 * final.c, fmap.adb, fmap.ads, fname-sf.adb, fname-sf.ads: Likewise.
651 * fname-uf.adb, fname-uf.ads, fname.adb, fname.ads, freeze.adb: Likewise.
652 * freeze.ads, frontend.adb, frontend.ads, gen_il-fields.ads: Likewise.
653 * gen_il-gen-gen_entities.adb, gen_il-gen-gen_nodes.adb: Likewise.
654 * gen_il-gen.adb, gen_il-gen.ads, gen_il-internals.adb: Likewise.
655 * gen_il-internals.ads, gen_il-main.adb, gen_il-types.ads: Likewise.
656 * gen_il.adb, gen_il.ads, get_scos.adb, get_scos.ads: Likewise.
657 * get_targ.adb, get_targ.ads, ghost.adb, ghost.ads, gnat1drv.adb: Likewise.
658 * gnat1drv.ads, gnat_cuda.adb, gnat_cuda.ads: Likewise.
659 * gnatbind.adb, gnatbind.ads, gnatchop.adb: Likewise.
660 * gnatclean.adb, gnatcmd.adb, gnatcmd.ads, gnatdll.adb: Likewise.
661 * gnatkr.adb, gnatkr.ads, gnatlink.adb, gnatlink.ads, gnatls.adb: Likewise.
662 * gnatls.ads, gnatmake.adb, gnatmake.ads, gnatname.adb: Likewise.
663 * gnatname.ads, gnatprep.adb, gnatprep.ads: Likewise.
664 * gprep.adb, gprep.ads, gsocket.h: Likewise.
665 * hostparm.ads: Likewise.
666 * impunit.adb, impunit.ads, indepsw-aix.adb, indepsw-darwin.adb: Likewise.
667 * indepsw-gnu.adb, indepsw.adb, indepsw.ads, init.c: Likewise.
668 * initialize.c, inline.adb, inline.ads, itypes.adb, itypes.ads: Likewise.
669 * krunch.adb, krunch.ads, layout.adb, layout.ads: Likewise.
670 * lib-list.adb, lib-load.adb, lib-load.ads, lib-sort.adb: Likewise.
671 * lib-util.adb, lib-util.ads, lib-writ.adb, lib-writ.ads: Likewise.
672 * lib-xref-spark_specific.adb, lib-xref.adb, lib-xref.ads: Likewise.
673 * lib.adb, lib.ads, libgnarl/a-astaco.adb, libgnarl/a-dispat.adb: Likewise.
674 * libgnarl/a-dynpri.adb, libgnarl/a-etgrbu.ads: Likewise.
675 * libgnarl/a-exetim__darwin.adb, libgnarl/a-exetim__default.ads: Likewise.
676 * libgnarl/a-exetim__mingw.adb, libgnarl/a-exetim__mingw.ads: Likewise.
677 * libgnarl/a-exetim__posix.adb, libgnarl/a-interr.adb: Likewise.
678 * libgnarl/a-interr.ads, libgnarl/a-intnam.ads: Likewise.
679 * libgnarl/a-intnam__aix.ads, libgnarl/a-intnam__darwin.ads: Likewise.
680 * libgnarl/a-intnam__dragonfly.ads, libgnarl/a-intnam__dummy.ads: Likewise.
681 * libgnarl/a-intnam__freebsd.ads, libgnarl/a-intnam__hpux.ads: Likewise.
682 * libgnarl/a-intnam__linux.ads, libgnarl/a-intnam__lynxos.ads: Likewise.
683 * libgnarl/a-intnam__mingw.ads, libgnarl/a-intnam__qnx.ads: Likewise.
684 * libgnarl/a-intnam__rtems.ads, libgnarl/a-intnam__solaris.ads: Likewise.
685 * libgnarl/a-intnam__vxworks.ads, libgnarl/a-reatim.adb: Likewise.
686 * libgnarl/a-reatim.ads, libgnarl/a-retide.adb: Likewise.
687 * libgnarl/a-retide.ads, libgnarl/a-rttiev.adb: Likewise.
688 * libgnarl/a-rttiev.ads, libgnarl/a-synbar.adb: Likewise.
689 * libgnarl/a-synbar.ads, libgnarl/a-synbar__posix.adb: Likewise.
690 * libgnarl/a-synbar__posix.ads, libgnarl/a-sytaco.adb: Likewise.
691 * libgnarl/a-sytaco.ads, libgnarl/a-tasatt.adb: Likewise.
692 * libgnarl/a-tasatt.ads, libgnarl/a-taside.adb: Likewise.
693 * libgnarl/a-taside.ads, libgnarl/a-tasini.adb: Likewise.
694 * libgnarl/a-tasini.ads, libgnarl/a-taster.adb: Likewise.
695 * libgnarl/g-boubuf.adb, libgnarl/g-boubuf.ads: Likewise.
696 * libgnarl/g-boumai.ads, libgnarl/g-semaph.adb: Likewise.
697 * libgnarl/g-semaph.ads, libgnarl/g-signal.adb: Likewise.
698 * libgnarl/g-signal.ads, libgnarl/g-tastus.ads: Likewise.
699 * libgnarl/g-thread.adb, libgnarl/g-thread.ads: Likewise.
700 * libgnarl/i-vxinco.adb, libgnarl/i-vxinco.ads: Likewise.
701 * libgnarl/s-inmaop.ads, libgnarl/s-inmaop__dummy.adb: Likewise.
702 * libgnarl/s-inmaop__hwint.adb, libgnarl/s-inmaop__posix.adb: Likewise.
703 * libgnarl/s-interr.adb, libgnarl/s-interr.ads: Likewise.
704 * libgnarl/s-interr__dummy.adb, libgnarl/s-interr__hwint.adb: Likewise.
705 * libgnarl/s-interr__sigaction.adb: Likewise.
706 * libgnarl/s-interr__vxworks.adb, libgnarl/s-intman.ads: Likewise.
707 * libgnarl/s-intman__android.adb, libgnarl/s-intman__dummy.adb: Likewise.
708 * libgnarl/s-intman__lynxos.adb, libgnarl/s-intman__mingw.adb: Likewise.
709 * libgnarl/s-intman__posix.adb, libgnarl/s-intman__qnx.adb: Likewise.
710 * libgnarl/s-intman__rtems.adb, libgnarl/s-intman__rtems.ads: Likewise.
711 * libgnarl/s-intman__solaris.adb, libgnarl/s-intman__susv3.adb: Likewise.
712 * libgnarl/s-intman__vxworks.adb, libgnarl/s-intman__vxworks.ads: Likewise.
713 * libgnarl/s-linux.ads, libgnarl/s-linux__alpha.ads: Likewise.
714 * libgnarl/s-linux__android.ads, libgnarl/s-linux__hppa.ads: Likewise.
715 * libgnarl/s-linux__mips.ads, libgnarl/s-linux__riscv.ads: Likewise.
716 * libgnarl/s-linux__sparc.ads, libgnarl/s-linux__x32.ads: Likewise.
717 * libgnarl/s-mudido.adb, libgnarl/s-mudido__affinity.adb: Likewise.
718 * libgnarl/s-osinte__aix.adb, libgnarl/s-osinte__aix.ads: Likewise.
719 * libgnarl/s-osinte__android.adb, libgnarl/s-osinte__android.ads: Likewise.
720 * libgnarl/s-osinte__darwin.adb, libgnarl/s-osinte__darwin.ads: Likewise.
721 * libgnarl/s-osinte__dragonfly.adb: Likewise.
722 * libgnarl/s-osinte__dragonfly.ads, libgnarl/s-osinte__dummy.ads: Likewise.
723 * libgnarl/s-osinte__freebsd.adb, libgnarl/s-osinte__freebsd.ads: Likewise.
724 * libgnarl/s-osinte__gnu.adb, libgnarl/s-osinte__gnu.ads: Likewise.
725 * libgnarl/s-osinte__hpux-dce.adb: Likewise.
726 * libgnarl/s-osinte__hpux-dce.ads, libgnarl/s-osinte__hpux.ads: Likewise.
727 * libgnarl/s-osinte__kfreebsd-gnu.ads: Likewise.
728 * libgnarl/s-osinte__linux.ads, libgnarl/s-osinte__lynxos178.adb: Likewise.
729 * libgnarl/s-osinte__lynxos178e.ads, libgnarl/s-osinte__mingw.ads: Likewise.
730 * libgnarl/s-osinte__posix.adb, libgnarl/s-osinte__qnx.adb: Likewise.
731 * libgnarl/s-osinte__qnx.ads, libgnarl/s-osinte__rtems.adb: Likewise.
732 * libgnarl/s-osinte__rtems.ads, libgnarl/s-osinte__solaris.adb: Likewise.
733 * libgnarl/s-osinte__solaris.ads, libgnarl/s-osinte__vxworks.adb: Likewise.
734 * libgnarl/s-osinte__vxworks.ads, libgnarl/s-osinte__x32.adb: Likewise.
735 * libgnarl/s-proinf.adb, libgnarl/s-proinf.ads: Likewise.
736 * libgnarl/s-putaim.adb, libgnarl/s-putaim.ads: Likewise.
737 * libgnarl/s-qnx.ads, libgnarl/s-solita.adb: Likewise.
738 * libgnarl/s-solita.ads, libgnarl/s-stusta.adb: Likewise.
739 * libgnarl/s-stusta.ads, libgnarl/s-taasde.adb: Likewise.
740 * libgnarl/s-taasde.ads, libgnarl/s-tadeca.adb: Likewise.
741 * libgnarl/s-tadeca.ads, libgnarl/s-tadert.adb: Likewise.
742 * libgnarl/s-tadert.ads, libgnarl/s-taenca.adb: Likewise.
743 * libgnarl/s-taenca.ads, libgnarl/s-taprob.adb: Likewise.
744 * libgnarl/s-taprob.ads, libgnarl/s-taprop.ads: Likewise.
745 * libgnarl/s-taprop__dummy.adb, libgnarl/s-taprop__hpux-dce.adb: Likewise.
746 * libgnarl/s-taprop__linux.adb, libgnarl/s-taprop__mingw.adb: Likewise.
747 * libgnarl/s-taprop__posix.adb, libgnarl/s-taprop__qnx.adb: Likewise.
748 * libgnarl/s-taprop__rtems.adb, libgnarl/s-taprop__solaris.adb: Likewise.
749 * libgnarl/s-taprop__vxworks.adb, libgnarl/s-tarest.adb: Likewise.
750 * libgnarl/s-tarest.ads, libgnarl/s-tasdeb.adb: Likewise.
751 * libgnarl/s-tasdeb.ads, libgnarl/s-tasinf.adb: Likewise.
752 * libgnarl/s-tasinf.ads, libgnarl/s-tasinf__linux.adb: Likewise.
753 * libgnarl/s-tasinf__linux.ads, libgnarl/s-tasinf__mingw.adb: Likewise.
754 * libgnarl/s-tasinf__mingw.ads, libgnarl/s-tasinf__solaris.adb: Likewise.
755 * libgnarl/s-tasinf__solaris.ads, libgnarl/s-tasinf__vxworks.ads: Likewise.
756 * libgnarl/s-tasini.adb, libgnarl/s-tasini.ads: Likewise.
757 * libgnarl/s-taskin.adb, libgnarl/s-taskin.ads: Likewise.
758 * libgnarl/s-taspri__dummy.ads, libgnarl/s-taspri__hpux-dce.ads: Likewise.
759 * libgnarl/s-taspri__lynxos.ads, libgnarl/s-taspri__mingw.ads: Likewise.
760 * libgnarl/s-taspri__posix-noaltstack.ads: Likewise.
761 * libgnarl/s-taspri__posix.ads, libgnarl/s-taspri__solaris.ads: Likewise.
762 * libgnarl/s-taspri__vxworks.ads, libgnarl/s-tasque.adb: Likewise.
763 * libgnarl/s-tasque.ads, libgnarl/s-tasren.adb: Likewise.
764 * libgnarl/s-tasren.ads, libgnarl/s-tasres.ads: Likewise.
765 * libgnarl/s-tassta.adb, libgnarl/s-tassta.ads: Likewise.
766 * libgnarl/s-tasuti.adb, libgnarl/s-tasuti.ads: Likewise.
767 * libgnarl/s-tataat.adb, libgnarl/s-tataat.ads: Likewise.
768 * libgnarl/s-tpinop.adb, libgnarl/s-tpinop.ads: Likewise.
769 * libgnarl/s-tpoaal.adb, libgnarl/s-tpoben.adb: Likewise.
770 * libgnarl/s-tpoben.ads, libgnarl/s-tpobmu.adb: Likewise.
771 * libgnarl/s-tpobmu.ads, libgnarl/s-tpobop.adb: Likewise.
772 * libgnarl/s-tpobop.ads, libgnarl/s-tpopmo.adb: Likewise.
773 * libgnarl/s-tpopsp__posix-foreign.adb: Likewise.
774 * libgnarl/s-tpopsp__posix.adb, libgnarl/s-tpopsp__solaris.adb: Likewise.
775 * libgnarl/s-tpopsp__tls.adb, libgnarl/s-tpopsp__vxworks-rtp.adb: Likewise.
776 * libgnarl/s-tpopsp__vxworks-tls.adb: Likewise.
777 * libgnarl/s-tpopsp__vxworks.adb, libgnarl/s-tporft.adb: Likewise.
778 * libgnarl/s-tposen.adb, libgnarl/s-tposen.ads: Likewise.
779 * libgnarl/s-vxwext.adb, libgnarl/s-vxwext.ads: Likewise.
780 * libgnarl/s-vxwext__kernel-smp.adb: Likewise.
781 * libgnarl/s-vxwext__kernel.adb, libgnarl/s-vxwext__kernel.ads: Likewise.
782 * libgnarl/s-vxwext__rtp-smp.adb, libgnarl/s-vxwext__rtp.adb: Likewise.
783 * libgnarl/s-vxwext__rtp.ads, libgnarl/s-vxwork__aarch64.ads: Likewise.
784 * libgnarl/s-vxwork__arm.ads, libgnarl/s-vxwork__ppc.ads: Likewise.
785 * libgnarl/s-vxwork__x86.ads, libgnarl/thread.c: Likewise.
786 * libgnat/a-assert.adb, libgnat/a-assert.ads: Likewise.
787 * libgnat/a-btgbso.adb, libgnat/a-btgbso.ads: Likewise.
788 * libgnat/a-calari.adb, libgnat/a-calari.ads: Likewise.
789 * libgnat/a-calcon.adb, libgnat/a-calcon.ads: Likewise.
790 * libgnat/a-caldel.adb, libgnat/a-caldel.ads: Likewise.
791 * libgnat/a-calend.adb, libgnat/a-calend.ads: Likewise.
792 * libgnat/a-calfor.adb, libgnat/a-calfor.ads: Likewise.
793 * libgnat/a-catizo.adb, libgnat/a-cbdlli.adb: Likewise.
794 * libgnat/a-cbdlli.ads, libgnat/a-cbhama.adb: Likewise.
795 * libgnat/a-cbhama.ads, libgnat/a-cbhase.adb: Likewise.
796 * libgnat/a-cbhase.ads, libgnat/a-cbmutr.adb: Likewise.
797 * libgnat/a-cbmutr.ads, libgnat/a-cborma.adb: Likewise.
798 * libgnat/a-cborma.ads, libgnat/a-cborse.adb: Likewise.
799 * libgnat/a-cborse.ads, libgnat/a-cbprqu.adb: Likewise.
800 * libgnat/a-cbprqu.ads, libgnat/a-cbsyqu.adb: Likewise.
801 * libgnat/a-cbsyqu.ads, libgnat/a-cdlili.adb: Likewise.
802 * libgnat/a-cdlili.ads, libgnat/a-cfdlli.ads: Likewise.
803 * libgnat/a-cfhama.ads, libgnat/a-cfhase.ads: Likewise.
804 * libgnat/a-cfidll.ads, libgnat/a-cfinse.ads: Likewise.
805 * libgnat/a-cfinve.ads, libgnat/a-cforma.ads: Likewise.
806 * libgnat/a-cforse.ads, libgnat/a-cgaaso.adb: Likewise.
807 * libgnat/a-cgaaso.ads, libgnat/a-cgarso.adb: Likewise.
808 * libgnat/a-cgcaso.adb, libgnat/a-chacon.adb: Likewise.
809 * libgnat/a-chacon.ads, libgnat/a-chahan.adb: Likewise.
810 * libgnat/a-chahan.ads, libgnat/a-chlat9.ads: Likewise.
811 * libgnat/a-chtgbk.adb, libgnat/a-chtgbk.ads: Likewise.
812 * libgnat/a-chtgbo.adb, libgnat/a-chtgbo.ads: Likewise.
813 * libgnat/a-chtgfk.adb, libgnat/a-chtgfk.ads: Likewise.
814 * libgnat/a-chtgfo.adb, libgnat/a-chtgfo.ads: Likewise.
815 * libgnat/a-chtgke.adb, libgnat/a-chtgke.ads: Likewise.
816 * libgnat/a-chtgop.adb, libgnat/a-chtgop.ads: Likewise.
817 * libgnat/a-chzla1.ads, libgnat/a-chzla9.ads: Likewise.
818 * libgnat/a-cidlli.adb, libgnat/a-cidlli.ads: Likewise.
819 * libgnat/a-cihama.adb, libgnat/a-cihama.ads: Likewise.
820 * libgnat/a-cihase.adb, libgnat/a-cihase.ads: Likewise.
821 * libgnat/a-cimutr.adb, libgnat/a-cimutr.ads: Likewise.
822 * libgnat/a-ciorma.adb, libgnat/a-ciorma.ads: Likewise.
823 * libgnat/a-ciormu.adb, libgnat/a-ciormu.ads: Likewise.
824 * libgnat/a-ciorse.adb, libgnat/a-ciorse.ads: Likewise.
825 * libgnat/a-clrefi.adb, libgnat/a-clrefi.ads: Likewise.
826 * libgnat/a-coboho.adb, libgnat/a-coboho.ads: Likewise.
827 * libgnat/a-cobove.adb, libgnat/a-cobove.ads: Likewise.
828 * libgnat/a-cofove.ads, libgnat/a-cofuma.ads: Likewise.
829 * libgnat/a-cofuse.ads, libgnat/a-cofuve.ads: Likewise.
830 * libgnat/a-cogeso.adb, libgnat/a-cogeso.ads: Likewise.
831 * libgnat/a-cohama.adb, libgnat/a-cohama.ads: Likewise.
832 * libgnat/a-cohase.adb, libgnat/a-cohase.ads: Likewise.
833 * libgnat/a-cohata.ads, libgnat/a-coinho.adb: Likewise.
834 * libgnat/a-coinho.ads, libgnat/a-coinho__shared.adb: Likewise.
835 * libgnat/a-coinho__shared.ads, libgnat/a-coinve.adb: Likewise.
836 * libgnat/a-coinve.ads, libgnat/a-colien.adb: Likewise.
837 * libgnat/a-colien.ads, libgnat/a-colire.adb: Likewise.
838 * libgnat/a-colire.ads, libgnat/a-comlin.adb: Likewise.
839 * libgnat/a-comlin.ads, libgnat/a-comutr.adb: Likewise.
840 * libgnat/a-comutr.ads, libgnat/a-conhel.adb: Likewise.
841 * libgnat/a-conhel.ads, libgnat/a-convec.adb: Likewise.
842 * libgnat/a-convec.ads, libgnat/a-coorma.adb: Likewise.
843 * libgnat/a-coorma.ads, libgnat/a-coormu.adb: Likewise.
844 * libgnat/a-coormu.ads, libgnat/a-coorse.adb: Likewise.
845 * libgnat/a-coorse.ads, libgnat/a-coprnu.adb: Likewise.
846 * libgnat/a-coprnu.ads, libgnat/a-costso.adb: Likewise.
847 * libgnat/a-costso.ads, libgnat/a-crbltr.ads: Likewise.
848 * libgnat/a-crbtgk.adb, libgnat/a-crbtgk.ads: Likewise.
849 * libgnat/a-crbtgo.adb, libgnat/a-crbtgo.ads: Likewise.
850 * libgnat/a-crdlli.adb, libgnat/a-crdlli.ads: Likewise.
851 * libgnat/a-csquin.ads, libgnat/a-cuprqu.adb: Likewise.
852 * libgnat/a-cuprqu.ads, libgnat/a-cusyqu.adb: Likewise.
853 * libgnat/a-cusyqu.ads, libgnat/a-cwila1.ads: Likewise.
854 * libgnat/a-cwila9.ads, libgnat/a-decima.adb: Likewise.
855 * libgnat/a-decima.ads, libgnat/a-decima__128.ads: Likewise.
856 * libgnat/a-dhfina.adb, libgnat/a-dhfina.ads: Likewise.
857 * libgnat/a-diocst.adb, libgnat/a-diocst.ads: Likewise.
858 * libgnat/a-direct.adb, libgnat/a-direct.ads: Likewise.
859 * libgnat/a-direio.adb, libgnat/a-direio.ads: Likewise.
860 * libgnat/a-dirval.adb, libgnat/a-dirval.ads: Likewise.
861 * libgnat/a-dirval__mingw.adb, libgnat/a-einuoc.adb: Likewise.
862 * libgnat/a-einuoc.ads, libgnat/a-elchha.adb: Likewise.
863 * libgnat/a-elchha.ads, libgnat/a-envvar.adb: Likewise.
864 * libgnat/a-excach.adb, libgnat/a-except.adb: Likewise.
865 * libgnat/a-except.ads, libgnat/a-exctra.adb: Likewise.
866 * libgnat/a-exctra.ads, libgnat/a-exexda.adb: Likewise.
867 * libgnat/a-exexpr.adb, libgnat/a-exextr.adb: Likewise.
868 * libgnat/a-exstat.adb, libgnat/a-finali.adb: Likewise.
869 * libgnat/a-finali.ads, libgnat/a-locale.adb: Likewise.
870 * libgnat/a-locale.ads, libgnat/a-nagefl.ads: Likewise.
871 * libgnat/a-naliop.ads, libgnat/a-naliop__nolibm.ads: Likewise.
872 * libgnat/a-nallfl.ads, libgnat/a-nallfl__wraplf.ads: Likewise.
873 * libgnat/a-nalofl.ads, libgnat/a-nalofl__simd.ads: Likewise.
874 * libgnat/a-nashfl.ads, libgnat/a-nashfl__wraplf.ads: Likewise.
875 * libgnat/a-nbnbig.adb, libgnat/a-nbnbin.adb: Likewise.
876 * libgnat/a-nbnbin__gmp.adb, libgnat/a-nbnbre.adb: Likewise.
877 * libgnat/a-ngcefu.adb, libgnat/a-ngcoar.adb: Likewise.
878 * libgnat/a-ngcoty.adb, libgnat/a-ngcoty.ads: Likewise.
879 * libgnat/a-ngelfu.adb, libgnat/a-ngelfu.ads: Likewise.
880 * libgnat/a-ngrear.adb, libgnat/a-ngrear.ads: Likewise.
881 * libgnat/a-nuauco.ads, libgnat/a-nuauco__x86.ads: Likewise.
882 * libgnat/a-nuaufl.ads, libgnat/a-nuaufl__simd.ads: Likewise.
883 * libgnat/a-nuaufl__wraplf.ads, libgnat/a-nudira.adb: Likewise.
884 * libgnat/a-nudira.ads, libgnat/a-nuflra.adb: Likewise.
885 * libgnat/a-nuflra.ads, libgnat/a-numaux.ads: Likewise.
886 * libgnat/a-rbtgbk.adb, libgnat/a-rbtgbk.ads: Likewise.
887 * libgnat/a-rbtgbo.adb, libgnat/a-rbtgbo.ads: Likewise.
888 * libgnat/a-rbtgso.adb, libgnat/a-rbtgso.ads: Likewise.
889 * libgnat/a-sbecin.adb, libgnat/a-sbecin.ads: Likewise.
890 * libgnat/a-sbhcin.adb, libgnat/a-sbhcin.ads: Likewise.
891 * libgnat/a-sblcin.adb, libgnat/a-sblcin.ads: Likewise.
892 * libgnat/a-secain.adb, libgnat/a-secain.ads: Likewise.
893 * libgnat/a-sequio.adb, libgnat/a-sequio.ads: Likewise.
894 * libgnat/a-sfecin.ads, libgnat/a-sfhcin.ads: Likewise.
895 * libgnat/a-sflcin.ads, libgnat/a-shcain.adb: Likewise.
896 * libgnat/a-shcain.ads, libgnat/a-siocst.adb: Likewise.
897 * libgnat/a-siocst.ads, libgnat/a-slcain.adb: Likewise.
898 * libgnat/a-slcain.ads, libgnat/a-ssicst.adb: Likewise.
899 * libgnat/a-ssicst.ads, libgnat/a-stboha.adb: Likewise.
900 * libgnat/a-stbubo.adb, libgnat/a-stbubo.ads: Likewise.
901 * libgnat/a-stbufi.adb, libgnat/a-stbufi.ads: Likewise.
902 * libgnat/a-stbufo.adb, libgnat/a-stbufo.ads: Likewise.
903 * libgnat/a-stbuun.adb, libgnat/a-stbuut.adb: Likewise.
904 * libgnat/a-stbuut.ads, libgnat/a-stmaco.ads: Likewise.
905 * libgnat/a-storio.adb, libgnat/a-strbou.adb: Likewise.
906 * libgnat/a-strbou.ads, libgnat/a-stream.adb: Likewise.
907 * libgnat/a-stream.ads, libgnat/a-strfix.adb: Likewise.
908 * libgnat/a-strhas.adb, libgnat/a-strmap.adb: Likewise.
909 * libgnat/a-strmap.ads, libgnat/a-strsea.adb: Likewise.
910 * libgnat/a-strsea.ads, libgnat/a-strsto.ads: Likewise.
911 * libgnat/a-strsup.adb, libgnat/a-strsup.ads: Likewise.
912 * libgnat/a-strunb.adb, libgnat/a-strunb.ads: Likewise.
913 * libgnat/a-strunb__shared.adb, libgnat/a-strunb__shared.ads: Likewise.
914 * libgnat/a-ststbo.adb, libgnat/a-ststbo.ads: Likewise.
915 * libgnat/a-ststio.adb, libgnat/a-ststio.ads: Likewise.
916 * libgnat/a-ststun.adb, libgnat/a-ststun.ads: Likewise.
917 * libgnat/a-sttebu.adb, libgnat/a-stunau.adb: Likewise.
918 * libgnat/a-stunau.ads, libgnat/a-stunau__shared.adb: Likewise.
919 * libgnat/a-stunha.adb, libgnat/a-stuten.adb: Likewise.
920 * libgnat/a-stwibo.adb, libgnat/a-stwibo.ads: Likewise.
921 * libgnat/a-stwifi.adb, libgnat/a-stwiha.adb: Likewise.
922 * libgnat/a-stwima.adb, libgnat/a-stwima.ads: Likewise.
923 * libgnat/a-stwise.adb, libgnat/a-stwise.ads: Likewise.
924 * libgnat/a-stwisu.adb, libgnat/a-stwisu.ads: Likewise.
925 * libgnat/a-stwiun.adb, libgnat/a-stwiun.ads: Likewise.
926 * libgnat/a-stwiun__shared.adb, libgnat/a-stwiun__shared.ads: Likewise.
927 * libgnat/a-stzbou.adb, libgnat/a-stzbou.ads: Likewise.
928 * libgnat/a-stzfix.adb, libgnat/a-stzhas.adb: Likewise.
929 * libgnat/a-stzmap.adb, libgnat/a-stzmap.ads: Likewise.
930 * libgnat/a-stzsea.adb, libgnat/a-stzsea.ads: Likewise.
931 * libgnat/a-stzsup.adb, libgnat/a-stzsup.ads: Likewise.
932 * libgnat/a-stzunb.adb, libgnat/a-stzunb.ads: Likewise.
933 * libgnat/a-stzunb__shared.adb, libgnat/a-stzunb__shared.ads: Likewise.
934 * libgnat/a-suecin.adb, libgnat/a-suecin.ads: Likewise.
935 * libgnat/a-suenco.adb, libgnat/a-suenst.adb: Likewise.
936 * libgnat/a-suewst.adb, libgnat/a-suezst.adb: Likewise.
937 * libgnat/a-suhcin.adb, libgnat/a-suhcin.ads: Likewise.
938 * libgnat/a-sulcin.adb, libgnat/a-sulcin.ads: Likewise.
939 * libgnat/a-suteio.adb, libgnat/a-suteio.ads: Likewise.
940 * libgnat/a-suteio__shared.adb, libgnat/a-swbwha.adb: Likewise.
941 * libgnat/a-swmwco.ads, libgnat/a-swunau.adb: Likewise.
942 * libgnat/a-swunau.ads, libgnat/a-swunau__shared.adb: Likewise.
943 * libgnat/a-swuwha.adb, libgnat/a-swuwti.adb: Likewise.
944 * libgnat/a-swuwti.ads, libgnat/a-swuwti__shared.adb: Likewise.
945 * libgnat/a-szbzha.adb, libgnat/a-szmzco.ads: Likewise.
946 * libgnat/a-szunau.adb, libgnat/a-szunau.ads: Likewise.
947 * libgnat/a-szunau__shared.adb, libgnat/a-szuzha.adb: Likewise.
948 * libgnat/a-szuzti.adb, libgnat/a-szuzti.ads: Likewise.
949 * libgnat/a-szuzti__shared.adb, libgnat/a-tags.adb: Likewise.
950 * libgnat/a-tags.ads, libgnat/a-teioed.adb, libgnat/a-teioed.ads: Likewise.
951 * libgnat/a-textio.adb, libgnat/a-textio.ads: Likewise.
952 * libgnat/a-tiboio.adb, libgnat/a-ticoau.adb: Likewise.
953 * libgnat/a-ticoau.ads, libgnat/a-ticoio.adb: Likewise.
954 * libgnat/a-ticoio.ads, libgnat/a-tideau.adb: Likewise.
955 * libgnat/a-tideau.ads, libgnat/a-tideio.adb: Likewise.
956 * libgnat/a-tideio.ads, libgnat/a-tideio__128.adb: Likewise.
957 * libgnat/a-tienau.adb, libgnat/a-tienau.ads: Likewise.
958 * libgnat/a-tienio.adb, libgnat/a-tifiau.adb: Likewise.
959 * libgnat/a-tifiau.ads, libgnat/a-tifiio.adb: Likewise.
960 * libgnat/a-tifiio__128.adb, libgnat/a-tiflau.adb: Likewise.
961 * libgnat/a-tiflau.ads, libgnat/a-tiflio.adb: Likewise.
962 * libgnat/a-tiflio.ads, libgnat/a-tigeau.adb: Likewise.
963 * libgnat/a-tigeau.ads, libgnat/a-tigeli.adb: Likewise.
964 * libgnat/a-tiinau.adb, libgnat/a-tiinau.ads: Likewise.
965 * libgnat/a-tiinio.adb, libgnat/a-tiinio.ads: Likewise.
966 * libgnat/a-tiinio__128.adb, libgnat/a-timoio.adb: Likewise.
967 * libgnat/a-timoio.ads, libgnat/a-timoio__128.adb: Likewise.
968 * libgnat/a-tiocst.adb, libgnat/a-tiocst.ads: Likewise.
969 * libgnat/a-tirsfi.adb, libgnat/a-tirsfi.ads: Likewise.
970 * libgnat/a-titest.adb, libgnat/a-undesu.adb: Likewise.
971 * libgnat/a-wichha.adb, libgnat/a-wichun.adb: Likewise.
972 * libgnat/a-wichun.ads, libgnat/a-witeio.adb: Likewise.
973 * libgnat/a-witeio.ads, libgnat/a-wrstfi.adb: Likewise.
974 * libgnat/a-wrstfi.ads, libgnat/a-wtcoau.adb: Likewise.
975 * libgnat/a-wtcoau.ads, libgnat/a-wtcoio.adb: Likewise.
976 * libgnat/a-wtcstr.adb, libgnat/a-wtcstr.ads: Likewise.
977 * libgnat/a-wtdeau.adb, libgnat/a-wtdeau.ads: Likewise.
978 * libgnat/a-wtdeio.adb, libgnat/a-wtdeio__128.adb: Likewise.
979 * libgnat/a-wtedit.adb, libgnat/a-wtedit.ads: Likewise.
980 * libgnat/a-wtenau.adb, libgnat/a-wtenau.ads: Likewise.
981 * libgnat/a-wtenio.adb, libgnat/a-wtfiau.adb: Likewise.
982 * libgnat/a-wtfiau.ads, libgnat/a-wtfiio.adb: Likewise.
983 * libgnat/a-wtfiio__128.adb, libgnat/a-wtflau.adb: Likewise.
984 * libgnat/a-wtflau.ads, libgnat/a-wtflio.adb: Likewise.
985 * libgnat/a-wtgeau.adb, libgnat/a-wtgeau.ads: Likewise.
986 * libgnat/a-wtinau.adb, libgnat/a-wtinau.ads: Likewise.
987 * libgnat/a-wtinio.adb, libgnat/a-wtinio__128.adb: Likewise.
988 * libgnat/a-wtmoio.adb, libgnat/a-wtmoio.ads: Likewise.
989 * libgnat/a-wtmoio__128.adb, libgnat/a-wttest.adb: Likewise.
990 * libgnat/a-wwboio.adb, libgnat/a-zchhan.adb: Likewise.
991 * libgnat/a-zchuni.adb, libgnat/a-zchuni.ads: Likewise.
992 * libgnat/a-zrstfi.adb, libgnat/a-zrstfi.ads: Likewise.
993 * libgnat/a-ztcoau.adb, libgnat/a-ztcoio.adb: Likewise.
994 * libgnat/a-ztcstr.adb, libgnat/a-ztcstr.ads: Likewise.
995 * libgnat/a-ztdeau.adb, libgnat/a-ztdeau.ads: Likewise.
996 * libgnat/a-ztdeio.adb, libgnat/a-ztdeio__128.adb: Likewise.
997 * libgnat/a-ztedit.adb, libgnat/a-ztedit.ads: Likewise.
998 * libgnat/a-ztenau.adb, libgnat/a-ztenau.ads: Likewise.
999 * libgnat/a-ztenio.adb, libgnat/a-ztexio.adb: Likewise.
1000 * libgnat/a-ztexio.ads, libgnat/a-ztfiau.adb: Likewise.
1001 * libgnat/a-ztfiau.ads, libgnat/a-ztfiio.adb: Likewise.
1002 * libgnat/a-ztfiio__128.adb, libgnat/a-ztflau.adb: Likewise.
1003 * libgnat/a-ztflau.ads, libgnat/a-ztflio.adb: Likewise.
1004 * libgnat/a-ztgeau.adb, libgnat/a-ztgeau.ads: Likewise.
1005 * libgnat/a-ztinau.adb, libgnat/a-ztinau.ads: Likewise.
1006 * libgnat/a-ztinio.adb, libgnat/a-ztinio__128.adb: Likewise.
1007 * libgnat/a-ztmoio.adb, libgnat/a-ztmoio__128.adb: Likewise.
1008 * libgnat/a-zttest.adb, libgnat/a-zzboio.adb: Likewise.
1009 * libgnat/g-allein.ads, libgnat/g-alleve.adb: Likewise.
1010 * libgnat/g-alleve.ads, libgnat/g-alleve__hard.adb: Likewise.
1011 * libgnat/g-alleve__hard.ads, libgnat/g-altcon.adb: Likewise.
1012 * libgnat/g-altcon.ads, libgnat/g-altive.ads: Likewise.
1013 * libgnat/g-alveop.adb, libgnat/g-alveop.ads: Likewise.
1014 * libgnat/g-alvety.ads, libgnat/g-alvevi.ads: Likewise.
1015 * libgnat/g-arrspl.adb, libgnat/g-arrspl.ads, libgnat/g-awk.adb: Likewise.
1016 * libgnat/g-awk.ads, libgnat/g-binenv.adb, libgnat/g-binenv.ads: Likewise.
1017 * libgnat/g-binsea.adb, libgnat/g-binsea.ads: Likewise.
1018 * libgnat/g-brapre.ads, libgnat/g-bubsor.adb: Likewise.
1019 * libgnat/g-bubsor.ads, libgnat/g-busora.adb: Likewise.
1020 * libgnat/g-busora.ads, libgnat/g-busorg.adb: Likewise.
1021 * libgnat/g-busorg.ads, libgnat/g-byorma.adb: Likewise.
1022 * libgnat/g-byorma.ads, libgnat/g-bytswa.adb: Likewise.
1023 * libgnat/g-bytswa.ads, libgnat/g-calend.adb: Likewise.
1024 * libgnat/g-calend.ads, libgnat/g-casuti.adb: Likewise.
1025 * libgnat/g-casuti.ads, libgnat/g-catiio.adb: Likewise.
1026 * libgnat/g-catiio.ads, libgnat/g-cgi.adb, libgnat/g-cgi.ads: Likewise.
1027 * libgnat/g-cgicoo.adb, libgnat/g-cgicoo.ads: Likewise.
1028 * libgnat/g-cgideb.adb, libgnat/g-cgideb.ads: Likewise.
1029 * libgnat/g-comlin.adb, libgnat/g-comlin.ads: Likewise.
1030 * libgnat/g-comver.adb, libgnat/g-comver.ads: Likewise.
1031 * libgnat/g-cppexc.adb, libgnat/g-cppexc.ads, libgnat/g-crc32.adb: Likewise.
1032 * libgnat/g-crc32.ads, libgnat/g-ctrl_c.adb, libgnat/g-ctrl_c.ads: Likewise.
1033 * libgnat/g-curexc.ads, libgnat/g-debpoo.adb: Likewise.
1034 * libgnat/g-debpoo.ads, libgnat/g-debuti.adb: Likewise.
1035 * libgnat/g-debuti.ads, libgnat/g-decstr.adb: Likewise.
1036 * libgnat/g-decstr.ads, libgnat/g-deutst.ads: Likewise.
1037 * libgnat/g-diopit.adb, libgnat/g-diopit.ads: Likewise.
1038 * libgnat/g-dirope.adb, libgnat/g-dirope.ads: Likewise.
1039 * libgnat/g-dynhta.adb, libgnat/g-dynhta.ads: Likewise.
1040 * libgnat/g-dyntab.adb, libgnat/g-dyntab.ads: Likewise.
1041 * libgnat/g-eacodu.adb, libgnat/g-encstr.adb: Likewise.
1042 * libgnat/g-encstr.ads, libgnat/g-enutst.ads: Likewise.
1043 * libgnat/g-excact.adb, libgnat/g-excact.ads: Likewise.
1044 * libgnat/g-except.ads, libgnat/g-exctra.adb: Likewise.
1045 * libgnat/g-exctra.ads, libgnat/g-expect.adb: Likewise.
1046 * libgnat/g-expect.ads, libgnat/g-exptty.adb: Likewise.
1047 * libgnat/g-exptty.ads, libgnat/g-flocon.ads: Likewise.
1048 * libgnat/g-forstr.adb, libgnat/g-forstr.ads: Likewise.
1049 * libgnat/g-gfmafu.ads, libgnat/g-graphs.adb: Likewise.
1050 * libgnat/g-graphs.ads, libgnat/g-heasor.adb: Likewise.
1051 * libgnat/g-heasor.ads, libgnat/g-hesora.adb: Likewise.
1052 * libgnat/g-hesora.ads, libgnat/g-hesorg.adb: Likewise.
1053 * libgnat/g-hesorg.ads, libgnat/g-htable.adb: Likewise.
1054 * libgnat/g-htable.ads, libgnat/g-io.adb, libgnat/g-io.ads: Likewise.
1055 * libgnat/g-io_aux.adb, libgnat/g-io_aux.ads, libgnat/g-lists.adb: Likewise.
1056 * libgnat/g-lists.ads, libgnat/g-locfil.adb, libgnat/g-locfil.ads: Likewise.
1057 * libgnat/g-mbdira.adb, libgnat/g-mbdira.ads: Likewise.
1058 * libgnat/g-mbflra.adb, libgnat/g-mbflra.ads, libgnat/g-md5.adb: Likewise.
1059 * libgnat/g-md5.ads, libgnat/g-memdum.adb, libgnat/g-memdum.ads: Likewise.
1060 * libgnat/g-moreex.adb, libgnat/g-moreex.ads: Likewise.
1061 * libgnat/g-os_lib.adb, libgnat/g-os_lib.ads: Likewise.
1062 * libgnat/g-pehage.adb, libgnat/g-pehage.ads: Likewise.
1063 * libgnat/g-rannum.adb, libgnat/g-rannum.ads: Likewise.
1064 * libgnat/g-regexp.adb, libgnat/g-regexp.ads: Likewise.
1065 * libgnat/g-regist.adb, libgnat/g-regist.ads: Likewise.
1066 * libgnat/g-regpat.adb, libgnat/g-regpat.ads: Likewise.
1067 * libgnat/g-rewdat.adb, libgnat/g-rewdat.ads: Likewise.
1068 * libgnat/g-sechas.adb, libgnat/g-sechas.ads: Likewise.
1069 * libgnat/g-sehamd.adb, libgnat/g-sehamd.ads: Likewise.
1070 * libgnat/g-sehash.adb, libgnat/g-sehash.ads: Likewise.
1071 * libgnat/g-sercom.adb, libgnat/g-sercom.ads: Likewise.
1072 * libgnat/g-sercom__linux.adb, libgnat/g-sercom__mingw.adb: Likewise.
1073 * libgnat/g-sestin.ads, libgnat/g-sets.adb, libgnat/g-sets.ads: Likewise.
1074 * libgnat/g-sha1.adb, libgnat/g-sha1.ads, libgnat/g-sha224.ads: Likewise.
1075 * libgnat/g-sha256.ads, libgnat/g-sha384.ads: Likewise.
1076 * libgnat/g-sha512.ads, libgnat/g-shsh32.adb: Likewise.
1077 * libgnat/g-shsh32.ads, libgnat/g-shsh64.adb: Likewise.
1078 * libgnat/g-shsh64.ads, libgnat/g-shshco.adb: Likewise.
1079 * libgnat/g-shshco.ads, libgnat/g-soccon.ads: Likewise.
1080 * libgnat/g-socket.adb, libgnat/g-socket.ads: Likewise.
1081 * libgnat/g-socket__dummy.adb, libgnat/g-socket__dummy.ads: Likewise.
1082 * libgnat/g-socpol.adb, libgnat/g-socpol.ads: Likewise.
1083 * libgnat/g-socpol__dummy.adb, libgnat/g-socpol__dummy.ads: Likewise.
1084 * libgnat/g-socthi.adb, libgnat/g-socthi.ads: Likewise.
1085 * libgnat/g-socthi__dummy.adb, libgnat/g-socthi__dummy.ads: Likewise.
1086 * libgnat/g-socthi__mingw.adb, libgnat/g-socthi__mingw.ads: Likewise.
1087 * libgnat/g-socthi__vxworks.adb, libgnat/g-socthi__vxworks.ads: Likewise.
1088 * libgnat/g-soliop.ads, libgnat/g-soliop__lynxos.ads: Likewise.
1089 * libgnat/g-soliop__mingw.ads, libgnat/g-soliop__qnx.ads: Likewise.
1090 * libgnat/g-soliop__solaris.ads, libgnat/g-sopowa.adb: Likewise.
1091 * libgnat/g-sopowa__mingw.adb, libgnat/g-sopowa__posix.adb: Likewise.
1092 * libgnat/g-sothco.adb, libgnat/g-sothco.ads: Likewise.
1093 * libgnat/g-sothco__dummy.adb, libgnat/g-sothco__dummy.ads: Likewise.
1094 * libgnat/g-souinf.ads, libgnat/g-spchge.adb: Likewise.
1095 * libgnat/g-spchge.ads, libgnat/g-speche.adb: Likewise.
1096 * libgnat/g-speche.ads, libgnat/g-spipat.adb: Likewise.
1097 * libgnat/g-spipat.ads, libgnat/g-spitbo.adb: Likewise.
1098 * libgnat/g-spitbo.ads, libgnat/g-spogwa.adb: Likewise.
1099 * libgnat/g-spogwa.ads, libgnat/g-sptabo.ads: Likewise.
1100 * libgnat/g-sptain.ads, libgnat/g-sptavs.ads, libgnat/g-sse.ads: Likewise.
1101 * libgnat/g-ssvety.ads, libgnat/g-sthcso.adb: Likewise.
1102 * libgnat/g-stheme.adb, libgnat/g-strhas.ads: Likewise.
1103 * libgnat/g-string.adb, libgnat/g-string.ads: Likewise.
1104 * libgnat/g-strspl.ads, libgnat/g-stseme.adb: Likewise.
1105 * libgnat/g-stsifd__sockets.adb, libgnat/g-table.adb: Likewise.
1106 * libgnat/g-table.ads, libgnat/g-tasloc.adb, libgnat/g-tasloc.ads: Likewise.
1107 * libgnat/g-timsta.adb, libgnat/g-timsta.ads: Likewise.
1108 * libgnat/g-traceb.adb, libgnat/g-traceb.ads: Likewise.
1109 * libgnat/g-trasym.adb, libgnat/g-trasym.ads, libgnat/g-tty.adb: Likewise.
1110 * libgnat/g-tty.ads, libgnat/g-u3spch.adb, libgnat/g-u3spch.ads: Likewise.
1111 * libgnat/g-utf_32.adb, libgnat/g-utf_32.ads: Likewise.
1112 * libgnat/g-wispch.adb, libgnat/g-wispch.ads: Likewise.
1113 * libgnat/g-wistsp.ads, libgnat/g-zspche.adb: Likewise.
1114 * libgnat/g-zspche.ads, libgnat/g-zstspl.ads, libgnat/gnat.ads: Likewise.
1115 * libgnat/i-c.adb, libgnat/i-cexten.ads: Likewise.
1116 * libgnat/i-cexten__128.ads, libgnat/i-cobol.adb: Likewise.
1117 * libgnat/i-cobol.ads, libgnat/i-cpoint.adb, libgnat/i-cpoint.ads: Likewise.
1118 * libgnat/i-cstrea.adb, libgnat/i-cstrea.ads: Likewise.
1119 * libgnat/i-cstrin.adb, libgnat/i-cstrin.ads: Likewise.
1120 * libgnat/i-fortra.adb, libgnat/i-pacdec.adb: Likewise.
1121 * libgnat/i-pacdec.ads, libgnat/i-vxwoio.adb: Likewise.
1122 * libgnat/i-vxwoio.ads, libgnat/i-vxwork.ads: Likewise.
1123 * libgnat/i-vxwork__x86.ads, libgnat/interfac.ads: Likewise.
1124 * libgnat/interfac__2020.ads, libgnat/memtrack.adb: Likewise.
1125 * libgnat/s-addima.adb, libgnat/s-addima.ads: Likewise.
1126 * libgnat/s-addope.adb, libgnat/s-addope.ads: Likewise.
1127 * libgnat/s-aoinar.adb, libgnat/s-aoinar.ads: Likewise.
1128 * libgnat/s-aomoar.adb, libgnat/s-aomoar.ads: Likewise.
1129 * libgnat/s-aotase.adb, libgnat/s-aotase.ads: Likewise.
1130 * libgnat/s-aridou.adb, libgnat/s-aridou.ads: Likewise.
1131 * libgnat/s-arit128.adb, libgnat/s-arit128.ads: Likewise.
1132 * libgnat/s-arit32.adb, libgnat/s-arit32.ads: Likewise.
1133 * libgnat/s-arit64.adb, libgnat/s-arit64.ads: Likewise.
1134 * libgnat/s-assert.adb, libgnat/s-assert.ads: Likewise.
1135 * libgnat/s-atacco.adb, libgnat/s-atacco.ads: Likewise.
1136 * libgnat/s-atocou.adb, libgnat/s-atocou.ads: Likewise.
1137 * libgnat/s-atocou__builtin.adb, libgnat/s-atoope.ads: Likewise.
1138 * libgnat/s-atopex.adb, libgnat/s-atopex.ads: Likewise.
1139 * libgnat/s-atopri.adb, libgnat/s-atopri.ads: Likewise.
1140 * libgnat/s-auxdec.adb, libgnat/s-auxdec.ads: Likewise.
1141 * libgnat/s-bignum.adb, libgnat/s-bignum.ads: Likewise.
1142 * libgnat/s-bitfie.ads, libgnat/s-bitops.adb: Likewise.
1143 * libgnat/s-bitops.ads, libgnat/s-bituti.adb: Likewise.
1144 * libgnat/s-bituti.ads, libgnat/s-boarop.ads: Likewise.
1145 * libgnat/s-boustr.adb, libgnat/s-boustr.ads: Likewise.
1146 * libgnat/s-bytswa.ads, libgnat/s-carsi8.adb: Likewise.
1147 * libgnat/s-carsi8.ads, libgnat/s-carun8.adb: Likewise.
1148 * libgnat/s-carun8.ads, libgnat/s-casi128.adb: Likewise.
1149 * libgnat/s-casi128.ads, libgnat/s-casi16.adb: Likewise.
1150 * libgnat/s-casi16.ads, libgnat/s-casi32.adb: Likewise.
1151 * libgnat/s-casi32.ads, libgnat/s-casi64.adb: Likewise.
1152 * libgnat/s-casi64.ads, libgnat/s-casuti.adb: Likewise.
1153 * libgnat/s-casuti.ads, libgnat/s-caun128.adb: Likewise.
1154 * libgnat/s-caun128.ads, libgnat/s-caun16.adb: Likewise.
1155 * libgnat/s-caun16.ads, libgnat/s-caun32.adb: Likewise.
1156 * libgnat/s-caun32.ads, libgnat/s-caun64.adb: Likewise.
1157 * libgnat/s-caun64.ads, libgnat/s-chepoo.ads: Likewise.
1158 * libgnat/s-commun.adb, libgnat/s-commun.ads: Likewise.
1159 * libgnat/s-conca2.adb, libgnat/s-conca2.ads: Likewise.
1160 * libgnat/s-conca3.adb, libgnat/s-conca3.ads: Likewise.
1161 * libgnat/s-conca4.adb, libgnat/s-conca4.ads: Likewise.
1162 * libgnat/s-conca5.adb, libgnat/s-conca5.ads: Likewise.
1163 * libgnat/s-conca6.adb, libgnat/s-conca6.ads: Likewise.
1164 * libgnat/s-conca7.adb, libgnat/s-conca7.ads: Likewise.
1165 * libgnat/s-conca8.adb, libgnat/s-conca8.ads: Likewise.
1166 * libgnat/s-conca9.adb, libgnat/s-conca9.ads, libgnat/s-crc32.adb: Likewise.
1167 * libgnat/s-crc32.ads, libgnat/s-crtl.ads, libgnat/s-dfmkio.ads: Likewise.
1168 * libgnat/s-dfmopr.ads, libgnat/s-dgmgop.ads: Likewise.
1169 * libgnat/s-diflio.adb, libgnat/s-diflio.ads: Likewise.
1170 * libgnat/s-diflmk.ads, libgnat/s-digemk.ads: Likewise.
1171 * libgnat/s-diinio.adb, libgnat/s-diinio.ads: Likewise.
1172 * libgnat/s-dilomk.ads, libgnat/s-dim.ads, libgnat/s-dimkio.ads: Likewise.
1173 * libgnat/s-dimmks.ads, libgnat/s-direio.adb: Likewise.
1174 * libgnat/s-direio.ads, libgnat/s-dlmkio.ads: Likewise.
1175 * libgnat/s-dlmopr.ads, libgnat/s-dmotpr.ads: Likewise.
1176 * libgnat/s-dorepr.adb, libgnat/s-dorepr__fma.adb: Likewise.
1177 * libgnat/s-dourea.adb, libgnat/s-dourea.ads: Likewise.
1178 * libgnat/s-dsaser.ads, libgnat/s-dwalin.adb: Likewise.
1179 * libgnat/s-dwalin.ads, libgnat/s-elaall.adb: Likewise.
1180 * libgnat/s-elaall.ads, libgnat/s-excdeb.adb: Likewise.
1181 * libgnat/s-excdeb.ads, libgnat/s-except.adb: Likewise.
1182 * libgnat/s-except.ads, libgnat/s-excmac__arm.adb: Likewise.
1183 * libgnat/s-excmac__arm.ads, libgnat/s-excmac__gcc.adb: Likewise.
1184 * libgnat/s-excmac__gcc.ads, libgnat/s-exctab.adb: Likewise.
1185 * libgnat/s-exctab.ads, libgnat/s-exctra.adb: Likewise.
1186 * libgnat/s-exctra.ads, libgnat/s-exnflt.ads: Likewise.
1187 * libgnat/s-exnint.adb, libgnat/s-exnint.ads: Likewise.
1188 * libgnat/s-exnlfl.ads, libgnat/s-exnllf.adb: Likewise.
1189 * libgnat/s-exnllf.ads, libgnat/s-exnlli.adb: Likewise.
1190 * libgnat/s-exnlli.ads, libgnat/s-exnllli.ads: Likewise.
1191 * libgnat/s-expint.adb, libgnat/s-expint.ads: Likewise.
1192 * libgnat/s-explli.adb, libgnat/s-explli.ads: Likewise.
1193 * libgnat/s-expllli.ads, libgnat/s-explllu.ads: Likewise.
1194 * libgnat/s-expllu.adb, libgnat/s-expllu.ads: Likewise.
1195 * libgnat/s-expmod.adb, libgnat/s-expmod.ads: Likewise.
1196 * libgnat/s-exponn.adb, libgnat/s-exponn.ads: Likewise.
1197 * libgnat/s-exponr.adb, libgnat/s-exponr.ads: Likewise.
1198 * libgnat/s-expont.adb, libgnat/s-expont.ads: Likewise.
1199 * libgnat/s-exponu.adb, libgnat/s-exponu.ads: Likewise.
1200 * libgnat/s-expuns.adb, libgnat/s-expuns.ads: Likewise.
1201 * libgnat/s-fatflt.ads, libgnat/s-fatgen.adb: Likewise.
1202 * libgnat/s-fatgen.ads, libgnat/s-fatlfl.ads: Likewise.
1203 * libgnat/s-fatllf.ads, libgnat/s-ficobl.ads: Likewise.
1204 * libgnat/s-filatt.ads, libgnat/s-fileio.adb: Likewise.
1205 * libgnat/s-fileio.ads, libgnat/s-finmas.adb: Likewise.
1206 * libgnat/s-finmas.ads, libgnat/s-finroo.adb: Likewise.
1207 * libgnat/s-finroo.ads, libgnat/s-flocon.adb: Likewise.
1208 * libgnat/s-flocon.ads, libgnat/s-flocon__none.adb: Likewise.
1209 * libgnat/s-fode128.ads, libgnat/s-fode32.ads: Likewise.
1210 * libgnat/s-fode64.ads, libgnat/s-fofi128.ads: Likewise.
1211 * libgnat/s-fofi32.ads, libgnat/s-fofi64.ads: Likewise.
1212 * libgnat/s-fore_d.adb, libgnat/s-fore_d.ads: Likewise.
1213 * libgnat/s-fore_f.adb, libgnat/s-fore_f.ads: Likewise.
1214 * libgnat/s-forrea.adb, libgnat/s-forrea.ads: Likewise.
1215 * libgnat/s-gearop.adb, libgnat/s-gearop.ads: Likewise.
1216 * libgnat/s-genbig.adb, libgnat/s-genbig.ads: Likewise.
1217 * libgnat/s-geveop.adb, libgnat/s-geveop.ads: Likewise.
1218 * libgnat/s-gloloc.adb, libgnat/s-gloloc.ads: Likewise.
1219 * libgnat/s-gloloc__mingw.adb, libgnat/s-htable.adb: Likewise.
1220 * libgnat/s-htable.ads, libgnat/s-imageb.adb: Likewise.
1221 * libgnat/s-imageb.ads, libgnat/s-imaged.adb: Likewise.
1222 * libgnat/s-imaged.ads, libgnat/s-imagef.adb: Likewise.
1223 * libgnat/s-imagef.ads, libgnat/s-imagei.adb: Likewise.
1224 * libgnat/s-imagei.ads, libgnat/s-imagen.adb: Likewise.
1225 * libgnat/s-imagen.ads, libgnat/s-imager.adb: Likewise.
1226 * libgnat/s-imager.ads, libgnat/s-imageu.adb: Likewise.
1227 * libgnat/s-imageu.ads, libgnat/s-imagew.adb: Likewise.
1228 * libgnat/s-imagew.ads, libgnat/s-imde128.ads: Likewise.
1229 * libgnat/s-imde32.ads, libgnat/s-imde64.ads: Likewise.
1230 * libgnat/s-imen16.ads, libgnat/s-imen32.ads: Likewise.
1231 * libgnat/s-imenu8.ads, libgnat/s-imfi128.ads: Likewise.
1232 * libgnat/s-imfi32.ads, libgnat/s-imfi64.ads: Likewise.
1233 * libgnat/s-imgbiu.adb, libgnat/s-imgbiu.ads: Likewise.
1234 * libgnat/s-imgboo.adb, libgnat/s-imgboo.ads: Likewise.
1235 * libgnat/s-imgcha.adb, libgnat/s-imgcha.ads: Likewise.
1236 * libgnat/s-imgflt.ads, libgnat/s-imgint.adb: Likewise.
1237 * libgnat/s-imgint.ads, libgnat/s-imglfl.ads: Likewise.
1238 * libgnat/s-imgllb.adb, libgnat/s-imgllb.ads: Likewise.
1239 * libgnat/s-imgllf.ads, libgnat/s-imglli.adb: Likewise.
1240 * libgnat/s-imglli.ads, libgnat/s-imglllb.ads: Likewise.
1241 * libgnat/s-imgllli.ads, libgnat/s-imglllu.ads: Likewise.
1242 * libgnat/s-imglllw.ads, libgnat/s-imgllu.adb: Likewise.
1243 * libgnat/s-imgllu.ads, libgnat/s-imgllw.adb: Likewise.
1244 * libgnat/s-imgllw.ads, libgnat/s-imgrea.adb: Likewise.
1245 * libgnat/s-imgrea.ads, libgnat/s-imguns.adb: Likewise.
1246 * libgnat/s-imguns.ads, libgnat/s-imguti.adb: Likewise.
1247 * libgnat/s-imguti.ads, libgnat/s-imgwch.adb: Likewise.
1248 * libgnat/s-imgwch.ads, libgnat/s-imgwiu.adb: Likewise.
1249 * libgnat/s-imgwiu.ads, libgnat/s-io.adb, libgnat/s-io.ads: Likewise.
1250 * libgnat/s-llflex.ads, libgnat/s-maccod.ads: Likewise.
1251 * libgnat/s-mantis.adb, libgnat/s-mantis.ads: Likewise.
1252 * libgnat/s-mastop.adb, libgnat/s-mastop.ads: Likewise.
1253 * libgnat/s-memcop.ads, libgnat/s-memory.adb: Likewise.
1254 * libgnat/s-memory.ads, libgnat/s-mmap.adb, libgnat/s-mmap.ads: Likewise.
1255 * libgnat/s-mmauni__long.ads, libgnat/s-mmosin__mingw.adb: Likewise.
1256 * libgnat/s-mmosin__mingw.ads, libgnat/s-mmosin__unix.adb: Likewise.
1257 * libgnat/s-mmosin__unix.ads, libgnat/s-multip.adb: Likewise.
1258 * libgnat/s-objrea.adb, libgnat/s-objrea.ads: Likewise.
1259 * libgnat/s-optide.adb, libgnat/s-os_lib.adb: Likewise.
1260 * libgnat/s-os_lib.ads, libgnat/s-osprim.ads: Likewise.
1261 * libgnat/s-osprim__darwin.adb, libgnat/s-osprim__lynxos.ads: Likewise.
1262 * libgnat/s-osprim__mingw.adb, libgnat/s-osprim__posix.adb: Likewise.
1263 * libgnat/s-osprim__posix2008.adb, libgnat/s-osprim__rtems.adb: Likewise.
1264 * libgnat/s-osprim__solaris.adb, libgnat/s-osprim__unix.adb: Likewise.
1265 * libgnat/s-osprim__x32.adb, libgnat/s-pack03.adb: Likewise.
1266 * libgnat/s-pack03.ads, libgnat/s-pack05.adb: Likewise.
1267 * libgnat/s-pack05.ads, libgnat/s-pack06.adb: Likewise.
1268 * libgnat/s-pack06.ads, libgnat/s-pack07.adb: Likewise.
1269 * libgnat/s-pack07.ads, libgnat/s-pack09.adb: Likewise.
1270 * libgnat/s-pack09.ads, libgnat/s-pack10.adb: Likewise.
1271 * libgnat/s-pack10.ads, libgnat/s-pack100.adb: Likewise.
1272 * libgnat/s-pack100.ads, libgnat/s-pack101.adb: Likewise.
1273 * libgnat/s-pack101.ads, libgnat/s-pack102.adb: Likewise.
1274 * libgnat/s-pack102.ads, libgnat/s-pack103.adb: Likewise.
1275 * libgnat/s-pack103.ads, libgnat/s-pack104.adb: Likewise.
1276 * libgnat/s-pack104.ads, libgnat/s-pack105.adb: Likewise.
1277 * libgnat/s-pack105.ads, libgnat/s-pack106.adb: Likewise.
1278 * libgnat/s-pack106.ads, libgnat/s-pack107.adb: Likewise.
1279 * libgnat/s-pack107.ads, libgnat/s-pack108.adb: Likewise.
1280 * libgnat/s-pack108.ads, libgnat/s-pack109.adb: Likewise.
1281 * libgnat/s-pack109.ads, libgnat/s-pack11.adb: Likewise.
1282 * libgnat/s-pack11.ads, libgnat/s-pack110.adb: Likewise.
1283 * libgnat/s-pack110.ads, libgnat/s-pack111.adb: Likewise.
1284 * libgnat/s-pack111.ads, libgnat/s-pack112.adb: Likewise.
1285 * libgnat/s-pack112.ads, libgnat/s-pack113.adb: Likewise.
1286 * libgnat/s-pack113.ads, libgnat/s-pack114.adb: Likewise.
1287 * libgnat/s-pack114.ads, libgnat/s-pack115.adb: Likewise.
1288 * libgnat/s-pack115.ads, libgnat/s-pack116.adb: Likewise.
1289 * libgnat/s-pack116.ads, libgnat/s-pack117.adb: Likewise.
1290 * libgnat/s-pack117.ads, libgnat/s-pack118.adb: Likewise.
1291 * libgnat/s-pack118.ads, libgnat/s-pack119.adb: Likewise.
1292 * libgnat/s-pack119.ads, libgnat/s-pack12.adb: Likewise.
1293 * libgnat/s-pack12.ads, libgnat/s-pack120.adb: Likewise.
1294 * libgnat/s-pack120.ads, libgnat/s-pack121.adb: Likewise.
1295 * libgnat/s-pack121.ads, libgnat/s-pack122.adb: Likewise.
1296 * libgnat/s-pack122.ads, libgnat/s-pack123.adb: Likewise.
1297 * libgnat/s-pack123.ads, libgnat/s-pack124.adb: Likewise.
1298 * libgnat/s-pack124.ads, libgnat/s-pack125.adb: Likewise.
1299 * libgnat/s-pack125.ads, libgnat/s-pack126.adb: Likewise.
1300 * libgnat/s-pack126.ads, libgnat/s-pack127.adb: Likewise.
1301 * libgnat/s-pack127.ads, libgnat/s-pack13.adb: Likewise.
1302 * libgnat/s-pack13.ads, libgnat/s-pack14.adb: Likewise.
1303 * libgnat/s-pack14.ads, libgnat/s-pack15.adb: Likewise.
1304 * libgnat/s-pack15.ads, libgnat/s-pack17.adb: Likewise.
1305 * libgnat/s-pack17.ads, libgnat/s-pack18.adb: Likewise.
1306 * libgnat/s-pack18.ads, libgnat/s-pack19.adb: Likewise.
1307 * libgnat/s-pack19.ads, libgnat/s-pack20.adb: Likewise.
1308 * libgnat/s-pack20.ads, libgnat/s-pack21.adb: Likewise.
1309 * libgnat/s-pack21.ads, libgnat/s-pack22.adb: Likewise.
1310 * libgnat/s-pack22.ads, libgnat/s-pack23.adb: Likewise.
1311 * libgnat/s-pack23.ads, libgnat/s-pack24.adb: Likewise.
1312 * libgnat/s-pack24.ads, libgnat/s-pack25.adb: Likewise.
1313 * libgnat/s-pack25.ads, libgnat/s-pack26.adb: Likewise.
1314 * libgnat/s-pack26.ads, libgnat/s-pack27.adb: Likewise.
1315 * libgnat/s-pack27.ads, libgnat/s-pack28.adb: Likewise.
1316 * libgnat/s-pack28.ads, libgnat/s-pack29.adb: Likewise.
1317 * libgnat/s-pack29.ads, libgnat/s-pack30.adb: Likewise.
1318 * libgnat/s-pack30.ads, libgnat/s-pack31.adb: Likewise.
1319 * libgnat/s-pack31.ads, libgnat/s-pack33.adb: Likewise.
1320 * libgnat/s-pack33.ads, libgnat/s-pack34.adb: Likewise.
1321 * libgnat/s-pack34.ads, libgnat/s-pack35.adb: Likewise.
1322 * libgnat/s-pack35.ads, libgnat/s-pack36.adb: Likewise.
1323 * libgnat/s-pack36.ads, libgnat/s-pack37.adb: Likewise.
1324 * libgnat/s-pack37.ads, libgnat/s-pack38.adb: Likewise.
1325 * libgnat/s-pack38.ads, libgnat/s-pack39.adb: Likewise.
1326 * libgnat/s-pack39.ads, libgnat/s-pack40.adb: Likewise.
1327 * libgnat/s-pack40.ads, libgnat/s-pack41.adb: Likewise.
1328 * libgnat/s-pack41.ads, libgnat/s-pack42.adb: Likewise.
1329 * libgnat/s-pack42.ads, libgnat/s-pack43.adb: Likewise.
1330 * libgnat/s-pack43.ads, libgnat/s-pack44.adb: Likewise.
1331 * libgnat/s-pack44.ads, libgnat/s-pack45.adb: Likewise.
1332 * libgnat/s-pack45.ads, libgnat/s-pack46.adb: Likewise.
1333 * libgnat/s-pack46.ads, libgnat/s-pack47.adb: Likewise.
1334 * libgnat/s-pack47.ads, libgnat/s-pack48.adb: Likewise.
1335 * libgnat/s-pack48.ads, libgnat/s-pack49.adb: Likewise.
1336 * libgnat/s-pack49.ads, libgnat/s-pack50.adb: Likewise.
1337 * libgnat/s-pack50.ads, libgnat/s-pack51.adb: Likewise.
1338 * libgnat/s-pack51.ads, libgnat/s-pack52.adb: Likewise.
1339 * libgnat/s-pack52.ads, libgnat/s-pack53.adb: Likewise.
1340 * libgnat/s-pack53.ads, libgnat/s-pack54.adb: Likewise.
1341 * libgnat/s-pack54.ads, libgnat/s-pack55.adb: Likewise.
1342 * libgnat/s-pack55.ads, libgnat/s-pack56.adb: Likewise.
1343 * libgnat/s-pack56.ads, libgnat/s-pack57.adb: Likewise.
1344 * libgnat/s-pack57.ads, libgnat/s-pack58.adb: Likewise.
1345 * libgnat/s-pack58.ads, libgnat/s-pack59.adb: Likewise.
1346 * libgnat/s-pack59.ads, libgnat/s-pack60.adb: Likewise.
1347 * libgnat/s-pack60.ads, libgnat/s-pack61.adb: Likewise.
1348 * libgnat/s-pack61.ads, libgnat/s-pack62.adb: Likewise.
1349 * libgnat/s-pack62.ads, libgnat/s-pack63.adb: Likewise.
1350 * libgnat/s-pack63.ads, libgnat/s-pack65.adb: Likewise.
1351 * libgnat/s-pack65.ads, libgnat/s-pack66.adb: Likewise.
1352 * libgnat/s-pack66.ads, libgnat/s-pack67.adb: Likewise.
1353 * libgnat/s-pack67.ads, libgnat/s-pack68.adb: Likewise.
1354 * libgnat/s-pack68.ads, libgnat/s-pack69.adb: Likewise.
1355 * libgnat/s-pack69.ads, libgnat/s-pack70.adb: Likewise.
1356 * libgnat/s-pack70.ads, libgnat/s-pack71.adb: Likewise.
1357 * libgnat/s-pack71.ads, libgnat/s-pack72.adb: Likewise.
1358 * libgnat/s-pack72.ads, libgnat/s-pack73.adb: Likewise.
1359 * libgnat/s-pack73.ads, libgnat/s-pack74.adb: Likewise.
1360 * libgnat/s-pack74.ads, libgnat/s-pack75.adb: Likewise.
1361 * libgnat/s-pack75.ads, libgnat/s-pack76.adb: Likewise.
1362 * libgnat/s-pack76.ads, libgnat/s-pack77.adb: Likewise.
1363 * libgnat/s-pack77.ads, libgnat/s-pack78.adb: Likewise.
1364 * libgnat/s-pack78.ads, libgnat/s-pack79.adb: Likewise.
1365 * libgnat/s-pack79.ads, libgnat/s-pack80.adb: Likewise.
1366 * libgnat/s-pack80.ads, libgnat/s-pack81.adb: Likewise.
1367 * libgnat/s-pack81.ads, libgnat/s-pack82.adb: Likewise.
1368 * libgnat/s-pack82.ads, libgnat/s-pack83.adb: Likewise.
1369 * libgnat/s-pack83.ads, libgnat/s-pack84.adb: Likewise.
1370 * libgnat/s-pack84.ads, libgnat/s-pack85.adb: Likewise.
1371 * libgnat/s-pack85.ads, libgnat/s-pack86.adb: Likewise.
1372 * libgnat/s-pack86.ads, libgnat/s-pack87.adb: Likewise.
1373 * libgnat/s-pack87.ads, libgnat/s-pack88.adb: Likewise.
1374 * libgnat/s-pack88.ads, libgnat/s-pack89.adb: Likewise.
1375 * libgnat/s-pack89.ads, libgnat/s-pack90.adb: Likewise.
1376 * libgnat/s-pack90.ads, libgnat/s-pack91.adb: Likewise.
1377 * libgnat/s-pack91.ads, libgnat/s-pack92.adb: Likewise.
1378 * libgnat/s-pack92.ads, libgnat/s-pack93.adb: Likewise.
1379 * libgnat/s-pack93.ads, libgnat/s-pack94.adb: Likewise.
1380 * libgnat/s-pack94.ads, libgnat/s-pack95.adb: Likewise.
1381 * libgnat/s-pack95.ads, libgnat/s-pack96.adb: Likewise.
1382 * libgnat/s-pack96.ads, libgnat/s-pack97.adb: Likewise.
1383 * libgnat/s-pack97.ads, libgnat/s-pack98.adb: Likewise.
1384 * libgnat/s-pack98.ads, libgnat/s-pack99.adb: Likewise.
1385 * libgnat/s-pack99.ads, libgnat/s-parame.adb: Likewise.
1386 * libgnat/s-parame.ads, libgnat/s-parame__hpux.ads: Likewise.
1387 * libgnat/s-parame__posix2008.ads, libgnat/s-parame__rtems.adb: Likewise.
1388 * libgnat/s-parame__vxworks.adb, libgnat/s-parame__vxworks.ads: Likewise.
1389 * libgnat/s-parint.adb, libgnat/s-parint.ads: Likewise.
1390 * libgnat/s-pehage.adb, libgnat/s-pehage.ads: Likewise.
1391 * libgnat/s-pooglo.adb, libgnat/s-pooglo.ads: Likewise.
1392 * libgnat/s-pooloc.adb, libgnat/s-pooloc.ads: Likewise.
1393 * libgnat/s-poosiz.adb, libgnat/s-poosiz.ads: Likewise.
1394 * libgnat/s-powflt.ads, libgnat/s-powlfl.ads: Likewise.
1395 * libgnat/s-powllf.ads, libgnat/s-purexc.ads: Likewise.
1396 * libgnat/s-putima.adb, libgnat/s-putima.ads: Likewise.
1397 * libgnat/s-rannum.adb, libgnat/s-rannum.ads: Likewise.
1398 * libgnat/s-ransee.adb, libgnat/s-ransee.ads: Likewise.
1399 * libgnat/s-regexp.adb, libgnat/s-regexp.ads: Likewise.
1400 * libgnat/s-regpat.adb, libgnat/s-regpat.ads: Likewise.
1401 * libgnat/s-resfil.adb, libgnat/s-resfil.ads: Likewise.
1402 * libgnat/s-restri.adb, libgnat/s-restri.ads: Likewise.
1403 * libgnat/s-retsta.ads, libgnat/s-rident.ads, libgnat/s-rpc.adb: Likewise.
1404 * libgnat/s-rpc.ads, libgnat/s-scaval.adb, libgnat/s-scaval.ads: Likewise.
1405 * libgnat/s-scaval__128.adb, libgnat/s-scaval__128.ads: Likewise.
1406 * libgnat/s-secsta.adb, libgnat/s-secsta.ads: Likewise.
1407 * libgnat/s-sequio.adb, libgnat/s-sequio.ads: Likewise.
1408 * libgnat/s-shabig.ads, libgnat/s-shasto.adb: Likewise.
1409 * libgnat/s-shasto.ads, libgnat/s-soflin.adb: Likewise.
1410 * libgnat/s-soflin.ads, libgnat/s-soliin.adb: Likewise.
1411 * libgnat/s-soliin.ads, libgnat/s-spark.ads, libgnat/s-spcuop.adb: Likewise.
1412 * libgnat/s-spcuop.ads, libgnat/s-spsufi.adb: Likewise.
1413 * libgnat/s-spsufi.ads, libgnat/s-stache.adb: Likewise.
1414 * libgnat/s-stache.ads, libgnat/s-stalib.adb: Likewise.
1415 * libgnat/s-stalib.ads, libgnat/s-statxd.adb: Likewise.
1416 * libgnat/s-statxd.ads, libgnat/s-stausa.adb: Likewise.
1417 * libgnat/s-stausa.ads, libgnat/s-stchop.adb: Likewise.
1418 * libgnat/s-stchop.ads, libgnat/s-stchop__limit.ads: Likewise.
1419 * libgnat/s-stchop__vxworks.adb, libgnat/s-stoele.adb: Likewise.
1420 * libgnat/s-stoele.ads, libgnat/s-stopoo.adb: Likewise.
1421 * libgnat/s-stopoo.ads, libgnat/s-stposu.adb: Likewise.
1422 * libgnat/s-stposu.ads, libgnat/s-stratt.adb: Likewise.
1423 * libgnat/s-stratt.ads, libgnat/s-strcom.adb: Likewise.
1424 * libgnat/s-strcom.ads, libgnat/s-strhas.adb: Likewise.
1425 * libgnat/s-strhas.ads, libgnat/s-string.adb: Likewise.
1426 * libgnat/s-string.ads, libgnat/s-ststop.adb: Likewise.
1427 * libgnat/s-ststop.ads, libgnat/s-tasloc.adb: Likewise.
1428 * libgnat/s-tasloc.ads, libgnat/s-traceb.adb: Likewise.
1429 * libgnat/s-traceb.ads, libgnat/s-traceb__hpux.adb: Likewise.
1430 * libgnat/s-traceb__mastop.adb, libgnat/s-traent.adb: Likewise.
1431 * libgnat/s-traent.ads, libgnat/s-trasym.adb: Likewise.
1432 * libgnat/s-trasym.ads, libgnat/s-trasym__dwarf.adb: Likewise.
1433 * libgnat/s-tsmona.adb, libgnat/s-tsmona__linux.adb: Likewise.
1434 * libgnat/s-tsmona__mingw.adb, libgnat/s-unstyp.ads: Likewise.
1435 * libgnat/s-utf_32.adb, libgnat/s-utf_32.ads: Likewise.
1436 * libgnat/s-vade128.ads, libgnat/s-vade32.ads: Likewise.
1437 * libgnat/s-vade64.ads, libgnat/s-vaen16.ads: Likewise.
1438 * libgnat/s-vaen32.ads, libgnat/s-vaenu8.ads: Likewise.
1439 * libgnat/s-vafi128.ads, libgnat/s-vafi32.ads: Likewise.
1440 * libgnat/s-vafi64.ads, libgnat/s-vaispe.adb: Likewise.
1441 * libgnat/s-vaispe.ads, libgnat/s-valboo.adb: Likewise.
1442 * libgnat/s-valboo.ads, libgnat/s-valcha.adb: Likewise.
1443 * libgnat/s-valcha.ads, libgnat/s-valflt.ads: Likewise.
1444 * libgnat/s-valint.adb, libgnat/s-valint.ads: Likewise.
1445 * libgnat/s-vallfl.ads, libgnat/s-valllf.ads: Likewise.
1446 * libgnat/s-vallli.adb, libgnat/s-vallli.ads: Likewise.
1447 * libgnat/s-valllli.ads, libgnat/s-vallllu.ads: Likewise.
1448 * libgnat/s-valllu.adb, libgnat/s-valllu.ads: Likewise.
1449 * libgnat/s-valrea.adb, libgnat/s-valrea.ads: Likewise.
1450 * libgnat/s-valued.adb, libgnat/s-valued.ads: Likewise.
1451 * libgnat/s-valuef.adb, libgnat/s-valuef.ads: Likewise.
1452 * libgnat/s-valuei.adb, libgnat/s-valuei.ads: Likewise.
1453 * libgnat/s-valuen.adb, libgnat/s-valuen.ads: Likewise.
1454 * libgnat/s-valuer.adb, libgnat/s-valuer.ads: Likewise.
1455 * libgnat/s-valueu.adb, libgnat/s-valueu.ads: Likewise.
1456 * libgnat/s-valuns.adb, libgnat/s-valuns.ads: Likewise.
1457 * libgnat/s-valuti.adb, libgnat/s-valuti.ads: Likewise.
1458 * libgnat/s-valwch.adb, libgnat/s-valwch.ads: Likewise.
1459 * libgnat/s-vauspe.adb, libgnat/s-vauspe.ads: Likewise.
1460 * libgnat/s-veboop.adb, libgnat/s-veboop.ads: Likewise.
1461 * libgnat/s-vector.ads, libgnat/s-vercon.adb: Likewise.
1462 * libgnat/s-vercon.ads, libgnat/s-wchcnv.adb: Likewise.
1463 * libgnat/s-wchcnv.ads, libgnat/s-wchcon.adb: Likewise.
1464 * libgnat/s-wchcon.ads, libgnat/s-wchjis.adb: Likewise.
1465 * libgnat/s-wchjis.ads, libgnat/s-wchstw.adb: Likewise.
1466 * libgnat/s-wchstw.ads, libgnat/s-wchwts.adb: Likewise.
1467 * libgnat/s-wchwts.ads, libgnat/s-widboo.adb: Likewise.
1468 * libgnat/s-widboo.ads, libgnat/s-widcha.adb: Likewise.
1469 * libgnat/s-widcha.ads, libgnat/s-widenu.adb: Likewise.
1470 * libgnat/s-widenu.ads, libgnat/s-widint.ads: Likewise.
1471 * libgnat/s-widlli.adb, libgnat/s-widlli.ads: Likewise.
1472 * libgnat/s-widllli.ads, libgnat/s-widlllu.ads: Likewise.
1473 * libgnat/s-widllu.adb, libgnat/s-widllu.ads: Likewise.
1474 * libgnat/s-widthi.adb, libgnat/s-widthi.ads: Likewise.
1475 * libgnat/s-widthu.adb, libgnat/s-widthu.ads: Likewise.
1476 * libgnat/s-widuns.ads, libgnat/s-widwch.adb: Likewise.
1477 * libgnat/s-widwch.ads, libgnat/s-win32.ads, libgnat/s-winext.ads: Likewise.
1478 * libgnat/s-wwdcha.adb, libgnat/s-wwdcha.ads: Likewise.
1479 * libgnat/s-wwdenu.adb, libgnat/s-wwdenu.ads: Likewise.
1480 * libgnat/s-wwdwch.adb, libgnat/s-wwdwch.ads: Likewise.
1481 * libgnat/system-aix.ads, libgnat/system-darwin-arm.ads: Likewise.
1482 * libgnat/system-darwin-ppc.ads, libgnat/system-darwin-x86.ads: Likewise.
1483 * libgnat/system-djgpp.ads, libgnat/system-dragonfly-x86_64.ads: Likewise.
1484 * libgnat/system-freebsd.ads, libgnat/system-hpux-ia64.ads: Likewise.
1485 * libgnat/system-hpux.ads, libgnat/system-linux-alpha.ads: Likewise.
1486 * libgnat/system-linux-arm.ads, libgnat/system-linux-hppa.ads: Likewise.
1487 * libgnat/system-linux-ia64.ads, libgnat/system-linux-m68k.ads: Likewise.
1488 * libgnat/system-linux-mips.ads, libgnat/system-linux-ppc.ads: Likewise.
1489 * libgnat/system-linux-riscv.ads, libgnat/system-linux-s390.ads: Likewise.
1490 * libgnat/system-linux-sh4.ads, libgnat/system-linux-sparc.ads: Likewise.
1491 * libgnat/system-linux-x86.ads, libgnat/system-lynxos178-ppc.ads: Likewise.
1492 * libgnat/system-lynxos178-x86.ads, libgnat/system-mingw.ads: Likewise.
1493 * libgnat/system-qnx-arm.ads, libgnat/system-rtems.ads: Likewise.
1494 * libgnat/system-solaris-sparc.ads: Likewise.
1495 * libgnat/system-solaris-x86.ads: Likewise.
1496 * libgnat/system-vxworks-ppc-kernel.ads: Likewise.
1497 * libgnat/system-vxworks-ppc-rtp-smp.ads: Likewise.
1498 * libgnat/system-vxworks-ppc-rtp.ads: Likewise.
1499 * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Likewise.
1500 * libgnat/system-vxworks7-aarch64.ads: Likewise.
1501 * libgnat/system-vxworks7-arm-rtp-smp.ads: Likewise.
1502 * libgnat/system-vxworks7-arm.ads: Likewise.
1503 * libgnat/system-vxworks7-ppc-kernel.ads: Likewise.
1504 * libgnat/system-vxworks7-ppc-rtp-smp.ads: Likewise.
1505 * libgnat/system-vxworks7-ppc64-kernel.ads: Likewise.
1506 * libgnat/system-vxworks7-ppc64-rtp-smp.ads: Likewise.
1507 * libgnat/system-vxworks7-x86-kernel.ads: Likewise.
1508 * libgnat/system-vxworks7-x86-rtp-smp.ads: Likewise.
1509 * libgnat/system-vxworks7-x86_64-kernel.ads: Likewise.
1510 * libgnat/system-vxworks7-x86_64-rtp-smp.ads, link.c, live.adb: Likewise.
1511 * live.ads, locales.c, make.adb, make.ads, make_util.adb: Likewise.
1512 * make_util.ads, makeusg.adb, makeusg.ads, mdll-fil.adb: Likewise.
1513 * mdll-fil.ads, mdll-utl.adb, mdll-utl.ads, mdll.adb, mdll.ads: Likewise.
1514 * mingw32.h, mkdir.c, namet-sp.adb, namet-sp.ads, namet.adb: Likewise.
1515 * namet.ads, namet.h, nlists.adb, nlists.ads, nlists.h, opt.adb: Likewise.
1516 * opt.ads, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads: Likewise.
1517 * osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads, osint.adb: Likewise.
1518 * osint.ads, output.adb, output.ads, par-ch10.adb, par-ch11.adb: Likewise.
1519 * par-ch12.adb, par-ch13.adb, par-ch2.adb, par-ch3.adb: Likewise.
1520 * par-ch4.adb, par-ch5.adb, par-ch6.adb, par-ch7.adb, par-ch8.adb: Likewise.
1521 * par-ch9.adb, par-endh.adb, par-labl.adb, par-load.adb: Likewise.
1522 * par-prag.adb, par-sync.adb, par-tchk.adb, par-util.adb, par.adb: Likewise.
1523 * par.ads, par_sco.adb, par_sco.ads: Likewise.
1524 * pprint.adb, pprint.ads, prep.adb, prep.ads: Likewise.
1525 * prepcomp.adb, prepcomp.ads, put_scos.adb, put_scos.ads: Likewise.
1526 * raise-gcc.c, raise.c, raise.h, repinfo-input.adb: Likewise.
1527 * repinfo-input.ads, repinfo.adb, repinfo.ads, repinfo.h: Likewise.
1528 * restrict.adb, restrict.ads, rident.ads, rtfinal.c, rtinit.c: Likewise.
1529 * rtsfind.adb, rtsfind.ads, runtime.h, s-oscons-tmplt.c: Likewise.
1530 * scans.adb, scans.ads, scil_ll.adb, scil_ll.ads, scn.adb: Likewise.
1531 * scn.ads, scng.adb, scng.ads, scos.adb, scos.ads: Likewise.
1532 * scos.h, sdefault.ads, seh_init.c, sem.adb, sem.ads: Likewise.
1533 * sem_aggr.adb, sem_aggr.ads, sem_attr.adb, sem_attr.ads: Likewise.
1534 * sem_aux.adb, sem_aux.ads, sem_case.adb, sem_case.ads: Likewise.
1535 * sem_cat.adb, sem_cat.ads, sem_ch10.adb, sem_ch10.ads: Likewise.
1536 * sem_ch11.adb, sem_ch11.ads, sem_ch12.adb, sem_ch12.ads: Likewise.
1537 * sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch2.ads: Likewise.
1538 * sem_ch3.adb, sem_ch3.ads, sem_ch4.adb, sem_ch4.ads, sem_ch5.adb: Likewise.
1539 * sem_ch5.ads, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch7.ads: Likewise.
1540 * sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_ch9.ads, sem_dim.adb: Likewise.
1541 * sem_dim.ads, sem_disp.adb, sem_disp.ads, sem_dist.adb: Likewise.
1542 * sem_dist.ads, sem_elab.adb, sem_elab.ads, sem_elim.adb: Likewise.
1543 * sem_elim.ads, sem_eval.adb, sem_eval.ads, sem_intr.adb: Likewise.
1544 * sem_intr.ads, sem_mech.adb, sem_mech.ads, sem_prag.adb: Likewise.
1545 * sem_prag.ads, sem_res.adb, sem_res.ads, sem_scil.adb: Likewise.
1546 * sem_scil.ads, sem_smem.adb, sem_smem.ads, sem_type.adb: Likewise.
1547 * sem_type.ads, sem_util.adb, sem_util.ads, sem_warn.adb: Likewise.
1548 * sem_warn.ads, set_targ.adb, set_targ.ads, sfn_scan.adb: Likewise.
1549 * sfn_scan.ads, sigtramp-arm-qnx.c, sigtramp-armdroid.c: Likewise.
1550 * sigtramp-ios.c, sigtramp-qnx.c: Likewise.
1551 * sigtramp-vxworks-target.h, sigtramp-vxworks.c, sigtramp.h: Likewise.
1552 * sinfo-cn.adb, sinfo-cn.ads, sinfo-utils.adb, sinfo-utils.ads: Likewise.
1553 * sinfo.adb, sinfo.ads, sinput-c.adb, sinput-c.ads, sinput-d.adb: Likewise.
1554 * sinput-d.ads, sinput-l.adb, sinput-l.ads, sinput.adb: Likewise.
1555 * sinput.ads, socket.c, spark_xrefs.adb, spark_xrefs.ads: Likewise.
1556 * sprint.adb, sprint.ads, stand.ads: Likewise.
1557 * stringt.adb, stringt.ads, stringt.h, strub.adb, strub.ads: Likewise.
1558 * style.adb, style.ads, styleg.adb, styleg.ads, stylesw.adb: Likewise.
1559 * stylesw.ads, switch-b.adb, switch-b.ads, switch-c.adb: Likewise.
1560 * switch-c.ads, switch-m.adb, switch-m.ads, switch.adb: Likewise.
1561 * switch.ads, sysdep.c, table.adb: Likewise.
1562 * table.ads, targext.c, targparm.adb, targparm.ads, tbuild.adb: Likewise.
1563 * tbuild.ads, tempdir.adb, tempdir.ads, terminals.c, tracebak.c: Likewise.
1564 * treepr.adb, treepr.ads, ttypes.ads, types.adb, types.ads: Likewise.
1565 * types.h, uintp.adb, uintp.ads, uintp.h, uname.adb, uname.ads: Likewise.
1566 * urealp.adb, urealp.ads, urealp.h, usage.adb, usage.ads: Likewise.
1567 * validsw.adb, validsw.ads, vast.adb, vast.ads, warnsw.adb: Likewise.
1568 * warnsw.ads, widechar.adb, widechar.ads, xoscons.adb: Likewise.
1569 * xsnamest.adb, xutil.adb, xutil.ads, gnatvsn.adb: Likewise.
1570 * gnatvsn.ads (Current_Year): Likewise and bump to 2023.
1572 2023-01-09 Eric Botcazou <ebotcazou@adacore.com>
1574 * exp_ch7.adb (Make_Adjust_Call): Remove unreachable statement.
1575 (Make_Final_Call): Likewise.
1577 2023-01-09 Eric Botcazou <ebotcazou@adacore.com>
1579 * exp_util.ads (Is_Tag_To_Class_Wide_Conversion): Delete.
1580 (Is_Displacement_Of_Object_Or_Function_Result): Likewise.
1581 * exp_util.adb (Is_Tag_To_Class_Wide_Conversion): Rename to...
1582 (Is_Temporary_For_Interface_Object): ...this.
1583 (Is_Finalizable_Transient): Adjust call to above renaming.
1584 (Is_Displacement_Of_Object_Or_Function_Result): Delete.
1585 (Requires_Cleanup_Actions): Remove special handling of the
1586 temporaries created for interface objects.
1587 * exp_ch7.adb (Build_Finalizer): Likewise.
1589 2023-01-07 LIU Hao <lh_mouse@126.com>
1591 PR middle-end/108300
1592 * adaint.c: Define `WIN32_LEAN_AND_MEAN` before `#include
1595 * ctrl_c.c: Likewise.
1596 * expect.c: Likewise.
1597 * gsocket.h: Likewise.
1598 * mingw32.h: Likewise.
1599 * mkdir.c: Likewise.
1600 * rtfinal.c: Likewise.
1601 * rtinit.c: Likewise.
1602 * seh_init.c: Likewise.
1603 * sysdep.c: Likewise.
1604 * terminals.c: Likewise.
1605 * tracebak.c: Likewise.
1607 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1609 * exp_util.adb (Make_CW_Equivalent_Type) <Has_Tag_Of_Type>: Tweak.
1611 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1613 * exp_ch3.adb (Expand_N_Object_Declaration): Rewrite the end of the
1614 handling of objects with (class-wide) interface type by using the
1615 same idiom as the other cases generating a renaming.
1616 * exp_util.adb (Is_Displacement_Of_Object_Or_Function_Result): Tweak
1617 pattern matching code and exclude special return objects.
1618 (Requires_Cleanup_Actions): Adjust comment.
1619 * exp_ch7.adb (Build_Finalizer): Likewise.
1621 2023-01-05 Piotr Trojanek <trojanek@adacore.com>
1623 * freeze.adb (Build_Renamed_Body): Rewrite subprogram renaming to
1624 subprogram declaration early and then set the Body_To_Inling flag.
1626 2023-01-05 Piotr Trojanek <trojanek@adacore.com>
1628 * freeze.adb (Build_Renamed_Body): Revert a special case for
1629 GNATprove; remove unnecessary initialization of a local variable.
1631 2023-01-05 Marc Poulhiès <poulhies@adacore.com>
1633 * sem_ch12.adb (Instantiate_Package_Body): Better filtering when
1634 installing parent on the scope stack.
1636 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1638 * repinfo.ads (The JSON output format): Document change.
1639 * urealp.adb (UR_Write_To_JSON): Output a fraction instead of a
1640 decimal approximation.
1642 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1644 * exp_ch3.adb (Expand_N_Object_Declaration): New local variable
1645 Func_Id holding the function for a special return object.
1646 Use a direct renaming in the class-wide case when the initializing
1647 expression is a captured function call, except for a special return
1648 object when the two functions do not return on the same stack.
1649 Apply the accessibility check for class-wide special return objects.
1650 * exp_util.adb (Make_CW_Equivalent_Type) <Has_Tag_Of_Type>: New.
1651 Do not force a dispatching call to the primitive operation _Size if
1652 the expression is known to statically have the tag of its type.
1654 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1656 * exp_ch3.adb (Expand_N_Object_Declaration): Fix pasto in comment.
1658 2023-01-05 Ronan Desplanques <desplanques@adacore.com>
1660 * sem_aggr.adb (Resolve_Array_Aggregate): Tweak conditions for
1661 warning about use of parentheses for array aggregates.
1663 2023-01-05 Javier Miranda <miranda@adacore.com>
1665 * scans.ads (Tok_Left_Curly_Bracket, Tok_Right_Curly_Bracket)
1666 (Tok_Left_Interpolated_String): Placed in no category since they
1667 don't fit well in the existing categories. Fix typo in comment.
1668 (Inside_Interpolated_String_Literal): New scan state variable.
1669 * scng.adb (Slit): Scan interpolated string literals,
1670 continuations of interpolated string literals and escaped
1671 characters found in interpolated string literals.
1672 (Scan): Handle consecutive interpolated expressions. Handle ending
1673 delimiter placed immediately after an interpolated expression.
1674 Handle string literal placed after interpolated expression. Handle
1675 left and right curly brackets; when extensions are not allowed
1676 they are treated as left and right paren; when extensions are
1677 allowed they are handled as delimiters of interpolated string
1679 * sinfo.ads (N_Interpolated_String_Literal): New node.
1680 * gen_il-gen-gen_nodes.adb (N_Interpolated_String_Literal): Define
1681 N_String_Literal node.
1682 * gen_il-types.ads (Opt_Type_Enum): Define N_String_Literal as
1684 * par-ch2.adb (P_Interpolated_String_Literal): New subprogram.
1685 * par-ch4.adb (P_Simple_Expression): Handle '}' as expression
1686 terminator when scanning an interpolated expression; disable error
1687 recovery machinery for binary operator when we are processing an
1688 interpolated string literal and reach the expression terminator
1690 (P_Primary): Call P_Interpolated_String_Literal when the opening
1691 interpolated-string-literal delimiter is found (that is, the left
1693 * par-tchk.adb (T_Right_Curly_Bracket): New subprogram.
1694 * par.adb (P_Interpolated_String_Literal): New declaration.
1695 (T_Right_Curly_Bracket): New declaration.
1696 * sem.adb (Analyze): Call Analyze_Interpolated_String_Literal.
1697 * sem_ch2.ads (Analyze_Interpolated_String_Literal): New
1699 * sem_ch2.adb (Analyze_Interpolated_String_Literal): Likewise.
1700 * sem_util.adb (Is_User_Defined_Literal): Complete mapping of
1701 literal aspects adding that interpolated string literals have no
1702 correspondence with any aspect.
1703 * sem_res.adb (Resolve_Interpolated_String_Literal): New
1705 (Has_Applicable_User_Defined_Literal): Complete mapping of literal
1706 aspects adding that interpolated string literals have no
1707 correspondency with any aspect.
1708 * expander.adb (Expand): Add call to
1709 Expand_N_Interpolated_String_Literal.
1710 * exp_util.adb (Insert_Actions): Handle
1711 N_Interpolated_String_Literal nodes; that is, continue climbing.
1712 * exp_ch2.ads (Expand_N_Interpolated_String_Literal): New
1714 * exp_ch2.adb (Expand_N_Interpolated_String_Literal): Likewise.
1715 * exp_put_image.adb (Build_Elementary_Put_Image_Call): Add missing
1716 conversion to force dispatching call. Required to handle calls to
1718 (Build_String_Put_Image_Call): Do not output string delimiters
1719 when the put_image call is part of an interpolated string literal.
1720 * rtsfind.ads (RTU_Id): Add RE_Set_Trim_Leading_Spaces.
1721 * sprint.adb (Sprint_Node): Output interpolated string contents.
1722 * libgnat/a-stbubo.adb (Get_UTF_8): Add default value for
1723 Trim_Leading_White_Spaces component in aggregate.
1724 (Buffer_Type_Implementation): Update Trim_Leading_White_Spaces.
1725 * libgnat/a-stbuun.adb (Get_UTF_8): Likewise.
1726 (Buffer_Type_Implementation): Likewise.
1727 * libgnat/a-sttebu.ads (Set_Trim_Leading_Spaces): New subprogram.
1728 (Trim_Leading_Spaces): New subprogram.
1729 (Root_Buffer_Type): Adding Trim_Leading_While_Spaces component.
1730 * libgnat/a-sttebu.adb (procedure Set_Trim_Leading_Spaces): New
1732 (Trim_Leading_Space): New subprogram.
1733 (Put_UTF_8): Handle Trim_Leading_White_Spaces.
1734 (New_Line): Likewise.
1735 * libgnat/s-putima.ads (Put_Image_String): Adding formal
1737 (Put_Image_Wide_String): Likewise.
1738 (Put_Image_Wide_Wide_String): Likewise.
1739 * libgnat/s-putima.adb (Put_Image_String): Adding support for new
1741 (Put_Image_Wide_String): Likewise.
1742 (Put_Image_Wide_Wide_String): Likewise.
1744 2023-01-05 Joao Azevedo <azevedo@adacore.com>
1746 * doc/gnat_ugn/gnat_utility_programs.rst: add gnatpp --layout
1747 switch and update legacy switches.
1749 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1751 * freeze.adb (Freeze_Entity): For the purpose of deciding whether to
1752 freeze an entity coming from an outer scope in an inner scope, treat
1753 the internal subprogram generated because of post-conditions as also
1754 coming from source if the original subprogram itself does.
1756 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1758 * contracts.adb (Build_Subprogram_Contract_Wrapper): Generate an
1759 extended return statement in all cases.
1760 (Expand_Subprogram_Contract): Adjust comment.
1762 2023-01-05 Ronan Desplanques <desplanques@adacore.com>
1764 * libgnat/g-forstr.adb (F_Kind): Rename enumeration literal.
1765 (P_Flt_Format): Adjust handling of "%g".
1766 (Determine_Notation_And_Aft): New procedure.
1767 (Decimal_Exponent): New function.
1768 (Increment_Integral_Part): New procedure.
1769 (Remove_Extraneous_Decimal_Digit): New procedure.
1770 (Trim_Fractional_Part): New procedure.
1771 * libgnat/g-forstr.ads: Change description of "%g" specifier.
1773 2023-01-05 Marc Poulhiès <poulhies@adacore.com>
1775 * sem_ch12.adb (Instantiate_Package_Body): Correctly find the
1776 parent instance to place on the scope stack.
1778 2023-01-05 Justin Squirek <squirek@adacore.com>
1780 * sem_ch8.adb (Set_Entity_Or_Discriminal): Verify we are actually
1781 resetting the entity field of a non-prefixed discriminant
1784 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1786 * exp_ch3.adb (Expand_N_Object_Declaration): New local variable used
1787 throughout instead of testing Is_Special_Return_Object every time.
1788 Do not rename an OK_To_Rename object for a special return object.
1789 * exp_ch4.adb (Expand_Concatenate): Revert to constrained allocation
1790 if the result is allocated on the secondary stack.
1792 2023-01-05 Steve Baird <baird@adacore.com>
1794 * sem_prag.adb (Analyze_Pragma): Fix Is_Configuration_Pragma
1795 function to handle case where the pragma's parent is an
1796 N_Aspect_Specification node. In analyzing a Discard_Names pragma,
1797 do not assume that a nonzero number of arguments implies that the
1798 pragma is not a configuration pragma; that assumption only holds
1801 2023-01-05 Bob Duff <duff@adacore.com>
1803 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
1805 * gnat_ugn.texi: Regenerate.
1807 2023-01-05 Eric Botcazou <ebotcazou@adacore.com>
1809 * exp_ch3.adb (Expand_N_Object_Declaration): For a special return
1810 object of an interface type that is not inherently limited, make
1811 a call to the Adjust primitive after doing the copy. For a special
1812 return object of a non-class-wide type initialized by a function
1813 call, use a direct renaming only if the object doing the capture
1814 is flagged by Is_Related_To_Func_Return. For a special return
1815 object using a direct renaming, reassign the tag, if need be.
1816 * exp_ch6.adb (Expand_Simple_Function_Return): Fix comment.
1817 * exp_util.adb (Is_Related_To_Func_Return): Accept both regular and
1818 renaming object declarations for return objects.
1820 2023-01-05 Bob Duff <duff@adacore.com>
1822 * sem_ch5.adb (Analyze_Assignment): Fix the bug by checking
1823 Original_Node. The renaming might be elsewhere, but the (original)
1824 reference is right here.
1825 * errout.adb: Remove pragma Unreferenced which was added because
1827 * einfo.ads: Misc cleanup.
1828 * lib.adb: Likewise.
1829 * lib.ads: Likewise.
1831 2023-01-03 Ghjuvan Lacambre <lacambre@adacore.com>
1833 * errout.adb (Write_JSON_Span): Escape subprogram name.
1835 2023-01-03 Ghjuvan Lacambre <lacambre@adacore.com>
1837 * output.adb (Write_Buffer): Use Flush_Buffer instead of Write_Eol.
1839 2023-01-03 Ronan Desplanques <desplanques@adacore.com>
1841 * libgnat/g-forstr.adb (P_Flt_Format): Add "*" syntax handling.
1843 2023-01-03 Ronan Desplanques <desplanques@adacore.com>
1845 * libgnat/g-forstr.adb (P_Int_Format): Fix parsing bug.
1847 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
1849 * exp_ch6.adb (Expand_Simple_Function_Return): Make sure that a
1850 captured function call also verifies Is_Related_To_Func_Return.
1851 Do not generate an actual subtype for special return objects.
1852 * exp_util.ads (Is_Related_To_Func_Return): Add commentary.
1854 2023-01-03 Ronan Desplanques <desplanques@adacore.com>
1856 * libgnat/g-forstr.adb
1857 (Advance_And_Accumulate_Until_Next_Specifier): New procedure.
1858 ("-"): Replace inline code with call to
1859 Advance_And_Accumulate_Until_Next_Specifier.
1860 (Next_Format): likewise.
1862 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
1864 * checks.adb (Apply_Discriminant_Check.Denotes_Explicit_Dereference):
1865 Return false for artificial dereferences generated by the expander.
1867 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
1869 * exp_ch6.adb (Is_Build_In_Place_Function): Adjust comment.
1870 * sem_util.adb (Compute_Returns_By_Ref): Do not set Returns_By_Ref
1871 on functions with foreign convention.
1873 2023-01-03 Marc Poulhiès <poulhies@adacore.com>
1875 * exp_aggr.adb (Build_Assignment_With_Temporary): New.
1876 (Expand_Array_Aggregate): Tune backend optimization
1877 and insert a temporary in the case of an access with
1878 Designated_Storage_Model aspect.
1879 (Convert_Array_Aggr_In_Allocator): Likewise.
1881 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
1883 * sem_res.adb (Resolve_Membership_Op): Adjust again latest change.
1885 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
1887 * sem_util.ads (Set_Debug_Info_Defining_Id): Adjust comment.
1888 * sem_util.adb (Is_Aliased_View) <N_Explicit_Dereference>: Return
1889 false for more artificial dereferences generated by the expander.
1890 (Set_Debug_Info_Defining_Id): Set Debug_Info_Needed unconditionally
1892 * exp_ch6.adb (Replace_Renaming_Declaration_Id): Also preserve the
1895 2023-01-03 Joel Brobecker <brobecker@adacore.com>
1897 * doc/gnat_ugn/platform_specific_information.rst
1898 (_Platform_Specific_Information): Minor rewording of intro text.
1899 * gnat_ugn.texi: Regenerate.
1901 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
1903 * exp_util.ads (Is_Captured_Function_Call): Declare.
1904 * exp_util.adb (Is_Captured_Function_Call): New predicate.
1905 * exp_ch3.adb (Expand_N_Object_Declaration): Use it to detect a
1906 rewritten function call as the initializing expression.
1907 * exp_ch6.adb (Expand_Simple_Function_Return): Use it to detect a
1908 rewritten function call as the returned expression.
1910 2023-01-03 Bob Duff <duff@adacore.com>
1912 * exp_util.adb (Integer_Type_For): Assertion and comment.
1913 (Small_Integer_Type_For): Remove some code and call
1914 Integer_Type_For instead.
1915 * sem_util.ads (Rep_To_Pos_Flag): Improve comments. "Standard_..."
1916 seems overly pedantic here.
1917 * exp_attr.adb (Succ, Pred): Clean up: make the code as similar as
1919 * exp_ch4.adb: Minor: named notation.
1921 2023-01-03 Javier Miranda <miranda@adacore.com>
1923 * ghost.adb (Is_OK_Declaration): A reference to a Ghost entity may
1924 appear within the class-wide precondition of a helper subprogram.
1925 This context is treated as suitable because it was already
1926 verified when we were analyzing the original class-wide
1929 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
1931 * exp_tss.adb (Base_Init_Proc): Do not return the Init_Proc of the
1932 ancestor type for a derived array type.
1933 * sem_ch13.adb (Inherit_Aspects_At_Freeze_Point): Factor out the
1934 common processing done on representation items.
1935 For Default_Component_Value and Default_Value, look into the first
1936 subtype to find out the representation items.
1938 2023-01-02 Iain Sandoe <iain@sandoe.co.uk>
1941 * gcc-interface/Make-lang.in (GCC_LINKERFLAGS, GCC_LDFLAGS):
1942 Versions of ALL_LINKERFLAGS, LDFLAGS with -Werror and
1943 -static-libgcc filtered out for Darwin8 and 9 (-Werror is filtered
1944 out for other hosts).
1946 2023-01-02 Jakub Jelinek <jakub@redhat.com>
1948 * gnat_ugn.texi: Bump @copying's copyright year.
1949 * gnat_rm.texi: Likewise.
1952 Copyright (C) 2023 Free Software Foundation, Inc.
1954 Copying and distribution of this file, with or without modification,
1955 are permitted in any medium without royalty provided the copyright
1956 notice and this notice are preserved.
projects / thirdparty / gcc.git / blob