1 2022-03-10 Richard Biener <rguenther@suse.de>
4 * gcc-interface/Makefile.in (target_noncanonical): Substitute.
5 (OSCONS_CPP): Pass target_noncanonical as TARGET.
7 2022-02-13 Maciej W. Rozycki <macro@orcam.me.uk>
11 * Makefile.rtl (LIBGNAT_TARGET_PAIRS) <alpha*-*-linux*>: Use
12 wraplf version of Aux_Long_Long_Float.
14 2022-01-31 Pierre-Marie de Rodat <derodat@adacore.com>
16 * doc/share/conf.py: Remove spurious call to ".decode()".
18 2022-01-31 Arnaud Charlet <charlet@adacore.com>
21 * gnat1drv.adb (Gnat1drv): Only call Exit_Program when not
22 generating code, otherwise instead go to End_Of_Program.
24 2022-01-28 Eric Botcazou <ebotcazou@adacore.com>
27 * exp_ch4.adb (Narrow_Large_Operation): Also copy the entity, if
28 any, when rewriting the operator node.
30 2022-01-19 H.J. Lu <hjl.tools@gmail.com>
33 * gcc-interface/Makefile.in (target_cpu): Set to x32 for
36 2022-01-19 H.J. Lu <hjl.tools@gmail.com>
39 * Makefile.rtl (LIBGNAT_TARGET_PAIRS): Add
40 $(TRASYM_DWARF_UNIX_PAIRS),
41 s-tsmona.adb<libgnat/s-tsmona__linux.adb,
42 $(GNATRTL_128BIT_PAIRS).
43 (EXTRA_GNATRTL_NONTASKING_OBJS): Add $(TRASYM_DWARF_UNIX_OBJS)
44 and $(GNATRTL_128BIT_OBJS).
46 2022-01-18 Martin Liska <mliska@suse.cz>
48 * adaint.c: Revert filename changes in comments.
49 * ctrl_c.c (dummy_handler): Likewise.
50 * gsocket.h: Likewise.
51 * init.c (__gnat_error_handler): Likewise.
52 * libgnarl/s-intman.ads: Likewise.
53 * libgnarl/s-osinte__android.ads: Likewise.
54 * libgnarl/s-osinte__darwin.ads: Likewise.
55 * libgnarl/s-osinte__hpux.ads: Likewise.
56 * libgnarl/s-osinte__linux.ads: Likewise.
57 * libgnarl/s-osinte__qnx.ads: Likewise.
58 * libgnarl/s-taskin.ads: Likewise.
59 * rtfinal.c: Likewise.
61 2022-01-18 Martin Liska <mliska@suse.cz>
63 * Make-generated.in: Revert renaming changes.
64 * Makefile.rtl: Likewise.
65 * adadecode.cc: Moved to...
66 * adadecode.c: ...here.
67 * affinity.cc: Moved to...
68 * affinity.c: ...here.
69 * argv-lynxos178-raven-cert.cc: Moved to...
70 * argv-lynxos178-raven-cert.c: ...here.
71 * argv.cc: Moved to...
73 * aux-io.cc: Moved to...
77 * cstreams.cc: Moved to...
78 * cstreams.c: ...here.
81 * exit.cc: Moved to...
83 * expect.cc: Moved to...
85 * final.cc: Moved to...
87 * gcc-interface/Makefile.in:
88 * init.cc: Moved to...
90 * initialize.cc: Moved to...
91 * initialize.c: ...here.
92 * libgnarl/thread.cc: Moved to...
93 * libgnarl/thread.c: ...here.
94 * link.cc: Moved to...
96 * locales.cc: Moved to...
98 * mkdir.cc: Moved to...
100 * raise.cc: Moved to...
102 * rtfinal.cc: Moved to...
103 * rtfinal.c: ...here.
104 * rtinit.cc: Moved to...
106 * s-oscons-tmplt.c (CND): Revert renaming changes.
107 * seh_init.cc: Moved to...
108 * seh_init.c: ...here.
109 * sigtramp-armdroid.cc: Moved to...
110 * sigtramp-armdroid.c: ...here.
111 * sigtramp-ios.cc: Moved to...
112 * sigtramp-ios.c: ...here.
113 * sigtramp-qnx.cc: Moved to...
114 * sigtramp-qnx.c: ...here.
115 * sigtramp-vxworks.cc: Moved to...
116 * sigtramp-vxworks.c: ...here.
117 * socket.cc: Moved to...
119 * tracebak.cc: Moved to...
120 * tracebak.c: ...here.
121 * version.cc: Moved to...
122 * version.c: ...here.
123 * vx_stack_info.cc: Moved to...
124 * vx_stack_info.c: ...here.
126 2022-01-17 Martin Liska <mliska@suse.cz>
128 * Makefile.rtl: Rename .c names to .cc.
129 * gcc-interface/Make-lang.in: Likewise.
130 * gcc-interface/Makefile.in: Likewise.
132 2022-01-17 Martin Liska <mliska@suse.cz>
134 * Make-generated.in: Rename .c names to .cc.
135 * adaint.c: Likewise.
136 * ctrl_c.c (dummy_handler): Likewise.
137 * gcc-interface/Makefile.in: Likewise.
138 * gcc-interface/config-lang.in: Likewise.
139 * gcc-interface/decl.cc (concat_name): Likewise.
140 (init_gnat_decl): Likewise.
141 * gcc-interface/gigi.h (concat_name): Likewise.
142 (init_gnat_utils): Likewise.
143 (build_call_raise_range): Likewise.
144 (gnat_mark_addressable): Likewise.
145 (gnat_protect_expr): Likewise.
146 (gnat_rewrite_reference): Likewise.
147 * gcc-interface/lang-specs.h (ADA_DUMPS_OPTIONS): Likewise.
148 * gcc-interface/utils.cc (GTY): Likewise.
149 (add_deferred_type_context): Likewise.
150 (init_gnat_utils): Likewise.
151 * gcc-interface/utils2.cc (gnat_stable_expr_p): Likewise.
152 (gnat_protect_expr): Likewise.
153 (gnat_stabilize_reference_1): Likewise.
154 (gnat_rewrite_reference): Likewise.
155 * gsocket.h: Likewise.
156 * init.cc (__gnat_error_handler): Likewise.
157 * libgnarl/s-intman.ads: Likewise.
158 * libgnarl/s-osinte__android.ads: Likewise.
159 * libgnarl/s-osinte__darwin.ads: Likewise.
160 * libgnarl/s-osinte__hpux.ads: Likewise.
161 * libgnarl/s-osinte__linux.ads: Likewise.
162 * libgnarl/s-osinte__qnx.ads: Likewise.
163 * libgnarl/s-taskin.ads: Likewise.
164 * rtfinal.cc: Likewise.
165 * s-oscons-tmplt.c (CND): Likewise.
166 * set_targ.ads: Likewise.
168 2022-01-17 Martin Liska <mliska@suse.cz>
170 * adadecode.c: Moved to...
171 * adadecode.cc: ...here.
172 * affinity.c: Moved to...
173 * affinity.cc: ...here.
174 * argv-lynxos178-raven-cert.c: Moved to...
175 * argv-lynxos178-raven-cert.cc: ...here.
176 * argv.c: Moved to...
178 * aux-io.c: Moved to...
179 * aux-io.cc: ...here.
182 * cstreams.c: Moved to...
183 * cstreams.cc: ...here.
186 * exit.c: Moved to...
188 * expect.c: Moved to...
189 * expect.cc: ...here.
190 * final.c: Moved to...
192 * gcc-interface/cuintp.c: Moved to...
193 * gcc-interface/cuintp.cc: ...here.
194 * gcc-interface/decl.c: Moved to...
195 * gcc-interface/decl.cc: ...here.
196 * gcc-interface/misc.c: Moved to...
197 * gcc-interface/misc.cc: ...here.
198 * gcc-interface/targtyps.c: Moved to...
199 * gcc-interface/targtyps.cc: ...here.
200 * gcc-interface/trans.c: Moved to...
201 * gcc-interface/trans.cc: ...here.
202 * gcc-interface/utils.c: Moved to...
203 * gcc-interface/utils.cc: ...here.
204 * gcc-interface/utils2.c: Moved to...
205 * gcc-interface/utils2.cc: ...here.
206 * init.c: Moved to...
208 * initialize.c: Moved to...
209 * initialize.cc: ...here.
210 * libgnarl/thread.c: Moved to...
211 * libgnarl/thread.cc: ...here.
212 * link.c: Moved to...
214 * locales.c: Moved to...
215 * locales.cc: ...here.
216 * mkdir.c: Moved to...
218 * raise.c: Moved to...
220 * rtfinal.c: Moved to...
221 * rtfinal.cc: ...here.
222 * rtinit.c: Moved to...
223 * rtinit.cc: ...here.
224 * seh_init.c: Moved to...
225 * seh_init.cc: ...here.
226 * sigtramp-armdroid.c: Moved to...
227 * sigtramp-armdroid.cc: ...here.
228 * sigtramp-ios.c: Moved to...
229 * sigtramp-ios.cc: ...here.
230 * sigtramp-qnx.c: Moved to...
231 * sigtramp-qnx.cc: ...here.
232 * sigtramp-vxworks.c: Moved to...
233 * sigtramp-vxworks.cc: ...here.
234 * socket.c: Moved to...
235 * socket.cc: ...here.
236 * tracebak.c: Moved to...
237 * tracebak.cc: ...here.
238 * version.c: Moved to...
239 * version.cc: ...here.
240 * vx_stack_info.c: Moved to...
241 * vx_stack_info.cc: ...here.
243 2022-01-14 Andrew Pinski <apinski@marvell.com>
246 * gnat1drv.adb (Gnat1drv): After Back_End.Gen_Or_Update_Object_File
249 2022-01-11 Eric Botcazou <ebotcazou@adacore.com>
251 * gcc-interface/utils2.c (build_binary_op) <EQ_EXPR>: Relax a
252 little the assertion on designated types of pointer types.
254 2022-01-11 Justin Squirek <squirek@adacore.com>
256 * sem_ch8.adb (Nvis_Messages): Add generic instance name to
259 2022-01-11 Etienne Servais <servais@adacore.com>
261 * par-ch6.adb (Scan_Body_Or_Expression_Function): Accept left
262 bracket as token to open an expression function.
264 2022-01-11 Justin Squirek <squirek@adacore.com>
266 * sem_warn.adb (Check_References): Add call to Has_Task instead
267 of checking component type.
269 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
271 * exp_util.ads (Insert_Declaration): Remove spec.
272 * exp_util.adb (Insert_Declaration): Remove body.
274 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
276 * exp_ch4.adb (Expand_N_Expression_With_Actions): Avoid
278 * exp_ch5.adb (Expand_N_If_Statement): Likewise.
279 * exp_ch7.adb (Process_Declarations): Likewise.
280 * sem_elab.adb (Freeze_Node_Location): Likewise.
281 * exp_util.adb (Insert_Actions): Likewise.
282 (Is_OK_PF_Pragma): Likewise.
283 (Requires_Cleanup_Actions): Remove early exit; ordinary
284 processing path will similarly do nothing.
286 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
288 * snames.ads-tmpl: Restore Name_Rpc.
290 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
292 * sem_ch4.adb (Analyze_Allocator): Move DECLARE block inside IF
293 statement; refill code and comments.
295 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
297 * sem_ch4.adb (Analyze_Allocator): Fix comment.
298 * sem_eval.ads (Compile-Time Known Values): Likewise.
300 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
302 * snames.ads-tmpl: Remove unreferenced names.
304 2022-01-11 Yannick Moy <moy@adacore.com>
306 * libgnat/s-aridou.adb (Double_Divide): Adjust proof of lemma
307 Prove_Signs, call lemma for commutation of Big and
309 (Multiply_With_Ovflo_Check): Adjust postcondition of
311 (Scaled_Divide): Explicit commutation in the proof of lemma
312 Prove_Multiplication, add new lemma Prove_Shift_Progress for
313 congruence property that is not proved in a larger context, add
314 assertions at the end of the loop to state loop invariant
317 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
319 * sem_eval.ads (Compile_Time_Known_Value_Or_Aggr): Remove spec.
320 * sem_eval.adb (Compile_Time_Known_Value_Or_Aggr): Remove body.
322 2022-01-11 Yannick Moy <moy@adacore.com>
324 * libgnat/a-strfix.adb (Insert, Overwrite): Add assertions.
326 2022-01-11 Arnaud Charlet <charlet@adacore.com>
329 * osint.adb (Program_Name): Fix handling of suffixes.
331 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
333 * exp_ch4.adb (Size_In_Storage_Elements): Remove unnecessary
334 DECLARE block; refill code and comments.
336 2022-01-11 Eric Botcazou <ebotcazou@adacore.com>
338 * sem_ch3.adb (Analyze_Subtype_Declaration): In the case of an array
339 copy Packed_Array_Impl_Type manually here.
340 (Copy_Array_Subtype_Attributes): Do not copy it here.
342 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
344 * exp_ch7.adb (Set_Block_Elab_Proc, Unnest_Block, Unnest_Loop,
345 Unnest_Statement_List): Simplify with Make_Temporary.
346 * exp_put_image.adb (Build_Image_Call): Likewise.
347 * inline.adb (Generate_Subprogram_Body): Likewise.
348 * sem_ch13.adb (Build_Predicate_Functions): Likewise.
349 * sem_util.adb (New_Copy_Separate_List): Likewise.
351 2022-01-11 Etienne Servais <servais@adacore.com>
353 * sem_ch3.adb (Check_Dynamic_Object): Swap check order.
355 2022-01-11 Yannick Moy <moy@adacore.com>
357 * libgnat/s-casuti.adb: Add ghost code.
358 * libgnat/s-casuti.ads: Add contracts.
360 2022-01-11 Claire Dross <dross@adacore.com>
362 * libgnat/a-tiinau.ads: Use a procedure for the Scan parameter
363 instead of a function with side-effects.
364 * libgnat/a-tiinau.adb: Idem.
365 * libgnat/a-wtinau.ads: Idem.
366 * libgnat/a-wtinau.adb: Idem.
367 * libgnat/a-ztinau.ads: Idem.
368 * libgnat/a-ztinau.adb: Idem.
369 * libgnat/s-valint.ads: Change the function with side-effects
370 Scan_Integer into a procedure
371 * libgnat/s-vallli.ads: Idem.
372 * libgnat/s-valllli.ads: Idem.
373 * libgnat/s-vallllu.ads: Add SPARK_Mode and pragma to ignore
374 assertions in instance.
375 * libgnat/s-valllu.ads: Idem.
376 * libgnat/s-valuns.ads: Idem.
377 * libgnat/s-valuei.ads: Use a procedure for the
378 Scan_Raw_Unsigned parameter instead of a function with
379 side-effects and change the function with side-effects
380 Scan_Integer into a procedure.
381 * libgnat/s-valuei.adb: Idem.
382 * libgnat/s-valuti.ads: Introduce a ghost function that scans an
383 exponent and complete the postcondition of Scan_Exponent to also
384 describe the value of Ptr after the call. Fix the postcondition
385 of Scan_Underscore. Simplify the definition of
387 * libgnat/s-valuti.adb: Idem.
388 * libgnat/s-valboo.ads, libgnat/s-valboo.adb: Update calls to
389 First_Non_Space_Ghost.
390 * libgnat/s-valueu.ads: Add functional contracts.
391 * libgnat/s-valueu.adb: Idem.
393 2022-01-11 Yannick Moy <moy@adacore.com>
395 * libgnat/s-expmod.adb (Exp_Modular): Add assertions.
397 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
399 * errout.adb (Error_Msg_CRT): Build message with string
400 concatenation; it is slightly repetitive but much easier to
403 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
405 * exp_ch11.adb (Expand_N_Exception_Declaration): Remove explicit
406 initialization of the exceptF object.
408 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
410 * par-ch3.adb (P_Array_Type_Definition): Use
411 Error_Msg_GNAT_Extension.
413 2022-01-11 Gary Dismukes <dismukes@adacore.com>
415 * sem_disp.adb (Check_Controlling_Type): Add test for the case
416 where Subp is a subprogram associated with a protected
417 subprogram and return Empty, unless Tagged_Type is the
418 corresponding record type of the protected type.
420 2022-01-11 Yannick Moy <moy@adacore.com>
422 * libgnat/s-veboop.adb: Add ghost code for proof.
423 * libgnat/s-veboop.ads: Add specification.
425 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
427 * exp_aggr.adb, exp_attr.adb, exp_ch3.adb, exp_ch7.adb,
428 exp_dist.adb, exp_util.adb, freeze.adb, frontend.adb,
429 inline.adb, itypes.adb, lib-load.adb, lib-xref.adb,
430 libgnat/a-cfhase.adb, libgnat/a-cforse.adb,
431 libgnat/a-chtgbo.adb, libgnat/a-crdlli.adb,
432 libgnat/a-except.adb, libgnat/a-strfix.adb,
433 libgnat/a-textio.adb, libgnat/a-tienau.adb,
434 libgnat/a-tigeau.adb, libgnat/a-witeio.adb,
435 libgnat/a-wtenau.adb, libgnat/a-wtgeau.adb,
436 libgnat/a-ztenau.adb, libgnat/a-ztexio.adb,
437 libgnat/a-ztgeau.adb, libgnat/g-comlin.adb,
438 libgnat/g-debpoo.adb, libgnat/g-expect.adb,
439 libgnat/s-fileio.adb, libgnat/s-memory.adb, libgnat/s-mmap.adb,
440 libgnat/s-objrea.adb, libgnat/s-pehage.adb,
441 libgnat/s-regpat.adb, libgnat/s-shasto.adb,
442 libgnat/s-valued.adb, libgnat/s-valuef.adb, par-ch11.adb,
443 par-ch4.adb, par-ch6.adb, par-ch9.adb, par_sco.adb,
444 repinfo-input.adb, sem_cat.adb, sem_ch10.adb, sem_ch12.adb,
445 sem_ch13.adb, sem_ch4.adb, sem_eval.adb, sem_prag.adb,
446 sem_res.adb, sem_util.adb, sinput.adb, switch-c.adb: Fix style.
448 2022-01-11 Arnaud Charlet <charlet@adacore.com>
450 * exp_ch9.adb, gen_il-types.ads, make.adb, par-ch12.adb,
451 sem_ch13.adb: Use membership tests.
453 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
455 * erroutc.ads, erroutc.adb (Is_Runtime_Raise): Global flag to
456 connect status of initial messages and their continuation; we
457 already have several flags like this.
458 (Error_Msg_Object): Add field Warn_Runtime_Raise to connect
459 error reporting (when problematic code is found) and removal
460 (when problematic code is determined to be dead).
461 * errout.adb (Error_Msg_Internal): Handle new field when
462 recording a continuation message; propagate status from
463 continuation to the preceding messages.
464 (To_Be_Removed): For dead code remove both simple warnings and
465 warnings about constraint errors that have been escalated to
467 (Set_Msg_Text): Recognize warnings about constraint errors that
468 are escalated to hard errors.
469 * errutil.adb (Error_Msg): Handle added field when recording a
472 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
474 * errout.adb (Error_Msg_Internal): Propagate warnings-as-error
475 flag from continuation message to its preceding messages.
477 2022-01-11 Arnaud Charlet <charlet@adacore.com>
479 * gnatvsn.ads (Current_Year): Update copyright notice, bump to
481 * ada_get_targ.adb: Update copyright notice.
482 * adabkend.adb: Likewise.
483 * adabkend.ads: Likewise.
484 * adadecode.c: Likewise.
485 * adadecode.h: Likewise.
486 * adaint.c: Likewise.
487 * adaint.h: Likewise.
488 * affinity.c: Likewise.
489 * ali-util.adb: Likewise.
490 * ali-util.ads: Likewise.
493 * alloc.ads: Likewise.
494 * argv-lynxos178-raven-cert.c: Likewise.
496 * aspects.adb: Likewise.
497 * aspects.ads: Likewise.
498 * atree.adb: Likewise.
499 * atree.ads: Likewise.
501 * aux-io.c: Likewise.
502 * back_end.adb: Likewise.
503 * back_end.ads: Likewise.
504 * backend_utils.adb: Likewise.
505 * backend_utils.ads: Likewise.
506 * bcheck.adb: Likewise.
507 * bcheck.ads: Likewise.
508 * binde.adb: Likewise.
509 * binde.ads: Likewise.
510 * binderr.adb: Likewise.
511 * binderr.ads: Likewise.
512 * bindgen.adb: Likewise.
513 * bindgen.ads: Likewise.
514 * bindo-augmentors.adb: Likewise.
515 * bindo-augmentors.ads: Likewise.
516 * bindo-builders.adb: Likewise.
517 * bindo-builders.ads: Likewise.
518 * bindo-diagnostics.adb: Likewise.
519 * bindo-diagnostics.ads: Likewise.
520 * bindo-elaborators.adb: Likewise.
521 * bindo-elaborators.ads: Likewise.
522 * bindo-graphs.adb: Likewise.
523 * bindo-graphs.ads: Likewise.
524 * bindo-units.adb: Likewise.
525 * bindo-units.ads: Likewise.
526 * bindo-validators.adb: Likewise.
527 * bindo-validators.ads: Likewise.
528 * bindo-writers.adb: Likewise.
529 * bindo-writers.ads: Likewise.
530 * bindo.adb: Likewise.
531 * bindo.ads: Likewise.
532 * bindusg.adb: Likewise.
533 * bindusg.ads: Likewise.
534 * butil.adb: Likewise.
535 * butil.ads: Likewise.
537 * casing.adb: Likewise.
538 * casing.ads: Likewise.
539 * checks.adb: Likewise.
540 * checks.ads: Likewise.
542 * clean.adb: Likewise.
543 * clean.ads: Likewise.
544 * comperr.adb: Likewise.
545 * comperr.ads: Likewise.
546 * contracts.adb: Likewise.
547 * contracts.ads: Likewise.
548 * csets.adb: Likewise.
549 * csets.ads: Likewise.
550 * cstand.adb: Likewise.
551 * cstand.ads: Likewise.
552 * cstreams.c: Likewise.
553 * ctrl_c.c: Likewise.
554 * debug.ads: Likewise.
555 * debug_a.adb: Likewise.
556 * debug_a.ads: Likewise.
557 * einfo-utils.adb: Likewise.
558 * einfo-utils.ads: Likewise.
559 * einfo.adb: Likewise.
560 * einfo.ads: Likewise.
561 * elists.adb: Likewise.
562 * elists.ads: Likewise.
563 * elists.h: Likewise.
566 * err_vars.ads: Likewise.
568 * errout.adb: Likewise.
569 * errout.ads: Likewise.
570 * erroutc.adb: Likewise.
571 * erroutc.ads: Likewise.
572 * errutil.adb: Likewise.
573 * errutil.ads: Likewise.
574 * eval_fat.adb: Likewise.
575 * eval_fat.ads: Likewise.
577 * exp_aggr.adb: Likewise.
578 * exp_aggr.ads: Likewise.
579 * exp_atag.adb: Likewise.
580 * exp_atag.ads: Likewise.
581 * exp_attr.adb: Likewise.
582 * exp_attr.ads: Likewise.
583 * exp_cg.adb: Likewise.
584 * exp_cg.ads: Likewise.
585 * exp_ch10.ads: Likewise.
586 * exp_ch11.adb: Likewise.
587 * exp_ch11.ads: Likewise.
588 * exp_ch12.adb: Likewise.
589 * exp_ch12.ads: Likewise.
590 * exp_ch13.adb: Likewise.
591 * exp_ch13.ads: Likewise.
592 * exp_ch2.adb: Likewise.
593 * exp_ch2.ads: Likewise.
594 * exp_ch3.adb: Likewise.
595 * exp_ch3.ads: Likewise.
596 * exp_ch4.adb: Likewise.
597 * exp_ch4.ads: Likewise.
598 * exp_ch5.adb: Likewise.
599 * exp_ch5.ads: Likewise.
600 * exp_ch6.adb: Likewise.
601 * exp_ch6.ads: Likewise.
602 * exp_ch7.adb: Likewise.
603 * exp_ch7.ads: Likewise.
604 * exp_ch8.adb: Likewise.
605 * exp_ch8.ads: Likewise.
606 * exp_ch9.adb: Likewise.
607 * exp_ch9.ads: Likewise.
608 * exp_code.adb: Likewise.
609 * exp_code.ads: Likewise.
610 * exp_dbug.adb: Likewise.
611 * exp_dbug.ads: Likewise.
612 * exp_disp.adb: Likewise.
613 * exp_disp.ads: Likewise.
614 * exp_dist.adb: Likewise.
615 * exp_dist.ads: Likewise.
616 * exp_fixd.adb: Likewise.
617 * exp_fixd.ads: Likewise.
618 * exp_imgv.adb: Likewise.
619 * exp_imgv.ads: Likewise.
620 * exp_intr.adb: Likewise.
621 * exp_intr.ads: Likewise.
622 * exp_pakd.adb: Likewise.
623 * exp_pakd.ads: Likewise.
624 * exp_prag.adb: Likewise.
625 * exp_prag.ads: Likewise.
626 * exp_put_image.adb: Likewise.
627 * exp_put_image.ads: Likewise.
628 * exp_sel.adb: Likewise.
629 * exp_sel.ads: Likewise.
630 * exp_smem.adb: Likewise.
631 * exp_smem.ads: Likewise.
632 * exp_spark.adb: Likewise.
633 * exp_spark.ads: Likewise.
634 * exp_strm.adb: Likewise.
635 * exp_strm.ads: Likewise.
636 * exp_tss.adb: Likewise.
637 * exp_tss.ads: Likewise.
638 * exp_unst.adb: Likewise.
639 * exp_unst.ads: Likewise.
640 * exp_util.adb: Likewise.
641 * exp_util.ads: Likewise.
642 * expander.adb: Likewise.
643 * expander.ads: Likewise.
644 * expect.c: Likewise.
647 * fmap.adb: Likewise.
648 * fmap.ads: Likewise.
649 * fname-sf.adb: Likewise.
650 * fname-sf.ads: Likewise.
651 * fname-uf.adb: Likewise.
652 * fname-uf.ads: Likewise.
653 * fname.adb: Likewise.
654 * fname.ads: Likewise.
655 * freeze.adb: Likewise.
656 * freeze.ads: Likewise.
657 * frontend.adb: Likewise.
658 * frontend.ads: Likewise.
659 * gen_il-fields.ads: Likewise.
660 * gen_il-gen-gen_entities.adb: Likewise.
661 * gen_il-gen-gen_nodes.adb: Likewise.
662 * gen_il-gen.adb: Likewise.
663 * gen_il-gen.ads: Likewise.
664 * gen_il-internals.adb: Likewise.
665 * gen_il-internals.ads: Likewise.
666 * gen_il-main.adb: Likewise.
667 * gen_il-types.ads: Likewise.
668 * gen_il.adb: Likewise.
669 * gen_il.ads: Likewise.
670 * get_scos.adb: Likewise.
671 * get_scos.ads: Likewise.
672 * get_targ.adb: Likewise.
673 * get_targ.ads: Likewise.
674 * ghost.adb: Likewise.
675 * ghost.ads: Likewise.
676 * gnat1drv.adb: Likewise.
677 * gnat1drv.ads: Likewise.
678 * gnat_cuda.adb: Likewise.
679 * gnat_cuda.ads: Likewise.
680 * gnatbind.adb: Likewise.
681 * gnatbind.ads: Likewise.
682 * gnatchop.adb: Likewise.
683 * gnatclean.adb: Likewise.
684 * gnatcmd.adb: Likewise.
685 * gnatcmd.ads: Likewise.
686 * gnatdll.adb: Likewise.
687 * gnatfind.adb: Likewise.
688 * gnatkr.adb: Likewise.
689 * gnatkr.ads: Likewise.
690 * gnatlink.adb: Likewise.
691 * gnatlink.ads: Likewise.
692 * gnatls.adb: Likewise.
693 * gnatls.ads: Likewise.
694 * gnatmake.adb: Likewise.
695 * gnatmake.ads: Likewise.
696 * gnatname.adb: Likewise.
697 * gnatname.ads: Likewise.
698 * gnatprep.adb: Likewise.
699 * gnatprep.ads: Likewise.
700 * gnatvsn.adb: Likewise.
701 * gnatxref.adb: Likewise.
702 * gprep.adb: Likewise.
703 * gprep.ads: Likewise.
704 * gsocket.h: Likewise.
705 * hostparm.ads: Likewise.
706 * impunit.adb: Likewise.
707 * impunit.ads: Likewise.
708 * indepsw-aix.adb: Likewise.
709 * indepsw-darwin.adb: Likewise.
710 * indepsw-gnu.adb: Likewise.
711 * indepsw.adb: Likewise.
712 * indepsw.ads: Likewise.
714 * initialize.c: Likewise.
715 * inline.adb: Likewise.
716 * inline.ads: Likewise.
717 * itypes.adb: Likewise.
718 * itypes.ads: Likewise.
719 * krunch.adb: Likewise.
720 * krunch.ads: Likewise.
721 * layout.adb: Likewise.
722 * layout.ads: Likewise.
723 * lib-list.adb: Likewise.
724 * lib-load.adb: Likewise.
725 * lib-load.ads: Likewise.
726 * lib-sort.adb: Likewise.
727 * lib-util.adb: Likewise.
728 * lib-util.ads: Likewise.
729 * lib-writ.adb: Likewise.
730 * lib-writ.ads: Likewise.
731 * lib-xref-spark_specific.adb: Likewise.
732 * lib-xref.adb: Likewise.
733 * lib-xref.ads: Likewise.
736 * libgnarl/a-astaco.adb: Likewise.
737 * libgnarl/a-dispat.adb: Likewise.
738 * libgnarl/a-dynpri.adb: Likewise.
739 * libgnarl/a-etgrbu.ads: Likewise.
740 * libgnarl/a-exetim__darwin.adb: Likewise.
741 * libgnarl/a-exetim__default.ads: Likewise.
742 * libgnarl/a-exetim__mingw.adb: Likewise.
743 * libgnarl/a-exetim__mingw.ads: Likewise.
744 * libgnarl/a-exetim__posix.adb: Likewise.
745 * libgnarl/a-interr.adb: Likewise.
746 * libgnarl/a-interr.ads: Likewise.
747 * libgnarl/a-intnam.ads: Likewise.
748 * libgnarl/a-intnam__aix.ads: Likewise.
749 * libgnarl/a-intnam__darwin.ads: Likewise.
750 * libgnarl/a-intnam__dragonfly.ads: Likewise.
751 * libgnarl/a-intnam__dummy.ads: Likewise.
752 * libgnarl/a-intnam__freebsd.ads: Likewise.
753 * libgnarl/a-intnam__hpux.ads: Likewise.
754 * libgnarl/a-intnam__linux.ads: Likewise.
755 * libgnarl/a-intnam__lynxos.ads: Likewise.
756 * libgnarl/a-intnam__mingw.ads: Likewise.
757 * libgnarl/a-intnam__qnx.ads: Likewise.
758 * libgnarl/a-intnam__rtems.ads: Likewise.
759 * libgnarl/a-intnam__solaris.ads: Likewise.
760 * libgnarl/a-intnam__vxworks.ads: Likewise.
761 * libgnarl/a-reatim.adb: Likewise.
762 * libgnarl/a-reatim.ads: Likewise.
763 * libgnarl/a-retide.adb: Likewise.
764 * libgnarl/a-retide.ads: Likewise.
765 * libgnarl/a-rttiev.adb: Likewise.
766 * libgnarl/a-rttiev.ads: Likewise.
767 * libgnarl/a-synbar.adb: Likewise.
768 * libgnarl/a-synbar.ads: Likewise.
769 * libgnarl/a-synbar__posix.adb: Likewise.
770 * libgnarl/a-synbar__posix.ads: Likewise.
771 * libgnarl/a-sytaco.adb: Likewise.
772 * libgnarl/a-sytaco.ads: Likewise.
773 * libgnarl/a-tasatt.adb: Likewise.
774 * libgnarl/a-tasatt.ads: Likewise.
775 * libgnarl/a-taside.adb: Likewise.
776 * libgnarl/a-taside.ads: Likewise.
777 * libgnarl/a-tasini.adb: Likewise.
778 * libgnarl/a-tasini.ads: Likewise.
779 * libgnarl/a-taster.adb: Likewise.
780 * libgnarl/g-boubuf.adb: Likewise.
781 * libgnarl/g-boubuf.ads: Likewise.
782 * libgnarl/g-boumai.ads: Likewise.
783 * libgnarl/g-semaph.adb: Likewise.
784 * libgnarl/g-semaph.ads: Likewise.
785 * libgnarl/g-signal.adb: Likewise.
786 * libgnarl/g-signal.ads: Likewise.
787 * libgnarl/g-tastus.ads: Likewise.
788 * libgnarl/g-thread.adb: Likewise.
789 * libgnarl/g-thread.ads: Likewise.
790 * libgnarl/i-vxinco.adb: Likewise.
791 * libgnarl/i-vxinco.ads: Likewise.
792 * libgnarl/s-inmaop.ads: Likewise.
793 * libgnarl/s-inmaop__dummy.adb: Likewise.
794 * libgnarl/s-inmaop__hwint.adb: Likewise.
795 * libgnarl/s-inmaop__posix.adb: Likewise.
796 * libgnarl/s-interr.adb: Likewise.
797 * libgnarl/s-interr.ads: Likewise.
798 * libgnarl/s-interr__dummy.adb: Likewise.
799 * libgnarl/s-interr__hwint.adb: Likewise.
800 * libgnarl/s-interr__sigaction.adb: Likewise.
801 * libgnarl/s-interr__vxworks.adb: Likewise.
802 * libgnarl/s-intman.ads: Likewise.
803 * libgnarl/s-intman__android.adb: Likewise.
804 * libgnarl/s-intman__dummy.adb: Likewise.
805 * libgnarl/s-intman__lynxos.adb: Likewise.
806 * libgnarl/s-intman__mingw.adb: Likewise.
807 * libgnarl/s-intman__posix.adb: Likewise.
808 * libgnarl/s-intman__qnx.adb: Likewise.
809 * libgnarl/s-intman__rtems.adb: Likewise.
810 * libgnarl/s-intman__rtems.ads: Likewise.
811 * libgnarl/s-intman__solaris.adb: Likewise.
812 * libgnarl/s-intman__susv3.adb: Likewise.
813 * libgnarl/s-intman__vxworks.adb: Likewise.
814 * libgnarl/s-intman__vxworks.ads: Likewise.
815 * libgnarl/s-linux.ads: Likewise.
816 * libgnarl/s-linux__alpha.ads: Likewise.
817 * libgnarl/s-linux__android.ads: Likewise.
818 * libgnarl/s-linux__hppa.ads: Likewise.
819 * libgnarl/s-linux__mips.ads: Likewise.
820 * libgnarl/s-linux__riscv.ads: Likewise.
821 * libgnarl/s-linux__sparc.ads: Likewise.
822 * libgnarl/s-linux__x32.ads: Likewise.
823 * libgnarl/s-mudido.adb: Likewise.
824 * libgnarl/s-mudido__affinity.adb: Likewise.
825 * libgnarl/s-osinte__aix.adb: Likewise.
826 * libgnarl/s-osinte__aix.ads: Likewise.
827 * libgnarl/s-osinte__android.adb: Likewise.
828 * libgnarl/s-osinte__android.ads: Likewise.
829 * libgnarl/s-osinte__darwin.adb: Likewise.
830 * libgnarl/s-osinte__darwin.ads: Likewise.
831 * libgnarl/s-osinte__dragonfly.adb: Likewise.
832 * libgnarl/s-osinte__dragonfly.ads: Likewise.
833 * libgnarl/s-osinte__dummy.ads: Likewise.
834 * libgnarl/s-osinte__freebsd.adb: Likewise.
835 * libgnarl/s-osinte__freebsd.ads: Likewise.
836 * libgnarl/s-osinte__gnu.adb: Likewise.
837 * libgnarl/s-osinte__gnu.ads: Likewise.
838 * libgnarl/s-osinte__hpux-dce.adb: Likewise.
839 * libgnarl/s-osinte__hpux-dce.ads: Likewise.
840 * libgnarl/s-osinte__hpux.ads: Likewise.
841 * libgnarl/s-osinte__kfreebsd-gnu.ads: Likewise.
842 * libgnarl/s-osinte__linux.ads: Likewise.
843 * libgnarl/s-osinte__lynxos178.adb: Likewise.
844 * libgnarl/s-osinte__lynxos178e.ads: Likewise.
845 * libgnarl/s-osinte__mingw.ads: Likewise.
846 * libgnarl/s-osinte__posix.adb: Likewise.
847 * libgnarl/s-osinte__qnx.adb: Likewise.
848 * libgnarl/s-osinte__qnx.ads: Likewise.
849 * libgnarl/s-osinte__rtems.adb: Likewise.
850 * libgnarl/s-osinte__rtems.ads: Likewise.
851 * libgnarl/s-osinte__solaris.adb: Likewise.
852 * libgnarl/s-osinte__solaris.ads: Likewise.
853 * libgnarl/s-osinte__vxworks.adb: Likewise.
854 * libgnarl/s-osinte__vxworks.ads: Likewise.
855 * libgnarl/s-osinte__x32.adb: Likewise.
856 * libgnarl/s-proinf.adb: Likewise.
857 * libgnarl/s-proinf.ads: Likewise.
858 * libgnarl/s-putaim.adb: Likewise.
859 * libgnarl/s-putaim.ads: Likewise.
860 * libgnarl/s-qnx.ads: Likewise.
861 * libgnarl/s-solita.adb: Likewise.
862 * libgnarl/s-solita.ads: Likewise.
863 * libgnarl/s-stusta.adb: Likewise.
864 * libgnarl/s-stusta.ads: Likewise.
865 * libgnarl/s-taasde.adb: Likewise.
866 * libgnarl/s-taasde.ads: Likewise.
867 * libgnarl/s-tadeca.adb: Likewise.
868 * libgnarl/s-tadeca.ads: Likewise.
869 * libgnarl/s-tadert.adb: Likewise.
870 * libgnarl/s-tadert.ads: Likewise.
871 * libgnarl/s-taenca.adb: Likewise.
872 * libgnarl/s-taenca.ads: Likewise.
873 * libgnarl/s-taprob.adb: Likewise.
874 * libgnarl/s-taprob.ads: Likewise.
875 * libgnarl/s-taprop.ads: Likewise.
876 * libgnarl/s-taprop__dummy.adb: Likewise.
877 * libgnarl/s-taprop__hpux-dce.adb: Likewise.
878 * libgnarl/s-taprop__linux.adb: Likewise.
879 * libgnarl/s-taprop__mingw.adb: Likewise.
880 * libgnarl/s-taprop__posix.adb: Likewise.
881 * libgnarl/s-taprop__qnx.adb: Likewise.
882 * libgnarl/s-taprop__rtems.adb: Likewise.
883 * libgnarl/s-taprop__solaris.adb: Likewise.
884 * libgnarl/s-taprop__vxworks.adb: Likewise.
885 * libgnarl/s-tarest.adb: Likewise.
886 * libgnarl/s-tarest.ads: Likewise.
887 * libgnarl/s-tasdeb.adb: Likewise.
888 * libgnarl/s-tasdeb.ads: Likewise.
889 * libgnarl/s-tasinf.adb: Likewise.
890 * libgnarl/s-tasinf.ads: Likewise.
891 * libgnarl/s-tasinf__linux.adb: Likewise.
892 * libgnarl/s-tasinf__linux.ads: Likewise.
893 * libgnarl/s-tasinf__mingw.adb: Likewise.
894 * libgnarl/s-tasinf__mingw.ads: Likewise.
895 * libgnarl/s-tasinf__solaris.adb: Likewise.
896 * libgnarl/s-tasinf__solaris.ads: Likewise.
897 * libgnarl/s-tasinf__vxworks.ads: Likewise.
898 * libgnarl/s-tasini.adb: Likewise.
899 * libgnarl/s-tasini.ads: Likewise.
900 * libgnarl/s-taskin.adb: Likewise.
901 * libgnarl/s-taskin.ads: Likewise.
902 * libgnarl/s-taspri__dummy.ads: Likewise.
903 * libgnarl/s-taspri__hpux-dce.ads: Likewise.
904 * libgnarl/s-taspri__lynxos.ads: Likewise.
905 * libgnarl/s-taspri__mingw.ads: Likewise.
906 * libgnarl/s-taspri__posix-noaltstack.ads: Likewise.
907 * libgnarl/s-taspri__posix.ads: Likewise.
908 * libgnarl/s-taspri__solaris.ads: Likewise.
909 * libgnarl/s-taspri__vxworks.ads: Likewise.
910 * libgnarl/s-tasque.adb: Likewise.
911 * libgnarl/s-tasque.ads: Likewise.
912 * libgnarl/s-tasren.adb: Likewise.
913 * libgnarl/s-tasren.ads: Likewise.
914 * libgnarl/s-tasres.ads: Likewise.
915 * libgnarl/s-tassta.adb: Likewise.
916 * libgnarl/s-tassta.ads: Likewise.
917 * libgnarl/s-tasuti.adb: Likewise.
918 * libgnarl/s-tasuti.ads: Likewise.
919 * libgnarl/s-tataat.adb: Likewise.
920 * libgnarl/s-tataat.ads: Likewise.
921 * libgnarl/s-tpinop.adb: Likewise.
922 * libgnarl/s-tpinop.ads: Likewise.
923 * libgnarl/s-tpoaal.adb: Likewise.
924 * libgnarl/s-tpoben.adb: Likewise.
925 * libgnarl/s-tpoben.ads: Likewise.
926 * libgnarl/s-tpobmu.adb: Likewise.
927 * libgnarl/s-tpobmu.ads: Likewise.
928 * libgnarl/s-tpobop.adb: Likewise.
929 * libgnarl/s-tpobop.ads: Likewise.
930 * libgnarl/s-tpopmo.adb: Likewise.
931 * libgnarl/s-tpopsp__posix-foreign.adb: Likewise.
932 * libgnarl/s-tpopsp__posix.adb: Likewise.
933 * libgnarl/s-tpopsp__solaris.adb: Likewise.
934 * libgnarl/s-tpopsp__tls.adb: Likewise.
935 * libgnarl/s-tpopsp__vxworks-rtp.adb: Likewise.
936 * libgnarl/s-tpopsp__vxworks-tls.adb: Likewise.
937 * libgnarl/s-tpopsp__vxworks.adb: Likewise.
938 * libgnarl/s-tporft.adb: Likewise.
939 * libgnarl/s-tposen.adb: Likewise.
940 * libgnarl/s-tposen.ads: Likewise.
941 * libgnarl/s-vxwext.adb: Likewise.
942 * libgnarl/s-vxwext.ads: Likewise.
943 * libgnarl/s-vxwext__kernel-smp.adb: Likewise.
944 * libgnarl/s-vxwext__kernel.adb: Likewise.
945 * libgnarl/s-vxwext__kernel.ads: Likewise.
946 * libgnarl/s-vxwext__rtp-smp.adb: Likewise.
947 * libgnarl/s-vxwext__rtp.adb: Likewise.
948 * libgnarl/s-vxwext__rtp.ads: Likewise.
949 * libgnarl/s-vxwork__aarch64.ads: Likewise.
950 * libgnarl/s-vxwork__arm.ads: Likewise.
951 * libgnarl/s-vxwork__ppc.ads: Likewise.
952 * libgnarl/s-vxwork__x86.ads: Likewise.
953 * libgnarl/thread.c: Likewise.
954 * libgnat/a-assert.adb: Likewise.
955 * libgnat/a-assert.ads: Likewise.
956 * libgnat/a-btgbso.adb: Likewise.
957 * libgnat/a-btgbso.ads: Likewise.
958 * libgnat/a-calari.adb: Likewise.
959 * libgnat/a-calari.ads: Likewise.
960 * libgnat/a-calcon.adb: Likewise.
961 * libgnat/a-calcon.ads: Likewise.
962 * libgnat/a-caldel.adb: Likewise.
963 * libgnat/a-caldel.ads: Likewise.
964 * libgnat/a-calend.adb: Likewise.
965 * libgnat/a-calend.ads: Likewise.
966 * libgnat/a-calfor.adb: Likewise.
967 * libgnat/a-calfor.ads: Likewise.
968 * libgnat/a-catizo.adb: Likewise.
969 * libgnat/a-cbdlli.adb: Likewise.
970 * libgnat/a-cbdlli.ads: Likewise.
971 * libgnat/a-cbhama.adb: Likewise.
972 * libgnat/a-cbhama.ads: Likewise.
973 * libgnat/a-cbhase.adb: Likewise.
974 * libgnat/a-cbhase.ads: Likewise.
975 * libgnat/a-cbmutr.adb: Likewise.
976 * libgnat/a-cbmutr.ads: Likewise.
977 * libgnat/a-cborma.adb: Likewise.
978 * libgnat/a-cborma.ads: Likewise.
979 * libgnat/a-cborse.adb: Likewise.
980 * libgnat/a-cborse.ads: Likewise.
981 * libgnat/a-cbprqu.adb: Likewise.
982 * libgnat/a-cbprqu.ads: Likewise.
983 * libgnat/a-cbsyqu.adb: Likewise.
984 * libgnat/a-cbsyqu.ads: Likewise.
985 * libgnat/a-cdlili.adb: Likewise.
986 * libgnat/a-cdlili.ads: Likewise.
987 * libgnat/a-cfdlli.adb: Likewise.
988 * libgnat/a-cfdlli.ads: Likewise.
989 * libgnat/a-cfhama.adb: Likewise.
990 * libgnat/a-cfhama.ads: Likewise.
991 * libgnat/a-cfhase.adb: Likewise.
992 * libgnat/a-cfhase.ads: Likewise.
993 * libgnat/a-cfinve.adb: Likewise.
994 * libgnat/a-cfinve.ads: Likewise.
995 * libgnat/a-cforma.adb: Likewise.
996 * libgnat/a-cforma.ads: Likewise.
997 * libgnat/a-cforse.adb: Likewise.
998 * libgnat/a-cforse.ads: Likewise.
999 * libgnat/a-cgaaso.adb: Likewise.
1000 * libgnat/a-cgaaso.ads: Likewise.
1001 * libgnat/a-cgarso.adb: Likewise.
1002 * libgnat/a-cgcaso.adb: Likewise.
1003 * libgnat/a-chacon.adb: Likewise.
1004 * libgnat/a-chacon.ads: Likewise.
1005 * libgnat/a-chahan.adb: Likewise.
1006 * libgnat/a-chahan.ads: Likewise.
1007 * libgnat/a-chlat9.ads: Likewise.
1008 * libgnat/a-chtgbk.adb: Likewise.
1009 * libgnat/a-chtgbk.ads: Likewise.
1010 * libgnat/a-chtgbo.adb: Likewise.
1011 * libgnat/a-chtgbo.ads: Likewise.
1012 * libgnat/a-chtgke.adb: Likewise.
1013 * libgnat/a-chtgke.ads: Likewise.
1014 * libgnat/a-chtgop.adb: Likewise.
1015 * libgnat/a-chtgop.ads: Likewise.
1016 * libgnat/a-chzla1.ads: Likewise.
1017 * libgnat/a-chzla9.ads: Likewise.
1018 * libgnat/a-cidlli.adb: Likewise.
1019 * libgnat/a-cidlli.ads: Likewise.
1020 * libgnat/a-cihama.adb: Likewise.
1021 * libgnat/a-cihama.ads: Likewise.
1022 * libgnat/a-cihase.adb: Likewise.
1023 * libgnat/a-cihase.ads: Likewise.
1024 * libgnat/a-cimutr.adb: Likewise.
1025 * libgnat/a-cimutr.ads: Likewise.
1026 * libgnat/a-ciorma.adb: Likewise.
1027 * libgnat/a-ciorma.ads: Likewise.
1028 * libgnat/a-ciormu.adb: Likewise.
1029 * libgnat/a-ciormu.ads: Likewise.
1030 * libgnat/a-ciorse.adb: Likewise.
1031 * libgnat/a-ciorse.ads: Likewise.
1032 * libgnat/a-clrefi.adb: Likewise.
1033 * libgnat/a-clrefi.ads: Likewise.
1034 * libgnat/a-coboho.adb: Likewise.
1035 * libgnat/a-coboho.ads: Likewise.
1036 * libgnat/a-cobove.adb: Likewise.
1037 * libgnat/a-cobove.ads: Likewise.
1038 * libgnat/a-cofove.adb: Likewise.
1039 * libgnat/a-cofove.ads: Likewise.
1040 * libgnat/a-cofuba.adb: Likewise.
1041 * libgnat/a-cofuba.ads: Likewise.
1042 * libgnat/a-cofuma.adb: Likewise.
1043 * libgnat/a-cofuma.ads: Likewise.
1044 * libgnat/a-cofuse.adb: Likewise.
1045 * libgnat/a-cofuse.ads: Likewise.
1046 * libgnat/a-cofuve.adb: Likewise.
1047 * libgnat/a-cofuve.ads: Likewise.
1048 * libgnat/a-cogeso.adb: Likewise.
1049 * libgnat/a-cogeso.ads: Likewise.
1050 * libgnat/a-cohama.adb: Likewise.
1051 * libgnat/a-cohama.ads: Likewise.
1052 * libgnat/a-cohase.adb: Likewise.
1053 * libgnat/a-cohase.ads: Likewise.
1054 * libgnat/a-cohata.ads: Likewise.
1055 * libgnat/a-coinho.adb: Likewise.
1056 * libgnat/a-coinho.ads: Likewise.
1057 * libgnat/a-coinho__shared.adb: Likewise.
1058 * libgnat/a-coinho__shared.ads: Likewise.
1059 * libgnat/a-coinve.adb: Likewise.
1060 * libgnat/a-coinve.ads: Likewise.
1061 * libgnat/a-colien.adb: Likewise.
1062 * libgnat/a-colien.ads: Likewise.
1063 * libgnat/a-colire.adb: Likewise.
1064 * libgnat/a-colire.ads: Likewise.
1065 * libgnat/a-comlin.adb: Likewise.
1066 * libgnat/a-comlin.ads: Likewise.
1067 * libgnat/a-comutr.adb: Likewise.
1068 * libgnat/a-comutr.ads: Likewise.
1069 * libgnat/a-conhel.adb: Likewise.
1070 * libgnat/a-conhel.ads: Likewise.
1071 * libgnat/a-convec.adb: Likewise.
1072 * libgnat/a-convec.ads: Likewise.
1073 * libgnat/a-coorma.adb: Likewise.
1074 * libgnat/a-coorma.ads: Likewise.
1075 * libgnat/a-coormu.adb: Likewise.
1076 * libgnat/a-coormu.ads: Likewise.
1077 * libgnat/a-coorse.adb: Likewise.
1078 * libgnat/a-coorse.ads: Likewise.
1079 * libgnat/a-coprnu.adb: Likewise.
1080 * libgnat/a-coprnu.ads: Likewise.
1081 * libgnat/a-costso.adb: Likewise.
1082 * libgnat/a-costso.ads: Likewise.
1083 * libgnat/a-crbltr.ads: Likewise.
1084 * libgnat/a-crbtgk.adb: Likewise.
1085 * libgnat/a-crbtgk.ads: Likewise.
1086 * libgnat/a-crbtgo.adb: Likewise.
1087 * libgnat/a-crbtgo.ads: Likewise.
1088 * libgnat/a-crdlli.adb: Likewise.
1089 * libgnat/a-crdlli.ads: Likewise.
1090 * libgnat/a-csquin.ads: Likewise.
1091 * libgnat/a-cuprqu.adb: Likewise.
1092 * libgnat/a-cuprqu.ads: Likewise.
1093 * libgnat/a-cusyqu.adb: Likewise.
1094 * libgnat/a-cusyqu.ads: Likewise.
1095 * libgnat/a-cwila1.ads: Likewise.
1096 * libgnat/a-cwila9.ads: Likewise.
1097 * libgnat/a-decima.adb: Likewise.
1098 * libgnat/a-decima.ads: Likewise.
1099 * libgnat/a-decima__128.ads: Likewise.
1100 * libgnat/a-dhfina.adb: Likewise.
1101 * libgnat/a-dhfina.ads: Likewise.
1102 * libgnat/a-diocst.adb: Likewise.
1103 * libgnat/a-diocst.ads: Likewise.
1104 * libgnat/a-direct.adb: Likewise.
1105 * libgnat/a-direct.ads: Likewise.
1106 * libgnat/a-direio.adb: Likewise.
1107 * libgnat/a-direio.ads: Likewise.
1108 * libgnat/a-dirval.adb: Likewise.
1109 * libgnat/a-dirval.ads: Likewise.
1110 * libgnat/a-dirval__mingw.adb: Likewise.
1111 * libgnat/a-einuoc.adb: Likewise.
1112 * libgnat/a-einuoc.ads: Likewise.
1113 * libgnat/a-elchha.adb: Likewise.
1114 * libgnat/a-elchha.ads: Likewise.
1115 * libgnat/a-envvar.adb: Likewise.
1116 * libgnat/a-excach.adb: Likewise.
1117 * libgnat/a-except.adb: Likewise.
1118 * libgnat/a-except.ads: Likewise.
1119 * libgnat/a-exctra.adb: Likewise.
1120 * libgnat/a-exctra.ads: Likewise.
1121 * libgnat/a-exexda.adb: Likewise.
1122 * libgnat/a-exexpr.adb: Likewise.
1123 * libgnat/a-exextr.adb: Likewise.
1124 * libgnat/a-exstat.adb: Likewise.
1125 * libgnat/a-finali.adb: Likewise.
1126 * libgnat/a-finali.ads: Likewise.
1127 * libgnat/a-locale.adb: Likewise.
1128 * libgnat/a-locale.ads: Likewise.
1129 * libgnat/a-nagefl.ads: Likewise.
1130 * libgnat/a-naliop.ads: Likewise.
1131 * libgnat/a-naliop__nolibm.ads: Likewise.
1132 * libgnat/a-nallfl.ads: Likewise.
1133 * libgnat/a-nallfl__wraplf.ads: Likewise.
1134 * libgnat/a-nalofl.ads: Likewise.
1135 * libgnat/a-nashfl.ads: Likewise.
1136 * libgnat/a-nashfl__wraplf.ads: Likewise.
1137 * libgnat/a-nbnbig.adb: Likewise.
1138 * libgnat/a-nbnbin.adb: Likewise.
1139 * libgnat/a-nbnbin__gmp.adb: Likewise.
1140 * libgnat/a-nbnbre.adb: Likewise.
1141 * libgnat/a-ngcefu.adb: Likewise.
1142 * libgnat/a-ngcoar.adb: Likewise.
1143 * libgnat/a-ngcoty.adb: Likewise.
1144 * libgnat/a-ngcoty.ads: Likewise.
1145 * libgnat/a-ngelfu.adb: Likewise.
1146 * libgnat/a-ngelfu.ads: Likewise.
1147 * libgnat/a-ngrear.adb: Likewise.
1148 * libgnat/a-ngrear.ads: Likewise.
1149 * libgnat/a-nuauco.ads: Likewise.
1150 * libgnat/a-nuauco__x86.ads: Likewise.
1151 * libgnat/a-nuaufl.ads: Likewise.
1152 * libgnat/a-nuaufl__wraplf.ads: Likewise.
1153 * libgnat/a-nudira.adb: Likewise.
1154 * libgnat/a-nudira.ads: Likewise.
1155 * libgnat/a-nuflra.adb: Likewise.
1156 * libgnat/a-nuflra.ads: Likewise.
1157 * libgnat/a-numaux.ads: Likewise.
1158 * libgnat/a-rbtgbk.adb: Likewise.
1159 * libgnat/a-rbtgbk.ads: Likewise.
1160 * libgnat/a-rbtgbo.adb: Likewise.
1161 * libgnat/a-rbtgbo.ads: Likewise.
1162 * libgnat/a-rbtgso.adb: Likewise.
1163 * libgnat/a-rbtgso.ads: Likewise.
1164 * libgnat/a-sbecin.adb: Likewise.
1165 * libgnat/a-sbecin.ads: Likewise.
1166 * libgnat/a-sbhcin.adb: Likewise.
1167 * libgnat/a-sbhcin.ads: Likewise.
1168 * libgnat/a-sblcin.adb: Likewise.
1169 * libgnat/a-sblcin.ads: Likewise.
1170 * libgnat/a-secain.adb: Likewise.
1171 * libgnat/a-secain.ads: Likewise.
1172 * libgnat/a-sequio.adb: Likewise.
1173 * libgnat/a-sequio.ads: Likewise.
1174 * libgnat/a-sfecin.ads: Likewise.
1175 * libgnat/a-sfhcin.ads: Likewise.
1176 * libgnat/a-sflcin.ads: Likewise.
1177 * libgnat/a-shcain.adb: Likewise.
1178 * libgnat/a-shcain.ads: Likewise.
1179 * libgnat/a-siocst.adb: Likewise.
1180 * libgnat/a-siocst.ads: Likewise.
1181 * libgnat/a-slcain.adb: Likewise.
1182 * libgnat/a-slcain.ads: Likewise.
1183 * libgnat/a-ssicst.adb: Likewise.
1184 * libgnat/a-ssicst.ads: Likewise.
1185 * libgnat/a-stboha.adb: Likewise.
1186 * libgnat/a-stbubo.adb: Likewise.
1187 * libgnat/a-stbubo.ads: Likewise.
1188 * libgnat/a-stbufi.adb: Likewise.
1189 * libgnat/a-stbufi.ads: Likewise.
1190 * libgnat/a-stbufo.adb: Likewise.
1191 * libgnat/a-stbufo.ads: Likewise.
1192 * libgnat/a-stbuun.adb: Likewise.
1193 * libgnat/a-stbuut.adb: Likewise.
1194 * libgnat/a-stbuut.ads: Likewise.
1195 * libgnat/a-stmaco.ads: Likewise.
1196 * libgnat/a-storio.adb: Likewise.
1197 * libgnat/a-strbou.adb: Likewise.
1198 * libgnat/a-strbou.ads: Likewise.
1199 * libgnat/a-stream.adb: Likewise.
1200 * libgnat/a-stream.ads: Likewise.
1201 * libgnat/a-strfix.adb: Likewise.
1202 * libgnat/a-strhas.adb: Likewise.
1203 * libgnat/a-strmap.adb: Likewise.
1204 * libgnat/a-strmap.ads: Likewise.
1205 * libgnat/a-strsea.adb: Likewise.
1206 * libgnat/a-strsea.ads: Likewise.
1207 * libgnat/a-strsto.ads: Likewise.
1208 * libgnat/a-strsup.adb: Likewise.
1209 * libgnat/a-strsup.ads: Likewise.
1210 * libgnat/a-strunb.adb: Likewise.
1211 * libgnat/a-strunb.ads: Likewise.
1212 * libgnat/a-strunb__shared.adb: Likewise.
1213 * libgnat/a-strunb__shared.ads: Likewise.
1214 * libgnat/a-ststbo.adb: Likewise.
1215 * libgnat/a-ststbo.ads: Likewise.
1216 * libgnat/a-ststio.adb: Likewise.
1217 * libgnat/a-ststio.ads: Likewise.
1218 * libgnat/a-ststun.adb: Likewise.
1219 * libgnat/a-ststun.ads: Likewise.
1220 * libgnat/a-sttebu.adb: Likewise.
1221 * libgnat/a-stunau.adb: Likewise.
1222 * libgnat/a-stunau.ads: Likewise.
1223 * libgnat/a-stunau__shared.adb: Likewise.
1224 * libgnat/a-stunha.adb: Likewise.
1225 * libgnat/a-stuten.adb: Likewise.
1226 * libgnat/a-stwibo.adb: Likewise.
1227 * libgnat/a-stwibo.ads: Likewise.
1228 * libgnat/a-stwifi.adb: Likewise.
1229 * libgnat/a-stwiha.adb: Likewise.
1230 * libgnat/a-stwima.adb: Likewise.
1231 * libgnat/a-stwima.ads: Likewise.
1232 * libgnat/a-stwise.adb: Likewise.
1233 * libgnat/a-stwise.ads: Likewise.
1234 * libgnat/a-stwisu.adb: Likewise.
1235 * libgnat/a-stwisu.ads: Likewise.
1236 * libgnat/a-stwiun.adb: Likewise.
1237 * libgnat/a-stwiun.ads: Likewise.
1238 * libgnat/a-stwiun__shared.adb: Likewise.
1239 * libgnat/a-stwiun__shared.ads: Likewise.
1240 * libgnat/a-stzbou.adb: Likewise.
1241 * libgnat/a-stzbou.ads: Likewise.
1242 * libgnat/a-stzfix.adb: Likewise.
1243 * libgnat/a-stzhas.adb: Likewise.
1244 * libgnat/a-stzmap.adb: Likewise.
1245 * libgnat/a-stzmap.ads: Likewise.
1246 * libgnat/a-stzsea.adb: Likewise.
1247 * libgnat/a-stzsea.ads: Likewise.
1248 * libgnat/a-stzsup.adb: Likewise.
1249 * libgnat/a-stzsup.ads: Likewise.
1250 * libgnat/a-stzunb.adb: Likewise.
1251 * libgnat/a-stzunb.ads: Likewise.
1252 * libgnat/a-stzunb__shared.adb: Likewise.
1253 * libgnat/a-stzunb__shared.ads: Likewise.
1254 * libgnat/a-suecin.adb: Likewise.
1255 * libgnat/a-suecin.ads: Likewise.
1256 * libgnat/a-suenco.adb: Likewise.
1257 * libgnat/a-suenst.adb: Likewise.
1258 * libgnat/a-suewst.adb: Likewise.
1259 * libgnat/a-suezst.adb: Likewise.
1260 * libgnat/a-suhcin.adb: Likewise.
1261 * libgnat/a-suhcin.ads: Likewise.
1262 * libgnat/a-sulcin.adb: Likewise.
1263 * libgnat/a-sulcin.ads: Likewise.
1264 * libgnat/a-suteio.adb: Likewise.
1265 * libgnat/a-suteio.ads: Likewise.
1266 * libgnat/a-suteio__shared.adb: Likewise.
1267 * libgnat/a-swbwha.adb: Likewise.
1268 * libgnat/a-swmwco.ads: Likewise.
1269 * libgnat/a-swunau.adb: Likewise.
1270 * libgnat/a-swunau.ads: Likewise.
1271 * libgnat/a-swunau__shared.adb: Likewise.
1272 * libgnat/a-swuwha.adb: Likewise.
1273 * libgnat/a-swuwti.adb: Likewise.
1274 * libgnat/a-swuwti.ads: Likewise.
1275 * libgnat/a-swuwti__shared.adb: Likewise.
1276 * libgnat/a-szbzha.adb: Likewise.
1277 * libgnat/a-szmzco.ads: Likewise.
1278 * libgnat/a-szunau.adb: Likewise.
1279 * libgnat/a-szunau.ads: Likewise.
1280 * libgnat/a-szunau__shared.adb: Likewise.
1281 * libgnat/a-szuzha.adb: Likewise.
1282 * libgnat/a-szuzti.adb: Likewise.
1283 * libgnat/a-szuzti.ads: Likewise.
1284 * libgnat/a-szuzti__shared.adb: Likewise.
1285 * libgnat/a-tags.adb: Likewise.
1286 * libgnat/a-tags.ads: Likewise.
1287 * libgnat/a-teioed.adb: Likewise.
1288 * libgnat/a-teioed.ads: Likewise.
1289 * libgnat/a-textio.adb: Likewise.
1290 * libgnat/a-textio.ads: Likewise.
1291 * libgnat/a-tiboio.adb: Likewise.
1292 * libgnat/a-ticoau.adb: Likewise.
1293 * libgnat/a-ticoau.ads: Likewise.
1294 * libgnat/a-ticoio.adb: Likewise.
1295 * libgnat/a-ticoio.ads: Likewise.
1296 * libgnat/a-tideau.adb: Likewise.
1297 * libgnat/a-tideau.ads: Likewise.
1298 * libgnat/a-tideio.adb: Likewise.
1299 * libgnat/a-tideio.ads: Likewise.
1300 * libgnat/a-tideio__128.adb: Likewise.
1301 * libgnat/a-tienau.adb: Likewise.
1302 * libgnat/a-tienau.ads: Likewise.
1303 * libgnat/a-tienio.adb: Likewise.
1304 * libgnat/a-tifiau.adb: Likewise.
1305 * libgnat/a-tifiau.ads: Likewise.
1306 * libgnat/a-tifiio.adb: Likewise.
1307 * libgnat/a-tifiio__128.adb: Likewise.
1308 * libgnat/a-tiflau.adb: Likewise.
1309 * libgnat/a-tiflau.ads: Likewise.
1310 * libgnat/a-tiflio.adb: Likewise.
1311 * libgnat/a-tiflio.ads: Likewise.
1312 * libgnat/a-tigeau.adb: Likewise.
1313 * libgnat/a-tigeau.ads: Likewise.
1314 * libgnat/a-tigeli.adb: Likewise.
1315 * libgnat/a-tiinau.adb: Likewise.
1316 * libgnat/a-tiinau.ads: Likewise.
1317 * libgnat/a-tiinio.adb: Likewise.
1318 * libgnat/a-tiinio.ads: Likewise.
1319 * libgnat/a-tiinio__128.adb: Likewise.
1320 * libgnat/a-timoio.adb: Likewise.
1321 * libgnat/a-timoio.ads: Likewise.
1322 * libgnat/a-timoio__128.adb: Likewise.
1323 * libgnat/a-tiocst.adb: Likewise.
1324 * libgnat/a-tiocst.ads: Likewise.
1325 * libgnat/a-tirsfi.adb: Likewise.
1326 * libgnat/a-tirsfi.ads: Likewise.
1327 * libgnat/a-titest.adb: Likewise.
1328 * libgnat/a-undesu.adb: Likewise.
1329 * libgnat/a-wichha.adb: Likewise.
1330 * libgnat/a-wichun.adb: Likewise.
1331 * libgnat/a-wichun.ads: Likewise.
1332 * libgnat/a-witeio.adb: Likewise.
1333 * libgnat/a-witeio.ads: Likewise.
1334 * libgnat/a-wrstfi.adb: Likewise.
1335 * libgnat/a-wrstfi.ads: Likewise.
1336 * libgnat/a-wtcoau.adb: Likewise.
1337 * libgnat/a-wtcoau.ads: Likewise.
1338 * libgnat/a-wtcoio.adb: Likewise.
1339 * libgnat/a-wtcstr.adb: Likewise.
1340 * libgnat/a-wtcstr.ads: Likewise.
1341 * libgnat/a-wtdeau.adb: Likewise.
1342 * libgnat/a-wtdeau.ads: Likewise.
1343 * libgnat/a-wtdeio.adb: Likewise.
1344 * libgnat/a-wtdeio__128.adb: Likewise.
1345 * libgnat/a-wtedit.adb: Likewise.
1346 * libgnat/a-wtedit.ads: Likewise.
1347 * libgnat/a-wtenau.adb: Likewise.
1348 * libgnat/a-wtenau.ads: Likewise.
1349 * libgnat/a-wtenio.adb: Likewise.
1350 * libgnat/a-wtfiau.adb: Likewise.
1351 * libgnat/a-wtfiau.ads: Likewise.
1352 * libgnat/a-wtfiio.adb: Likewise.
1353 * libgnat/a-wtfiio__128.adb: Likewise.
1354 * libgnat/a-wtflau.adb: Likewise.
1355 * libgnat/a-wtflau.ads: Likewise.
1356 * libgnat/a-wtflio.adb: Likewise.
1357 * libgnat/a-wtgeau.adb: Likewise.
1358 * libgnat/a-wtgeau.ads: Likewise.
1359 * libgnat/a-wtinau.adb: Likewise.
1360 * libgnat/a-wtinau.ads: Likewise.
1361 * libgnat/a-wtinio.adb: Likewise.
1362 * libgnat/a-wtinio__128.adb: Likewise.
1363 * libgnat/a-wtmoio.adb: Likewise.
1364 * libgnat/a-wtmoio.ads: Likewise.
1365 * libgnat/a-wtmoio__128.adb: Likewise.
1366 * libgnat/a-wttest.adb: Likewise.
1367 * libgnat/a-wwboio.adb: Likewise.
1368 * libgnat/a-zchhan.adb: Likewise.
1369 * libgnat/a-zchuni.adb: Likewise.
1370 * libgnat/a-zchuni.ads: Likewise.
1371 * libgnat/a-zrstfi.adb: Likewise.
1372 * libgnat/a-zrstfi.ads: Likewise.
1373 * libgnat/a-ztcoau.adb: Likewise.
1374 * libgnat/a-ztcoio.adb: Likewise.
1375 * libgnat/a-ztcstr.adb: Likewise.
1376 * libgnat/a-ztcstr.ads: Likewise.
1377 * libgnat/a-ztdeau.adb: Likewise.
1378 * libgnat/a-ztdeau.ads: Likewise.
1379 * libgnat/a-ztdeio.adb: Likewise.
1380 * libgnat/a-ztdeio__128.adb: Likewise.
1381 * libgnat/a-ztedit.adb: Likewise.
1382 * libgnat/a-ztedit.ads: Likewise.
1383 * libgnat/a-ztenau.adb: Likewise.
1384 * libgnat/a-ztenau.ads: Likewise.
1385 * libgnat/a-ztenio.adb: Likewise.
1386 * libgnat/a-ztexio.adb: Likewise.
1387 * libgnat/a-ztexio.ads: Likewise.
1388 * libgnat/a-ztfiau.adb: Likewise.
1389 * libgnat/a-ztfiau.ads: Likewise.
1390 * libgnat/a-ztfiio.adb: Likewise.
1391 * libgnat/a-ztfiio__128.adb: Likewise.
1392 * libgnat/a-ztflau.adb: Likewise.
1393 * libgnat/a-ztflau.ads: Likewise.
1394 * libgnat/a-ztflio.adb: Likewise.
1395 * libgnat/a-ztgeau.adb: Likewise.
1396 * libgnat/a-ztgeau.ads: Likewise.
1397 * libgnat/a-ztinau.adb: Likewise.
1398 * libgnat/a-ztinau.ads: Likewise.
1399 * libgnat/a-ztinio.adb: Likewise.
1400 * libgnat/a-ztinio__128.adb: Likewise.
1401 * libgnat/a-ztmoio.adb: Likewise.
1402 * libgnat/a-ztmoio__128.adb: Likewise.
1403 * libgnat/a-zttest.adb: Likewise.
1404 * libgnat/a-zzboio.adb: Likewise.
1405 * libgnat/g-allein.ads: Likewise.
1406 * libgnat/g-alleve.adb: Likewise.
1407 * libgnat/g-alleve.ads: Likewise.
1408 * libgnat/g-alleve__hard.adb: Likewise.
1409 * libgnat/g-alleve__hard.ads: Likewise.
1410 * libgnat/g-altcon.adb: Likewise.
1411 * libgnat/g-altcon.ads: Likewise.
1412 * libgnat/g-altive.ads: Likewise.
1413 * libgnat/g-alveop.adb: Likewise.
1414 * libgnat/g-alveop.ads: Likewise.
1415 * libgnat/g-alvety.ads: Likewise.
1416 * libgnat/g-alvevi.ads: Likewise.
1417 * libgnat/g-arrspl.adb: Likewise.
1418 * libgnat/g-arrspl.ads: Likewise.
1419 * libgnat/g-awk.adb: Likewise.
1420 * libgnat/g-awk.ads: Likewise.
1421 * libgnat/g-binenv.adb: Likewise.
1422 * libgnat/g-binenv.ads: Likewise.
1423 * libgnat/g-brapre.ads: Likewise.
1424 * libgnat/g-bubsor.adb: Likewise.
1425 * libgnat/g-bubsor.ads: Likewise.
1426 * libgnat/g-busora.adb: Likewise.
1427 * libgnat/g-busora.ads: Likewise.
1428 * libgnat/g-busorg.adb: Likewise.
1429 * libgnat/g-busorg.ads: Likewise.
1430 * libgnat/g-byorma.adb: Likewise.
1431 * libgnat/g-byorma.ads: Likewise.
1432 * libgnat/g-bytswa.adb: Likewise.
1433 * libgnat/g-bytswa.ads: Likewise.
1434 * libgnat/g-calend.adb: Likewise.
1435 * libgnat/g-calend.ads: Likewise.
1436 * libgnat/g-casuti.adb: Likewise.
1437 * libgnat/g-casuti.ads: Likewise.
1438 * libgnat/g-catiio.adb: Likewise.
1439 * libgnat/g-catiio.ads: Likewise.
1440 * libgnat/g-cgi.adb: Likewise.
1441 * libgnat/g-cgi.ads: Likewise.
1442 * libgnat/g-cgicoo.adb: Likewise.
1443 * libgnat/g-cgicoo.ads: Likewise.
1444 * libgnat/g-cgideb.adb: Likewise.
1445 * libgnat/g-cgideb.ads: Likewise.
1446 * libgnat/g-comlin.adb: Likewise.
1447 * libgnat/g-comlin.ads: Likewise.
1448 * libgnat/g-comver.adb: Likewise.
1449 * libgnat/g-comver.ads: Likewise.
1450 * libgnat/g-cppexc.adb: Likewise.
1451 * libgnat/g-cppexc.ads: Likewise.
1452 * libgnat/g-crc32.adb: Likewise.
1453 * libgnat/g-crc32.ads: Likewise.
1454 * libgnat/g-ctrl_c.adb: Likewise.
1455 * libgnat/g-ctrl_c.ads: Likewise.
1456 * libgnat/g-curexc.ads: Likewise.
1457 * libgnat/g-debpoo.adb: Likewise.
1458 * libgnat/g-debpoo.ads: Likewise.
1459 * libgnat/g-debuti.adb: Likewise.
1460 * libgnat/g-debuti.ads: Likewise.
1461 * libgnat/g-decstr.adb: Likewise.
1462 * libgnat/g-decstr.ads: Likewise.
1463 * libgnat/g-deutst.ads: Likewise.
1464 * libgnat/g-diopit.adb: Likewise.
1465 * libgnat/g-diopit.ads: Likewise.
1466 * libgnat/g-dirope.adb: Likewise.
1467 * libgnat/g-dirope.ads: Likewise.
1468 * libgnat/g-dynhta.adb: Likewise.
1469 * libgnat/g-dynhta.ads: Likewise.
1470 * libgnat/g-dyntab.adb: Likewise.
1471 * libgnat/g-dyntab.ads: Likewise.
1472 * libgnat/g-eacodu.adb: Likewise.
1473 * libgnat/g-encstr.adb: Likewise.
1474 * libgnat/g-encstr.ads: Likewise.
1475 * libgnat/g-enutst.ads: Likewise.
1476 * libgnat/g-excact.adb: Likewise.
1477 * libgnat/g-excact.ads: Likewise.
1478 * libgnat/g-except.ads: Likewise.
1479 * libgnat/g-exctra.adb: Likewise.
1480 * libgnat/g-exctra.ads: Likewise.
1481 * libgnat/g-expect.adb: Likewise.
1482 * libgnat/g-expect.ads: Likewise.
1483 * libgnat/g-exptty.adb: Likewise.
1484 * libgnat/g-exptty.ads: Likewise.
1485 * libgnat/g-flocon.ads: Likewise.
1486 * libgnat/g-forstr.adb: Likewise.
1487 * libgnat/g-forstr.ads: Likewise.
1488 * libgnat/g-graphs.adb: Likewise.
1489 * libgnat/g-graphs.ads: Likewise.
1490 * libgnat/g-heasor.adb: Likewise.
1491 * libgnat/g-heasor.ads: Likewise.
1492 * libgnat/g-hesora.adb: Likewise.
1493 * libgnat/g-hesora.ads: Likewise.
1494 * libgnat/g-hesorg.adb: Likewise.
1495 * libgnat/g-hesorg.ads: Likewise.
1496 * libgnat/g-htable.adb: Likewise.
1497 * libgnat/g-htable.ads: Likewise.
1498 * libgnat/g-io.adb: Likewise.
1499 * libgnat/g-io.ads: Likewise.
1500 * libgnat/g-io_aux.adb: Likewise.
1501 * libgnat/g-io_aux.ads: Likewise.
1502 * libgnat/g-lists.adb: Likewise.
1503 * libgnat/g-lists.ads: Likewise.
1504 * libgnat/g-locfil.adb: Likewise.
1505 * libgnat/g-locfil.ads: Likewise.
1506 * libgnat/g-mbdira.adb: Likewise.
1507 * libgnat/g-mbdira.ads: Likewise.
1508 * libgnat/g-mbflra.adb: Likewise.
1509 * libgnat/g-mbflra.ads: Likewise.
1510 * libgnat/g-md5.adb: Likewise.
1511 * libgnat/g-md5.ads: Likewise.
1512 * libgnat/g-memdum.adb: Likewise.
1513 * libgnat/g-memdum.ads: Likewise.
1514 * libgnat/g-moreex.adb: Likewise.
1515 * libgnat/g-moreex.ads: Likewise.
1516 * libgnat/g-os_lib.adb: Likewise.
1517 * libgnat/g-os_lib.ads: Likewise.
1518 * libgnat/g-pehage.adb: Likewise.
1519 * libgnat/g-pehage.ads: Likewise.
1520 * libgnat/g-rannum.adb: Likewise.
1521 * libgnat/g-rannum.ads: Likewise.
1522 * libgnat/g-regexp.adb: Likewise.
1523 * libgnat/g-regexp.ads: Likewise.
1524 * libgnat/g-regist.adb: Likewise.
1525 * libgnat/g-regist.ads: Likewise.
1526 * libgnat/g-regpat.adb: Likewise.
1527 * libgnat/g-regpat.ads: Likewise.
1528 * libgnat/g-rewdat.adb: Likewise.
1529 * libgnat/g-rewdat.ads: Likewise.
1530 * libgnat/g-sechas.adb: Likewise.
1531 * libgnat/g-sechas.ads: Likewise.
1532 * libgnat/g-sehamd.adb: Likewise.
1533 * libgnat/g-sehamd.ads: Likewise.
1534 * libgnat/g-sehash.adb: Likewise.
1535 * libgnat/g-sehash.ads: Likewise.
1536 * libgnat/g-sercom.adb: Likewise.
1537 * libgnat/g-sercom.ads: Likewise.
1538 * libgnat/g-sercom__linux.adb: Likewise.
1539 * libgnat/g-sercom__mingw.adb: Likewise.
1540 * libgnat/g-sestin.ads: Likewise.
1541 * libgnat/g-sets.adb: Likewise.
1542 * libgnat/g-sets.ads: Likewise.
1543 * libgnat/g-sha1.adb: Likewise.
1544 * libgnat/g-sha1.ads: Likewise.
1545 * libgnat/g-sha224.ads: Likewise.
1546 * libgnat/g-sha256.ads: Likewise.
1547 * libgnat/g-sha384.ads: Likewise.
1548 * libgnat/g-sha512.ads: Likewise.
1549 * libgnat/g-shsh32.adb: Likewise.
1550 * libgnat/g-shsh32.ads: Likewise.
1551 * libgnat/g-shsh64.adb: Likewise.
1552 * libgnat/g-shsh64.ads: Likewise.
1553 * libgnat/g-shshco.adb: Likewise.
1554 * libgnat/g-shshco.ads: Likewise.
1555 * libgnat/g-soccon.ads: Likewise.
1556 * libgnat/g-socket.adb: Likewise.
1557 * libgnat/g-socket.ads: Likewise.
1558 * libgnat/g-socket__dummy.adb: Likewise.
1559 * libgnat/g-socket__dummy.ads: Likewise.
1560 * libgnat/g-socpol.adb: Likewise.
1561 * libgnat/g-socpol.ads: Likewise.
1562 * libgnat/g-socpol__dummy.adb: Likewise.
1563 * libgnat/g-socpol__dummy.ads: Likewise.
1564 * libgnat/g-socthi.adb: Likewise.
1565 * libgnat/g-socthi.ads: Likewise.
1566 * libgnat/g-socthi__dummy.adb: Likewise.
1567 * libgnat/g-socthi__dummy.ads: Likewise.
1568 * libgnat/g-socthi__mingw.adb: Likewise.
1569 * libgnat/g-socthi__mingw.ads: Likewise.
1570 * libgnat/g-socthi__vxworks.adb: Likewise.
1571 * libgnat/g-socthi__vxworks.ads: Likewise.
1572 * libgnat/g-soliop.ads: Likewise.
1573 * libgnat/g-soliop__lynxos.ads: Likewise.
1574 * libgnat/g-soliop__mingw.ads: Likewise.
1575 * libgnat/g-soliop__qnx.ads: Likewise.
1576 * libgnat/g-soliop__solaris.ads: Likewise.
1577 * libgnat/g-sopowa.adb: Likewise.
1578 * libgnat/g-sopowa__mingw.adb: Likewise.
1579 * libgnat/g-sopowa__posix.adb: Likewise.
1580 * libgnat/g-sothco.adb: Likewise.
1581 * libgnat/g-sothco.ads: Likewise.
1582 * libgnat/g-sothco__dummy.adb: Likewise.
1583 * libgnat/g-sothco__dummy.ads: Likewise.
1584 * libgnat/g-souinf.ads: Likewise.
1585 * libgnat/g-spchge.adb: Likewise.
1586 * libgnat/g-spchge.ads: Likewise.
1587 * libgnat/g-speche.adb: Likewise.
1588 * libgnat/g-speche.ads: Likewise.
1589 * libgnat/g-spipat.adb: Likewise.
1590 * libgnat/g-spipat.ads: Likewise.
1591 * libgnat/g-spitbo.adb: Likewise.
1592 * libgnat/g-spitbo.ads: Likewise.
1593 * libgnat/g-spogwa.adb: Likewise.
1594 * libgnat/g-spogwa.ads: Likewise.
1595 * libgnat/g-sptabo.ads: Likewise.
1596 * libgnat/g-sptain.ads: Likewise.
1597 * libgnat/g-sptavs.ads: Likewise.
1598 * libgnat/g-sse.ads: Likewise.
1599 * libgnat/g-ssvety.ads: Likewise.
1600 * libgnat/g-sthcso.adb: Likewise.
1601 * libgnat/g-stheme.adb: Likewise.
1602 * libgnat/g-strhas.ads: Likewise.
1603 * libgnat/g-string.adb: Likewise.
1604 * libgnat/g-string.ads: Likewise.
1605 * libgnat/g-strspl.ads: Likewise.
1606 * libgnat/g-stseme.adb: Likewise.
1607 * libgnat/g-stsifd__sockets.adb: Likewise.
1608 * libgnat/g-table.adb: Likewise.
1609 * libgnat/g-table.ads: Likewise.
1610 * libgnat/g-tasloc.adb: Likewise.
1611 * libgnat/g-tasloc.ads: Likewise.
1612 * libgnat/g-timsta.adb: Likewise.
1613 * libgnat/g-timsta.ads: Likewise.
1614 * libgnat/g-traceb.adb: Likewise.
1615 * libgnat/g-traceb.ads: Likewise.
1616 * libgnat/g-trasym.adb: Likewise.
1617 * libgnat/g-trasym.ads: Likewise.
1618 * libgnat/g-tty.adb: Likewise.
1619 * libgnat/g-tty.ads: Likewise.
1620 * libgnat/g-u3spch.adb: Likewise.
1621 * libgnat/g-u3spch.ads: Likewise.
1622 * libgnat/g-utf_32.adb: Likewise.
1623 * libgnat/g-utf_32.ads: Likewise.
1624 * libgnat/g-wispch.adb: Likewise.
1625 * libgnat/g-wispch.ads: Likewise.
1626 * libgnat/g-wistsp.ads: Likewise.
1627 * libgnat/g-zspche.adb: Likewise.
1628 * libgnat/g-zspche.ads: Likewise.
1629 * libgnat/g-zstspl.ads: Likewise.
1630 * libgnat/gnat.ads: Likewise.
1631 * libgnat/i-c.adb: Likewise.
1632 * libgnat/i-cexten.ads: Likewise.
1633 * libgnat/i-cexten__128.ads: Likewise.
1634 * libgnat/i-cobol.adb: Likewise.
1635 * libgnat/i-cobol.ads: Likewise.
1636 * libgnat/i-cpoint.adb: Likewise.
1637 * libgnat/i-cpoint.ads: Likewise.
1638 * libgnat/i-cstrea.adb: Likewise.
1639 * libgnat/i-cstrea.ads: Likewise.
1640 * libgnat/i-cstrin.adb: Likewise.
1641 * libgnat/i-cstrin.ads: Likewise.
1642 * libgnat/i-fortra.adb: Likewise.
1643 * libgnat/i-pacdec.adb: Likewise.
1644 * libgnat/i-pacdec.ads: Likewise.
1645 * libgnat/i-vxwoio.adb: Likewise.
1646 * libgnat/i-vxwoio.ads: Likewise.
1647 * libgnat/i-vxwork.ads: Likewise.
1648 * libgnat/i-vxwork__x86.ads: Likewise.
1649 * libgnat/interfac.ads: Likewise.
1650 * libgnat/interfac__2020.ads: Likewise.
1651 * libgnat/memtrack.adb: Likewise.
1652 * libgnat/s-addima.adb: Likewise.
1653 * libgnat/s-addima.ads: Likewise.
1654 * libgnat/s-addope.adb: Likewise.
1655 * libgnat/s-addope.ads: Likewise.
1656 * libgnat/s-aoinar.adb: Likewise.
1657 * libgnat/s-aoinar.ads: Likewise.
1658 * libgnat/s-aomoar.adb: Likewise.
1659 * libgnat/s-aomoar.ads: Likewise.
1660 * libgnat/s-aotase.adb: Likewise.
1661 * libgnat/s-aotase.ads: Likewise.
1662 * libgnat/s-aridou.adb: Likewise.
1663 * libgnat/s-aridou.ads: Likewise.
1664 * libgnat/s-arit128.adb: Likewise.
1665 * libgnat/s-arit128.ads: Likewise.
1666 * libgnat/s-arit32.adb: Likewise.
1667 * libgnat/s-arit32.ads: Likewise.
1668 * libgnat/s-arit64.adb: Likewise.
1669 * libgnat/s-arit64.ads: Likewise.
1670 * libgnat/s-assert.adb: Likewise.
1671 * libgnat/s-assert.ads: Likewise.
1672 * libgnat/s-atacco.adb: Likewise.
1673 * libgnat/s-atacco.ads: Likewise.
1674 * libgnat/s-atocou.adb: Likewise.
1675 * libgnat/s-atocou.ads: Likewise.
1676 * libgnat/s-atocou__builtin.adb: Likewise.
1677 * libgnat/s-atoope.ads: Likewise.
1678 * libgnat/s-atopex.adb: Likewise.
1679 * libgnat/s-atopex.ads: Likewise.
1680 * libgnat/s-atopri.adb: Likewise.
1681 * libgnat/s-atopri.ads: Likewise.
1682 * libgnat/s-auxdec.adb: Likewise.
1683 * libgnat/s-auxdec.ads: Likewise.
1684 * libgnat/s-bignum.adb: Likewise.
1685 * libgnat/s-bignum.ads: Likewise.
1686 * libgnat/s-bitfie.ads: Likewise.
1687 * libgnat/s-bitops.adb: Likewise.
1688 * libgnat/s-bitops.ads: Likewise.
1689 * libgnat/s-bituti.adb: Likewise.
1690 * libgnat/s-bituti.ads: Likewise.
1691 * libgnat/s-boarop.ads: Likewise.
1692 * libgnat/s-boustr.adb: Likewise.
1693 * libgnat/s-boustr.ads: Likewise.
1694 * libgnat/s-bytswa.ads: Likewise.
1695 * libgnat/s-carsi8.adb: Likewise.
1696 * libgnat/s-carsi8.ads: Likewise.
1697 * libgnat/s-carun8.adb: Likewise.
1698 * libgnat/s-carun8.ads: Likewise.
1699 * libgnat/s-casi128.adb: Likewise.
1700 * libgnat/s-casi128.ads: Likewise.
1701 * libgnat/s-casi16.adb: Likewise.
1702 * libgnat/s-casi16.ads: Likewise.
1703 * libgnat/s-casi32.adb: Likewise.
1704 * libgnat/s-casi32.ads: Likewise.
1705 * libgnat/s-casi64.adb: Likewise.
1706 * libgnat/s-casi64.ads: Likewise.
1707 * libgnat/s-casuti.adb: Likewise.
1708 * libgnat/s-casuti.ads: Likewise.
1709 * libgnat/s-caun128.adb: Likewise.
1710 * libgnat/s-caun128.ads: Likewise.
1711 * libgnat/s-caun16.adb: Likewise.
1712 * libgnat/s-caun16.ads: Likewise.
1713 * libgnat/s-caun32.adb: Likewise.
1714 * libgnat/s-caun32.ads: Likewise.
1715 * libgnat/s-caun64.adb: Likewise.
1716 * libgnat/s-caun64.ads: Likewise.
1717 * libgnat/s-chepoo.ads: Likewise.
1718 * libgnat/s-commun.adb: Likewise.
1719 * libgnat/s-commun.ads: Likewise.
1720 * libgnat/s-conca2.adb: Likewise.
1721 * libgnat/s-conca2.ads: Likewise.
1722 * libgnat/s-conca3.adb: Likewise.
1723 * libgnat/s-conca3.ads: Likewise.
1724 * libgnat/s-conca4.adb: Likewise.
1725 * libgnat/s-conca4.ads: Likewise.
1726 * libgnat/s-conca5.adb: Likewise.
1727 * libgnat/s-conca5.ads: Likewise.
1728 * libgnat/s-conca6.adb: Likewise.
1729 * libgnat/s-conca6.ads: Likewise.
1730 * libgnat/s-conca7.adb: Likewise.
1731 * libgnat/s-conca7.ads: Likewise.
1732 * libgnat/s-conca8.adb: Likewise.
1733 * libgnat/s-conca8.ads: Likewise.
1734 * libgnat/s-conca9.adb: Likewise.
1735 * libgnat/s-conca9.ads: Likewise.
1736 * libgnat/s-crc32.adb: Likewise.
1737 * libgnat/s-crc32.ads: Likewise.
1738 * libgnat/s-crtl.ads: Likewise.
1739 * libgnat/s-dfmkio.ads: Likewise.
1740 * libgnat/s-dfmopr.ads: Likewise.
1741 * libgnat/s-dgmgop.ads: Likewise.
1742 * libgnat/s-diflio.adb: Likewise.
1743 * libgnat/s-diflio.ads: Likewise.
1744 * libgnat/s-diflmk.ads: Likewise.
1745 * libgnat/s-digemk.ads: Likewise.
1746 * libgnat/s-diinio.adb: Likewise.
1747 * libgnat/s-diinio.ads: Likewise.
1748 * libgnat/s-dilomk.ads: Likewise.
1749 * libgnat/s-dim.ads: Likewise.
1750 * libgnat/s-dimkio.ads: Likewise.
1751 * libgnat/s-dimmks.ads: Likewise.
1752 * libgnat/s-direio.adb: Likewise.
1753 * libgnat/s-direio.ads: Likewise.
1754 * libgnat/s-dlmkio.ads: Likewise.
1755 * libgnat/s-dlmopr.ads: Likewise.
1756 * libgnat/s-dmotpr.ads: Likewise.
1757 * libgnat/s-dorepr.adb: Likewise.
1758 * libgnat/s-dorepr__fma.adb: Likewise.
1759 * libgnat/s-dourea.adb: Likewise.
1760 * libgnat/s-dourea.ads: Likewise.
1761 * libgnat/s-dsaser.ads: Likewise.
1762 * libgnat/s-dwalin.adb: Likewise.
1763 * libgnat/s-dwalin.ads: Likewise.
1764 * libgnat/s-elaall.adb: Likewise.
1765 * libgnat/s-elaall.ads: Likewise.
1766 * libgnat/s-excdeb.adb: Likewise.
1767 * libgnat/s-excdeb.ads: Likewise.
1768 * libgnat/s-except.adb: Likewise.
1769 * libgnat/s-except.ads: Likewise.
1770 * libgnat/s-excmac__arm.adb: Likewise.
1771 * libgnat/s-excmac__arm.ads: Likewise.
1772 * libgnat/s-excmac__gcc.adb: Likewise.
1773 * libgnat/s-excmac__gcc.ads: Likewise.
1774 * libgnat/s-exctab.adb: Likewise.
1775 * libgnat/s-exctab.ads: Likewise.
1776 * libgnat/s-exctra.adb: Likewise.
1777 * libgnat/s-exctra.ads: Likewise.
1778 * libgnat/s-exnflt.ads: Likewise.
1779 * libgnat/s-exnint.adb: Likewise.
1780 * libgnat/s-exnint.ads: Likewise.
1781 * libgnat/s-exnlfl.ads: Likewise.
1782 * libgnat/s-exnllf.adb: Likewise.
1783 * libgnat/s-exnllf.ads: Likewise.
1784 * libgnat/s-exnlli.adb: Likewise.
1785 * libgnat/s-exnlli.ads: Likewise.
1786 * libgnat/s-exnllli.ads: Likewise.
1787 * libgnat/s-expint.adb: Likewise.
1788 * libgnat/s-expint.ads: Likewise.
1789 * libgnat/s-explli.adb: Likewise.
1790 * libgnat/s-explli.ads: Likewise.
1791 * libgnat/s-expllli.ads: Likewise.
1792 * libgnat/s-explllu.ads: Likewise.
1793 * libgnat/s-expllu.adb: Likewise.
1794 * libgnat/s-expllu.ads: Likewise.
1795 * libgnat/s-expmod.adb: Likewise.
1796 * libgnat/s-expmod.ads: Likewise.
1797 * libgnat/s-exponn.adb: Likewise.
1798 * libgnat/s-exponn.ads: Likewise.
1799 * libgnat/s-exponr.adb: Likewise.
1800 * libgnat/s-exponr.ads: Likewise.
1801 * libgnat/s-expont.adb: Likewise.
1802 * libgnat/s-expont.ads: Likewise.
1803 * libgnat/s-exponu.adb: Likewise.
1804 * libgnat/s-exponu.ads: Likewise.
1805 * libgnat/s-expuns.adb: Likewise.
1806 * libgnat/s-expuns.ads: Likewise.
1807 * libgnat/s-fatflt.ads: Likewise.
1808 * libgnat/s-fatgen.adb: Likewise.
1809 * libgnat/s-fatgen.ads: Likewise.
1810 * libgnat/s-fatlfl.ads: Likewise.
1811 * libgnat/s-fatllf.ads: Likewise.
1812 * libgnat/s-ficobl.ads: Likewise.
1813 * libgnat/s-filatt.ads: Likewise.
1814 * libgnat/s-fileio.adb: Likewise.
1815 * libgnat/s-fileio.ads: Likewise.
1816 * libgnat/s-finmas.adb: Likewise.
1817 * libgnat/s-finmas.ads: Likewise.
1818 * libgnat/s-finroo.adb: Likewise.
1819 * libgnat/s-finroo.ads: Likewise.
1820 * libgnat/s-flocon.adb: Likewise.
1821 * libgnat/s-flocon.ads: Likewise.
1822 * libgnat/s-flocon__none.adb: Likewise.
1823 * libgnat/s-fode128.ads: Likewise.
1824 * libgnat/s-fode32.ads: Likewise.
1825 * libgnat/s-fode64.ads: Likewise.
1826 * libgnat/s-fofi128.ads: Likewise.
1827 * libgnat/s-fofi32.ads: Likewise.
1828 * libgnat/s-fofi64.ads: Likewise.
1829 * libgnat/s-fore_d.adb: Likewise.
1830 * libgnat/s-fore_d.ads: Likewise.
1831 * libgnat/s-fore_f.adb: Likewise.
1832 * libgnat/s-fore_f.ads: Likewise.
1833 * libgnat/s-forrea.adb: Likewise.
1834 * libgnat/s-forrea.ads: Likewise.
1835 * libgnat/s-gearop.adb: Likewise.
1836 * libgnat/s-gearop.ads: Likewise.
1837 * libgnat/s-genbig.adb: Likewise.
1838 * libgnat/s-genbig.ads: Likewise.
1839 * libgnat/s-geveop.adb: Likewise.
1840 * libgnat/s-geveop.ads: Likewise.
1841 * libgnat/s-gloloc.adb: Likewise.
1842 * libgnat/s-gloloc.ads: Likewise.
1843 * libgnat/s-gloloc__mingw.adb: Likewise.
1844 * libgnat/s-htable.adb: Likewise.
1845 * libgnat/s-htable.ads: Likewise.
1846 * libgnat/s-imageb.adb: Likewise.
1847 * libgnat/s-imageb.ads: Likewise.
1848 * libgnat/s-imaged.adb: Likewise.
1849 * libgnat/s-imaged.ads: Likewise.
1850 * libgnat/s-imagef.adb: Likewise.
1851 * libgnat/s-imagef.ads: Likewise.
1852 * libgnat/s-imagei.adb: Likewise.
1853 * libgnat/s-imagei.ads: Likewise.
1854 * libgnat/s-imagen.adb: Likewise.
1855 * libgnat/s-imagen.ads: Likewise.
1856 * libgnat/s-imager.adb: Likewise.
1857 * libgnat/s-imager.ads: Likewise.
1858 * libgnat/s-imageu.adb: Likewise.
1859 * libgnat/s-imageu.ads: Likewise.
1860 * libgnat/s-imagew.adb: Likewise.
1861 * libgnat/s-imagew.ads: Likewise.
1862 * libgnat/s-imde128.ads: Likewise.
1863 * libgnat/s-imde32.ads: Likewise.
1864 * libgnat/s-imde64.ads: Likewise.
1865 * libgnat/s-imen16.ads: Likewise.
1866 * libgnat/s-imen32.ads: Likewise.
1867 * libgnat/s-imenu8.ads: Likewise.
1868 * libgnat/s-imfi128.ads: Likewise.
1869 * libgnat/s-imfi32.ads: Likewise.
1870 * libgnat/s-imfi64.ads: Likewise.
1871 * libgnat/s-imgbiu.adb: Likewise.
1872 * libgnat/s-imgbiu.ads: Likewise.
1873 * libgnat/s-imgboo.adb: Likewise.
1874 * libgnat/s-imgboo.ads: Likewise.
1875 * libgnat/s-imgcha.adb: Likewise.
1876 * libgnat/s-imgcha.ads: Likewise.
1877 * libgnat/s-imgflt.ads: Likewise.
1878 * libgnat/s-imgint.adb: Likewise.
1879 * libgnat/s-imgint.ads: Likewise.
1880 * libgnat/s-imglfl.ads: Likewise.
1881 * libgnat/s-imgllb.adb: Likewise.
1882 * libgnat/s-imgllb.ads: Likewise.
1883 * libgnat/s-imgllf.ads: Likewise.
1884 * libgnat/s-imglli.adb: Likewise.
1885 * libgnat/s-imglli.ads: Likewise.
1886 * libgnat/s-imglllb.ads: Likewise.
1887 * libgnat/s-imgllli.ads: Likewise.
1888 * libgnat/s-imglllu.ads: Likewise.
1889 * libgnat/s-imglllw.ads: Likewise.
1890 * libgnat/s-imgllu.adb: Likewise.
1891 * libgnat/s-imgllu.ads: Likewise.
1892 * libgnat/s-imgllw.adb: Likewise.
1893 * libgnat/s-imgllw.ads: Likewise.
1894 * libgnat/s-imgrea.adb: Likewise.
1895 * libgnat/s-imgrea.ads: Likewise.
1896 * libgnat/s-imguns.adb: Likewise.
1897 * libgnat/s-imguns.ads: Likewise.
1898 * libgnat/s-imguti.adb: Likewise.
1899 * libgnat/s-imguti.ads: Likewise.
1900 * libgnat/s-imgwch.adb: Likewise.
1901 * libgnat/s-imgwch.ads: Likewise.
1902 * libgnat/s-imgwiu.adb: Likewise.
1903 * libgnat/s-imgwiu.ads: Likewise.
1904 * libgnat/s-io.adb: Likewise.
1905 * libgnat/s-io.ads: Likewise.
1906 * libgnat/s-llflex.ads: Likewise.
1907 * libgnat/s-maccod.ads: Likewise.
1908 * libgnat/s-mantis.adb: Likewise.
1909 * libgnat/s-mantis.ads: Likewise.
1910 * libgnat/s-mastop.adb: Likewise.
1911 * libgnat/s-mastop.ads: Likewise.
1912 * libgnat/s-memcop.ads: Likewise.
1913 * libgnat/s-memory.adb: Likewise.
1914 * libgnat/s-memory.ads: Likewise.
1915 * libgnat/s-mmap.adb: Likewise.
1916 * libgnat/s-mmap.ads: Likewise.
1917 * libgnat/s-mmauni__long.ads: Likewise.
1918 * libgnat/s-mmosin__mingw.adb: Likewise.
1919 * libgnat/s-mmosin__mingw.ads: Likewise.
1920 * libgnat/s-mmosin__unix.adb: Likewise.
1921 * libgnat/s-mmosin__unix.ads: Likewise.
1922 * libgnat/s-multip.adb: Likewise.
1923 * libgnat/s-objrea.adb: Likewise.
1924 * libgnat/s-objrea.ads: Likewise.
1925 * libgnat/s-optide.adb: Likewise.
1926 * libgnat/s-os_lib.adb: Likewise.
1927 * libgnat/s-os_lib.ads: Likewise.
1928 * libgnat/s-osprim.ads: Likewise.
1929 * libgnat/s-osprim__darwin.adb: Likewise.
1930 * libgnat/s-osprim__lynxos.ads: Likewise.
1931 * libgnat/s-osprim__mingw.adb: Likewise.
1932 * libgnat/s-osprim__posix.adb: Likewise.
1933 * libgnat/s-osprim__posix2008.adb: Likewise.
1934 * libgnat/s-osprim__rtems.adb: Likewise.
1935 * libgnat/s-osprim__solaris.adb: Likewise.
1936 * libgnat/s-osprim__unix.adb: Likewise.
1937 * libgnat/s-osprim__x32.adb: Likewise.
1938 * libgnat/s-pack03.adb: Likewise.
1939 * libgnat/s-pack03.ads: Likewise.
1940 * libgnat/s-pack05.adb: Likewise.
1941 * libgnat/s-pack05.ads: Likewise.
1942 * libgnat/s-pack06.adb: Likewise.
1943 * libgnat/s-pack06.ads: Likewise.
1944 * libgnat/s-pack07.adb: Likewise.
1945 * libgnat/s-pack07.ads: Likewise.
1946 * libgnat/s-pack09.adb: Likewise.
1947 * libgnat/s-pack09.ads: Likewise.
1948 * libgnat/s-pack10.adb: Likewise.
1949 * libgnat/s-pack10.ads: Likewise.
1950 * libgnat/s-pack100.adb: Likewise.
1951 * libgnat/s-pack100.ads: Likewise.
1952 * libgnat/s-pack101.adb: Likewise.
1953 * libgnat/s-pack101.ads: Likewise.
1954 * libgnat/s-pack102.adb: Likewise.
1955 * libgnat/s-pack102.ads: Likewise.
1956 * libgnat/s-pack103.adb: Likewise.
1957 * libgnat/s-pack103.ads: Likewise.
1958 * libgnat/s-pack104.adb: Likewise.
1959 * libgnat/s-pack104.ads: Likewise.
1960 * libgnat/s-pack105.adb: Likewise.
1961 * libgnat/s-pack105.ads: Likewise.
1962 * libgnat/s-pack106.adb: Likewise.
1963 * libgnat/s-pack106.ads: Likewise.
1964 * libgnat/s-pack107.adb: Likewise.
1965 * libgnat/s-pack107.ads: Likewise.
1966 * libgnat/s-pack108.adb: Likewise.
1967 * libgnat/s-pack108.ads: Likewise.
1968 * libgnat/s-pack109.adb: Likewise.
1969 * libgnat/s-pack109.ads: Likewise.
1970 * libgnat/s-pack11.adb: Likewise.
1971 * libgnat/s-pack11.ads: Likewise.
1972 * libgnat/s-pack110.adb: Likewise.
1973 * libgnat/s-pack110.ads: Likewise.
1974 * libgnat/s-pack111.adb: Likewise.
1975 * libgnat/s-pack111.ads: Likewise.
1976 * libgnat/s-pack112.adb: Likewise.
1977 * libgnat/s-pack112.ads: Likewise.
1978 * libgnat/s-pack113.adb: Likewise.
1979 * libgnat/s-pack113.ads: Likewise.
1980 * libgnat/s-pack114.adb: Likewise.
1981 * libgnat/s-pack114.ads: Likewise.
1982 * libgnat/s-pack115.adb: Likewise.
1983 * libgnat/s-pack115.ads: Likewise.
1984 * libgnat/s-pack116.adb: Likewise.
1985 * libgnat/s-pack116.ads: Likewise.
1986 * libgnat/s-pack117.adb: Likewise.
1987 * libgnat/s-pack117.ads: Likewise.
1988 * libgnat/s-pack118.adb: Likewise.
1989 * libgnat/s-pack118.ads: Likewise.
1990 * libgnat/s-pack119.adb: Likewise.
1991 * libgnat/s-pack119.ads: Likewise.
1992 * libgnat/s-pack12.adb: Likewise.
1993 * libgnat/s-pack12.ads: Likewise.
1994 * libgnat/s-pack120.adb: Likewise.
1995 * libgnat/s-pack120.ads: Likewise.
1996 * libgnat/s-pack121.adb: Likewise.
1997 * libgnat/s-pack121.ads: Likewise.
1998 * libgnat/s-pack122.adb: Likewise.
1999 * libgnat/s-pack122.ads: Likewise.
2000 * libgnat/s-pack123.adb: Likewise.
2001 * libgnat/s-pack123.ads: Likewise.
2002 * libgnat/s-pack124.adb: Likewise.
2003 * libgnat/s-pack124.ads: Likewise.
2004 * libgnat/s-pack125.adb: Likewise.
2005 * libgnat/s-pack125.ads: Likewise.
2006 * libgnat/s-pack126.adb: Likewise.
2007 * libgnat/s-pack126.ads: Likewise.
2008 * libgnat/s-pack127.adb: Likewise.
2009 * libgnat/s-pack127.ads: Likewise.
2010 * libgnat/s-pack13.adb: Likewise.
2011 * libgnat/s-pack13.ads: Likewise.
2012 * libgnat/s-pack14.adb: Likewise.
2013 * libgnat/s-pack14.ads: Likewise.
2014 * libgnat/s-pack15.adb: Likewise.
2015 * libgnat/s-pack15.ads: Likewise.
2016 * libgnat/s-pack17.adb: Likewise.
2017 * libgnat/s-pack17.ads: Likewise.
2018 * libgnat/s-pack18.adb: Likewise.
2019 * libgnat/s-pack18.ads: Likewise.
2020 * libgnat/s-pack19.adb: Likewise.
2021 * libgnat/s-pack19.ads: Likewise.
2022 * libgnat/s-pack20.adb: Likewise.
2023 * libgnat/s-pack20.ads: Likewise.
2024 * libgnat/s-pack21.adb: Likewise.
2025 * libgnat/s-pack21.ads: Likewise.
2026 * libgnat/s-pack22.adb: Likewise.
2027 * libgnat/s-pack22.ads: Likewise.
2028 * libgnat/s-pack23.adb: Likewise.
2029 * libgnat/s-pack23.ads: Likewise.
2030 * libgnat/s-pack24.adb: Likewise.
2031 * libgnat/s-pack24.ads: Likewise.
2032 * libgnat/s-pack25.adb: Likewise.
2033 * libgnat/s-pack25.ads: Likewise.
2034 * libgnat/s-pack26.adb: Likewise.
2035 * libgnat/s-pack26.ads: Likewise.
2036 * libgnat/s-pack27.adb: Likewise.
2037 * libgnat/s-pack27.ads: Likewise.
2038 * libgnat/s-pack28.adb: Likewise.
2039 * libgnat/s-pack28.ads: Likewise.
2040 * libgnat/s-pack29.adb: Likewise.
2041 * libgnat/s-pack29.ads: Likewise.
2042 * libgnat/s-pack30.adb: Likewise.
2043 * libgnat/s-pack30.ads: Likewise.
2044 * libgnat/s-pack31.adb: Likewise.
2045 * libgnat/s-pack31.ads: Likewise.
2046 * libgnat/s-pack33.adb: Likewise.
2047 * libgnat/s-pack33.ads: Likewise.
2048 * libgnat/s-pack34.adb: Likewise.
2049 * libgnat/s-pack34.ads: Likewise.
2050 * libgnat/s-pack35.adb: Likewise.
2051 * libgnat/s-pack35.ads: Likewise.
2052 * libgnat/s-pack36.adb: Likewise.
2053 * libgnat/s-pack36.ads: Likewise.
2054 * libgnat/s-pack37.adb: Likewise.
2055 * libgnat/s-pack37.ads: Likewise.
2056 * libgnat/s-pack38.adb: Likewise.
2057 * libgnat/s-pack38.ads: Likewise.
2058 * libgnat/s-pack39.adb: Likewise.
2059 * libgnat/s-pack39.ads: Likewise.
2060 * libgnat/s-pack40.adb: Likewise.
2061 * libgnat/s-pack40.ads: Likewise.
2062 * libgnat/s-pack41.adb: Likewise.
2063 * libgnat/s-pack41.ads: Likewise.
2064 * libgnat/s-pack42.adb: Likewise.
2065 * libgnat/s-pack42.ads: Likewise.
2066 * libgnat/s-pack43.adb: Likewise.
2067 * libgnat/s-pack43.ads: Likewise.
2068 * libgnat/s-pack44.adb: Likewise.
2069 * libgnat/s-pack44.ads: Likewise.
2070 * libgnat/s-pack45.adb: Likewise.
2071 * libgnat/s-pack45.ads: Likewise.
2072 * libgnat/s-pack46.adb: Likewise.
2073 * libgnat/s-pack46.ads: Likewise.
2074 * libgnat/s-pack47.adb: Likewise.
2075 * libgnat/s-pack47.ads: Likewise.
2076 * libgnat/s-pack48.adb: Likewise.
2077 * libgnat/s-pack48.ads: Likewise.
2078 * libgnat/s-pack49.adb: Likewise.
2079 * libgnat/s-pack49.ads: Likewise.
2080 * libgnat/s-pack50.adb: Likewise.
2081 * libgnat/s-pack50.ads: Likewise.
2082 * libgnat/s-pack51.adb: Likewise.
2083 * libgnat/s-pack51.ads: Likewise.
2084 * libgnat/s-pack52.adb: Likewise.
2085 * libgnat/s-pack52.ads: Likewise.
2086 * libgnat/s-pack53.adb: Likewise.
2087 * libgnat/s-pack53.ads: Likewise.
2088 * libgnat/s-pack54.adb: Likewise.
2089 * libgnat/s-pack54.ads: Likewise.
2090 * libgnat/s-pack55.adb: Likewise.
2091 * libgnat/s-pack55.ads: Likewise.
2092 * libgnat/s-pack56.adb: Likewise.
2093 * libgnat/s-pack56.ads: Likewise.
2094 * libgnat/s-pack57.adb: Likewise.
2095 * libgnat/s-pack57.ads: Likewise.
2096 * libgnat/s-pack58.adb: Likewise.
2097 * libgnat/s-pack58.ads: Likewise.
2098 * libgnat/s-pack59.adb: Likewise.
2099 * libgnat/s-pack59.ads: Likewise.
2100 * libgnat/s-pack60.adb: Likewise.
2101 * libgnat/s-pack60.ads: Likewise.
2102 * libgnat/s-pack61.adb: Likewise.
2103 * libgnat/s-pack61.ads: Likewise.
2104 * libgnat/s-pack62.adb: Likewise.
2105 * libgnat/s-pack62.ads: Likewise.
2106 * libgnat/s-pack63.adb: Likewise.
2107 * libgnat/s-pack63.ads: Likewise.
2108 * libgnat/s-pack65.adb: Likewise.
2109 * libgnat/s-pack65.ads: Likewise.
2110 * libgnat/s-pack66.adb: Likewise.
2111 * libgnat/s-pack66.ads: Likewise.
2112 * libgnat/s-pack67.adb: Likewise.
2113 * libgnat/s-pack67.ads: Likewise.
2114 * libgnat/s-pack68.adb: Likewise.
2115 * libgnat/s-pack68.ads: Likewise.
2116 * libgnat/s-pack69.adb: Likewise.
2117 * libgnat/s-pack69.ads: Likewise.
2118 * libgnat/s-pack70.adb: Likewise.
2119 * libgnat/s-pack70.ads: Likewise.
2120 * libgnat/s-pack71.adb: Likewise.
2121 * libgnat/s-pack71.ads: Likewise.
2122 * libgnat/s-pack72.adb: Likewise.
2123 * libgnat/s-pack72.ads: Likewise.
2124 * libgnat/s-pack73.adb: Likewise.
2125 * libgnat/s-pack73.ads: Likewise.
2126 * libgnat/s-pack74.adb: Likewise.
2127 * libgnat/s-pack74.ads: Likewise.
2128 * libgnat/s-pack75.adb: Likewise.
2129 * libgnat/s-pack75.ads: Likewise.
2130 * libgnat/s-pack76.adb: Likewise.
2131 * libgnat/s-pack76.ads: Likewise.
2132 * libgnat/s-pack77.adb: Likewise.
2133 * libgnat/s-pack77.ads: Likewise.
2134 * libgnat/s-pack78.adb: Likewise.
2135 * libgnat/s-pack78.ads: Likewise.
2136 * libgnat/s-pack79.adb: Likewise.
2137 * libgnat/s-pack79.ads: Likewise.
2138 * libgnat/s-pack80.adb: Likewise.
2139 * libgnat/s-pack80.ads: Likewise.
2140 * libgnat/s-pack81.adb: Likewise.
2141 * libgnat/s-pack81.ads: Likewise.
2142 * libgnat/s-pack82.adb: Likewise.
2143 * libgnat/s-pack82.ads: Likewise.
2144 * libgnat/s-pack83.adb: Likewise.
2145 * libgnat/s-pack83.ads: Likewise.
2146 * libgnat/s-pack84.adb: Likewise.
2147 * libgnat/s-pack84.ads: Likewise.
2148 * libgnat/s-pack85.adb: Likewise.
2149 * libgnat/s-pack85.ads: Likewise.
2150 * libgnat/s-pack86.adb: Likewise.
2151 * libgnat/s-pack86.ads: Likewise.
2152 * libgnat/s-pack87.adb: Likewise.
2153 * libgnat/s-pack87.ads: Likewise.
2154 * libgnat/s-pack88.adb: Likewise.
2155 * libgnat/s-pack88.ads: Likewise.
2156 * libgnat/s-pack89.adb: Likewise.
2157 * libgnat/s-pack89.ads: Likewise.
2158 * libgnat/s-pack90.adb: Likewise.
2159 * libgnat/s-pack90.ads: Likewise.
2160 * libgnat/s-pack91.adb: Likewise.
2161 * libgnat/s-pack91.ads: Likewise.
2162 * libgnat/s-pack92.adb: Likewise.
2163 * libgnat/s-pack92.ads: Likewise.
2164 * libgnat/s-pack93.adb: Likewise.
2165 * libgnat/s-pack93.ads: Likewise.
2166 * libgnat/s-pack94.adb: Likewise.
2167 * libgnat/s-pack94.ads: Likewise.
2168 * libgnat/s-pack95.adb: Likewise.
2169 * libgnat/s-pack95.ads: Likewise.
2170 * libgnat/s-pack96.adb: Likewise.
2171 * libgnat/s-pack96.ads: Likewise.
2172 * libgnat/s-pack97.adb: Likewise.
2173 * libgnat/s-pack97.ads: Likewise.
2174 * libgnat/s-pack98.adb: Likewise.
2175 * libgnat/s-pack98.ads: Likewise.
2176 * libgnat/s-pack99.adb: Likewise.
2177 * libgnat/s-pack99.ads: Likewise.
2178 * libgnat/s-parame.adb: Likewise.
2179 * libgnat/s-parame.ads: Likewise.
2180 * libgnat/s-parame__hpux.ads: Likewise.
2181 * libgnat/s-parame__posix2008.ads: Likewise.
2182 * libgnat/s-parame__rtems.adb: Likewise.
2183 * libgnat/s-parame__vxworks.adb: Likewise.
2184 * libgnat/s-parame__vxworks.ads: Likewise.
2185 * libgnat/s-parint.adb: Likewise.
2186 * libgnat/s-parint.ads: Likewise.
2187 * libgnat/s-pehage.adb: Likewise.
2188 * libgnat/s-pehage.ads: Likewise.
2189 * libgnat/s-pooglo.adb: Likewise.
2190 * libgnat/s-pooglo.ads: Likewise.
2191 * libgnat/s-pooloc.adb: Likewise.
2192 * libgnat/s-pooloc.ads: Likewise.
2193 * libgnat/s-poosiz.adb: Likewise.
2194 * libgnat/s-poosiz.ads: Likewise.
2195 * libgnat/s-powflt.ads: Likewise.
2196 * libgnat/s-powlfl.ads: Likewise.
2197 * libgnat/s-powllf.ads: Likewise.
2198 * libgnat/s-purexc.ads: Likewise.
2199 * libgnat/s-putima.adb: Likewise.
2200 * libgnat/s-putima.ads: Likewise.
2201 * libgnat/s-rannum.adb: Likewise.
2202 * libgnat/s-rannum.ads: Likewise.
2203 * libgnat/s-ransee.adb: Likewise.
2204 * libgnat/s-ransee.ads: Likewise.
2205 * libgnat/s-regexp.adb: Likewise.
2206 * libgnat/s-regexp.ads: Likewise.
2207 * libgnat/s-regpat.adb: Likewise.
2208 * libgnat/s-regpat.ads: Likewise.
2209 * libgnat/s-resfil.adb: Likewise.
2210 * libgnat/s-resfil.ads: Likewise.
2211 * libgnat/s-restri.adb: Likewise.
2212 * libgnat/s-restri.ads: Likewise.
2213 * libgnat/s-rident.ads: Likewise.
2214 * libgnat/s-rpc.adb: Likewise.
2215 * libgnat/s-rpc.ads: Likewise.
2216 * libgnat/s-scaval.adb: Likewise.
2217 * libgnat/s-scaval.ads: Likewise.
2218 * libgnat/s-scaval__128.adb: Likewise.
2219 * libgnat/s-scaval__128.ads: Likewise.
2220 * libgnat/s-secsta.adb: Likewise.
2221 * libgnat/s-secsta.ads: Likewise.
2222 * libgnat/s-sequio.adb: Likewise.
2223 * libgnat/s-sequio.ads: Likewise.
2224 * libgnat/s-shabig.ads: Likewise.
2225 * libgnat/s-shasto.adb: Likewise.
2226 * libgnat/s-shasto.ads: Likewise.
2227 * libgnat/s-soflin.adb: Likewise.
2228 * libgnat/s-soflin.ads: Likewise.
2229 * libgnat/s-soliin.adb: Likewise.
2230 * libgnat/s-soliin.ads: Likewise.
2231 * libgnat/s-spsufi.adb: Likewise.
2232 * libgnat/s-spsufi.ads: Likewise.
2233 * libgnat/s-stache.adb: Likewise.
2234 * libgnat/s-stache.ads: Likewise.
2235 * libgnat/s-stalib.adb: Likewise.
2236 * libgnat/s-stalib.ads: Likewise.
2237 * libgnat/s-statxd.adb: Likewise.
2238 * libgnat/s-statxd.ads: Likewise.
2239 * libgnat/s-stausa.adb: Likewise.
2240 * libgnat/s-stausa.ads: Likewise.
2241 * libgnat/s-stchop.adb: Likewise.
2242 * libgnat/s-stchop.ads: Likewise.
2243 * libgnat/s-stchop__limit.ads: Likewise.
2244 * libgnat/s-stchop__vxworks.adb: Likewise.
2245 * libgnat/s-stoele.adb: Likewise.
2246 * libgnat/s-stoele.ads: Likewise.
2247 * libgnat/s-stopoo.adb: Likewise.
2248 * libgnat/s-stopoo.ads: Likewise.
2249 * libgnat/s-stposu.adb: Likewise.
2250 * libgnat/s-stposu.ads: Likewise.
2251 * libgnat/s-stratt.adb: Likewise.
2252 * libgnat/s-stratt.ads: Likewise.
2253 * libgnat/s-strcom.adb: Likewise.
2254 * libgnat/s-strcom.ads: Likewise.
2255 * libgnat/s-strhas.adb: Likewise.
2256 * libgnat/s-strhas.ads: Likewise.
2257 * libgnat/s-string.adb: Likewise.
2258 * libgnat/s-string.ads: Likewise.
2259 * libgnat/s-ststop.adb: Likewise.
2260 * libgnat/s-ststop.ads: Likewise.
2261 * libgnat/s-tasloc.adb: Likewise.
2262 * libgnat/s-tasloc.ads: Likewise.
2263 * libgnat/s-traceb.adb: Likewise.
2264 * libgnat/s-traceb.ads: Likewise.
2265 * libgnat/s-traceb__hpux.adb: Likewise.
2266 * libgnat/s-traceb__mastop.adb: Likewise.
2267 * libgnat/s-traent.adb: Likewise.
2268 * libgnat/s-traent.ads: Likewise.
2269 * libgnat/s-trasym.adb: Likewise.
2270 * libgnat/s-trasym.ads: Likewise.
2271 * libgnat/s-trasym__dwarf.adb: Likewise.
2272 * libgnat/s-tsmona.adb: Likewise.
2273 * libgnat/s-tsmona__linux.adb: Likewise.
2274 * libgnat/s-tsmona__mingw.adb: Likewise.
2275 * libgnat/s-unstyp.ads: Likewise.
2276 * libgnat/s-utf_32.adb: Likewise.
2277 * libgnat/s-utf_32.ads: Likewise.
2278 * libgnat/s-vade128.ads: Likewise.
2279 * libgnat/s-vade32.ads: Likewise.
2280 * libgnat/s-vade64.ads: Likewise.
2281 * libgnat/s-vaen16.ads: Likewise.
2282 * libgnat/s-vaen32.ads: Likewise.
2283 * libgnat/s-vaenu8.ads: Likewise.
2284 * libgnat/s-vafi128.ads: Likewise.
2285 * libgnat/s-vafi32.ads: Likewise.
2286 * libgnat/s-vafi64.ads: Likewise.
2287 * libgnat/s-valboo.adb: Likewise.
2288 * libgnat/s-valboo.ads: Likewise.
2289 * libgnat/s-valcha.adb: Likewise.
2290 * libgnat/s-valcha.ads: Likewise.
2291 * libgnat/s-valflt.ads: Likewise.
2292 * libgnat/s-valint.adb: Likewise.
2293 * libgnat/s-valint.ads: Likewise.
2294 * libgnat/s-vallfl.ads: Likewise.
2295 * libgnat/s-valllf.ads: Likewise.
2296 * libgnat/s-vallli.adb: Likewise.
2297 * libgnat/s-vallli.ads: Likewise.
2298 * libgnat/s-valllli.ads: Likewise.
2299 * libgnat/s-vallllu.ads: Likewise.
2300 * libgnat/s-valllu.adb: Likewise.
2301 * libgnat/s-valllu.ads: Likewise.
2302 * libgnat/s-valrea.adb: Likewise.
2303 * libgnat/s-valrea.ads: Likewise.
2304 * libgnat/s-valued.adb: Likewise.
2305 * libgnat/s-valued.ads: Likewise.
2306 * libgnat/s-valuef.adb: Likewise.
2307 * libgnat/s-valuef.ads: Likewise.
2308 * libgnat/s-valuei.adb: Likewise.
2309 * libgnat/s-valuei.ads: Likewise.
2310 * libgnat/s-valuen.adb: Likewise.
2311 * libgnat/s-valuen.ads: Likewise.
2312 * libgnat/s-valuer.adb: Likewise.
2313 * libgnat/s-valuer.ads: Likewise.
2314 * libgnat/s-valueu.adb: Likewise.
2315 * libgnat/s-valueu.ads: Likewise.
2316 * libgnat/s-valuns.adb: Likewise.
2317 * libgnat/s-valuns.ads: Likewise.
2318 * libgnat/s-valuti.adb: Likewise.
2319 * libgnat/s-valuti.ads: Likewise.
2320 * libgnat/s-valwch.adb: Likewise.
2321 * libgnat/s-valwch.ads: Likewise.
2322 * libgnat/s-veboop.adb: Likewise.
2323 * libgnat/s-veboop.ads: Likewise.
2324 * libgnat/s-vector.ads: Likewise.
2325 * libgnat/s-vercon.adb: Likewise.
2326 * libgnat/s-vercon.ads: Likewise.
2327 * libgnat/s-wchcnv.adb: Likewise.
2328 * libgnat/s-wchcnv.ads: Likewise.
2329 * libgnat/s-wchcon.adb: Likewise.
2330 * libgnat/s-wchcon.ads: Likewise.
2331 * libgnat/s-wchjis.adb: Likewise.
2332 * libgnat/s-wchjis.ads: Likewise.
2333 * libgnat/s-wchstw.adb: Likewise.
2334 * libgnat/s-wchstw.ads: Likewise.
2335 * libgnat/s-wchwts.adb: Likewise.
2336 * libgnat/s-wchwts.ads: Likewise.
2337 * libgnat/s-widboo.adb: Likewise.
2338 * libgnat/s-widboo.ads: Likewise.
2339 * libgnat/s-widcha.adb: Likewise.
2340 * libgnat/s-widcha.ads: Likewise.
2341 * libgnat/s-widenu.adb: Likewise.
2342 * libgnat/s-widenu.ads: Likewise.
2343 * libgnat/s-widint.ads: Likewise.
2344 * libgnat/s-widlli.adb: Likewise.
2345 * libgnat/s-widlli.ads: Likewise.
2346 * libgnat/s-widllli.ads: Likewise.
2347 * libgnat/s-widlllu.ads: Likewise.
2348 * libgnat/s-widllu.adb: Likewise.
2349 * libgnat/s-widllu.ads: Likewise.
2350 * libgnat/s-widthi.adb: Likewise.
2351 * libgnat/s-widthi.ads: Likewise.
2352 * libgnat/s-widthu.adb: Likewise.
2353 * libgnat/s-widthu.ads: Likewise.
2354 * libgnat/s-widuns.ads: Likewise.
2355 * libgnat/s-widwch.adb: Likewise.
2356 * libgnat/s-widwch.ads: Likewise.
2357 * libgnat/s-win32.ads: Likewise.
2358 * libgnat/s-winext.ads: Likewise.
2359 * libgnat/s-wwdcha.adb: Likewise.
2360 * libgnat/s-wwdcha.ads: Likewise.
2361 * libgnat/s-wwdenu.adb: Likewise.
2362 * libgnat/s-wwdenu.ads: Likewise.
2363 * libgnat/s-wwdwch.adb: Likewise.
2364 * libgnat/s-wwdwch.ads: Likewise.
2365 * libgnat/system-aix.ads: Likewise.
2366 * libgnat/system-darwin-arm.ads: Likewise.
2367 * libgnat/system-darwin-ppc.ads: Likewise.
2368 * libgnat/system-darwin-x86.ads: Likewise.
2369 * libgnat/system-djgpp.ads: Likewise.
2370 * libgnat/system-dragonfly-x86_64.ads: Likewise.
2371 * libgnat/system-freebsd.ads: Likewise.
2372 * libgnat/system-hpux-ia64.ads: Likewise.
2373 * libgnat/system-hpux.ads: Likewise.
2374 * libgnat/system-linux-alpha.ads: Likewise.
2375 * libgnat/system-linux-arm.ads: Likewise.
2376 * libgnat/system-linux-hppa.ads: Likewise.
2377 * libgnat/system-linux-ia64.ads: Likewise.
2378 * libgnat/system-linux-m68k.ads: Likewise.
2379 * libgnat/system-linux-mips.ads: Likewise.
2380 * libgnat/system-linux-ppc.ads: Likewise.
2381 * libgnat/system-linux-riscv.ads: Likewise.
2382 * libgnat/system-linux-s390.ads: Likewise.
2383 * libgnat/system-linux-sh4.ads: Likewise.
2384 * libgnat/system-linux-sparc.ads: Likewise.
2385 * libgnat/system-linux-x86.ads: Likewise.
2386 * libgnat/system-lynxos178-ppc.ads: Likewise.
2387 * libgnat/system-lynxos178-x86.ads: Likewise.
2388 * libgnat/system-mingw.ads: Likewise.
2389 * libgnat/system-qnx-aarch64.ads: Likewise.
2390 * libgnat/system-rtems.ads: Likewise.
2391 * libgnat/system-solaris-sparc.ads: Likewise.
2392 * libgnat/system-solaris-x86.ads: Likewise.
2393 * libgnat/system-vxworks-arm-rtp-smp.ads: Likewise.
2394 * libgnat/system-vxworks-arm-rtp.ads: Likewise.
2395 * libgnat/system-vxworks-arm.ads: Likewise.
2396 * libgnat/system-vxworks-e500-kernel.ads: Likewise.
2397 * libgnat/system-vxworks-e500-rtp-smp.ads: Likewise.
2398 * libgnat/system-vxworks-e500-rtp.ads: Likewise.
2399 * libgnat/system-vxworks-ppc-kernel.ads: Likewise.
2400 * libgnat/system-vxworks-ppc-rtp-smp.ads: Likewise.
2401 * libgnat/system-vxworks-ppc-rtp.ads: Likewise.
2402 * libgnat/system-vxworks-x86-kernel.ads: Likewise.
2403 * libgnat/system-vxworks-x86-rtp-smp.ads: Likewise.
2404 * libgnat/system-vxworks-x86-rtp.ads: Likewise.
2405 * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Likewise.
2406 * libgnat/system-vxworks7-aarch64.ads: Likewise.
2407 * libgnat/system-vxworks7-arm-rtp-smp.ads: Likewise.
2408 * libgnat/system-vxworks7-arm.ads: Likewise.
2409 * libgnat/system-vxworks7-e500-kernel.ads: Likewise.
2410 * libgnat/system-vxworks7-e500-rtp-smp.ads: Likewise.
2411 * libgnat/system-vxworks7-e500-rtp.ads: Likewise.
2412 * libgnat/system-vxworks7-ppc-kernel.ads: Likewise.
2413 * libgnat/system-vxworks7-ppc-rtp-smp.ads: Likewise.
2414 * libgnat/system-vxworks7-ppc-rtp.ads: Likewise.
2415 * libgnat/system-vxworks7-ppc64-kernel.ads: Likewise.
2416 * libgnat/system-vxworks7-ppc64-rtp-smp.ads: Likewise.
2417 * libgnat/system-vxworks7-x86-kernel.ads: Likewise.
2418 * libgnat/system-vxworks7-x86-rtp-smp.ads: Likewise.
2419 * libgnat/system-vxworks7-x86-rtp.ads: Likewise.
2420 * libgnat/system-vxworks7-x86_64-kernel.ads: Likewise.
2421 * libgnat/system-vxworks7-x86_64-rtp-smp.ads: Likewise.
2423 * live.adb: Likewise.
2424 * live.ads: Likewise.
2425 * locales.c: Likewise.
2426 * make.adb: Likewise.
2427 * make.ads: Likewise.
2428 * make_util.adb: Likewise.
2429 * make_util.ads: Likewise.
2430 * makeusg.adb: Likewise.
2431 * makeusg.ads: Likewise.
2432 * mdll-fil.adb: Likewise.
2433 * mdll-fil.ads: Likewise.
2434 * mdll-utl.adb: Likewise.
2435 * mdll-utl.ads: Likewise.
2436 * mdll.adb: Likewise.
2437 * mdll.ads: Likewise.
2438 * mingw32.h: Likewise.
2439 * mkdir.c: Likewise.
2440 * namet-sp.adb: Likewise.
2441 * namet-sp.ads: Likewise.
2442 * namet.adb: Likewise.
2443 * namet.ads: Likewise.
2444 * namet.h: Likewise.
2445 * nlists.adb: Likewise.
2446 * nlists.ads: Likewise.
2447 * nlists.h: Likewise.
2448 * opt.adb: Likewise.
2449 * opt.ads: Likewise.
2450 * osint-b.adb: Likewise.
2451 * osint-b.ads: Likewise.
2452 * osint-c.adb: Likewise.
2453 * osint-c.ads: Likewise.
2454 * osint-l.adb: Likewise.
2455 * osint-l.ads: Likewise.
2456 * osint-m.adb: Likewise.
2457 * osint-m.ads: Likewise.
2458 * osint.adb: Likewise.
2459 * osint.ads: Likewise.
2460 * output.adb: Likewise.
2461 * output.ads: Likewise.
2462 * par-ch10.adb: Likewise.
2463 * par-ch11.adb: Likewise.
2464 * par-ch12.adb: Likewise.
2465 * par-ch13.adb: Likewise.
2466 * par-ch2.adb: Likewise.
2467 * par-ch3.adb: Likewise.
2468 * par-ch4.adb: Likewise.
2469 * par-ch5.adb: Likewise.
2470 * par-ch6.adb: Likewise.
2471 * par-ch7.adb: Likewise.
2472 * par-ch8.adb: Likewise.
2473 * par-ch9.adb: Likewise.
2474 * par-endh.adb: Likewise.
2475 * par-labl.adb: Likewise.
2476 * par-load.adb: Likewise.
2477 * par-prag.adb: Likewise.
2478 * par-sync.adb: Likewise.
2479 * par-tchk.adb: Likewise.
2480 * par-util.adb: Likewise.
2481 * par.adb: Likewise.
2482 * par.ads: Likewise.
2483 * par_sco.adb: Likewise.
2484 * par_sco.ads: Likewise.
2485 * pprint.adb: Likewise.
2486 * pprint.ads: Likewise.
2487 * prep.adb: Likewise.
2488 * prep.ads: Likewise.
2489 * prepcomp.adb: Likewise.
2490 * prepcomp.ads: Likewise.
2491 * put_scos.adb: Likewise.
2492 * put_scos.ads: Likewise.
2493 * raise-gcc.c: Likewise.
2494 * raise.c: Likewise.
2495 * raise.h: Likewise.
2496 * repinfo-input.adb: Likewise.
2497 * repinfo-input.ads: Likewise.
2498 * repinfo.adb: Likewise.
2499 * repinfo.ads: Likewise.
2500 * repinfo.h: Likewise.
2501 * restrict.adb: Likewise.
2502 * restrict.ads: Likewise.
2503 * rident.ads: Likewise.
2504 * rtfinal.c: Likewise.
2505 * rtinit.c: Likewise.
2506 * rtsfind.adb: Likewise.
2507 * rtsfind.ads: Likewise.
2508 * runtime.h: Likewise.
2509 * s-oscons-tmplt.c: Likewise.
2510 * sa_messages.adb: Likewise.
2511 * sa_messages.ads: Likewise.
2512 * scans.adb: Likewise.
2513 * scans.ads: Likewise.
2514 * scil_ll.adb: Likewise.
2515 * scil_ll.ads: Likewise.
2516 * scn.adb: Likewise.
2517 * scn.ads: Likewise.
2518 * scng.adb: Likewise.
2519 * scng.ads: Likewise.
2520 * scos.adb: Likewise.
2521 * scos.ads: Likewise.
2523 * sdefault.ads: Likewise.
2524 * seh_init.c: Likewise.
2525 * sem.adb: Likewise.
2526 * sem.ads: Likewise.
2527 * sem_aggr.adb: Likewise.
2528 * sem_aggr.ads: Likewise.
2529 * sem_attr.adb: Likewise.
2530 * sem_attr.ads: Likewise.
2531 * sem_aux.adb: Likewise.
2532 * sem_aux.ads: Likewise.
2533 * sem_case.adb: Likewise.
2534 * sem_case.ads: Likewise.
2535 * sem_cat.adb: Likewise.
2536 * sem_cat.ads: Likewise.
2537 * sem_ch10.adb: Likewise.
2538 * sem_ch10.ads: Likewise.
2539 * sem_ch11.adb: Likewise.
2540 * sem_ch11.ads: Likewise.
2541 * sem_ch12.adb: Likewise.
2542 * sem_ch12.ads: Likewise.
2543 * sem_ch13.adb: Likewise.
2544 * sem_ch13.ads: Likewise.
2545 * sem_ch2.adb: Likewise.
2546 * sem_ch2.ads: Likewise.
2547 * sem_ch3.adb: Likewise.
2548 * sem_ch3.ads: Likewise.
2549 * sem_ch4.adb: Likewise.
2550 * sem_ch4.ads: Likewise.
2551 * sem_ch5.adb: Likewise.
2552 * sem_ch5.ads: Likewise.
2553 * sem_ch6.adb: Likewise.
2554 * sem_ch6.ads: Likewise.
2555 * sem_ch7.adb: Likewise.
2556 * sem_ch7.ads: Likewise.
2557 * sem_ch8.adb: Likewise.
2558 * sem_ch8.ads: Likewise.
2559 * sem_ch9.adb: Likewise.
2560 * sem_ch9.ads: Likewise.
2561 * sem_dim.adb: Likewise.
2562 * sem_dim.ads: Likewise.
2563 * sem_disp.adb: Likewise.
2564 * sem_disp.ads: Likewise.
2565 * sem_dist.adb: Likewise.
2566 * sem_dist.ads: Likewise.
2567 * sem_elab.adb: Likewise.
2568 * sem_elab.ads: Likewise.
2569 * sem_elim.adb: Likewise.
2570 * sem_elim.ads: Likewise.
2571 * sem_eval.adb: Likewise.
2572 * sem_eval.ads: Likewise.
2573 * sem_intr.adb: Likewise.
2574 * sem_intr.ads: Likewise.
2575 * sem_mech.adb: Likewise.
2576 * sem_mech.ads: Likewise.
2577 * sem_prag.adb: Likewise.
2578 * sem_prag.ads: Likewise.
2579 * sem_res.adb: Likewise.
2580 * sem_res.ads: Likewise.
2581 * sem_scil.adb: Likewise.
2582 * sem_scil.ads: Likewise.
2583 * sem_smem.adb: Likewise.
2584 * sem_smem.ads: Likewise.
2585 * sem_type.adb: Likewise.
2586 * sem_type.ads: Likewise.
2587 * sem_util.adb: Likewise.
2588 * sem_util.ads: Likewise.
2589 * sem_warn.adb: Likewise.
2590 * sem_warn.ads: Likewise.
2591 * set_targ.adb: Likewise.
2592 * set_targ.ads: Likewise.
2593 * sfn_scan.adb: Likewise.
2594 * sfn_scan.ads: Likewise.
2595 * sigtramp-armdroid.c: Likewise.
2596 * sigtramp-ios.c: Likewise.
2597 * sigtramp-qnx.c: Likewise.
2598 * sigtramp-vxworks-target.h: Likewise.
2599 * sigtramp-vxworks.c: Likewise.
2600 * sigtramp.h: Likewise.
2601 * sinfo-cn.adb: Likewise.
2602 * sinfo-cn.ads: Likewise.
2603 * sinfo-utils.adb: Likewise.
2604 * sinfo-utils.ads: Likewise.
2605 * sinfo.adb: Likewise.
2606 * sinfo.ads: Likewise.
2607 * sinput-c.adb: Likewise.
2608 * sinput-c.ads: Likewise.
2609 * sinput-d.adb: Likewise.
2610 * sinput-d.ads: Likewise.
2611 * sinput-l.adb: Likewise.
2612 * sinput-l.ads: Likewise.
2613 * sinput.adb: Likewise.
2614 * sinput.ads: Likewise.
2615 * socket.c: Likewise.
2616 * spark_xrefs.adb: Likewise.
2617 * spark_xrefs.ads: Likewise.
2618 * sprint.adb: Likewise.
2619 * sprint.ads: Likewise.
2620 * stand.ads: Likewise.
2621 * stringt.adb: Likewise.
2622 * stringt.ads: Likewise.
2623 * stringt.h: Likewise.
2624 * strub.adb: Likewise.
2625 * strub.ads: Likewise.
2626 * style.adb: Likewise.
2627 * style.ads: Likewise.
2628 * styleg.adb: Likewise.
2629 * styleg.ads: Likewise.
2630 * stylesw.adb: Likewise.
2631 * stylesw.ads: Likewise.
2632 * switch-b.adb: Likewise.
2633 * switch-b.ads: Likewise.
2634 * switch-c.adb: Likewise.
2635 * switch-c.ads: Likewise.
2636 * switch-m.adb: Likewise.
2637 * switch-m.ads: Likewise.
2638 * switch.adb: Likewise.
2639 * switch.ads: Likewise.
2640 * sysdep.c: Likewise.
2641 * table.adb: Likewise.
2642 * table.ads: Likewise.
2643 * targext.c: Likewise.
2644 * targparm.adb: Likewise.
2645 * targparm.ads: Likewise.
2646 * tbuild.adb: Likewise.
2647 * tbuild.ads: Likewise.
2648 * tempdir.adb: Likewise.
2649 * tempdir.ads: Likewise.
2650 * terminals.c: Likewise.
2651 * tracebak.c: Likewise.
2652 * treepr.adb: Likewise.
2653 * treepr.ads: Likewise.
2654 * ttypes.ads: Likewise.
2655 * types.adb: Likewise.
2656 * types.ads: Likewise.
2657 * types.h: Likewise.
2658 * uintp.adb: Likewise.
2659 * uintp.ads: Likewise.
2660 * uintp.h: Likewise.
2661 * uname.adb: Likewise.
2662 * uname.ads: Likewise.
2663 * urealp.adb: Likewise.
2664 * urealp.ads: Likewise.
2665 * urealp.h: Likewise.
2666 * usage.adb: Likewise.
2667 * usage.ads: Likewise.
2668 * validsw.adb: Likewise.
2669 * validsw.ads: Likewise.
2670 * vast.adb: Likewise.
2671 * vast.ads: Likewise.
2672 * warnsw.adb: Likewise.
2673 * warnsw.ads: Likewise.
2674 * widechar.adb: Likewise.
2675 * widechar.ads: Likewise.
2676 * xoscons.adb: Likewise.
2677 * xr_tabls.adb: Likewise.
2678 * xr_tabls.ads: Likewise.
2679 * xref_lib.adb: Likewise.
2680 * xref_lib.ads: Likewise.
2681 * xsnamest.adb: Likewise.
2682 * xutil.adb: Likewise.
2683 * xutil.ads: Likewise.
2685 2022-01-11 Richard Kenner <kenner@adacore.com>
2687 * debug.adb: Add documentation for new -gnatd_u and old -gnatd_R
2688 flags used for GNAT LLVM and its CCG.
2690 2022-01-11 Piotr Trojanek <trojanek@adacore.com>
2692 * Makefile.rtl (X86_TARGET_PAIRS): Use __builtin variant of
2693 System.Atomic_Counters.
2694 * libgnat/s-atocou__x86.adb: Remove.
2696 2022-01-10 Eric Botcazou <ebotcazou@adacore.com>
2698 * gcc-interface/trans.c (Identifier_to_gnu): Use correct subtype.
2699 (elaborate_profile): New function.
2700 (Call_to_gnu): Call it on the formals and the result type before
2701 retrieving the translated result type from the subprogram type.
2703 2022-01-10 Eric Botcazou <ebotcazou@adacore.com>
2705 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Fix
2706 computation of boolean result in the unchecked union case.
2707 (components_to_record): Rename MAYBE_UNUSED parameter to IN_VARIANT
2708 and remove local variable of the same name. Pass NULL recursively
2709 as P_GNU_REP_LIST for nested variants in the unchecked union case.
2711 2022-01-10 Eric Botcazou <ebotcazou@adacore.com>
2713 * gcc-interface/trans.c (lvalue_required_p) <N_Pragma>: New case.
2714 <N_Pragma_Argument_Association>: Likewise.
2715 (Pragma_to_gnu) <Pragma_Inspection_Point>: Fetch the corresponding
2716 variable of a constant before marking it as addressable.
2718 2022-01-10 Arnaud Charlet <charlet@adacore.com>
2720 * gcc-interface/Make-lang.in (ADA_GENERATED_FILES): Remove
2721 s-casuti.ad?, s-crtl.ad?, s-os_lib.ad?. Update list of object
2724 2022-01-10 Piotr Trojanek <trojanek@adacore.com>
2726 * libgnat/s-atopri.ads (Atomic_Compare_Exchange): Replaces
2727 deprecated Sync_Compare_And_Swap.
2728 * libgnat/s-atopri.adb (Lock_Free_Try_Write): Switch from __sync
2729 to __atomic builtins.
2731 2022-01-10 Piotr Trojanek <trojanek@adacore.com>
2733 * libgnat/s-exponn.adb, libgnat/s-expont.adb,
2734 libgnat/s-exponu.adb, libgnat/s-widthi.adb,
2735 libgnat/s-widthu.adb: Remove CodePeer annotations for pragma
2738 2022-01-10 Piotr Trojanek <trojanek@adacore.com>
2740 * exp_prag.adb (Expand_Pragma_Loop_Variant): Disable expansion
2743 2022-01-10 Piotr Trojanek <trojanek@adacore.com>
2745 * sem_util.adb (Is_Child_Or_Sibling): Fix typo in comment.
2747 2022-01-10 Eric Botcazou <ebotcazou@adacore.com>
2749 * exp_pakd.adb (Install_PAT): If the PAT is a scalar type, apply
2750 the canonical adjustment to its alignment.
2752 2022-01-10 Piotr Trojanek <trojanek@adacore.com>
2754 * libgnat/s-atocou__builtin.adb (Decrement, Increment): Switch
2755 from __sync to __atomic builtins; use 'Address to be consistent
2756 with System.Atomic_Primitives.
2758 2022-01-10 Eric Botcazou <ebotcazou@adacore.com>
2760 * exp_pakd.adb (Install_PAT): Do not reset the alignment here.
2761 * layout.adb (Layout_Type): Call Adjust_Esize_Alignment after having
2762 copied the RM_Size onto the Esize when the latter is too small.
2764 2022-01-10 Justin Squirek <squirek@adacore.com>
2766 * sem_warn.adb (Check_References): Handle arrays of tasks
2767 similar to task objects.
2769 2022-01-07 Patrick Bernardi <bernardi@adacore.com>
2771 * libgnat/a-direct.adb (Search_Data): Remove type.
2772 (Directory_Vectors): New package instantiation.
2773 (Search_State): New type.
2774 (Fetch_Next_Entry): Remove.
2776 (Finalize): Rewritten.
2778 (Get_Next_Entry): Return next entry from Search results vector
2779 rather than querying the directory directly using readdir.
2781 (Modification_Time): Rewritten.
2782 (More_Entries): Use Search state cursor to determine if more
2783 entries are available for users to read.
2784 (Simple_Name): Rewritten.
2786 (Start_Search_Internal): Rewritten to load the contents of the
2787 directory that matches the pattern and filter into the search
2789 * libgnat/a-direct.ads (Search_Type): New type.
2790 (Search_Ptr): Ditto.
2791 (Directory_Entry_Type): Rewritten to support new Start_Search
2793 * libgnat/s-filatt.ads (File_Length_Attr): New function.
2795 2022-01-07 Etienne Servais <servais@adacore.com>
2797 * sem_attr.adb (Check_Reference): Fix condition.
2799 2022-01-07 Ghjuvan Lacambre <lacambre@adacore.com>
2801 * libgnarl/s-taprop__mingw.adb (Timed_Sleep): Remove "pragma
2802 Unreferenced" for Result.
2803 (Timed_Delay): Likewise.
2805 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2807 * gen_il-gen.adb (Put_Make_Decls): Put pragma Inline in a
2808 dedicated line, so that the current indentation is taken into
2811 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2813 * exp_aggr.adb (Build_Array_Aggr_Code): Fix inconsistent style
2814 in comments and code.
2816 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2818 * exp_aggr.adb (Gen_Assign): Remove explicit initialization for
2819 components of access types.
2820 (Get_Assoc_Expr): Enable initialization for components of all
2821 types that require simple initialization.
2823 2022-01-07 Javier Miranda <miranda@adacore.com>
2825 * atree.ads (Traverse_Func_With_Parent): New generic subprogram.
2826 (Traverse_Proc_With_Parent): Likewise.
2827 * atree.adb (Parents_Stack): New table used to traverse trees
2828 passing the parent field of each node.
2829 (Internal_Traverse_With_Parent): New generic subprogram.
2830 (Traverse_Func_With_Parent): Likewise.
2831 (Traverse_Proc_With_Parent): Likewise.
2832 * contracts.adb (Fix_Parents): New subprogram.
2833 (Restore_Original_Selected_Component): Enhanced to fix the
2834 parent field of restored nodes.
2835 (Inherit_Condition): Adding assertions to check the parent field
2836 of inherited conditions and to ensure that the built inherited
2837 condition has no reference to the formals of the parent
2839 * sem_util.ads, sem_util.adb (Check_Parents): New subprogram.
2841 2022-01-07 Etienne Servais <servais@adacore.com>
2843 * sem_attr.adb (Check_Placement_In_Test_Case): Fix typo.
2845 2022-01-07 Justin Squirek <squirek@adacore.com>
2847 * comperr.adb (Delete_SCIL_Files): Replace unnecessary
2848 Unreferenced pragma with specific pragma Warnings.
2849 * doc/gnat_rm/implementation_defined_pragmas.rst (Unreferenced):
2850 Add documentation for new behavior.
2851 * gnat_rm.texi: Regenerate.
2852 * erroutc.adb (Set_At): Remove useless assignment.
2853 * exp_ch2.adb (In_Assignment_Context): Deleted.
2854 (Is_Object_Renaming_Name): Replace calls to Is_LHS with calls to
2855 Known_To_Be_Assigned.
2856 (Expand_Current_Value): Replace calls to May_Be_Lvalue with
2857 calls to Known_To_Be_Assigned.
2858 (Expand_Entry_Paramter): Replace calls to In_Assignment_Context
2859 with calls to Known_To_Be_Assigned.
2860 * exp_ch4.adb (Expand_N_Op_Rem): Remove unnecessary Unreferenced
2862 * exp_imgv.adb (Build_Enumeration_Image_Tables): Default
2864 * ghost.adb (Check_Ghost_Policy): Replace call to May_Be_Lvalue
2865 with call to Known_To_Be_Assigned.
2866 * lib-xref.adb (Is_On_LHS): Deleted.
2867 (OK_To_Set_Referenced): Rewrite subprogram to encompass the new
2868 pragma Unreferenced behavior.
2869 (Process_Deferred_References): Replace call to Is_LHS with call
2870 to Known_To_Be_Assigned.
2871 * libgnarl/s-taasde.adb, libgnarl/s-tasren.adb,
2872 libgnarl/s-tpobop.adb, libgnat/a-calend.adb,
2873 libgnat/a-calfor.adb, libgnat/a-cbdlli.adb,
2874 libgnat/a-cbhama.adb, libgnat/a-cbhase.adb,
2875 libgnat/a-cbmutr.adb, libgnat/a-cborma.adb,
2876 libgnat/a-cborse.adb, libgnat/a-cdlili.adb,
2877 libgnat/a-cfhama.adb, libgnat/a-cforse.adb,
2878 libgnat/a-cidlli.adb, libgnat/a-cihama.adb,
2879 libgnat/a-cihase.adb, libgnat/a-cimutr.adb,
2880 libgnat/a-ciorma.adb, libgnat/a-ciormu.adb,
2881 libgnat/a-ciorse.adb, libgnat/a-cohama.adb,
2882 libgnat/a-cohase.adb, libgnat/a-comutr.adb,
2883 libgnat/a-convec.adb, libgnat/a-coorma.adb,
2884 libgnat/a-coormu.adb, libgnat/a-coorse.adb,
2885 libgnat/a-crdlli.adb, libgnat/a-tigeau.adb,
2886 libgnat/a-wtgeau.adb, libgnat/a-ztgeau.adb,
2887 libgnat/g-calend.adb, libgnat/g-comlin.adb,
2888 libgnat/g-expect.adb, libgnat/g-mbflra.adb,
2889 libgnat/g-spipat.adb, libgnat/s-fatgen.adb,
2890 libgnat/s-fileio.adb, libgnat/s-os_lib.adb,
2891 libgnat/s-regpat.adb, libgnat/s-valued.adb,
2892 libgnat/s-valuer.adb: Remove unnecessary Unreferenced pragmas
2893 * sem_ch10.adb (Process_Spec_Clauses): Remove useless
2895 * sem_ch13.adb (Validate_Literal_Aspect): Default initialize I.
2896 * sem_ch3.adb (Build_Derived_Concurrent_Type): Default
2897 initialize Corr_Decl.
2898 * sem_ch8.adb (Undefined): Replace calls to Is_LHS with calls to
2899 Known_To_Be_Assigned.
2900 (In_Abstract_View_Pragma): Likewise.
2901 * sem_eval.adb (Eval_Selected_Component): Replace calls to
2902 Is_LHS with calls to Known_To_Be_Assigned.
2903 * sem_res.adb (Init_Component): Replace calls to May_Be_Lvalue
2904 with calls to Known_To_Be_Assigned.
2905 * sem_util.adb, sem_util.ads (End_Label_Loc): Default initialize
2907 (Explain_Limited_Type): Default initialize Expr_Func.
2908 (Find_Actual): Modified to handle entry families.
2910 (May_Be_Lvalue): Deleted.
2911 (Known_To_Be_Assigned): Modified and improved to handle all
2913 * sem_warn.adb (Traverse_Result): Replace calls to May_Be_Lvalue
2914 with calls to Known_To_Be_Assigned.
2915 (Check_Ref): Modify error on unreferenced out parameters to take
2916 into account different warning flags.
2918 2022-01-07 Javier Miranda <miranda@adacore.com>
2920 * sem_ch3.adb (Reorder_Interfaces): When the conflicting
2921 interface is identified we just replace the interface in the
2922 list of interfaces of the tagged type (instead of adding a
2923 duplicate to the list of interfaces).
2925 2022-01-07 Dmitriy Anisimkov <anisimko@adacore.com>
2927 * adaint.c (__gnat_kill): Terminate process only in case of
2928 SIGKILL, SIGINT, SIGBREAK, SIGTERM, SIGABRT. Do not call
2929 OpenProcess if not going to terminate process.
2931 2022-01-07 Eric Botcazou <ebotcazou@adacore.com>
2933 * exp_prag.adb (Expand_Pragma_Inspection_Point): Do a single pass
2934 over the arguments of the pragma. Set the Address_Taken flag on
2935 them and use the Has_Delayed_Freeze flag to spot those which have
2936 their elaboration delayed. Reuse the location variable Loc.
2938 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2940 * osint.adb (To_Lower): Clarify that only To_Lower function
2941 causes bootstrap issues; fix style.
2942 * treepr.adb (Print_Str_Mixed_Case): Reuse existing case
2944 (To_Mixed): Rename from Capitalize; reuse System.Case_Util
2945 procedure and explain the bootstrap issue.
2947 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2949 * exp_ch7.adb (Process_Transients_In_Scope): Remove unnecessary
2950 initialization of Must_Hook; change Detect_Subprogram_Call from
2951 function to procedure; adapt caller.
2953 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2955 * exp_ch5.adb, exp_disp.adb, exp_util.adb, par-ch4.adb,
2956 sem_ch13.adb: Remove extra space before THEN that occurs at the
2959 2022-01-07 Dmitriy Anisimkov <anisimko@adacore.com>
2961 * expect.c (__gnat_waitpid): Use macros WIFEXITED, WEXITSTATUS,
2962 WIFSIGNALED, WTERMSIG, WIFSTOPPED, WSTOPSIG to get exit status
2963 or signal that caused the child process to terminate/stop. Do
2964 not process exit status in case of error in waitpid call.
2965 * adaint.c (__gnat_kill): Use of GenerateConsoleCtrlEvent is
2966 removed in Windows variant as it actually is not working and was
2967 terminating the calling process. Set signal number into exit
2968 code parameter of TerminateProcess to work the same like in
2971 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2973 * exp_ch5.adb (Expand_N_Case_Statement): Remove explicit
2976 2022-01-07 Etienne Servais <servais@adacore.com>
2978 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
2979 Update -gnatwr documentation.
2980 * gnat_ugn.texi: Regenerate.
2982 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2984 * exp_unst.adb (Unnest_Subprogram): Sync comment with the
2987 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
2989 * exp_ch4.adb (Raise_Accessibility_Error): Move exception name
2990 to the message string; move << control characters to the end,
2992 * sem_ch6.adb (Analyze_Function_Return): Likewise.
2993 * sem_util.adb (Compile_Time_Constraint_Error): Likewise.
2994 * gcc-interface/decl.c (gnat_to_gnu_entity): Remove quotes
2995 around Storage_Error.
2996 * gcc-interface/trans.c (gnat_to_gnu): Remove quotes around
2999 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
3001 * errout.adb (Error_Msg): Move warning suppression code from
3003 (Error_Msg_NLE): Warning suppression is now done by the internal
3006 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
3008 * exp_ch3.adb (Expand_N_Object_Declaration): Remove unnecessary
3010 * exp_ch4.adb (Expand_N_If_Expression): Likewise; clarify comment.
3011 * exp_ch5.adb (Expand_N_If_Statement,
3012 Expand_Iterator_Loop_Over_Container): Likewise.
3013 * exp_ch9.adb (Expand_N_Task_Type_Declaration): Remove redundant
3015 * freeze.adb (Freeze_All_Ent): Reduce scope of a local variable.
3017 2022-01-07 Piotr Trojanek <trojanek@adacore.com>
3019 * exp_ch3.adb (Build_Init_Procedure): Remove unnecessary guard.
3020 * exp_disp.adb (Make_DT): Likewise.
3021 * sem_ch12.adb (Analyze_Associations): Likewise.
3023 2022-01-07 Etienne Servais <servais@adacore.com>
3025 * sem_res.adb (Resolve_Op_Concat_Arg): Check range when
3026 concatenating scalars.
3028 2022-01-07 Bob Duff <duff@adacore.com>
3030 * treepr.adb (Print_Node_Ref): Change "not Is_Array_Type" to
3033 2022-01-07 Richard Kenner <kenner@adacore.com>
3035 * libgnat/g-spipat.ads (Boolean_Func, Natural_Func,
3036 VString_Func): Mark as Favor_Top_Level.
3037 * sem_ch13.adb (Validate_Unchecked_Conversion): Avoid using
3038 internal representation if Unchecked_Conversion between
3039 an access to subprogram and System.Address within the same unit.
3041 2022-01-07 Bob Duff <duff@adacore.com>
3043 * treepr.adb (Print_Node_Ref): Print the value if available.
3045 2022-01-07 Richard Kenner <kenner@adacore.com>
3047 * sem_util.ads, sem_util.adb (Get_Fullest_View): Add option to
3048 not recurse and return the next-most-fullest view.
3050 2022-01-07 Bob Duff <duff@adacore.com>
3052 * sem_ch10.adb (Check_Redundant_Withs): Add a warning if a
3053 library unit with's its own ancestor. Note that this warning is
3054 not triggered for something like "with P.R;" in P.Q, because
3055 there the "with P;" is considered implicit.
3056 * fname-sf.adb, libgnarl/s-stusta.adb, libgnarl/s-tasdeb.ads,
3057 libgnat/a-calfor.adb, libgnat/a-tiboio.adb,
3058 libgnat/a-wwboio.adb, libgnat/a-zzboio.adb, libgnat/i-cobol.adb,
3059 libgnat/s-bitops.adb, libgnat/s-bitops.ads,
3060 libgnat/s-direio.adb, libgnat/s-dwalin.adb,
3061 libgnat/s-geveop.adb, libgnat/s-mmosin__unix.adb,
3062 libgnat/s-os_lib.adb, libgnat/s-os_lib.ads,
3063 libgnat/s-pooglo.ads, libgnat/s-secsta.adb,
3064 libgnat/s-shasto.adb, libgnat/s-stausa.ads,
3065 libgnat/s-stratt.ads, libgnat/s-ststop.adb: Remove with of
3067 * sinfo.ads: Minor comment fix.
3069 2022-01-07 Bob Duff <duff@adacore.com>
3071 * osint-m.adb: Remove with_clause and pragma.
3073 2022-01-06 Bob Duff <duff@adacore.com>
3075 * sem_res.adb (Resolve_Range): Warn on null range, unless we are
3076 inside a generic unit or an instance thereof.
3077 * sem_ch3.adb (Analyze_Subtype_Indication): Minor: avoid double
3080 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3082 * errout.adb (Adjust_Name_Case): Remove unnecessary declare
3085 2022-01-06 Yannick Moy <moy@adacore.com>
3087 * libgnat/a-ngcoar.adb: Add pragma to ignore assertions in
3089 * libgnat/a-ngrear.adb: Likewise.
3090 * libgnat/s-gearop.adb: Prove implementation is free of runtime
3092 * libgnat/s-gearop.ads: Add contracts to protect against runtime
3093 errors in the generic part.
3095 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3097 * errout.adb (Remove_Warning_Messages): Use traversal procedure
3098 instead of traversal function, since we discard status of each
3101 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3103 * exp_ch4.adb (Expand_Concatenate): There is no reason for using
3104 declaring, raising and catching an exception; a simple return
3105 statement is enough.
3107 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3109 * sem_eval.adb (Eval_Arithmetic_Op): Add Loc parameter to all
3110 calls to Apply_Compile_Time_Constraint_Error related to division
3113 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3115 * errout.adb (Remove_Warning_Messages): Remove unnecessary guard.
3116 * exp_util.adb (Kill_Dead_Code): Likewise.
3117 * par_sco.adb (Traverse_Declarations_Or_Statements): Likewise.
3118 * sem_ch3.adb (Build_Derived_Record_Type): Likewise.
3119 * sem_ch4.adb (Traverse_Interfaces): Likewise.
3120 * sem_eval.adb (Traverse_Interfaces): Likewise.
3121 * sem_util.adb (Collect_Interfaces): Likewise.
3122 (Has_Non_Null_Statements, Side_Effect_Free_Statements):
3123 Likewise; turn into WHILE loops, for consistency.
3125 2022-01-06 Etienne Servais <servais@adacore.com>
3127 * sem_type.adb (Full_View_Covers): Fix typo.
3129 2022-01-06 Eric Botcazou <ebotcazou@adacore.com>
3131 * sem_ch12.adb (Insert_Freeze_Node_For_Instance): When going to
3132 the outer level, do not jump over following instantiations in
3135 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3137 * err_vars.ads (Warn_On_Instance): Remove; it was a relic from
3138 the previous handling of warning in instances that was removed
3141 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3143 * errout.adb (Error_Msg_Internal): Reorder words.
3144 * erroutc.ads (Is_Warning_Msg): Add closing paren.
3145 * sem_util.adb (Compile_Time_Constraint_Error): Fix casing.
3147 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3149 * sem_res.adb (Resolve_String_Literal): Simplify pointer
3152 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3154 * sem_res.adb (Resolve_String_Literal): Avoid unnecessary
3155 conversions inside "<" and ">" bodies.
3157 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3159 * checks.adb (Null_Exclusion_Static_Checks,
3160 Selected_Range_Checks): Fix style.
3162 2022-01-06 Eric Botcazou <ebotcazou@adacore.com>
3164 * sem_ch8.adb (Analyze_Package_Renaming): Do not check for Text_IO
3165 special units when the name of the renaming is a generic instance,
3166 which is the case for package instantiations in the GNAT model.
3168 2022-01-06 Steve Baird <baird@adacore.com>
3170 * sem_util.adb (Build_Discriminant_Reference): In the unexpected
3171 case where we previously would fail an assertion, we instead
3172 revert to the old behavior.
3174 2022-01-06 Steve Baird <baird@adacore.com>
3176 * sem_util.adb (Build_Actual_Subtype_Of_Component): Define a new
3177 local function, Build_Discriminant_Reference, and call it in
3178 each of the three cases where Make_Selected_Component was
3179 previously being called to construct a discriminant reference (2
3180 in Build_Actual_Array_Constraint and 1 in
3181 Build_Actual_Record_Constraint). Instead of unconditionally
3182 using the passed-in object name as the prefix for the new
3183 selected component node, this new function checks to see if
3184 perhaps a prefix of that name should be used instead.
3186 2022-01-06 Etienne Servais <servais@adacore.com>
3188 * atree.adb: Fix typo.
3189 * einfo.ads: Likewise.
3190 * exp_aggr.adb: Likewise.
3191 * exp_ch6.adb: Likewise.
3192 * exp_ch7.adb: Likewise.
3193 * exp_ch9.adb: Likewise.
3194 * exp_prag.adb: Likewise.
3195 * exp_unst.adb: Likewise.
3196 * exp_unst.ads: Likewise.
3197 * exp_util.adb: Likewise.
3198 * par-endh.adb: Likewise.
3199 * par.adb: Likewise.
3200 * restrict.adb: Likewise.
3201 * sem.ads: Likewise.
3202 * sem_ch4.adb: Likewise.
3203 * sem_ch5.adb: Likewise.
3204 * sem_ch6.adb: Likewise.
3205 * sem_ch8.adb: Likewise.
3206 * sem_ch12.adb: Likewise.
3207 * sem_ch13.adb: Likewise.
3208 * sem_dim.adb: Likewise.
3209 * sem_elab.adb: Likewise.
3210 * sem_prag.adb: Likewise.
3211 * sem_res.adb: Likewise.
3212 * sem_util.adb: Likewise.
3213 * sem_util.ads: Likewise.
3214 * sinfo.ads: Likewise.
3215 * sprint.adb: Likewise.
3216 * urealp.adb: Likewise.
3218 2022-01-06 Justin Squirek <squirek@adacore.com>
3220 * exp_ch3.adb (Build_Assignment): Replace current instance of
3221 type with Init_Proc formal.
3222 * sem_attr.adb (OK_Self_Reference): Handle recognition of
3223 Current_Instance to detect certain expansion.
3224 * sem_ch4.adb (Analyze_One_Call): Set actual's type when the
3225 actual in question is a current instance and its corresponding
3226 formal is an incomplete type.
3227 * sem_util.adb (Is_Current_Instance): Add check for incomplete
3228 views and add comment.
3230 2022-01-06 Bob Duff <duff@adacore.com>
3232 * libgnat/s-rident.ads (No_Tagged_Type_Registration): New
3233 restriction identifier.
3234 * restrict.ads (Implementation_Restriction): Add restriction.
3235 * exp_ch7.adb (Process_Declarations): Suppress
3236 tagged-type-related finalization actions if the restriction is
3237 active. Call RTE_Available last.
3238 * exp_disp.adb (Make_DT): Likewise.
3239 * exp_util.adb (Requires_Cleanup_Actions): Return False for a
3240 tagged type declaration if No_Tagged_Type_Registration is
3242 * sem_attr.adb (Check_Stream_Attribute): Check restriction
3243 No_Tagged_Type_Registration.
3244 * libgnat/a-except.ads (Null_Occurrence): Minor: Initialize, to
3245 avoid stopping at a warning in gdb.
3246 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
3247 Document new restriction.
3248 * gnat_rm.texi: Regenerate.
3250 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3252 * par-ch4.adb (P_Simple_Expression): Reuse Null_String_Id.
3253 * prep.adb (Parse_Def_File): Likewise; remove Empty_String.
3255 2022-01-06 Eric Botcazou <ebotcazou@adacore.com>
3257 * stand.ads (Any_Access): Delete.
3258 (Universal_Access): New entity.
3259 * einfo.ads: Remove obsolete reference to Any_Access.
3260 * gen_il-gen-gen_entities.adb: Likewise.
3261 * cstand.adb (Create_Standard): Do not create Any_Access and create
3262 Universal_Access as a full type instead.
3263 * errout.adb (Set_Msg_Insertion_Type_Reference): Do not deal with
3264 Any_Access and deal with Universal_Access instead.
3265 * sem_ch3.adb (Analyze_Object_Declaration): Replace Any_Access with
3267 * sem_ch4.adb (Analyze_Null): Likewise.
3268 (Find_Non_Universal_Interpretations): Likewise.
3269 (Find_Equality_Types.Try_One_Interp): Likewise and avoid shadowing
3270 by renaming a local variable of the same name.
3271 * sem_res.adb (Make_Call_Into_Operato): Likewise.
3272 (Resolve_Equality_Op): Likewise.
3273 * sem_type.adb (Covers): Likewise.
3274 (Specific_Type): Likewise.
3276 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3278 * treepr.adb (Destroy): Prevent spurious check from CodePeer.
3280 2022-01-06 Yannick Moy <moy@adacore.com>
3282 * libgnat/s-exponu.adb (Exponu): Add annotation.
3284 2022-01-06 Justin Squirek <squirek@adacore.com>
3286 * exp_ch6.adb (Add_Simple_Call_By_Copy_Code): Add comments
3287 regarding special handling of components which depend on
3289 * exp_dist.adb (Build_From_Any_Function): Add Real_Rep actual
3290 for calls to Has_Stream_Attribute_Definition.
3291 (Build_To_Any_Function): Likewise.
3292 (Build_TypeCode_Function): Likewise.
3293 * freeze.adb (Freeze_Entity): Add missing comment for Test_E.
3294 * libgnat/s-utf_32.adb: Remove disabled warning comments and
3295 temporarily inserted pragma warnings. Remove very old (2006 and
3296 2012) comments about bootstrapping older versions.
3297 * par.adb (P_Identifier): Add new parameter Force_Msg.
3298 * par-ch2.adb (P_Identifier): Restructure and clean up function.
3299 * par-ch3.adb (P_Defining_Identifier): Remove code duplication
3300 for parsing identifiers.
3301 * sem_attr.adb (Stream_Attribute_Available): Add missing
3302 comments and add Real_Rep actual for calls to
3303 Has_Stream_Attribute_Definition.
3304 * sem_cat.adb (Has_Read_Write_Attribute): Add Real_Rep actual
3305 for calls to Has_Stream_Attribute_Definition.
3306 (Has_Stream_Attribute_Definition): Remove local Real_Rep and fix
3307 recursive calls. Add default value for Real_Rep.
3308 * sem_cat.ads (Has_Stream_Attribute_Definition): Add new out
3309 parameter "Real_Rep".
3310 * sem_type.adb (Add_Entry): Add condition to avoid passing
3311 non-function calls to Function_Interp_Has_Abstract_Op.
3312 (Function_Interp_Has_Abstract_Op): Add missing comments and
3313 remove check for Is_Overloadable.
3314 * sem_util.adb (Derivation_Too_Early_To_Inherit): Remove
3317 2022-01-06 Javier Miranda <miranda@adacore.com>
3319 * contracts.adb (Restore_Original_Selected_Component): New
3320 subprogram that traverses a preanalyzed expression searching for
3321 dispatching calls to functions whose original node was a
3322 selected component, and replacing them with their original node.
3323 This functionality is required because the preanalyis of
3324 dispatching calls using the Object.Operation notation transforms
3325 such calls, and we need the original condition to properly
3326 inherit and extend the condition expression on tagged type
3327 derivations. This functionality was previously provided by the
3328 routine Install_Original_Selected_Component (as part of
3329 inheriting conditions); now it is performed as part of the
3330 preanalysis of the condition, thus avoiding repeatedly
3331 installing and restoring such nodes.
3332 (Install_Original_Selected_Component): Removed.
3333 (Restore_Dispatching_Calls): Removed.
3335 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3337 * treepr.adb (Visit_Node): Simplify repeated call to
3340 2022-01-06 Piotr Trojanek <trojanek@adacore.com>
3342 * treepr.ads (Treepr, Print_Tree_List, Print_Tree_Elist): Fix
3344 * treepr.adb (Serial_Numbers): Hash table instance.
3345 (Hash): Hashing routine.
3346 (Print_Field): Fix style.
3347 (Print_Init): Adapt to simple hash table.
3348 (Print_Term): Likewise.
3349 (Serial_Numbers): Likewise.
3350 (Set_Serial_Number): Likewise.
3352 2022-01-06 Yannick Moy <moy@adacore.com>
3354 * libgnat/s-expmod.adb: Mark in SPARK. Add ghost code for proof.
3355 * libgnat/s-expmod.ads: Mark in SPARK. Add ghost specifications.
3357 2022-01-06 Yannick Moy <moy@adacore.com>
3359 * libgnat/s-explllu.ads: Mark in SPARK.
3360 * libgnat/s-expllu.ads: Mark in SPARK.
3361 * libgnat/s-exponu.adb: Add loop invariants and needed
3363 * libgnat/s-exponu.ads: Add functional contract.
3364 * libgnat/s-expuns.ads: Mark in SPARK.
3366 2022-01-05 Steve Baird <baird@adacore.com>
3368 * exp_ch5.adb (Finish_Binding_Object_Declaration): Fix a bug
3369 that was introduced in the previous commit. The previous
3370 version initialized a Boolean constant Declare_Copy before the
3371 variable Decl had been initialized properly.
3373 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3375 * sem_prag.adb (Adjust_External_Name_Case): Use membership test.
3377 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3379 * exp_ch3.adb (Make_Controlling_Function_Wrappers): For
3380 GNATprove build the wrapper as an expression function.
3382 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3384 * exp_ch3.ads (Make_Controlling_Function_Wrappers): Move
3385 declaration from body to spec, so it can be called by
3386 SPARK-specific expansion.
3387 * exp_ch3.adb (Make_Controlling_Function_Wrappers): Likewise.
3388 * exp_spark.adb (SPARK_Freeze_Type): Enable expansion of
3389 wrappers for function with controlling result types.
3391 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3393 * exp_dbug.adb, sem_dim.adb: Replace Add_Str_To_Name_Buffer with
3394 Add_Char_To_Name_Buffer.
3396 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3398 * gnatls.adb (Gnatls): Use Name_Find function.
3399 * targparm.adb (Get_Target_Parameters): Likewise.
3401 2022-01-05 Bob Duff <duff@adacore.com>
3403 * repinfo.adb (List_Entities): The code was assuming that if we
3404 encounter a package in the current scope, then it must be
3405 a (physically) nested package. That was wrong, because it could
3406 be a child package. Avoid recursing into child packages; they
3407 have not been annotated with representation information, and
3408 -gnatR2 queries that information.
3410 2022-01-05 Marc Poulhiès <poulhies@adacore.com>
3412 * libgnat/s-sopco3.ads, libgnat/s-sopco3.adb: Remove.
3413 * libgnat/s-sopco4.ads, libgnat/s-sopco4.adb: Remove.
3414 * libgnat/s-sopco5.ads, libgnat/s-sopco5.adb: Remove.
3415 * libgnat/s-strops.ads, libgnat/s-strops.adb: Remove.
3416 * Makefile.rtl (ADA_EXCLUDE_SRCS): Remove occurences of removed
3418 * gcc-interface/Make-lang.in (ada/sdefault.o): Remove
3419 dependencies on removed units.
3420 (GNATBIND_OBJS): Remove occurences of removed units.
3422 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3424 * exp_ch3.adb (Build_Dcheck_Function): Remove extra whitespace.
3425 * libgnarl/s-taskin.adb (Initialize_ATCB): Likewise.
3427 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3429 * exp_attr.adb (Build_Array_VS_Func): Remove explicit "IN" in
3430 spec of the generated array validation function; it was
3431 redundant, just like it would be in a user-written code.
3433 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3435 * exp_ch4.adb (Expand_N_Op_Ne): Fix whitespace.
3436 * sem_dim.adb (Expand_Put_Call_With_Symbol): Likewise.
3439 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3441 * exp_aggr.adb (Two_Pass_Aggregate_Expansion): Fix whitespace.
3442 * libgnat/a-cofuve.ads (Add): Likewise.
3443 * sem_ch3.adb (Build_Access_Subprogram_Wrapper): Likewise.
3445 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3447 * exp_ch3.adb (Make_Eq_Body, Make_Neq_Body,
3448 Make_Predefined_Primitive_Eq_Spec,
3449 Make_Predefined_Primitive_Specs): Fix whitespace.
3451 2022-01-05 Etienne Servais <servais@adacore.com>
3453 * sem_ch3.adb (Analyze_Component_Declaration): Rework condition
3455 (Analyze_Object_Declaration): Likewise.
3456 (Should_Build_Subtype): New.
3458 2022-01-05 Yannick Moy <moy@adacore.com>
3460 * libgnat/s-arit128.adb: Mark in SPARK.
3461 * libgnat/s-arit128.ads: Add functional contracts.
3463 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3465 * sem_util.adb (String_From_Numeric_Literal): Simplify using
3466 membership tests and ranges; fix whitespace.
3468 2022-01-05 Yannick Moy <moy@adacore.com>
3470 * libgnat/s-expint.ads: Mark in SPARK. Adapt to change to
3472 * libgnat/s-explli.ads: Likewise.
3473 * libgnat/s-expllli.ads: Likewise.
3474 * libgnat/s-expont.adb: Add lemmas and ghost code.
3475 * libgnat/s-expont.ads: Add functional contract.
3477 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3479 * exp_disp.adb (Gen_Parameters_Profile): Remove redundant guard.
3481 2022-01-05 Claire Dross <dross@adacore.com>
3483 * libgnat/s-valuti.ads (Starts_As_Exponent_Format_Ghost): Ghost
3484 function to determine if a string is recognized as something
3485 which might be an exponent.
3486 (Is_Opt_Exponent_Format_Ghost): Ghost function to determine if a
3487 string has the correct format for an optional exponent.
3488 (Scan_Exponent): Use ghost functions to factorize contracts.
3490 2022-01-05 Bob Duff <duff@adacore.com>
3492 * exp_util.ads (Get_Current_Value_Condition): Belt: Add a
3493 postcondition that Val /= Var.
3494 * sem_util.adb (Known_Null): Suspenders: Raise Program_Error if
3495 Get_Current_Value_Condition returned the same value. This will
3496 be enabled even without assertions, because infinite recursion
3497 is a nuisance -- better to crash if this bug ever occurs.
3499 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3501 * exp_ch3.adb (Make_Null_Procedure_Specs): Simplify by reusing
3502 Copy_Subprogram_Spec.
3503 * sem_util.ads (Copy_Subprogram_Spec): Add New_Sloc parameter.
3504 * sem_util.adb (Copy_Subprogram_Spec): Pass New_Sloc to
3507 2022-01-05 Yannick Moy <moy@adacore.com>
3509 * libgnat/s-exnint.ads: Mark in SPARK. Adapt to change to
3511 * libgnat/s-exnlli.ads: Likewise.
3512 * libgnat/s-exnllli.ads: Likewise.
3513 * libgnat/s-exponn.adb: Add lemmas and ghost code. Secial case
3514 value zero as Left or Right to simplify proof.
3515 * libgnat/s-exponn.ads: Transform the generic function into a
3516 generic package with a function inside. Add a functional
3519 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3521 * sem_ch12.adb (Instantiate_Formal_Subprogram): Remove redundant
3522 call to Set_Defining_Unit_Name; a similar call is done few lines
3525 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3527 * exp_ch3.adb (Make_Controlling_Function_Wrappers): Create
3528 distinct copies of parameter lists for spec and body with
3529 Copy_Parameter_List; cleanup.
3530 (Make_Null_Procedure_Specs): Fix style in comments; remove a
3531 potentially unnecessary initialization of a local variable.
3533 2022-01-05 Bob Duff <duff@adacore.com>
3535 * einfo-utils.ads, einfo-utils.adb (Renamed_Entity Alias):
3536 Change Node_Id to Entity_Id.
3538 2022-01-05 Piotr Trojanek <trojanek@adacore.com>
3540 * sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wrapper):
3541 Remove unreferenced spec.
3542 * sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wrapper):
3545 2022-01-05 Yannick Moy <moy@adacore.com>
3547 * libgnat/s-aridou.adb: Apply replacement.
3549 2022-01-05 Yannick Moy <moy@adacore.com>
3551 * libgnat/s-aridou.adb (Lemma_Word_Commutation): Fix for
3552 instances with other values of Single_Size.
3554 2022-01-05 Marc Poulhiès <poulhies@adacore.com>
3556 * doc/gnat_rm/implementation_defined_pragmas.rst (Compiler_Unit)
3557 (Compiler_Unit_Warning): Remove.
3558 * gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Regenerate.
3559 * libgnat/g-dynhta.ads: Add comment indicating this unit is
3560 built during stage1.
3561 * libgnat/g-dyntab.ads: Likewise.
3562 * libgnat/g-graphs.ads: Likewise.
3563 * libgnat/g-lists.ads: Likewise.
3564 * libgnat/g-sets.ads: Likewise.
3565 * libgnat/gnat.ads: Likewise.
3566 * libgnat/s-pehage.ads: Likewise.
3567 * libgnat/s-resfil.ads: Likewise.
3568 * libgnat/s-rident.ads: Likewise.
3569 * libgnat/s-utf_32.ads: Likewise.
3570 * errout.ads: Update comment.
3571 * opt.ads (Opt): Remove Compiler_Unit.
3572 * par-ch5.adb (All_Pragmas): Remove call to Check_Compiler_Unit.
3573 * sem_prag.adb (Analyze_Pragma): Likewise.
3574 * sem_ch4.adb (Non_Static_Choice_Error, Analyze_If_Expression)
3575 (Analyze_Set_Membership, Record_Interp): Likewise.
3576 * sem_ch11.adb (Analyze_Raise_Expression): Likewise.
3577 * sem_ch6.adb: Remove Restric package reference.
3578 (Analyze_Extended_Return_Statement): Remove call to
3579 Check_Compiler_Unit.
3580 * par-prag.adb (Process_Restrictions_Or_Restriction_Warnings):
3581 Remove handling of Pragma_Compiler_Unit[_Warning}.
3582 * restrict.adb (Check_Compiler_Unit): Remove both.
3583 * restrict.ads: Likewise.
3584 * snames.ads-tmpl (Pragma_Id): Remove
3585 Pragma_Compiler_Unit[_Warning].
3586 * libgnat/a-assert.ads: Remove pragma Compiler_Unit_Warning.
3587 * libgnat/a-chlat1.ads: Likewise.
3588 * libgnat/a-elchha.adb: Likewise.
3589 * libgnat/a-elchha.ads: Likewise.
3590 * libgnat/a-ioexce.ads: Likewise.
3591 * libgnat/a-strhas.ads: Likewise.
3592 * libgnat/g-byorma.adb: Likewise.
3593 * libgnat/g-byorma.ads: Likewise.
3594 * libgnat/g-dyntab.adb: Likewise.
3595 * libgnat/g-heasor.ads: Likewise.
3596 * libgnat/g-hesora.adb: Likewise.
3597 * libgnat/g-hesora.ads: Likewise.
3598 * libgnat/g-htable.adb: Likewise.
3599 * libgnat/g-htable.ads: Likewise.
3600 * libgnat/g-spchge.adb: Likewise.
3601 * libgnat/g-spchge.ads: Likewise.
3602 * libgnat/g-speche.adb: Likewise.
3603 * libgnat/g-speche.ads: Likewise.
3604 * libgnat/g-table.ads: Likewise.
3605 * libgnat/g-u3spch.adb: Likewise.
3606 * libgnat/g-u3spch.ads: Likewise.
3607 * libgnat/interfac.ads: Likewise.
3608 * libgnat/s-addope.adb: Likewise.
3609 * libgnat/s-addope.ads: Likewise.
3610 * libgnat/s-assert.adb: Likewise.
3611 * libgnat/s-assert.ads: Likewise.
3612 * libgnat/s-bitops.adb: Likewise.
3613 * libgnat/s-bitops.ads: Likewise.
3614 * libgnat/s-carun8.adb: Likewise.
3615 * libgnat/s-carun8.ads: Likewise.
3616 * libgnat/s-casuti.adb: Likewise.
3617 * libgnat/s-casuti.ads: Likewise.
3618 * libgnat/s-conca2.adb: Likewise.
3619 * libgnat/s-conca2.ads: Likewise.
3620 * libgnat/s-conca3.adb: Likewise.
3621 * libgnat/s-conca3.ads: Likewise.
3622 * libgnat/s-conca4.adb: Likewise.
3623 * libgnat/s-conca4.ads: Likewise.
3624 * libgnat/s-conca5.adb: Likewise.
3625 * libgnat/s-conca5.ads: Likewise.
3626 * libgnat/s-conca6.adb: Likewise.
3627 * libgnat/s-conca6.ads: Likewise.
3628 * libgnat/s-conca7.adb: Likewise.
3629 * libgnat/s-conca7.ads: Likewise.
3630 * libgnat/s-conca8.adb: Likewise.
3631 * libgnat/s-conca8.ads: Likewise.
3632 * libgnat/s-conca9.adb: Likewise.
3633 * libgnat/s-conca9.ads: Likewise.
3634 * libgnat/s-crc32.adb: Likewise.
3635 * libgnat/s-crc32.ads: Likewise.
3636 * libgnat/s-crtl.ads: Likewise.
3637 * libgnat/s-excdeb.adb: Likewise.
3638 * libgnat/s-excdeb.ads: Likewise.
3639 * libgnat/s-except.ads: Likewise.
3640 * libgnat/s-exctab.adb: Likewise.
3641 * libgnat/s-exctab.ads: Likewise.
3642 * libgnat/s-finmas.ads: Likewise.
3643 * libgnat/s-htable.adb: Likewise.
3644 * libgnat/s-htable.ads: Likewise.
3645 * libgnat/s-mastop.adb: Likewise.
3646 * libgnat/s-mastop.ads: Likewise.
3647 * libgnat/s-memory.adb: Likewise.
3648 * libgnat/s-memory.ads: Likewise.
3649 * libgnat/s-os_lib.ads: Likewise.
3650 * libgnat/s-parame.adb: Likewise.
3651 * libgnat/s-parame.ads: Likewise.
3652 * libgnat/s-parame__posix2008.ads: Likewise.
3653 * libgnat/s-purexc.ads: Likewise.
3654 * libgnat/s-resfil.adb: Likewise.
3655 * libgnat/s-restri.adb: Likewise.
3656 * libgnat/s-restri.ads: Likewise.
3657 * libgnat/s-secsta.adb: Likewise.
3658 * libgnat/s-secsta.ads: Likewise.
3659 * libgnat/s-soflin.adb: Likewise.
3660 * libgnat/s-soflin.ads: Likewise.
3661 * libgnat/s-sopco3.adb: Likewise.
3662 * libgnat/s-sopco3.ads: Likewise.
3663 * libgnat/s-sopco4.adb: Likewise.
3664 * libgnat/s-sopco4.ads: Likewise.
3665 * libgnat/s-sopco5.adb: Likewise.
3666 * libgnat/s-sopco5.ads: Likewise.
3667 * libgnat/s-spsufi.ads: Likewise.
3668 * libgnat/s-stache.adb: Likewise.
3669 * libgnat/s-stache.ads: Likewise.
3670 * libgnat/s-stalib.adb: Likewise.
3671 * libgnat/s-stalib.ads: Likewise.
3672 * libgnat/s-stoele.adb: Likewise.
3673 * libgnat/s-stoele.ads: Likewise.
3674 * libgnat/s-strcom.adb: Likewise.
3675 * libgnat/s-strcom.ads: Likewise.
3676 * libgnat/s-strhas.adb: Likewise.
3677 * libgnat/s-string.adb: Likewise.
3678 * libgnat/s-string.ads: Likewise.
3679 * libgnat/s-strops.adb: Likewise.
3680 * libgnat/s-strops.ads: Likewise.
3681 * libgnat/s-ststop.adb: Likewise.
3682 * libgnat/s-ststop.ads: Likewise.
3683 * libgnat/s-traceb.adb: Likewise.
3684 * libgnat/s-traceb.ads: Likewise.
3685 * libgnat/s-traent.adb: Likewise.
3686 * libgnat/s-traent.ads: Likewise.
3687 * libgnat/s-utf_32.adb: Likewise.
3688 * libgnat/s-unstyp.ads: Likewise.
3689 * libgnat/s-wchcnv.adb: Likewise.
3690 * libgnat/s-wchcnv.ads: Likewise.
3691 * libgnat/s-wchcon.adb: Likewise.
3692 * libgnat/s-wchcon.ads: Likewise.
3693 * libgnat/s-wchjis.adb: Likewise.
3694 * libgnat/s-wchjis.ads: Likewise.
3696 2022-01-05 Arnaud Charlet <charlet@adacore.com>
3698 * osint.adb (File_Names_Equal): Declare To_Lower locally.
3699 * osint.ads (Null_FD): New.
3700 * fmap.adb, sinput-l.adb, targparm.adb: Adapt to changes above.
3701 * switch-b.adb (Scan_Debug_Switches): Use Is_Regular_File to
3702 simplify the bootstrap dependencies.
3704 2022-01-03 Jakub Jelinek <jakub@redhat.com>
3706 * gnat_ugn.texi: Bump @copying's copyright year.
3707 * gnat_rm.texi: Likewise.
3710 Copyright (C) 2022 Free Software Foundation, Inc.
3712 Copying and distribution of this file, with or without modification,
3713 are permitted in any medium without royalty provided the copyright
3714 notice and this notice are preserved.