1 2020-06-05 Arnaud Charlet <charlet@adacore.com>
3 * sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Use ??.
5 2020-06-05 Arnaud Charlet <charlet@adacore.com>
7 * cstand.adb (Create_Standard): Update comments.
9 2020-06-05 Arnaud Charlet <charlet@adacore.com>
11 * scng.adb (Scan): Fix typo to take into account all future
13 * sem_attr.ads (Attribute_Impl_Def): Add Attribute_Reduce for
15 * sem_attr.adb (Analyze_Attribute): Only allow 'Reduce under
17 * snames.ads-tmpl (Name_Reduce): Update comment.
19 2020-06-05 Thomas Quinot <quinot@adacore.com>
21 * exp_disp.adb (Expand_Interface_Thunk): Add comment about
22 gnatcov reliance on specific name used for thunks.
24 2020-06-05 Ed Schonberg <schonberg@adacore.com>
26 * sem_ch3.adb (Analyze_Subtype_Declaration): For scalar types,
27 and for subtype declarations without a constraint, subtype
28 inherits Atomic flag from base type.
30 2020-06-05 Piotr Trojanek <trojanek@adacore.com>
32 * doc/gnat_rm/implementation_defined_attributes.rst (Enum_Rep):
34 * gnat_rm.texi: Regenerate.
36 2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
38 * atree.adb (New_Copy): Clear Has_Dynamic_Range_Check on
40 * checks.adb (Append_Range_Checks): Assert that the node
41 doesn't have the Has_Dynamic_Range_Check flag set.
42 (Insert_Range_Checks): Likewise.
43 * exp_ch3.adb (Expand_N_Subtype_Indication): Do not apply
44 range checks for a full type or object declaration.
45 * sem_ch3.ads: Move with and use clauses for Nlists to...
46 (Process_Range_Expr_In_Decl): Change default to No_List for
47 the Check_List parameter.
48 * sem_ch3.adb: ...here.
49 (Process_Range_Expr_In_Decl): Likewise. When the insertion
50 node is a declaration, only insert on the list if is present
51 when the declaration involves discriminants, and only insert
52 on the node when there is no list otherwise.
54 2020-06-05 Piotr Trojanek <trojanek@adacore.com>
56 * sem_aggr.adb (Resolve_Record_Aggregate): Create the
57 N_Aggregate node with its Expressions field set to No_List and
60 2020-06-05 Dmitriy Anisimkov <anisimko@adacore.com>
62 * libgnat/s-os_lib.adb (Is_Dirsep): Moved from Build_Path to
63 package level to reuse.
64 (Normalize_Pathname.Final_Value): Reduce 2 'if' statements to
66 (Normalize_Pathname.Fill_Directory): New procedure instead of
67 function Get_Directory. Remove slash to backslash conversion and
68 drive letter uppercasing on Windows.
70 2020-06-05 Arnaud Charlet <charlet@adacore.com>
72 * sem.adb (Assert_Done): Relax check for main unit, as it was
73 overzealous in the case of the main unit itself.
75 2020-06-05 Piotr Trojanek <trojanek@adacore.com>
77 * exp_ch3.adb, sem_ch8.adb, sem_util.adb: Use Is_Incomplete_Type
78 to make the code easier to read.
80 2020-06-05 Piotr Trojanek <trojanek@adacore.com>
82 * einfo.adb: Minor reformatting.
83 * sem_util.adb (Has_Full_Default_Initialization,
84 Is_Partially_Initialized_Type, Caller_Known_Size_Record,
85 Large_Max_Size_Mutable): Iterate with
86 First_Component/Next_Component; rename Ent to Comp.
88 2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
90 * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use
91 Expr_Rep_Value instead of Expr_Value to obtain the equivalent
93 * sem_eval.ads (Expr_Value): Document more supported cases.
94 * sem_eval.adb (Expr_Rep_Value): Copy missing cases from
97 2020-06-05 Bob Duff <duff@adacore.com>
99 * rtsfind.adb, rtsfind.ads: Move subtypes of RTU_Id into package
100 body, because they are not needed by clients. Change "Child_" to
101 "Descendant", because grandchildren and great grandchildren are
102 involved. Replace all the repetitive comments with a single
103 concise one. Change the parent subtypes to be more consistent;
104 use the most specific parent.
106 2020-06-05 Piotr Trojanek <trojanek@adacore.com>
108 * rtsfind.ads, rtsfind.adb (Is_Text_IO_Special_Package): Moved
109 from the GNATprove backend to the frontend.
111 2020-06-05 Yannick Moy <moy@adacore.com>
113 * sem_util.ads: Add comment about function only used in
116 2020-06-05 Ed Schonberg <schonberg@adacore.com>
118 * sem_ch9.adb, (Analyze_Task_Body): After analying the task
119 body, indicate that all local variables have no delayed aspects.
120 This prevents improper later calls to
121 Check_Aspect_At_End_Of_Declarations, that would happen when the
122 constructed task_procedure body (generated during expansion) is
123 analyzed. The legality of aspect specifications that may appear
124 on local declarations has already been established, and it is in
125 general not possible to recheck them properly during expansion,
126 when visibility may not be fully established.
128 2020-06-05 Piotr Trojanek <trojanek@adacore.com>
130 * libgnat/a-cofuve.ads (First): Add Global contract.
132 2020-06-05 Arnaud Charlet <charlet@adacore.com>
134 * sem_prag.adb (Set_Convention_From_Pragma): Set the convention
135 of anonymous access array components.
137 2020-06-05 Arnaud Charlet <charlet@adacore.com>
139 * libgnat/a-calfor.ads, libgnat/a-catizo.ads,
140 libgnat/a-catizo.adb (Local_Time_Offset, Local_Image): New.
141 (UTC_Time_Offset): Now a renaming of Local_Time_Offset.
143 2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
145 * sem_ch3.adb (Available_Full_View): New function returning
146 either the full or the underlying full view.
147 (Build_Full_Derivation): Add guard for the full view.
148 (Copy_And_Build): Retrieve the underlying full view, if any,
149 also if deriving a completion.
150 (Build_Derived_Private_Type): Use Available_Full_View throughout
151 to decide whether a full derivation must be done.
153 2020-06-05 Bob Duff <duff@adacore.com>
155 * exp_attr.adb, exp_ch11.adb, exp_imgv.adb, exp_tss.ads,
156 par-ch4.adb, sem_attr.adb, sem_util.ads: Misc cleanup.
158 2020-06-05 Arnaud Charlet <charlet@adacore.com>
160 * libgnat/a-nudira.ads, libgnat/a-nudira.adb (Random): New
163 2020-06-05 Arnaud Charlet <charlet@adacore.com>
165 * sem_attr.ads (Attribute_Impl_Def): Remove Enum_Rep/Val.
166 * sem_attr.adb (Attribute_20): New, move Enum_Rep/Val here.
167 (Analyze_Attribute): Take Attribute_20 into account.
169 2020-06-05 Arnaud Charlet <charlet@adacore.com>
171 * restrict.ads (Unit_Array): Add a-direct.
173 2020-06-05 Arnaud Charlet <charlet@adacore.com>
175 * libgnat/s-stopoo.ads: Mark package Pure and leave room for
176 Nonblocking once this aspect is supported.
178 2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
180 * exp_attr.adb (Expand_N_Attribute_Reference) <Valid_Scalars>:
181 Set the No_Truncation flag on the unchecked conversion built for
184 2020-06-05 Bob Duff <duff@adacore.com>
186 * einfo.adb, einfo.ads, exp_util.adb: Remove Invariants_Ignored
188 * sem_prag.adb (Invariant): Instead of setting a flag to be
189 checked elsewhere, remove the pragma as soon as it is analyzed
190 and checked for legality.
192 2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
194 * checks.ads (Apply_Length_Check): Rename Ck_Node parameter to
196 (Apply_Range_Check): Likewise.
197 (Get_Range_Checks): Likewise.
198 * checks.adb (Apply_Float_Conversion_Check): Likewise.
199 (Apply_Selected_Length_Checks): Likewise.
200 (Apply_Selected_Range_Checks): Likewise.
201 (Guard_Access): Likewise.
202 (Selected_Length_Checks): Likewise. Also avoid shadowing in
204 (Selected_Range_Checks): Likewise.
206 2020-06-05 Arnaud Charlet <charlet@adacore.com>
208 * par-ch3.adb, par-ch4.adb, scng.adb, sem_aggr.adb,
209 sem_ch10.adb, sem_ch12.adb, sem_prag.adb: Update wording: change
210 Ada_2020 to Ada 2020 in comments and mention -gnat2020 instead
213 2020-06-04 Arnaud Charlet <charlet@adacore.com>
215 * libgnat/i-c.ads (long_long, unsigned_long_long): New
218 2020-06-04 Arnaud Charlet <charlet@adacore.com>
220 * Makefile.rtl: add a-tasini object
221 * impunit.adb (Non_Imp_File_Names_95): Add s-tasini.
222 * libgnarl/a-tasini.ads, libgnarl/a-tasini.adb: New files.
223 * libgnarl/s-taskin.ads (Global_Initialization_Handler): New.
224 * libgnarl/s-tassta.adb (Task_Wrapper): Call
225 Global_Initialization_Handler if non null.
227 2020-06-04 Ed Schonberg <schonberg@adacore.com>
229 * sem_ch12.adb (Build_Suprogram_Body_Wrapper,
230 Build_Subprogram_Decl_Wrapper): New suprograms, to create the
231 wrappers needed to implement contracts on formsl subprograms at
232 the point of instantiation.
233 (Build_Subprogram_Wrappers): New subprogram within
234 Analyze_Associations, calls the above when the formal subprogram
235 has contracts, and expansion is enabled.
236 (Instantiate_Formal_Subprogram): If the actual is not an entity,
237 such as a function attribute, or a synchronized operation,
238 create a function with an internal name and call it within the
240 (Analyze_Generic_Formal_Part): Analyze contracts at the end of
241 the list of formal declarations.
242 * sem_prag.adb (Analyze_Pre_Post_Condtion): In Ada_2020 the
243 aspect and corresponding pragma can appear on a formal
244 subprogram declaration.
245 (Find_Related_Declaration_Or_Body): Ditto.
247 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
249 * exp_ch7.adb (Make_Final_Call): Set the type of the object, if
250 it is unanalyzed, before calling Convert_View on it.
252 2020-06-04 Arnaud Charlet <charlet@adacore.com>
254 * adabkend.adb, back_end.ads, opt.ads, sem_ch6.adb: Get rid of
255 Disable_FE_Inline_Always.
257 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
259 * exp_ch7.adb (Make_Final_Call): Add missing guard.
260 * sem_ch3.adb (Copy_And_Build): Adjust recursive call for
262 (Build_Derived_Private_Type): Deal with underlying full views.
264 2020-06-04 Bob Duff <duff@adacore.com>
266 * libgnat/a-stobbu.adb, libgnat/a-stobbu.ads,
267 libgnat/a-stobfi.adb, libgnat/a-stobfi.ads,
268 libgnat/a-stoubu.adb, libgnat/a-stoubu.ads,
269 libgnat/a-stoufi.adb, libgnat/a-stoufi.ads,
270 libgnat/a-stoufo.adb, libgnat/a-stoufo.ads,
271 libgnat/a-stouut.adb, libgnat/a-stouut.ads,
272 libgnat/a-stteou.ads, libgnat/s-putaim.adb,
273 libgnat/s-putaim.ads, libgnat/s-putima.adb, libgnat/s-putima.ads
274 (Ada.Strings.Text_Output and children, System.Put_Images): New
275 runtime support for Put_Image.
276 * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add
278 * exp_put_image.adb, exp_put_image.ads: New compiler package
279 that generates calls to runtime routines that implement
281 * Makefile.rtl: Add object files for Ada.Strings.Text_Output and
282 children and System.Put_Images.
283 * aspects.adb: Simplify initialization of Canonical_Aspect.
284 * aspects.ads: Improve documentation. Add Aspect_Put_Image.
285 * exp_attr.adb: Add support for Put_Image, by calling routines
287 * sem_util.adb (Is_Predefined_Dispatching_Operation): Return
288 True for new TSS_Put_Image operation.
289 * exp_ch3.adb: For tagged types, build a dispatching
290 TSS_Put_Image operation by calling routines in Exp_Put_Image.
291 * exp_disp.adb, exp_disp.ads: Make TSS_Put_Image be number 10,
292 adjusting other operations' numbers after 10. We choose 10
293 because that's the last number shared by all runtimes.
294 * exp_strm.adb: Use named notation as appropriate.
295 * exp_cg.adb, exp_tss.ads: Add TSS_Put_Image.
296 * libgnat/a-tags.ads: Modify Max_Predef_Prims for the new
298 * impunit.adb: Add new runtime packages.
299 * rtsfind.adb, rtsfind.ads: Add support for
300 Ada.Strings.Text_Output, Ada.Strings.Text_Output.Utils, and
302 * sem_attr.adb: Error checking for Put_Image calls.
303 * sem_ch12.adb (Valid_Default_Attribute): Support for passing
304 Put_Image as a generic formal parameter.
305 * sem_ch13.adb: Analysis of Put_Image aspect. Turn it into a
306 Put_Image attribute definition clause.
307 * sem_ch8.adb (Analyze_Subprogram_Renaming): Support for
308 renaming of the Put_Image attribute.
309 * snames.adb-tmpl: Fix comments.
310 * snames.ads-tmpl (Name_Put_Image): New Name_Id.
311 (Attribute_Put_Image): New Attribute_Id.
312 * tbuild.adb, tbuild.ads (Make_Increment): New utility.
314 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
316 * exp_attr.adb (xpand_N_Attribute_Reference) <Input>: Call
317 Find_Inherited_TSS to look up the Stream_Read TSS.
318 <Output>: Likewise for the Stream_Write TSS.
319 * exp_ch7.adb (Make_Final_Call): Call Underlying_Type on
320 private types to account for underlying full views.
321 * exp_strm.ads (Build_Record_Or_Elementary_Input_Function):
322 Remove Use_Underlying parameter.
323 * exp_strm.adb (Build_Record_Or_Elementary_Input_Function):
324 Likewise and adjust accordingly.
325 * exp_tss.adb (Find_Inherited_TSS): Deal with full views.
326 Call Find_Inherited_TSS recursively on the parent type if
327 the base type is a derived type.
328 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Take
329 into account underlying full views for derived types.
330 * sem_ch3.adb (Copy_And_Build): Look up the underlying full
331 view only for a completion. Be prepared for private types.
332 (Build_Derived_Private_Type): Build an underlying full view
333 for a completion in the general case too.
335 2020-06-04 Arnaud Charlet <charlet@adacore.com>
337 * back_end.adb, opt.ads, par-prag.adb, sem_ch5.adb,
338 sem_prag.adb, sinfo.adb, sinfo.ads, snames.ads-tmpl,
339 doc/gnat_rm/implementation_defined_pragmas.rst: Remove
340 experimental support for OpenACC.
341 * gcc-interface/misc.c, gcc-interface/trans.c,
342 gcc-interface/lang.opt: Ditto.
343 * gnat_rm.texi: Regenerate.
345 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
347 * checks.adb (Generate_Discriminant_Check): Remove obsolete
350 2020-06-04 Gary Dismukes <dismukes@adacore.com>
352 * par-ch3.adb (P_Identifier_Declarations): Add parsing of object
353 renamings that have neither a subtype_mark nor an
354 access_definition. Issue an error if the version is earlier than
355 Ada_2020, and suggest using -gnatX.
356 * sem_ch8.adb (Analyze_Object_Renaming): Handle
357 object_renaming_declarations that don't have an explicit
358 subtype. Errors are issued when the name is inappropriate or
359 ambiguous, and otherwise the Etype of the renaming entity is set
360 from the Etype of the renamed object.
361 * sem_util.adb (Has_Null_Exclusion): Allow for the case of no
362 subtype given in an N_Object_Renaming_Declaration.
363 * sprint.adb (Sprint_Node_Actual): Handle printing of
364 N_Object_Renaming_Declarations that are specified without an
367 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
369 * sinfo.ads (N_Delta_Aggregate): Document Etype field.
370 (N_Case_Expression): Likewise.
371 (Is_Syntactic_Field) <N_Quantified_Expression>: Adjust.
372 <N_Case_Expression>: Likewise.
374 2020-06-04 Arnaud Charlet <charlet@adacore.com>
376 * adaint.c: Avoid redefining IS_DIR_SEPARATOR macro.
378 2020-06-04 Arnaud Charlet <charlet@adacore.com>
380 * sem.adb (Walk_Library_Items): Defer processing of main spec
381 after all other specs and before processing bodies.
383 2020-06-04 Arnaud Charlet <charlet@adacore.com>
385 * bindgen.adb (Gen_Adafinal): Adafinal is convention Ada, not C.
387 2020-06-04 Ed Schonberg <schonberg@adacore.com>
389 * sinput.adb (Sloc_Range): Ignore node in the tree if it appears
390 in a unit different from that of the node whose Sloc range we
391 are computing. This is necessary when computing the source range
392 of a subprogram body whose declaration includes a pre- or
393 postcondition, because declaration and body may appear in
394 different units, and the expanded code for the body includes
395 copies of the contract code.
397 2020-06-04 Alexandre Oliva <oliva@adacore.com>
399 * switch.adb (Is_Internal_GCC_Switch): Recognize dumpdir and
400 dumpbase-ext. Mark auxbase and auxbase-strip for removal.
402 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
404 * sem_attr.adb (Resolve_Attribute) <Access>: Do not generate
405 the secondary message about a missing pragma if the convention
406 of the prefix is Intrinsic.
407 * sem_ch12.adb (Instantiate_Formal_Subprogram): Only set the
408 Convention and the Is_Inlined flag on a null procedure.
410 2020-06-04 Justin Squirek <squirek@adacore.com>
412 * sem_ch6.adb (Check_Return_Obj_Accessibility): Change to
413 Check_Return_Construct_Accessibility to better reflect its
414 purpose. Add loop to properly obtain the object declaration
415 from an expanded extended return statement and add calls to get
416 the original node for associated values. Also, avoid checks when
417 the return statement being examined comes from an internally
420 2020-06-04 Dmitriy Anisimkov <anisimko@adacore.com>
422 * adaint.c (__gnat_is_absolute_path): Check for directory
423 separator after drive and colon.
424 (IS_DIR_SEPARATOR): Define new inline substitution.
426 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
428 * checks.ads: Update documentation about range checks and fix
431 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
433 * sem_ch3.adb (Array_Type_Declaration): Apply special handling
434 of private index types to generic packages and restrict it to
435 index types defined in the current scope.
437 2020-06-04 Arnaud Charlet <charlet@adacore.com>
439 * libgnat/a-exextr.adb (Global_Unhandled_Action): New global
441 (Notify_Exception): Take into account Global_Unhandled_Action
442 and fix latent race condition.
443 (Exception_Action): Mark Favor_Top_Level so that variables can
445 (Global_Action): Mark atomic to remove the need for a lock.
446 * libgnat/g-excact.ads, libgnat/g-excact.adb
447 (Register_Global_Unhandled_Action): New procedure.
448 (Register_Global_Action): Remove lock.
449 * libgnat/s-stalib.ads (Raise_Action): Mark Favor_Top_Level to
450 be compatible with Exception_Action.
451 * sem_warn.adb (Warn_On_Unreferenced_Entity): Fix logic wrt
452 Volatile entities and entities with an address clause: the code
453 did not match the comment/intent.
455 2020-06-04 Arnaud Charlet <charlet@adacore.com>
457 * comperr.adb (Compiler_Abort): Update URL and bug report
460 2020-06-04 Steve Baird <baird@adacore.com>
462 * libgnat/s-imgrea.ads: Declare a named number
463 Max_Real_Image_Length with value 5200. Provide a comment
464 explaining why this value was chosen.
465 * libgnat/s-imgrea.adb (Set_Image_Real): Increase the upper
466 bound of the local String variable Digs to
467 Max_Real_Image_Length.
468 * libgnat/a-tiflau.adb (Put): Increase the upper bound of the
469 local String variable Buf to Max_Real_Image_Length.
470 (Puts): Increase the upper bound of the local String variable
471 Buf to Max_Real_Image_Length.
473 2020-06-04 Arnaud Charlet <charlet@adacore.com>
475 * libgnarl/a-dynpri.adb, libgnarl/a-taside.adb,
476 libgnarl/a-taster.adb, libgnarl/s-interr.adb,
477 libgnarl/s-interr__sigaction.adb, libgnarl/s-taasde.adb,
478 libgnarl/s-taenca.adb, libgnarl/s-taenca.ads,
479 libgnarl/s-taprop.ads, libgnarl/s-taprop__hpux-dce.adb,
480 libgnarl/s-taprop__linux.adb, libgnarl/s-taprop__mingw.adb,
481 libgnarl/s-taprop__posix.adb, libgnarl/s-taprop__qnx.adb,
482 libgnarl/s-taprop__solaris.adb, libgnarl/s-taprop__vxworks.adb,
483 libgnarl/s-tarest.adb, libgnarl/s-tasini.adb,
484 libgnarl/s-tasque.adb, libgnarl/s-tasque.ads,
485 libgnarl/s-tasren.adb, libgnarl/s-tasren.ads,
486 libgnarl/s-tassta.adb, libgnarl/s-tasuti.adb,
487 libgnarl/s-tasuti.ads, libgnarl/s-tpoben.adb,
488 libgnarl/s-tpobop.adb, libgnarl/s-tpopmo.adb,
489 libgnarl/s-tposen.adb, libgnat/s-parame.ads,
490 libgnat/s-parame__ae653.ads, libgnat/s-parame__hpux.ads,
491 libgnat/s-parame__vxworks.ads: Remove references to Single_Lock
494 2020-06-04 Arnaud Charlet <charlet@adacore.com>
496 * libgnat/s-atopar.adb, libgnat/s-atopex.adb: Use Object_Size
497 instead of Size, otherwise many derived types will be rejected
498 (e.g. a type with a 14 bits 'Size and a 16 bits 'Object_Size).
500 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
502 * sem_ch12.adb (Copy_Generic_Node): Add special handling for a
503 conversion between access types.
505 2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
507 * sem_ch12.adb (Check_Generic_Actuals): Also restore the proper
508 views of the actuals of the parent instances if the formals are
509 used as actuals of the children.
510 (Instantiate_Type): Add comment.
512 2020-06-04 Gary Dismukes <dismukes@adacore.com>
514 * sem_ch12.adb: Minor editorial fixes.
516 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
518 * sem_ch12.adb (Denotes_Previous_Actual): Delete.
519 (Check_Generic_Actuals): Do not special case array types whose
520 component type denotes a previous actual. Do not special case
521 access types whose base type is private.
522 (Check_Private_View): Remove code dealing with secondary types.
523 Do not switch the views of an array because of its component.
524 (Copy_Generic_Node): Add special handling for a comparison
525 operator on array types.
526 (Instantiate_Type): Do not special case access types whose
527 designated type is private.
528 (Set_Global_Type): Do not special case array types whose
529 component type is private.
531 2020-06-03 Justin Squirek <squirek@adacore.com>
533 * sem_ch10.adb (Process_Body_Clauses): Add loop to interate
534 through all prefixes in a use_type clause so that all packages
535 in the expanded name get examined for effectiveness.
537 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
539 * sem_ch12.adb (Check_Private_View): Clean up implementation of
540 second main case, when the generic sees the private declaration.
542 2020-06-03 Arnaud Charlet <charlet@adacore.com>
544 * libgnat/a-nbnbin.ads: Minor reformatting.
545 * libgnat/a-nbnbre.ads, libgnat/a-nbnbre.adb (Is_Valid): Add
546 convention Intrinsic. Add detection of uninitialized big reals.
548 2020-06-03 Arnaud Charlet <charlet@adacore.com>
550 * sem_util.ads, sem_util.adb (Side_Effect_Free_Statements,
551 Side_Effect_Free_Loop): New functions.
552 (Has_Non_Null_Statements): Consider N_Call_Marker as a null
554 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Call
555 Set_Is_Null_Loop even inside a generic instantiation.
556 (Analyze_Loop_Statement): Mark for removal loops with no side
559 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
561 * opt.ads (Allow_Integer_Address): Fix typo in comment.
562 * stand.ads (Standard_Address): New entity.
563 * cstand.adb (Create_Standard): Create it.
564 * sem_ch4.adb (Operator_Check): Convert the operands of an
565 operation with addresses and integers to Standard_Address
566 if pragma Allow_Integer_Address is in effect.
568 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
570 * libgnat/s-atopar.adb (Atomic_Fetch_And_Add): Make use of an
571 equivalent static expression.
572 (Atomic_Fetch_And_Subtract): Likewise.
573 (Is_Lock_Free): Likewise.
574 * libgnat/s-atopex.adb (Atomic_Exchange): Likewise.
575 (Atomic_Compare_And_Exchange): Likewise.
576 (Is_Lock_Free): Likewise.
578 2020-06-03 Vadim Godunko <godunko@adacore.com>
580 * libgnat/s-parame.ads, libgnat/s-parame__ae653.ads,
581 libgnat/s-parame__hpux.ads: Fix typos.
583 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
585 * exp_util.adb (Remove_Side_Effects): For a type conversion, do
586 not remove the side effects of the expression only if it is of
587 universal integer type.
589 2020-06-03 Arnaud Charlet <charlet@adacore.com>
591 * libgnat/s-aotase.ads, libgnat/s-atoope.ads,
592 libgnat/s-atopar.ads, libgnat/s-atopex.ads: Update header.
594 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
596 * exp_ch4.adb (Expand_N_Unchecked_Type_Conversion): Also fold the
597 conversion for literals of enumeration types.
599 2020-06-03 Yannick Moy <moy@adacore.com>
601 * rtsfind.adb (Load_RTU): Correctly set/reset global variable to
602 ignore SPARK_Mode in instances around loading.
603 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Accept Off
605 * sem_ch7.adb (Analyze_Package_Body_Helper): Likewise.
606 * sem_prag.adb (Analyze_Pragma): Always take into account
609 2020-06-03 Arnaud Charlet <charlet@adacore.com>
611 * frontend.adb (Frontend): Call (dummy for now) tree checker.
612 * debug.adb: Reserve -gnatd_V for the tree checker.
613 * vast.ads, vast.adb: New files.
614 * gcc-interface/Make-lang.in: Add vast.o.
616 2020-06-03 Justin Squirek <squirek@adacore.com>
618 * libgnat/a-cborse.adb, libgnat/a-cihase.adb,
619 libgnat/a-ciorse.adb, libgnat/a-coorse.adb: Modified to use
620 'Unrestricted_Access in certain cases where static accessibility
621 errors were triggered.
622 * exp_ch6.adb (Expand_Simple_Return_Statement): Add generation
623 of dynamic accessibility checks as determined by
624 Is_Special_Aliased_Formal_Access.
625 * sem_attr.adb (Resolve_Attribute): Add call to
626 Is_Special_Aliased_Formal_Access to avoid performing static
627 checks where dynamic ones are required.
628 * sem_ch6.adb (Check_Return_Obj_Accessibility): Handle renamed
629 objects within component associations requiring special
630 accessibility checks.
631 * sem_util.adb, sem_util.ads (Is_Special_Aliased_Formal_Access):
632 Created to detect the special case where an aliased formal is
633 being compared against the level of an anonymous access return
635 (Object_Access_Level): Remove incorrect condition leading to
636 overly permissive accessibility levels being returned on
637 explicitly aliased parameters.
639 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
641 * einfo.ads (Enum_Pos_To_Rep): Adjust description.
642 * exp_attr.adb (Expand_N_Attribute_Reference) <Pred>:
643 Reimplement in the case of an enumeration type with non-standard
644 but contiguous representation.
647 * exp_ch3.adb (Expand_Freeze_Enumeration_Type): Count the
648 literals in the first loop. If the representation is
649 contiguous, just build the index type of the array type and set
650 Enum_Pos_To_Rep to it.
652 2020-06-03 Gary Dismukes <dismukes@adacore.com>
654 * exp_attr.adb (Expand_Loop_Entry_Attribute): Revise loop that
655 resets the scopes of entities associated with Loop_Id to the
656 scope of the new function, so the resetting is not restricted to
657 itypes, but excludes loop parameters and the function entity
658 itself. However, this fix is believed to be incomplete and a ???
659 comment is added to indicate that.
661 2020-06-03 Bob Duff <duff@adacore.com>
663 * libgnat/s-regexp.ads: Fix comment
665 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
667 * exp_attr.adb (Expand_N_Attribute_Reference) <Enum_Rep>:
668 In the case of an enumeration type, do an intermediate
669 conversion to a small integer type. Remove useless stuff.
670 <Finalization_Size>: Do not hardcode Universal_Integer and
671 fix a type mismatch in the assignment to the variable.
672 <Max_Size_In_Storage_Elements>: Likewise.
673 <From_Any>: Do not redefine the Ptyp local variable.
675 <TypeCode>: Likewise.
677 <Val>: For an enumeration type with standard representation,
678 apply the range check to the expression of a convertion to
679 Universal_Integer, if any. For an integer type, expand to
682 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
684 * libgnat/s-rannum.adb (Random_Discrete): In the 32-bit case,
685 use the same linear implementation as in the 64-bit case when
686 the type has a contiguous representation.
688 2020-06-03 Gary Dismukes <dismukes@adacore.com>
690 * sem_util.adb (Build_Class_Wide_Clone_Decl): Call
691 Set_Debug_Info_Needed to set the Needs_Debug_Info flag on
692 Clone_Id if the flag is set on Spec_Id.
694 2020-06-03 Yannick Moy <moy@adacore.com>
696 * inline.adb (Expand_Inlined_Call): Do not suppress checks on
697 inlined code in GNATprove mode.
699 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
701 * einfo.ads (Has_Contiguous_Rep): Fix typo in comment.
703 2020-06-03 Piotr Trojanek <trojanek@adacore.com>
705 * checks.adb, einfo.adb, exp_aggr.adb, exp_ch4.adb, exp_ch6.adb,
706 exp_unst.adb, exp_util.adb, freeze.adb, inline.adb, repinfo.adb,
707 sem_aggr.adb, sem_attr.adb, sem_aux.adb, sem_ch13.adb,
708 sem_ch3.adb, sem_ch4.adb, sem_ch8.adb, sem_elab.adb,
709 sem_eval.adb, sem_prag.adb, sem_res.adb, sem_smem.adb,
710 sem_util.adb, treepr.adb: Replace uses of Next_ functions with
711 corresponding procedures.
713 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
715 * exp_attr.adb (Attribute_Valid): Use Standard_Long_Long_Integer
716 in lieu of Universal_Integer as large integer type.
717 * exp_ch3.adb (Expand_Freeze_Enumeration_Type): Likewise.
719 2020-06-03 Arnaud Charlet <charlet@adacore.com>
721 * libgnat/s-auxdec.ads (Address_Int): New.
723 2020-06-03 Arnaud Charlet <charlet@adacore.com>
725 * aspects.adb, aspects.ads, atree.adb, atree.ads, elists.adb,
726 elists.ads, fname.adb, fname.ads, gnat1drv.adb, lib.adb,
727 lib.ads, namet.adb, namet.ads, nlists.adb, nlists.ads, opt.adb,
728 opt.ads, osint-c.adb, osint-c.ads, repinfo.adb, repinfo.ads,
729 sem_aux.adb, sem_aux.ads, sinput.adb, sinput.ads, stand.ads,
730 stringt.adb, stringt.ads, switch-c.adb, table.adb, table.ads,
731 uintp.adb, uintp.ads, urealp.adb, urealp.ads (Tree_Read,
732 Tree_Write): Remove generation of ASIS trees.
733 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
734 Remove -gnatt and -gnatct documentation.
735 * gnat_ugn.texi: Regenerate.
736 * tree_in.ads, tree_in.adb, tree_io.ads, tree_io.adb,
737 tree_gen.ads, tree_gen.adb, stand.adb: Remove.
738 * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Remove
739 references to tree_gen.o tree_in.o tree_io.o.
741 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
743 * opt.ads (Disable_FE_Inline): Move around.
744 (Disable_FE_Inline_Always): Likewise.
746 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
748 * checks.adb (Is_Single_Attribute_Reference): New predicate.
749 (Generate_Range_Check): Do not force the evaluation if the
750 node is a single attribute reference.
751 * exp_util.adb (Side_Effect_Free_Attribute): New predicate.
752 (Side_Effect_Free) <N_Attribute_Reference>: Call it.
753 (Remove_Side_Effects): Remove the side effects of the prefix
754 for an attribute reference whose prefix is not a name.
756 2020-06-03 Arnaud Charlet <charlet@adacore.com>
758 * switch-c.adb (Scan_Front_End_Switches): Remove processing of
760 * usage.adb (Usage): Remove mention of -gnatt.
762 2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
764 * sinfo.ads: Minor tweaks in commentary.
766 2020-06-02 Alexandre Oliva <oliva@adacore.com>
768 * lib.ads (Compilation_Switches): Remove -auxbase from
770 * switch.ads (Is_Internal_GCC_Switch): Likewise.
772 2020-06-02 Arnaud Charlet <charlet@adacore.com>
774 * atree.ads, checks.adb, contracts.adb, debug.adb, einfo.ads,
775 exp_ch3.adb, exp_util.adb, expander.ads, expander.adb,
776 frontend.adb, gnat1drv.adb, itypes.adb, lib.ads, namet.ads,
777 opt.adb, opt.ads, par-prag.adb, repinfo.ads, sem_aggr.adb,
778 sem_aux.ads, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
779 sem_ch13.adb, sem_ch3.adb, sem_ch4.adb, sem_ch6.adb,
780 sem_dim.adb, sem_elab.adb, sem_prag.adb, sem_prag.ads,
781 sem_res.adb, sem_type.adb, sem_util.adb, sinfo.ads, stand.ads,
782 tree_io.ads: Remove references to ASIS_Mode.
784 2020-06-02 Javier Miranda <miranda@adacore.com>
786 * exp_ch4.adb (Generate_Temporary): New subprogram of
787 Discrete_Range_Check that generates a temporary to facilitate
788 the C backend the code generation of the unchecked conversion
789 since the size of the source type may differ from the size of
792 2020-06-02 Arnaud Charlet <charlet@adacore.com>
794 * ada_get_targ.adb: Bump copyright year.
795 * adabkend.adb: Likewise.
796 * adabkend.ads: Likewise.
797 * adadecode.c: Likewise.
798 * adadecode.h: Likewise.
799 * adaint.c: Likewise.
800 * adaint.h: Likewise.
801 * affinity.c: Likewise.
802 * ali-util.adb: Likewise.
803 * ali-util.ads: Likewise.
806 * alloc.ads: Likewise.
807 * argv-lynxos178-raven-cert.c: Likewise.
809 * aspects.adb: Likewise.
810 * aspects.ads: Likewise.
811 * atree.adb: Likewise.
812 * atree.ads: Likewise.
814 * aux-io.c: Likewise.
815 * back_end.adb: Likewise.
816 * back_end.ads: Likewise.
817 * bcheck.adb: Likewise.
818 * bcheck.ads: Likewise.
819 * binde.adb: Likewise.
820 * binde.ads: Likewise.
821 * binderr.adb: Likewise.
822 * binderr.ads: Likewise.
823 * bindgen.adb: Likewise.
824 * bindgen.ads: Likewise.
825 * bindo-augmentors.adb: Likewise.
826 * bindo-augmentors.ads: Likewise.
827 * bindo-builders.adb: Likewise.
828 * bindo-builders.ads: Likewise.
829 * bindo-diagnostics.adb: Likewise.
830 * bindo-diagnostics.ads: Likewise.
831 * bindo-elaborators.adb: Likewise.
832 * bindo-elaborators.ads: Likewise.
833 * bindo-graphs.adb: Likewise.
834 * bindo-graphs.ads: Likewise.
835 * bindo-units.adb: Likewise.
836 * bindo-units.ads: Likewise.
837 * bindo-validators.adb: Likewise.
838 * bindo-validators.ads: Likewise.
839 * bindo-writers.adb: Likewise.
840 * bindo-writers.ads: Likewise.
841 * bindo.adb: Likewise.
842 * bindo.ads: Likewise.
843 * bindusg.adb: Likewise.
844 * bindusg.ads: Likewise.
845 * butil.adb: Likewise.
846 * butil.ads: Likewise.
848 * casing.adb: Likewise.
849 * casing.ads: Likewise.
850 * ceinfo.adb: Likewise.
851 * checks.adb: Likewise.
852 * checks.ads: Likewise.
854 * clean.adb: Likewise.
855 * clean.ads: Likewise.
856 * comperr.adb: Likewise.
857 * comperr.ads: Likewise.
858 * contracts.adb: Likewise.
859 * contracts.ads: Likewise.
860 * csets.adb: Likewise.
861 * csets.ads: Likewise.
862 * csinfo.adb: Likewise.
863 * cstand.adb: Likewise.
864 * cstand.ads: Likewise.
865 * cstreams.c: Likewise.
866 * ctrl_c.c: Likewise.
867 * debug.adb: Likewise.
868 * debug.ads: Likewise.
869 * debug_a.adb: Likewise.
870 * debug_a.ads: Likewise.
871 * einfo.adb: Likewise.
872 * einfo.ads: Likewise.
873 * elists.adb: Likewise.
874 * elists.ads: Likewise.
875 * elists.h: Likewise.
878 * err_vars.ads: Likewise.
880 * errout.adb: Likewise.
881 * errout.ads: Likewise.
882 * erroutc.adb: Likewise.
883 * erroutc.ads: Likewise.
884 * errutil.adb: Likewise.
885 * errutil.ads: Likewise.
886 * eval_fat.adb: Likewise.
887 * eval_fat.ads: Likewise.
889 * exp_aggr.adb: Likewise.
890 * exp_aggr.ads: Likewise.
891 * exp_atag.adb: Likewise.
892 * exp_atag.ads: Likewise.
893 * exp_attr.adb: Likewise.
894 * exp_attr.ads: Likewise.
895 * exp_cg.adb: Likewise.
896 * exp_cg.ads: Likewise.
897 * exp_ch10.ads: Likewise.
898 * exp_ch11.adb: Likewise.
899 * exp_ch11.ads: Likewise.
900 * exp_ch12.adb: Likewise.
901 * exp_ch12.ads: Likewise.
902 * exp_ch13.adb: Likewise.
903 * exp_ch13.ads: Likewise.
904 * exp_ch2.adb: Likewise.
905 * exp_ch2.ads: Likewise.
906 * exp_ch3.adb: Likewise.
907 * exp_ch3.ads: Likewise.
908 * exp_ch4.adb: Likewise.
909 * exp_ch4.ads: Likewise.
910 * exp_ch5.adb: Likewise.
911 * exp_ch5.ads: Likewise.
912 * exp_ch6.adb: Likewise.
913 * exp_ch6.ads: Likewise.
914 * exp_ch7.adb: Likewise.
915 * exp_ch7.ads: Likewise.
916 * exp_ch8.adb: Likewise.
917 * exp_ch8.ads: Likewise.
918 * exp_ch9.adb: Likewise.
919 * exp_ch9.ads: Likewise.
920 * exp_code.adb: Likewise.
921 * exp_code.ads: Likewise.
922 * exp_dbug.adb: Likewise.
923 * exp_dbug.ads: Likewise.
924 * exp_disp.adb: Likewise.
925 * exp_disp.ads: Likewise.
926 * exp_dist.adb: Likewise.
927 * exp_dist.ads: Likewise.
928 * exp_fixd.adb: Likewise.
929 * exp_fixd.ads: Likewise.
930 * exp_imgv.adb: Likewise.
931 * exp_imgv.ads: Likewise.
932 * exp_intr.adb: Likewise.
933 * exp_intr.ads: Likewise.
934 * exp_pakd.adb: Likewise.
935 * exp_pakd.ads: Likewise.
936 * exp_prag.adb: Likewise.
937 * exp_prag.ads: Likewise.
938 * exp_sel.adb: Likewise.
939 * exp_sel.ads: Likewise.
940 * exp_smem.adb: Likewise.
941 * exp_smem.ads: Likewise.
942 * exp_spark.adb: Likewise.
943 * exp_spark.ads: Likewise.
944 * exp_strm.adb: Likewise.
945 * exp_strm.ads: Likewise.
946 * exp_tss.adb: Likewise.
947 * exp_tss.ads: Likewise.
948 * exp_unst.adb: Likewise.
949 * exp_unst.ads: Likewise.
950 * exp_util.adb: Likewise.
951 * exp_util.ads: Likewise.
952 * expander.adb: Likewise.
953 * expander.ads: Likewise.
954 * expect.c: Likewise.
957 * fmap.adb: Likewise.
958 * fmap.ads: Likewise.
959 * fname-sf.adb: Likewise.
960 * fname-sf.ads: Likewise.
961 * fname-uf.adb: Likewise.
962 * fname-uf.ads: Likewise.
963 * fname.adb: Likewise.
964 * fname.ads: Likewise.
965 * freeze.adb: Likewise.
966 * freeze.ads: Likewise.
967 * frontend.adb: Likewise.
968 * frontend.ads: Likewise.
969 * get_scos.adb: Likewise.
970 * get_scos.ads: Likewise.
971 * get_targ.adb: Likewise.
972 * get_targ.ads: Likewise.
973 * ghost.adb: Likewise.
974 * ghost.ads: Likewise.
975 * gnat1drv.adb: Likewise.
976 * gnat1drv.ads: Likewise.
977 * gnatbind.adb: Likewise.
978 * gnatbind.ads: Likewise.
979 * gnatchop.adb: Likewise.
980 * gnatclean.adb: Likewise.
981 * gnatcmd.adb: Likewise.
982 * gnatcmd.ads: Likewise.
983 * gnatdll.adb: Likewise.
984 * gnatfind.adb: Likewise.
985 * gnatkr.adb: Likewise.
986 * gnatkr.ads: Likewise.
987 * gnatlink.adb: Likewise.
988 * gnatlink.ads: Likewise.
989 * gnatls.adb: Likewise.
990 * gnatls.ads: Likewise.
991 * gnatmake.adb: Likewise.
992 * gnatmake.ads: Likewise.
993 * gnatname.adb: Likewise.
994 * gnatname.ads: Likewise.
995 * gnatprep.adb: Likewise.
996 * gnatprep.ads: Likewise.
997 * gnatvsn.adb: Likewise.
998 * gnatxref.adb: Likewise.
999 * gprep.adb: Likewise.
1000 * gprep.ads: Likewise.
1001 * gsocket.h: Likewise.
1002 * hostparm.ads: Likewise.
1003 * impunit.adb: Likewise.
1004 * impunit.ads: Likewise.
1005 * indepsw-aix.adb: Likewise.
1006 * indepsw-darwin.adb: Likewise.
1007 * indepsw-gnu.adb: Likewise.
1008 * indepsw.adb: Likewise.
1009 * indepsw.ads: Likewise.
1011 * initialize.c: Likewise.
1012 * inline.adb: Likewise.
1013 * inline.ads: Likewise.
1014 * itypes.adb: Likewise.
1015 * itypes.ads: Likewise.
1016 * krunch.adb: Likewise.
1017 * krunch.ads: Likewise.
1018 * layout.adb: Likewise.
1019 * layout.ads: Likewise.
1020 * lib-list.adb: Likewise.
1021 * lib-load.adb: Likewise.
1022 * lib-load.ads: Likewise.
1023 * lib-sort.adb: Likewise.
1024 * lib-util.adb: Likewise.
1025 * lib-util.ads: Likewise.
1026 * lib-writ.adb: Likewise.
1027 * lib-writ.ads: Likewise.
1028 * lib-xref-spark_specific.adb: Likewise.
1029 * lib-xref.adb: Likewise.
1030 * lib-xref.ads: Likewise.
1031 * lib.adb: Likewise.
1032 * lib.ads: Likewise.
1033 * libgnarl/a-astaco.adb: Likewise.
1034 * libgnarl/a-dispat.adb: Likewise.
1035 * libgnarl/a-dynpri.adb: Likewise.
1036 * libgnarl/a-etgrbu.ads: Likewise.
1037 * libgnarl/a-exetim__darwin.adb: Likewise.
1038 * libgnarl/a-exetim__default.ads: Likewise.
1039 * libgnarl/a-exetim__mingw.adb: Likewise.
1040 * libgnarl/a-exetim__mingw.ads: Likewise.
1041 * libgnarl/a-exetim__posix.adb: Likewise.
1042 * libgnarl/a-interr.adb: Likewise.
1043 * libgnarl/a-interr.ads: Likewise.
1044 * libgnarl/a-intnam.ads: Likewise.
1045 * libgnarl/a-intnam__aix.ads: Likewise.
1046 * libgnarl/a-intnam__darwin.ads: Likewise.
1047 * libgnarl/a-intnam__dragonfly.ads: Likewise.
1048 * libgnarl/a-intnam__dummy.ads: Likewise.
1049 * libgnarl/a-intnam__freebsd.ads: Likewise.
1050 * libgnarl/a-intnam__hpux.ads: Likewise.
1051 * libgnarl/a-intnam__linux.ads: Likewise.
1052 * libgnarl/a-intnam__lynxos.ads: Likewise.
1053 * libgnarl/a-intnam__mingw.ads: Likewise.
1054 * libgnarl/a-intnam__qnx.ads: Likewise.
1055 * libgnarl/a-intnam__rtems.ads: Likewise.
1056 * libgnarl/a-intnam__solaris.ads: Likewise.
1057 * libgnarl/a-intnam__vxworks.ads: Likewise.
1058 * libgnarl/a-reatim.adb: Likewise.
1059 * libgnarl/a-reatim.ads: Likewise.
1060 * libgnarl/a-retide.adb: Likewise.
1061 * libgnarl/a-retide.ads: Likewise.
1062 * libgnarl/a-rttiev.adb: Likewise.
1063 * libgnarl/a-rttiev.ads: Likewise.
1064 * libgnarl/a-synbar.adb: Likewise.
1065 * libgnarl/a-synbar.ads: Likewise.
1066 * libgnarl/a-synbar__posix.adb: Likewise.
1067 * libgnarl/a-synbar__posix.ads: Likewise.
1068 * libgnarl/a-sytaco.adb: Likewise.
1069 * libgnarl/a-sytaco.ads: Likewise.
1070 * libgnarl/a-tasatt.adb: Likewise.
1071 * libgnarl/a-tasatt.ads: Likewise.
1072 * libgnarl/a-taside.adb: Likewise.
1073 * libgnarl/a-taside.ads: Likewise.
1074 * libgnarl/a-taster.adb: Likewise.
1075 * libgnarl/g-boubuf.adb: Likewise.
1076 * libgnarl/g-boubuf.ads: Likewise.
1077 * libgnarl/g-boumai.ads: Likewise.
1078 * libgnarl/g-semaph.adb: Likewise.
1079 * libgnarl/g-semaph.ads: Likewise.
1080 * libgnarl/g-signal.adb: Likewise.
1081 * libgnarl/g-signal.ads: Likewise.
1082 * libgnarl/g-tastus.ads: Likewise.
1083 * libgnarl/g-thread.adb: Likewise.
1084 * libgnarl/g-thread.ads: Likewise.
1085 * libgnarl/i-vxinco.adb: Likewise.
1086 * libgnarl/i-vxinco.ads: Likewise.
1087 * libgnarl/s-inmaop.ads: Likewise.
1088 * libgnarl/s-inmaop__dummy.adb: Likewise.
1089 * libgnarl/s-inmaop__posix.adb: Likewise.
1090 * libgnarl/s-inmaop__vxworks.adb: Likewise.
1091 * libgnarl/s-interr.adb: Likewise.
1092 * libgnarl/s-interr.ads: Likewise.
1093 * libgnarl/s-interr__dummy.adb: Likewise.
1094 * libgnarl/s-interr__hwint.adb: Likewise.
1095 * libgnarl/s-interr__sigaction.adb: Likewise.
1096 * libgnarl/s-interr__vxworks.adb: Likewise.
1097 * libgnarl/s-intman.ads: Likewise.
1098 * libgnarl/s-intman__android.adb: Likewise.
1099 * libgnarl/s-intman__dummy.adb: Likewise.
1100 * libgnarl/s-intman__lynxos.adb: Likewise.
1101 * libgnarl/s-intman__mingw.adb: Likewise.
1102 * libgnarl/s-intman__posix.adb: Likewise.
1103 * libgnarl/s-intman__qnx.adb: Likewise.
1104 * libgnarl/s-intman__solaris.adb: Likewise.
1105 * libgnarl/s-intman__susv3.adb: Likewise.
1106 * libgnarl/s-intman__vxworks.adb: Likewise.
1107 * libgnarl/s-intman__vxworks.ads: Likewise.
1108 * libgnarl/s-linux.ads: Likewise.
1109 * libgnarl/s-linux__alpha.ads: Likewise.
1110 * libgnarl/s-linux__android.ads: Likewise.
1111 * libgnarl/s-linux__hppa.ads: Likewise.
1112 * libgnarl/s-linux__mips.ads: Likewise.
1113 * libgnarl/s-linux__riscv.ads: Likewise.
1114 * libgnarl/s-linux__sparc.ads: Likewise.
1115 * libgnarl/s-linux__x32.ads: Likewise.
1116 * libgnarl/s-mudido.adb: Likewise.
1117 * libgnarl/s-mudido__affinity.adb: Likewise.
1118 * libgnarl/s-osinte__aix.adb: Likewise.
1119 * libgnarl/s-osinte__aix.ads: Likewise.
1120 * libgnarl/s-osinte__android.adb: Likewise.
1121 * libgnarl/s-osinte__android.ads: Likewise.
1122 * libgnarl/s-osinte__darwin.adb: Likewise.
1123 * libgnarl/s-osinte__darwin.ads: Likewise.
1124 * libgnarl/s-osinte__dragonfly.adb: Likewise.
1125 * libgnarl/s-osinte__dragonfly.ads: Likewise.
1126 * libgnarl/s-osinte__dummy.ads: Likewise.
1127 * libgnarl/s-osinte__freebsd.adb: Likewise.
1128 * libgnarl/s-osinte__freebsd.ads: Likewise.
1129 * libgnarl/s-osinte__gnu.adb: Likewise.
1130 * libgnarl/s-osinte__gnu.ads: Likewise.
1131 * libgnarl/s-osinte__hpux-dce.adb: Likewise.
1132 * libgnarl/s-osinte__hpux-dce.ads: Likewise.
1133 * libgnarl/s-osinte__hpux.ads: Likewise.
1134 * libgnarl/s-osinte__kfreebsd-gnu.ads: Likewise.
1135 * libgnarl/s-osinte__linux.ads: Likewise.
1136 * libgnarl/s-osinte__lynxos178.adb: Likewise.
1137 * libgnarl/s-osinte__lynxos178e.ads: Likewise.
1138 * libgnarl/s-osinte__mingw.ads: Likewise.
1139 * libgnarl/s-osinte__posix.adb: Likewise.
1140 * libgnarl/s-osinte__qnx.adb: Likewise.
1141 * libgnarl/s-osinte__qnx.ads: Likewise.
1142 * libgnarl/s-osinte__rtems.adb: Likewise.
1143 * libgnarl/s-osinte__rtems.ads: Likewise.
1144 * libgnarl/s-osinte__solaris.adb: Likewise.
1145 * libgnarl/s-osinte__solaris.ads: Likewise.
1146 * libgnarl/s-osinte__vxworks.adb: Likewise.
1147 * libgnarl/s-osinte__vxworks.ads: Likewise.
1148 * libgnarl/s-osinte__x32.adb: Likewise.
1149 * libgnarl/s-proinf.adb: Likewise.
1150 * libgnarl/s-proinf.ads: Likewise.
1151 * libgnarl/s-qnx.ads: Likewise.
1152 * libgnarl/s-solita.adb: Likewise.
1153 * libgnarl/s-solita.ads: Likewise.
1154 * libgnarl/s-stusta.adb: Likewise.
1155 * libgnarl/s-stusta.ads: Likewise.
1156 * libgnarl/s-taasde.adb: Likewise.
1157 * libgnarl/s-taasde.ads: Likewise.
1158 * libgnarl/s-tadeca.adb: Likewise.
1159 * libgnarl/s-tadeca.ads: Likewise.
1160 * libgnarl/s-tadert.adb: Likewise.
1161 * libgnarl/s-tadert.ads: Likewise.
1162 * libgnarl/s-taenca.adb: Likewise.
1163 * libgnarl/s-taenca.ads: Likewise.
1164 * libgnarl/s-taprob.adb: Likewise.
1165 * libgnarl/s-taprob.ads: Likewise.
1166 * libgnarl/s-taprop.ads: Likewise.
1167 * libgnarl/s-taprop__dummy.adb: Likewise.
1168 * libgnarl/s-taprop__hpux-dce.adb: Likewise.
1169 * libgnarl/s-taprop__linux.adb: Likewise.
1170 * libgnarl/s-taprop__mingw.adb: Likewise.
1171 * libgnarl/s-taprop__posix.adb: Likewise.
1172 * libgnarl/s-taprop__qnx.adb: Likewise.
1173 * libgnarl/s-taprop__solaris.adb: Likewise.
1174 * libgnarl/s-taprop__vxworks.adb: Likewise.
1175 * libgnarl/s-tarest.adb: Likewise.
1176 * libgnarl/s-tarest.ads: Likewise.
1177 * libgnarl/s-tasdeb.adb: Likewise.
1178 * libgnarl/s-tasdeb.ads: Likewise.
1179 * libgnarl/s-tasinf.adb: Likewise.
1180 * libgnarl/s-tasinf.ads: Likewise.
1181 * libgnarl/s-tasinf__linux.adb: Likewise.
1182 * libgnarl/s-tasinf__linux.ads: Likewise.
1183 * libgnarl/s-tasinf__mingw.adb: Likewise.
1184 * libgnarl/s-tasinf__mingw.ads: Likewise.
1185 * libgnarl/s-tasinf__solaris.adb: Likewise.
1186 * libgnarl/s-tasinf__solaris.ads: Likewise.
1187 * libgnarl/s-tasinf__vxworks.ads: Likewise.
1188 * libgnarl/s-tasini.adb: Likewise.
1189 * libgnarl/s-tasini.ads: Likewise.
1190 * libgnarl/s-taskin.adb: Likewise.
1191 * libgnarl/s-taskin.ads: Likewise.
1192 * libgnarl/s-taspri__dummy.ads: Likewise.
1193 * libgnarl/s-taspri__hpux-dce.ads: Likewise.
1194 * libgnarl/s-taspri__lynxos.ads: Likewise.
1195 * libgnarl/s-taspri__mingw.ads: Likewise.
1196 * libgnarl/s-taspri__posix-noaltstack.ads: Likewise.
1197 * libgnarl/s-taspri__posix.ads: Likewise.
1198 * libgnarl/s-taspri__solaris.ads: Likewise.
1199 * libgnarl/s-taspri__vxworks.ads: Likewise.
1200 * libgnarl/s-tasque.adb: Likewise.
1201 * libgnarl/s-tasque.ads: Likewise.
1202 * libgnarl/s-tasren.adb: Likewise.
1203 * libgnarl/s-tasren.ads: Likewise.
1204 * libgnarl/s-tasres.ads: Likewise.
1205 * libgnarl/s-tassta.adb: Likewise.
1206 * libgnarl/s-tassta.ads: Likewise.
1207 * libgnarl/s-tasuti.adb: Likewise.
1208 * libgnarl/s-tasuti.ads: Likewise.
1209 * libgnarl/s-tataat.adb: Likewise.
1210 * libgnarl/s-tataat.ads: Likewise.
1211 * libgnarl/s-tpinop.adb: Likewise.
1212 * libgnarl/s-tpinop.ads: Likewise.
1213 * libgnarl/s-tpoaal.adb: Likewise.
1214 * libgnarl/s-tpoben.adb: Likewise.
1215 * libgnarl/s-tpoben.ads: Likewise.
1216 * libgnarl/s-tpobmu.adb: Likewise.
1217 * libgnarl/s-tpobmu.ads: Likewise.
1218 * libgnarl/s-tpobop.adb: Likewise.
1219 * libgnarl/s-tpobop.ads: Likewise.
1220 * libgnarl/s-tpopmo.adb: Likewise.
1221 * libgnarl/s-tpopsp__posix-foreign.adb: Likewise.
1222 * libgnarl/s-tpopsp__posix.adb: Likewise.
1223 * libgnarl/s-tpopsp__solaris.adb: Likewise.
1224 * libgnarl/s-tpopsp__tls.adb: Likewise.
1225 * libgnarl/s-tpopsp__vxworks-rtp.adb: Likewise.
1226 * libgnarl/s-tpopsp__vxworks-tls.adb: Likewise.
1227 * libgnarl/s-tpopsp__vxworks.adb: Likewise.
1228 * libgnarl/s-tporft.adb: Likewise.
1229 * libgnarl/s-tposen.adb: Likewise.
1230 * libgnarl/s-tposen.ads: Likewise.
1231 * libgnarl/s-vxwext.adb: Likewise.
1232 * libgnarl/s-vxwext.ads: Likewise.
1233 * libgnarl/s-vxwext__kernel-smp.adb: Likewise.
1234 * libgnarl/s-vxwext__kernel.adb: Likewise.
1235 * libgnarl/s-vxwext__kernel.ads: Likewise.
1236 * libgnarl/s-vxwext__noints.adb: Likewise.
1237 * libgnarl/s-vxwext__rtp-smp.adb: Likewise.
1238 * libgnarl/s-vxwext__rtp.adb: Likewise.
1239 * libgnarl/s-vxwext__rtp.ads: Likewise.
1240 * libgnarl/s-vxwext__vthreads.ads: Likewise.
1241 * libgnarl/s-vxwork__aarch64.ads: Likewise.
1242 * libgnarl/s-vxwork__arm.ads: Likewise.
1243 * libgnarl/s-vxwork__ppc.ads: Likewise.
1244 * libgnarl/s-vxwork__x86.ads: Likewise.
1245 * libgnarl/thread.c: Likewise.
1246 * libgnat/a-assert.adb: Likewise.
1247 * libgnat/a-assert.ads: Likewise.
1248 * libgnat/a-btgbso.adb: Likewise.
1249 * libgnat/a-btgbso.ads: Likewise.
1250 * libgnat/a-calari.adb: Likewise.
1251 * libgnat/a-calari.ads: Likewise.
1252 * libgnat/a-calcon.adb: Likewise.
1253 * libgnat/a-calcon.ads: Likewise.
1254 * libgnat/a-caldel.adb: Likewise.
1255 * libgnat/a-caldel.ads: Likewise.
1256 * libgnat/a-calend.adb: Likewise.
1257 * libgnat/a-calend.ads: Likewise.
1258 * libgnat/a-calfor.adb: Likewise.
1259 * libgnat/a-calfor.ads: Likewise.
1260 * libgnat/a-catizo.adb: Likewise.
1261 * libgnat/a-cbdlli.adb: Likewise.
1262 * libgnat/a-cbdlli.ads: Likewise.
1263 * libgnat/a-cbhama.adb: Likewise.
1264 * libgnat/a-cbhama.ads: Likewise.
1265 * libgnat/a-cbhase.adb: Likewise.
1266 * libgnat/a-cbhase.ads: Likewise.
1267 * libgnat/a-cbmutr.adb: Likewise.
1268 * libgnat/a-cbmutr.ads: Likewise.
1269 * libgnat/a-cborma.adb: Likewise.
1270 * libgnat/a-cborma.ads: Likewise.
1271 * libgnat/a-cborse.adb: Likewise.
1272 * libgnat/a-cborse.ads: Likewise.
1273 * libgnat/a-cbprqu.adb: Likewise.
1274 * libgnat/a-cbprqu.ads: Likewise.
1275 * libgnat/a-cbsyqu.adb: Likewise.
1276 * libgnat/a-cbsyqu.ads: Likewise.
1277 * libgnat/a-cdlili.adb: Likewise.
1278 * libgnat/a-cdlili.ads: Likewise.
1279 * libgnat/a-cfdlli.adb: Likewise.
1280 * libgnat/a-cfdlli.ads: Likewise.
1281 * libgnat/a-cfhama.adb: Likewise.
1282 * libgnat/a-cfhama.ads: Likewise.
1283 * libgnat/a-cfhase.adb: Likewise.
1284 * libgnat/a-cfhase.ads: Likewise.
1285 * libgnat/a-cfinve.adb: Likewise.
1286 * libgnat/a-cfinve.ads: Likewise.
1287 * libgnat/a-cforma.adb: Likewise.
1288 * libgnat/a-cforma.ads: Likewise.
1289 * libgnat/a-cforse.adb: Likewise.
1290 * libgnat/a-cforse.ads: Likewise.
1291 * libgnat/a-cgaaso.adb: Likewise.
1292 * libgnat/a-cgaaso.ads: Likewise.
1293 * libgnat/a-cgarso.adb: Likewise.
1294 * libgnat/a-cgcaso.adb: Likewise.
1295 * libgnat/a-chacon.adb: Likewise.
1296 * libgnat/a-chacon.ads: Likewise.
1297 * libgnat/a-chahan.adb: Likewise.
1298 * libgnat/a-chahan.ads: Likewise.
1299 * libgnat/a-chlat9.ads: Likewise.
1300 * libgnat/a-chtgbk.adb: Likewise.
1301 * libgnat/a-chtgbk.ads: Likewise.
1302 * libgnat/a-chtgbo.adb: Likewise.
1303 * libgnat/a-chtgbo.ads: Likewise.
1304 * libgnat/a-chtgke.adb: Likewise.
1305 * libgnat/a-chtgke.ads: Likewise.
1306 * libgnat/a-chtgop.adb: Likewise.
1307 * libgnat/a-chtgop.ads: Likewise.
1308 * libgnat/a-chzla1.ads: Likewise.
1309 * libgnat/a-chzla9.ads: Likewise.
1310 * libgnat/a-cidlli.adb: Likewise.
1311 * libgnat/a-cidlli.ads: Likewise.
1312 * libgnat/a-cihama.adb: Likewise.
1313 * libgnat/a-cihama.ads: Likewise.
1314 * libgnat/a-cihase.adb: Likewise.
1315 * libgnat/a-cihase.ads: Likewise.
1316 * libgnat/a-cimutr.adb: Likewise.
1317 * libgnat/a-cimutr.ads: Likewise.
1318 * libgnat/a-ciorma.adb: Likewise.
1319 * libgnat/a-ciorma.ads: Likewise.
1320 * libgnat/a-ciormu.adb: Likewise.
1321 * libgnat/a-ciormu.ads: Likewise.
1322 * libgnat/a-ciorse.adb: Likewise.
1323 * libgnat/a-ciorse.ads: Likewise.
1324 * libgnat/a-clrefi.adb: Likewise.
1325 * libgnat/a-clrefi.ads: Likewise.
1326 * libgnat/a-coboho.adb: Likewise.
1327 * libgnat/a-coboho.ads: Likewise.
1328 * libgnat/a-cobove.adb: Likewise.
1329 * libgnat/a-cobove.ads: Likewise.
1330 * libgnat/a-cofove.adb: Likewise.
1331 * libgnat/a-cofove.ads: Likewise.
1332 * libgnat/a-cofuba.adb: Likewise.
1333 * libgnat/a-cofuba.ads: Likewise.
1334 * libgnat/a-cofuma.adb: Likewise.
1335 * libgnat/a-cofuma.ads: Likewise.
1336 * libgnat/a-cofuse.adb: Likewise.
1337 * libgnat/a-cofuse.ads: Likewise.
1338 * libgnat/a-cofuve.adb: Likewise.
1339 * libgnat/a-cofuve.ads: Likewise.
1340 * libgnat/a-cogeso.adb: Likewise.
1341 * libgnat/a-cogeso.ads: Likewise.
1342 * libgnat/a-cohama.adb: Likewise.
1343 * libgnat/a-cohama.ads: Likewise.
1344 * libgnat/a-cohase.adb: Likewise.
1345 * libgnat/a-cohase.ads: Likewise.
1346 * libgnat/a-cohata.ads: Likewise.
1347 * libgnat/a-coinho.adb: Likewise.
1348 * libgnat/a-coinho.ads: Likewise.
1349 * libgnat/a-coinho__shared.adb: Likewise.
1350 * libgnat/a-coinho__shared.ads: Likewise.
1351 * libgnat/a-coinve.adb: Likewise.
1352 * libgnat/a-coinve.ads: Likewise.
1353 * libgnat/a-colien.adb: Likewise.
1354 * libgnat/a-colien.ads: Likewise.
1355 * libgnat/a-colire.adb: Likewise.
1356 * libgnat/a-colire.ads: Likewise.
1357 * libgnat/a-comlin.adb: Likewise.
1358 * libgnat/a-comlin.ads: Likewise.
1359 * libgnat/a-comutr.adb: Likewise.
1360 * libgnat/a-comutr.ads: Likewise.
1361 * libgnat/a-conhel.adb: Likewise.
1362 * libgnat/a-conhel.ads: Likewise.
1363 * libgnat/a-convec.adb: Likewise.
1364 * libgnat/a-convec.ads: Likewise.
1365 * libgnat/a-coorma.adb: Likewise.
1366 * libgnat/a-coorma.ads: Likewise.
1367 * libgnat/a-coormu.adb: Likewise.
1368 * libgnat/a-coormu.ads: Likewise.
1369 * libgnat/a-coorse.adb: Likewise.
1370 * libgnat/a-coorse.ads: Likewise.
1371 * libgnat/a-coprnu.adb: Likewise.
1372 * libgnat/a-coprnu.ads: Likewise.
1373 * libgnat/a-crbltr.ads: Likewise.
1374 * libgnat/a-crbtgk.adb: Likewise.
1375 * libgnat/a-crbtgk.ads: Likewise.
1376 * libgnat/a-crbtgo.adb: Likewise.
1377 * libgnat/a-crbtgo.ads: Likewise.
1378 * libgnat/a-crdlli.adb: Likewise.
1379 * libgnat/a-crdlli.ads: Likewise.
1380 * libgnat/a-csquin.ads: Likewise.
1381 * libgnat/a-cuprqu.adb: Likewise.
1382 * libgnat/a-cuprqu.ads: Likewise.
1383 * libgnat/a-cusyqu.adb: Likewise.
1384 * libgnat/a-cusyqu.ads: Likewise.
1385 * libgnat/a-cwila1.ads: Likewise.
1386 * libgnat/a-cwila9.ads: Likewise.
1387 * libgnat/a-decima.adb: Likewise.
1388 * libgnat/a-decima.ads: Likewise.
1389 * libgnat/a-dhfina.adb: Likewise.
1390 * libgnat/a-dhfina.ads: Likewise.
1391 * libgnat/a-diocst.adb: Likewise.
1392 * libgnat/a-diocst.ads: Likewise.
1393 * libgnat/a-direct.adb: Likewise.
1394 * libgnat/a-direct.ads: Likewise.
1395 * libgnat/a-direio.adb: Likewise.
1396 * libgnat/a-direio.ads: Likewise.
1397 * libgnat/a-dirval.adb: Likewise.
1398 * libgnat/a-dirval.ads: Likewise.
1399 * libgnat/a-dirval__mingw.adb: Likewise.
1400 * libgnat/a-einuoc.adb: Likewise.
1401 * libgnat/a-einuoc.ads: Likewise.
1402 * libgnat/a-elchha.adb: Likewise.
1403 * libgnat/a-elchha.ads: Likewise.
1404 * libgnat/a-elchha__vxworks-ppc-full.adb: Likewise.
1405 * libgnat/a-envvar.adb: Likewise.
1406 * libgnat/a-excach.adb: Likewise.
1407 * libgnat/a-except.adb: Likewise.
1408 * libgnat/a-except.ads: Likewise.
1409 * libgnat/a-excpol.adb: Likewise.
1410 * libgnat/a-excpol__abort.adb: Likewise.
1411 * libgnat/a-exctra.adb: Likewise.
1412 * libgnat/a-exctra.ads: Likewise.
1413 * libgnat/a-exexda.adb: Likewise.
1414 * libgnat/a-exexpr.adb: Likewise.
1415 * libgnat/a-exextr.adb: Likewise.
1416 * libgnat/a-exstat.adb: Likewise.
1417 * libgnat/a-finali.adb: Likewise.
1418 * libgnat/a-finali.ads: Likewise.
1419 * libgnat/a-locale.adb: Likewise.
1420 * libgnat/a-locale.ads: Likewise.
1421 * libgnat/a-nbnbin.adb: Likewise.
1422 * libgnat/a-nbnbin__gmp.adb: Likewise.
1423 * libgnat/a-nbnbre.adb: Likewise.
1424 * libgnat/a-ngcefu.adb: Likewise.
1425 * libgnat/a-ngcoar.adb: Likewise.
1426 * libgnat/a-ngcoty.adb: Likewise.
1427 * libgnat/a-ngcoty.ads: Likewise.
1428 * libgnat/a-ngelfu.adb: Likewise.
1429 * libgnat/a-ngelfu.ads: Likewise.
1430 * libgnat/a-ngrear.adb: Likewise.
1431 * libgnat/a-ngrear.ads: Likewise.
1432 * libgnat/a-nudira.adb: Likewise.
1433 * libgnat/a-nudira.ads: Likewise.
1434 * libgnat/a-nuflra.adb: Likewise.
1435 * libgnat/a-nuflra.ads: Likewise.
1436 * libgnat/a-numaux.ads: Likewise.
1437 * libgnat/a-numaux__darwin.adb: Likewise.
1438 * libgnat/a-numaux__darwin.ads: Likewise.
1439 * libgnat/a-numaux__libc-x86.ads: Likewise.
1440 * libgnat/a-numaux__vxworks.ads: Likewise.
1441 * libgnat/a-numaux__x86.adb: Likewise.
1442 * libgnat/a-numaux__x86.ads: Likewise.
1443 * libgnat/a-rbtgbk.adb: Likewise.
1444 * libgnat/a-rbtgbk.ads: Likewise.
1445 * libgnat/a-rbtgbo.adb: Likewise.
1446 * libgnat/a-rbtgbo.ads: Likewise.
1447 * libgnat/a-rbtgso.adb: Likewise.
1448 * libgnat/a-rbtgso.ads: Likewise.
1449 * libgnat/a-sbecin.adb: Likewise.
1450 * libgnat/a-sbecin.ads: Likewise.
1451 * libgnat/a-sbhcin.adb: Likewise.
1452 * libgnat/a-sbhcin.ads: Likewise.
1453 * libgnat/a-sblcin.adb: Likewise.
1454 * libgnat/a-sblcin.ads: Likewise.
1455 * libgnat/a-secain.adb: Likewise.
1456 * libgnat/a-secain.ads: Likewise.
1457 * libgnat/a-sequio.adb: Likewise.
1458 * libgnat/a-sequio.ads: Likewise.
1459 * libgnat/a-sfecin.ads: Likewise.
1460 * libgnat/a-sfhcin.ads: Likewise.
1461 * libgnat/a-sflcin.ads: Likewise.
1462 * libgnat/a-shcain.adb: Likewise.
1463 * libgnat/a-shcain.ads: Likewise.
1464 * libgnat/a-siocst.adb: Likewise.
1465 * libgnat/a-siocst.ads: Likewise.
1466 * libgnat/a-slcain.adb: Likewise.
1467 * libgnat/a-slcain.ads: Likewise.
1468 * libgnat/a-ssicst.adb: Likewise.
1469 * libgnat/a-ssicst.ads: Likewise.
1470 * libgnat/a-stboha.adb: Likewise.
1471 * libgnat/a-stmaco.ads: Likewise.
1472 * libgnat/a-storio.adb: Likewise.
1473 * libgnat/a-strbou.adb: Likewise.
1474 * libgnat/a-strbou.ads: Likewise.
1475 * libgnat/a-stream.adb: Likewise.
1476 * libgnat/a-stream.ads: Likewise.
1477 * libgnat/a-strfix.adb: Likewise.
1478 * libgnat/a-strhas.adb: Likewise.
1479 * libgnat/a-strmap.adb: Likewise.
1480 * libgnat/a-strmap.ads: Likewise.
1481 * libgnat/a-strsea.adb: Likewise.
1482 * libgnat/a-strsea.ads: Likewise.
1483 * libgnat/a-strsup.adb: Likewise.
1484 * libgnat/a-strsup.ads: Likewise.
1485 * libgnat/a-strunb.adb: Likewise.
1486 * libgnat/a-strunb.ads: Likewise.
1487 * libgnat/a-strunb__shared.adb: Likewise.
1488 * libgnat/a-strunb__shared.ads: Likewise.
1489 * libgnat/a-ststio.adb: Likewise.
1490 * libgnat/a-ststio.ads: Likewise.
1491 * libgnat/a-stunau.adb: Likewise.
1492 * libgnat/a-stunau.ads: Likewise.
1493 * libgnat/a-stunau__shared.adb: Likewise.
1494 * libgnat/a-stunha.adb: Likewise.
1495 * libgnat/a-stuten.adb: Likewise.
1496 * libgnat/a-stwibo.adb: Likewise.
1497 * libgnat/a-stwibo.ads: Likewise.
1498 * libgnat/a-stwifi.adb: Likewise.
1499 * libgnat/a-stwiha.adb: Likewise.
1500 * libgnat/a-stwima.adb: Likewise.
1501 * libgnat/a-stwima.ads: Likewise.
1502 * libgnat/a-stwise.adb: Likewise.
1503 * libgnat/a-stwise.ads: Likewise.
1504 * libgnat/a-stwisu.adb: Likewise.
1505 * libgnat/a-stwisu.ads: Likewise.
1506 * libgnat/a-stwiun.adb: Likewise.
1507 * libgnat/a-stwiun.ads: Likewise.
1508 * libgnat/a-stwiun__shared.adb: Likewise.
1509 * libgnat/a-stwiun__shared.ads: Likewise.
1510 * libgnat/a-stzbou.adb: Likewise.
1511 * libgnat/a-stzbou.ads: Likewise.
1512 * libgnat/a-stzfix.adb: Likewise.
1513 * libgnat/a-stzhas.adb: Likewise.
1514 * libgnat/a-stzmap.adb: Likewise.
1515 * libgnat/a-stzmap.ads: Likewise.
1516 * libgnat/a-stzsea.adb: Likewise.
1517 * libgnat/a-stzsea.ads: Likewise.
1518 * libgnat/a-stzsup.adb: Likewise.
1519 * libgnat/a-stzsup.ads: Likewise.
1520 * libgnat/a-stzunb.adb: Likewise.
1521 * libgnat/a-stzunb.ads: Likewise.
1522 * libgnat/a-stzunb__shared.adb: Likewise.
1523 * libgnat/a-stzunb__shared.ads: Likewise.
1524 * libgnat/a-suecin.adb: Likewise.
1525 * libgnat/a-suecin.ads: Likewise.
1526 * libgnat/a-suenco.adb: Likewise.
1527 * libgnat/a-suenst.adb: Likewise.
1528 * libgnat/a-suewst.adb: Likewise.
1529 * libgnat/a-suezst.adb: Likewise.
1530 * libgnat/a-suhcin.adb: Likewise.
1531 * libgnat/a-suhcin.ads: Likewise.
1532 * libgnat/a-sulcin.adb: Likewise.
1533 * libgnat/a-sulcin.ads: Likewise.
1534 * libgnat/a-suteio.adb: Likewise.
1535 * libgnat/a-suteio.ads: Likewise.
1536 * libgnat/a-suteio__shared.adb: Likewise.
1537 * libgnat/a-swbwha.adb: Likewise.
1538 * libgnat/a-swmwco.ads: Likewise.
1539 * libgnat/a-swunau.adb: Likewise.
1540 * libgnat/a-swunau.ads: Likewise.
1541 * libgnat/a-swunau__shared.adb: Likewise.
1542 * libgnat/a-swuwha.adb: Likewise.
1543 * libgnat/a-swuwti.adb: Likewise.
1544 * libgnat/a-swuwti.ads: Likewise.
1545 * libgnat/a-swuwti__shared.adb: Likewise.
1546 * libgnat/a-szbzha.adb: Likewise.
1547 * libgnat/a-szmzco.ads: Likewise.
1548 * libgnat/a-szunau.adb: Likewise.
1549 * libgnat/a-szunau.ads: Likewise.
1550 * libgnat/a-szunau__shared.adb: Likewise.
1551 * libgnat/a-szuzha.adb: Likewise.
1552 * libgnat/a-szuzti.adb: Likewise.
1553 * libgnat/a-szuzti.ads: Likewise.
1554 * libgnat/a-szuzti__shared.adb: Likewise.
1555 * libgnat/a-tags.adb: Likewise.
1556 * libgnat/a-tags.ads: Likewise.
1557 * libgnat/a-teioed.adb: Likewise.
1558 * libgnat/a-teioed.ads: Likewise.
1559 * libgnat/a-textio.adb: Likewise.
1560 * libgnat/a-textio.ads: Likewise.
1561 * libgnat/a-tiboio.adb: Likewise.
1562 * libgnat/a-ticoau.adb: Likewise.
1563 * libgnat/a-ticoau.ads: Likewise.
1564 * libgnat/a-ticoio.adb: Likewise.
1565 * libgnat/a-ticoio.ads: Likewise.
1566 * libgnat/a-tideau.adb: Likewise.
1567 * libgnat/a-tideau.ads: Likewise.
1568 * libgnat/a-tideio.adb: Likewise.
1569 * libgnat/a-tideio.ads: Likewise.
1570 * libgnat/a-tienau.adb: Likewise.
1571 * libgnat/a-tienau.ads: Likewise.
1572 * libgnat/a-tienio.adb: Likewise.
1573 * libgnat/a-tifiio.adb: Likewise.
1574 * libgnat/a-tiflau.adb: Likewise.
1575 * libgnat/a-tiflau.ads: Likewise.
1576 * libgnat/a-tiflio.adb: Likewise.
1577 * libgnat/a-tiflio.ads: Likewise.
1578 * libgnat/a-tigeau.adb: Likewise.
1579 * libgnat/a-tigeau.ads: Likewise.
1580 * libgnat/a-tigeli.adb: Likewise.
1581 * libgnat/a-tiinau.adb: Likewise.
1582 * libgnat/a-tiinau.ads: Likewise.
1583 * libgnat/a-tiinio.adb: Likewise.
1584 * libgnat/a-tiinio.ads: Likewise.
1585 * libgnat/a-timoau.adb: Likewise.
1586 * libgnat/a-timoau.ads: Likewise.
1587 * libgnat/a-timoio.adb: Likewise.
1588 * libgnat/a-timoio.ads: Likewise.
1589 * libgnat/a-tiocst.adb: Likewise.
1590 * libgnat/a-tiocst.ads: Likewise.
1591 * libgnat/a-tirsfi.adb: Likewise.
1592 * libgnat/a-tirsfi.ads: Likewise.
1593 * libgnat/a-titest.adb: Likewise.
1594 * libgnat/a-undesu.adb: Likewise.
1595 * libgnat/a-wichha.adb: Likewise.
1596 * libgnat/a-wichun.adb: Likewise.
1597 * libgnat/a-wichun.ads: Likewise.
1598 * libgnat/a-witeio.adb: Likewise.
1599 * libgnat/a-witeio.ads: Likewise.
1600 * libgnat/a-wrstfi.adb: Likewise.
1601 * libgnat/a-wrstfi.ads: Likewise.
1602 * libgnat/a-wtcoau.adb: Likewise.
1603 * libgnat/a-wtcoau.ads: Likewise.
1604 * libgnat/a-wtcoio.adb: Likewise.
1605 * libgnat/a-wtcstr.adb: Likewise.
1606 * libgnat/a-wtcstr.ads: Likewise.
1607 * libgnat/a-wtdeau.adb: Likewise.
1608 * libgnat/a-wtdeau.ads: Likewise.
1609 * libgnat/a-wtdeio.adb: Likewise.
1610 * libgnat/a-wtedit.adb: Likewise.
1611 * libgnat/a-wtedit.ads: Likewise.
1612 * libgnat/a-wtenau.adb: Likewise.
1613 * libgnat/a-wtenau.ads: Likewise.
1614 * libgnat/a-wtenio.adb: Likewise.
1615 * libgnat/a-wtfiio.adb: Likewise.
1616 * libgnat/a-wtflau.adb: Likewise.
1617 * libgnat/a-wtflau.ads: Likewise.
1618 * libgnat/a-wtflio.adb: Likewise.
1619 * libgnat/a-wtgeau.adb: Likewise.
1620 * libgnat/a-wtgeau.ads: Likewise.
1621 * libgnat/a-wtinau.adb: Likewise.
1622 * libgnat/a-wtinau.ads: Likewise.
1623 * libgnat/a-wtinio.adb: Likewise.
1624 * libgnat/a-wtmoau.adb: Likewise.
1625 * libgnat/a-wtmoau.ads: Likewise.
1626 * libgnat/a-wtmoio.adb: Likewise.
1627 * libgnat/a-wtmoio.ads: Likewise.
1628 * libgnat/a-wttest.adb: Likewise.
1629 * libgnat/a-wwboio.adb: Likewise.
1630 * libgnat/a-zchhan.adb: Likewise.
1631 * libgnat/a-zchuni.adb: Likewise.
1632 * libgnat/a-zchuni.ads: Likewise.
1633 * libgnat/a-zrstfi.adb: Likewise.
1634 * libgnat/a-zrstfi.ads: Likewise.
1635 * libgnat/a-ztcoau.adb: Likewise.
1636 * libgnat/a-ztcoio.adb: Likewise.
1637 * libgnat/a-ztcstr.adb: Likewise.
1638 * libgnat/a-ztcstr.ads: Likewise.
1639 * libgnat/a-ztdeau.adb: Likewise.
1640 * libgnat/a-ztdeau.ads: Likewise.
1641 * libgnat/a-ztdeio.adb: Likewise.
1642 * libgnat/a-ztedit.adb: Likewise.
1643 * libgnat/a-ztedit.ads: Likewise.
1644 * libgnat/a-ztenau.adb: Likewise.
1645 * libgnat/a-ztenau.ads: Likewise.
1646 * libgnat/a-ztenio.adb: Likewise.
1647 * libgnat/a-ztexio.adb: Likewise.
1648 * libgnat/a-ztexio.ads: Likewise.
1649 * libgnat/a-ztfiio.adb: Likewise.
1650 * libgnat/a-ztflau.adb: Likewise.
1651 * libgnat/a-ztflau.ads: Likewise.
1652 * libgnat/a-ztflio.adb: Likewise.
1653 * libgnat/a-ztgeau.adb: Likewise.
1654 * libgnat/a-ztgeau.ads: Likewise.
1655 * libgnat/a-ztinau.adb: Likewise.
1656 * libgnat/a-ztinau.ads: Likewise.
1657 * libgnat/a-ztinio.adb: Likewise.
1658 * libgnat/a-ztmoau.adb: Likewise.
1659 * libgnat/a-ztmoau.ads: Likewise.
1660 * libgnat/a-ztmoio.adb: Likewise.
1661 * libgnat/a-zttest.adb: Likewise.
1662 * libgnat/a-zzboio.adb: Likewise.
1663 * libgnat/g-allein.ads: Likewise.
1664 * libgnat/g-alleve.adb: Likewise.
1665 * libgnat/g-alleve.ads: Likewise.
1666 * libgnat/g-alleve__hard.adb: Likewise.
1667 * libgnat/g-alleve__hard.ads: Likewise.
1668 * libgnat/g-altcon.adb: Likewise.
1669 * libgnat/g-altcon.ads: Likewise.
1670 * libgnat/g-altive.ads: Likewise.
1671 * libgnat/g-alveop.adb: Likewise.
1672 * libgnat/g-alveop.ads: Likewise.
1673 * libgnat/g-alvety.ads: Likewise.
1674 * libgnat/g-alvevi.ads: Likewise.
1675 * libgnat/g-arrspl.adb: Likewise.
1676 * libgnat/g-arrspl.ads: Likewise.
1677 * libgnat/g-awk.adb: Likewise.
1678 * libgnat/g-awk.ads: Likewise.
1679 * libgnat/g-binenv.adb: Likewise.
1680 * libgnat/g-binenv.ads: Likewise.
1681 * libgnat/g-brapre.ads: Likewise.
1682 * libgnat/g-bubsor.adb: Likewise.
1683 * libgnat/g-bubsor.ads: Likewise.
1684 * libgnat/g-busora.adb: Likewise.
1685 * libgnat/g-busora.ads: Likewise.
1686 * libgnat/g-busorg.adb: Likewise.
1687 * libgnat/g-busorg.ads: Likewise.
1688 * libgnat/g-byorma.adb: Likewise.
1689 * libgnat/g-byorma.ads: Likewise.
1690 * libgnat/g-bytswa.adb: Likewise.
1691 * libgnat/g-bytswa.ads: Likewise.
1692 * libgnat/g-calend.adb: Likewise.
1693 * libgnat/g-calend.ads: Likewise.
1694 * libgnat/g-casuti.adb: Likewise.
1695 * libgnat/g-casuti.ads: Likewise.
1696 * libgnat/g-catiio.adb: Likewise.
1697 * libgnat/g-catiio.ads: Likewise.
1698 * libgnat/g-cgi.adb: Likewise.
1699 * libgnat/g-cgi.ads: Likewise.
1700 * libgnat/g-cgicoo.adb: Likewise.
1701 * libgnat/g-cgicoo.ads: Likewise.
1702 * libgnat/g-cgideb.adb: Likewise.
1703 * libgnat/g-cgideb.ads: Likewise.
1704 * libgnat/g-comlin.adb: Likewise.
1705 * libgnat/g-comlin.ads: Likewise.
1706 * libgnat/g-comver.adb: Likewise.
1707 * libgnat/g-comver.ads: Likewise.
1708 * libgnat/g-cppexc.adb: Likewise.
1709 * libgnat/g-cppexc.ads: Likewise.
1710 * libgnat/g-crc32.adb: Likewise.
1711 * libgnat/g-crc32.ads: Likewise.
1712 * libgnat/g-ctrl_c.adb: Likewise.
1713 * libgnat/g-ctrl_c.ads: Likewise.
1714 * libgnat/g-curexc.ads: Likewise.
1715 * libgnat/g-debpoo.adb: Likewise.
1716 * libgnat/g-debpoo.ads: Likewise.
1717 * libgnat/g-debuti.adb: Likewise.
1718 * libgnat/g-debuti.ads: Likewise.
1719 * libgnat/g-decstr.adb: Likewise.
1720 * libgnat/g-decstr.ads: Likewise.
1721 * libgnat/g-deutst.ads: Likewise.
1722 * libgnat/g-diopit.adb: Likewise.
1723 * libgnat/g-diopit.ads: Likewise.
1724 * libgnat/g-dirope.adb: Likewise.
1725 * libgnat/g-dirope.ads: Likewise.
1726 * libgnat/g-dynhta.adb: Likewise.
1727 * libgnat/g-dynhta.ads: Likewise.
1728 * libgnat/g-dyntab.adb: Likewise.
1729 * libgnat/g-dyntab.ads: Likewise.
1730 * libgnat/g-eacodu.adb: Likewise.
1731 * libgnat/g-encstr.adb: Likewise.
1732 * libgnat/g-encstr.ads: Likewise.
1733 * libgnat/g-enutst.ads: Likewise.
1734 * libgnat/g-excact.adb: Likewise.
1735 * libgnat/g-excact.ads: Likewise.
1736 * libgnat/g-except.ads: Likewise.
1737 * libgnat/g-exctra.adb: Likewise.
1738 * libgnat/g-exctra.ads: Likewise.
1739 * libgnat/g-expect.adb: Likewise.
1740 * libgnat/g-expect.ads: Likewise.
1741 * libgnat/g-exptty.adb: Likewise.
1742 * libgnat/g-exptty.ads: Likewise.
1743 * libgnat/g-flocon.ads: Likewise.
1744 * libgnat/g-forstr.adb: Likewise.
1745 * libgnat/g-forstr.ads: Likewise.
1746 * libgnat/g-graphs.adb: Likewise.
1747 * libgnat/g-graphs.ads: Likewise.
1748 * libgnat/g-heasor.adb: Likewise.
1749 * libgnat/g-heasor.ads: Likewise.
1750 * libgnat/g-hesora.adb: Likewise.
1751 * libgnat/g-hesora.ads: Likewise.
1752 * libgnat/g-hesorg.adb: Likewise.
1753 * libgnat/g-hesorg.ads: Likewise.
1754 * libgnat/g-htable.adb: Likewise.
1755 * libgnat/g-htable.ads: Likewise.
1756 * libgnat/g-io-put__vxworks.adb: Likewise.
1757 * libgnat/g-io.adb: Likewise.
1758 * libgnat/g-io.ads: Likewise.
1759 * libgnat/g-io_aux.adb: Likewise.
1760 * libgnat/g-io_aux.ads: Likewise.
1761 * libgnat/g-lists.adb: Likewise.
1762 * libgnat/g-lists.ads: Likewise.
1763 * libgnat/g-locfil.adb: Likewise.
1764 * libgnat/g-locfil.ads: Likewise.
1765 * libgnat/g-mbdira.adb: Likewise.
1766 * libgnat/g-mbdira.ads: Likewise.
1767 * libgnat/g-mbflra.adb: Likewise.
1768 * libgnat/g-mbflra.ads: Likewise.
1769 * libgnat/g-md5.adb: Likewise.
1770 * libgnat/g-md5.ads: Likewise.
1771 * libgnat/g-memdum.adb: Likewise.
1772 * libgnat/g-memdum.ads: Likewise.
1773 * libgnat/g-moreex.adb: Likewise.
1774 * libgnat/g-moreex.ads: Likewise.
1775 * libgnat/g-os_lib.adb: Likewise.
1776 * libgnat/g-os_lib.ads: Likewise.
1777 * libgnat/g-pehage.adb: Likewise.
1778 * libgnat/g-pehage.ads: Likewise.
1779 * libgnat/g-rannum.adb: Likewise.
1780 * libgnat/g-rannum.ads: Likewise.
1781 * libgnat/g-regexp.adb: Likewise.
1782 * libgnat/g-regexp.ads: Likewise.
1783 * libgnat/g-regist.adb: Likewise.
1784 * libgnat/g-regist.ads: Likewise.
1785 * libgnat/g-regpat.adb: Likewise.
1786 * libgnat/g-regpat.ads: Likewise.
1787 * libgnat/g-rewdat.adb: Likewise.
1788 * libgnat/g-rewdat.ads: Likewise.
1789 * libgnat/g-sechas.adb: Likewise.
1790 * libgnat/g-sechas.ads: Likewise.
1791 * libgnat/g-sehamd.adb: Likewise.
1792 * libgnat/g-sehamd.ads: Likewise.
1793 * libgnat/g-sehash.adb: Likewise.
1794 * libgnat/g-sehash.ads: Likewise.
1795 * libgnat/g-sercom.adb: Likewise.
1796 * libgnat/g-sercom.ads: Likewise.
1797 * libgnat/g-sercom__linux.adb: Likewise.
1798 * libgnat/g-sercom__mingw.adb: Likewise.
1799 * libgnat/g-sestin.ads: Likewise.
1800 * libgnat/g-sets.adb: Likewise.
1801 * libgnat/g-sets.ads: Likewise.
1802 * libgnat/g-sha1.adb: Likewise.
1803 * libgnat/g-sha1.ads: Likewise.
1804 * libgnat/g-sha224.ads: Likewise.
1805 * libgnat/g-sha256.ads: Likewise.
1806 * libgnat/g-sha384.ads: Likewise.
1807 * libgnat/g-sha512.ads: Likewise.
1808 * libgnat/g-shsh32.adb: Likewise.
1809 * libgnat/g-shsh32.ads: Likewise.
1810 * libgnat/g-shsh64.adb: Likewise.
1811 * libgnat/g-shsh64.ads: Likewise.
1812 * libgnat/g-shshco.adb: Likewise.
1813 * libgnat/g-shshco.ads: Likewise.
1814 * libgnat/g-soccon.ads: Likewise.
1815 * libgnat/g-socket.adb: Likewise.
1816 * libgnat/g-socket.ads: Likewise.
1817 * libgnat/g-socket__dummy.adb: Likewise.
1818 * libgnat/g-socket__dummy.ads: Likewise.
1819 * libgnat/g-socthi.adb: Likewise.
1820 * libgnat/g-socthi.ads: Likewise.
1821 * libgnat/g-socthi__dummy.adb: Likewise.
1822 * libgnat/g-socthi__dummy.ads: Likewise.
1823 * libgnat/g-socthi__mingw.adb: Likewise.
1824 * libgnat/g-socthi__mingw.ads: Likewise.
1825 * libgnat/g-socthi__vxworks.adb: Likewise.
1826 * libgnat/g-socthi__vxworks.ads: Likewise.
1827 * libgnat/g-soliop.ads: Likewise.
1828 * libgnat/g-soliop__lynxos.ads: Likewise.
1829 * libgnat/g-soliop__mingw.ads: Likewise.
1830 * libgnat/g-soliop__qnx.ads: Likewise.
1831 * libgnat/g-soliop__solaris.ads: Likewise.
1832 * libgnat/g-sothco.adb: Likewise.
1833 * libgnat/g-sothco.ads: Likewise.
1834 * libgnat/g-sothco__dummy.adb: Likewise.
1835 * libgnat/g-sothco__dummy.ads: Likewise.
1836 * libgnat/g-souinf.ads: Likewise.
1837 * libgnat/g-spchge.adb: Likewise.
1838 * libgnat/g-spchge.ads: Likewise.
1839 * libgnat/g-speche.adb: Likewise.
1840 * libgnat/g-speche.ads: Likewise.
1841 * libgnat/g-spipat.adb: Likewise.
1842 * libgnat/g-spipat.ads: Likewise.
1843 * libgnat/g-spitbo.adb: Likewise.
1844 * libgnat/g-spitbo.ads: Likewise.
1845 * libgnat/g-sptabo.ads: Likewise.
1846 * libgnat/g-sptain.ads: Likewise.
1847 * libgnat/g-sptavs.ads: Likewise.
1848 * libgnat/g-sse.ads: Likewise.
1849 * libgnat/g-ssvety.ads: Likewise.
1850 * libgnat/g-sthcso.adb: Likewise.
1851 * libgnat/g-stheme.adb: Likewise.
1852 * libgnat/g-strhas.ads: Likewise.
1853 * libgnat/g-string.adb: Likewise.
1854 * libgnat/g-string.ads: Likewise.
1855 * libgnat/g-strspl.ads: Likewise.
1856 * libgnat/g-stseme.adb: Likewise.
1857 * libgnat/g-stsifd__sockets.adb: Likewise.
1858 * libgnat/g-table.adb: Likewise.
1859 * libgnat/g-table.ads: Likewise.
1860 * libgnat/g-tasloc.adb: Likewise.
1861 * libgnat/g-tasloc.ads: Likewise.
1862 * libgnat/g-timsta.adb: Likewise.
1863 * libgnat/g-timsta.ads: Likewise.
1864 * libgnat/g-traceb.adb: Likewise.
1865 * libgnat/g-traceb.ads: Likewise.
1866 * libgnat/g-trasym.adb: Likewise.
1867 * libgnat/g-trasym.ads: Likewise.
1868 * libgnat/g-tty.adb: Likewise.
1869 * libgnat/g-tty.ads: Likewise.
1870 * libgnat/g-u3spch.adb: Likewise.
1871 * libgnat/g-u3spch.ads: Likewise.
1872 * libgnat/g-utf_32.adb: Likewise.
1873 * libgnat/g-utf_32.ads: Likewise.
1874 * libgnat/g-wispch.adb: Likewise.
1875 * libgnat/g-wispch.ads: Likewise.
1876 * libgnat/g-wistsp.ads: Likewise.
1877 * libgnat/g-zspche.adb: Likewise.
1878 * libgnat/g-zspche.ads: Likewise.
1879 * libgnat/g-zstspl.ads: Likewise.
1880 * libgnat/gnat.ads: Likewise.
1881 * libgnat/i-c.adb: Likewise.
1882 * libgnat/i-cexten.ads: Likewise.
1883 * libgnat/i-cobol.adb: Likewise.
1884 * libgnat/i-cobol.ads: Likewise.
1885 * libgnat/i-cpoint.adb: Likewise.
1886 * libgnat/i-cpoint.ads: Likewise.
1887 * libgnat/i-cstrea.adb: Likewise.
1888 * libgnat/i-cstrea.ads: Likewise.
1889 * libgnat/i-cstrin.adb: Likewise.
1890 * libgnat/i-cstrin.ads: Likewise.
1891 * libgnat/i-fortra.adb: Likewise.
1892 * libgnat/i-pacdec.adb: Likewise.
1893 * libgnat/i-pacdec.ads: Likewise.
1894 * libgnat/i-vxwoio.adb: Likewise.
1895 * libgnat/i-vxwoio.ads: Likewise.
1896 * libgnat/i-vxwork.ads: Likewise.
1897 * libgnat/i-vxwork__x86.ads: Likewise.
1898 * libgnat/interfac.ads: Likewise.
1899 * libgnat/memtrack.adb: Likewise.
1900 * libgnat/s-addima.adb: Likewise.
1901 * libgnat/s-addima.ads: Likewise.
1902 * libgnat/s-addope.adb: Likewise.
1903 * libgnat/s-addope.ads: Likewise.
1904 * libgnat/s-aotase.adb: Likewise.
1905 * libgnat/s-aotase.ads: Likewise.
1906 * libgnat/s-arit64.adb: Likewise.
1907 * libgnat/s-arit64.ads: Likewise.
1908 * libgnat/s-assert.adb: Likewise.
1909 * libgnat/s-assert.ads: Likewise.
1910 * libgnat/s-atacco.adb: Likewise.
1911 * libgnat/s-atacco.ads: Likewise.
1912 * libgnat/s-atocou.adb: Likewise.
1913 * libgnat/s-atocou.ads: Likewise.
1914 * libgnat/s-atocou__builtin.adb: Likewise.
1915 * libgnat/s-atocou__x86.adb: Likewise.
1916 * libgnat/s-atoope.ads: Likewise.
1917 * libgnat/s-atopar.adb: Likewise.
1918 * libgnat/s-atopar.ads: Likewise.
1919 * libgnat/s-atopex.adb: Likewise.
1920 * libgnat/s-atopex.ads: Likewise.
1921 * libgnat/s-atopri.adb: Likewise.
1922 * libgnat/s-atopri.ads: Likewise.
1923 * libgnat/s-auxdec.adb: Likewise.
1924 * libgnat/s-auxdec.ads: Likewise.
1925 * libgnat/s-bignum.adb: Likewise.
1926 * libgnat/s-bignum.ads: Likewise.
1927 * libgnat/s-bitfie.ads: Likewise.
1928 * libgnat/s-bitops.adb: Likewise.
1929 * libgnat/s-bitops.ads: Likewise.
1930 * libgnat/s-bituti.adb: Likewise.
1931 * libgnat/s-bituti.ads: Likewise.
1932 * libgnat/s-boarop.ads: Likewise.
1933 * libgnat/s-boustr.adb: Likewise.
1934 * libgnat/s-boustr.ads: Likewise.
1935 * libgnat/s-bytswa.ads: Likewise.
1936 * libgnat/s-carsi8.adb: Likewise.
1937 * libgnat/s-carsi8.ads: Likewise.
1938 * libgnat/s-carun8.adb: Likewise.
1939 * libgnat/s-carun8.ads: Likewise.
1940 * libgnat/s-casi16.adb: Likewise.
1941 * libgnat/s-casi16.ads: Likewise.
1942 * libgnat/s-casi32.adb: Likewise.
1943 * libgnat/s-casi32.ads: Likewise.
1944 * libgnat/s-casi64.adb: Likewise.
1945 * libgnat/s-casi64.ads: Likewise.
1946 * libgnat/s-casuti.adb: Likewise.
1947 * libgnat/s-casuti.ads: Likewise.
1948 * libgnat/s-caun16.adb: Likewise.
1949 * libgnat/s-caun16.ads: Likewise.
1950 * libgnat/s-caun32.adb: Likewise.
1951 * libgnat/s-caun32.ads: Likewise.
1952 * libgnat/s-caun64.adb: Likewise.
1953 * libgnat/s-caun64.ads: Likewise.
1954 * libgnat/s-chepoo.ads: Likewise.
1955 * libgnat/s-commun.adb: Likewise.
1956 * libgnat/s-commun.ads: Likewise.
1957 * libgnat/s-conca2.adb: Likewise.
1958 * libgnat/s-conca2.ads: Likewise.
1959 * libgnat/s-conca3.adb: Likewise.
1960 * libgnat/s-conca3.ads: Likewise.
1961 * libgnat/s-conca4.adb: Likewise.
1962 * libgnat/s-conca4.ads: Likewise.
1963 * libgnat/s-conca5.adb: Likewise.
1964 * libgnat/s-conca5.ads: Likewise.
1965 * libgnat/s-conca6.adb: Likewise.
1966 * libgnat/s-conca6.ads: Likewise.
1967 * libgnat/s-conca7.adb: Likewise.
1968 * libgnat/s-conca7.ads: Likewise.
1969 * libgnat/s-conca8.adb: Likewise.
1970 * libgnat/s-conca8.ads: Likewise.
1971 * libgnat/s-conca9.adb: Likewise.
1972 * libgnat/s-conca9.ads: Likewise.
1973 * libgnat/s-crc32.adb: Likewise.
1974 * libgnat/s-crc32.ads: Likewise.
1975 * libgnat/s-crtl.ads: Likewise.
1976 * libgnat/s-dfmkio.ads: Likewise.
1977 * libgnat/s-dfmopr.ads: Likewise.
1978 * libgnat/s-dgmgop.ads: Likewise.
1979 * libgnat/s-diflio.adb: Likewise.
1980 * libgnat/s-diflio.ads: Likewise.
1981 * libgnat/s-diflmk.ads: Likewise.
1982 * libgnat/s-digemk.ads: Likewise.
1983 * libgnat/s-diinio.adb: Likewise.
1984 * libgnat/s-diinio.ads: Likewise.
1985 * libgnat/s-dilomk.ads: Likewise.
1986 * libgnat/s-dim.ads: Likewise.
1987 * libgnat/s-dimkio.ads: Likewise.
1988 * libgnat/s-dimmks.ads: Likewise.
1989 * libgnat/s-direio.adb: Likewise.
1990 * libgnat/s-direio.ads: Likewise.
1991 * libgnat/s-dlmkio.ads: Likewise.
1992 * libgnat/s-dlmopr.ads: Likewise.
1993 * libgnat/s-dmotpr.ads: Likewise.
1994 * libgnat/s-dsaser.ads: Likewise.
1995 * libgnat/s-dwalin.adb: Likewise.
1996 * libgnat/s-dwalin.ads: Likewise.
1997 * libgnat/s-elaall.adb: Likewise.
1998 * libgnat/s-elaall.ads: Likewise.
1999 * libgnat/s-excdeb.adb: Likewise.
2000 * libgnat/s-excdeb.ads: Likewise.
2001 * libgnat/s-except.adb: Likewise.
2002 * libgnat/s-except.ads: Likewise.
2003 * libgnat/s-excmac__arm.adb: Likewise.
2004 * libgnat/s-excmac__arm.ads: Likewise.
2005 * libgnat/s-excmac__gcc.adb: Likewise.
2006 * libgnat/s-excmac__gcc.ads: Likewise.
2007 * libgnat/s-exctab.adb: Likewise.
2008 * libgnat/s-exctab.ads: Likewise.
2009 * libgnat/s-exctra.adb: Likewise.
2010 * libgnat/s-exctra.ads: Likewise.
2011 * libgnat/s-exnint.adb: Likewise.
2012 * libgnat/s-exnint.ads: Likewise.
2013 * libgnat/s-exnllf.adb: Likewise.
2014 * libgnat/s-exnllf.ads: Likewise.
2015 * libgnat/s-exnlli.adb: Likewise.
2016 * libgnat/s-exnlli.ads: Likewise.
2017 * libgnat/s-expint.adb: Likewise.
2018 * libgnat/s-expint.ads: Likewise.
2019 * libgnat/s-explli.adb: Likewise.
2020 * libgnat/s-explli.ads: Likewise.
2021 * libgnat/s-expllu.adb: Likewise.
2022 * libgnat/s-expllu.ads: Likewise.
2023 * libgnat/s-expmod.adb: Likewise.
2024 * libgnat/s-expmod.ads: Likewise.
2025 * libgnat/s-expuns.adb: Likewise.
2026 * libgnat/s-expuns.ads: Likewise.
2027 * libgnat/s-fatflt.ads: Likewise.
2028 * libgnat/s-fatgen.adb: Likewise.
2029 * libgnat/s-fatgen.ads: Likewise.
2030 * libgnat/s-fatlfl.ads: Likewise.
2031 * libgnat/s-fatllf.ads: Likewise.
2032 * libgnat/s-fatsfl.ads: Likewise.
2033 * libgnat/s-ficobl.ads: Likewise.
2034 * libgnat/s-filatt.ads: Likewise.
2035 * libgnat/s-fileio.adb: Likewise.
2036 * libgnat/s-fileio.ads: Likewise.
2037 * libgnat/s-finmas.adb: Likewise.
2038 * libgnat/s-finmas.ads: Likewise.
2039 * libgnat/s-finroo.adb: Likewise.
2040 * libgnat/s-finroo.ads: Likewise.
2041 * libgnat/s-flocon.adb: Likewise.
2042 * libgnat/s-flocon.ads: Likewise.
2043 * libgnat/s-flocon__none.adb: Likewise.
2044 * libgnat/s-fore.adb: Likewise.
2045 * libgnat/s-fore.ads: Likewise.
2046 * libgnat/s-gearop.adb: Likewise.
2047 * libgnat/s-gearop.ads: Likewise.
2048 * libgnat/s-genbig.adb: Likewise.
2049 * libgnat/s-genbig.ads: Likewise.
2050 * libgnat/s-geveop.adb: Likewise.
2051 * libgnat/s-geveop.ads: Likewise.
2052 * libgnat/s-gloloc.adb: Likewise.
2053 * libgnat/s-gloloc.ads: Likewise.
2054 * libgnat/s-gloloc__mingw.adb: Likewise.
2055 * libgnat/s-htable.adb: Likewise.
2056 * libgnat/s-htable.ads: Likewise.
2057 * libgnat/s-imenne.adb: Likewise.
2058 * libgnat/s-imenne.ads: Likewise.
2059 * libgnat/s-imgbiu.adb: Likewise.
2060 * libgnat/s-imgbiu.ads: Likewise.
2061 * libgnat/s-imgboo.adb: Likewise.
2062 * libgnat/s-imgboo.ads: Likewise.
2063 * libgnat/s-imgcha.adb: Likewise.
2064 * libgnat/s-imgcha.ads: Likewise.
2065 * libgnat/s-imgdec.adb: Likewise.
2066 * libgnat/s-imgdec.ads: Likewise.
2067 * libgnat/s-imgenu.adb: Likewise.
2068 * libgnat/s-imgenu.ads: Likewise.
2069 * libgnat/s-imgint.adb: Likewise.
2070 * libgnat/s-imgint.ads: Likewise.
2071 * libgnat/s-imgllb.adb: Likewise.
2072 * libgnat/s-imgllb.ads: Likewise.
2073 * libgnat/s-imglld.adb: Likewise.
2074 * libgnat/s-imglld.ads: Likewise.
2075 * libgnat/s-imglli.adb: Likewise.
2076 * libgnat/s-imglli.ads: Likewise.
2077 * libgnat/s-imgllu.adb: Likewise.
2078 * libgnat/s-imgllu.ads: Likewise.
2079 * libgnat/s-imgllw.adb: Likewise.
2080 * libgnat/s-imgllw.ads: Likewise.
2081 * libgnat/s-imgrea.adb: Likewise.
2082 * libgnat/s-imgrea.ads: Likewise.
2083 * libgnat/s-imguns.adb: Likewise.
2084 * libgnat/s-imguns.ads: Likewise.
2085 * libgnat/s-imgwch.adb: Likewise.
2086 * libgnat/s-imgwch.ads: Likewise.
2087 * libgnat/s-imgwiu.adb: Likewise.
2088 * libgnat/s-imgwiu.ads: Likewise.
2089 * libgnat/s-io.adb: Likewise.
2090 * libgnat/s-io.ads: Likewise.
2091 * libgnat/s-llflex.ads: Likewise.
2092 * libgnat/s-maccod.ads: Likewise.
2093 * libgnat/s-mantis.adb: Likewise.
2094 * libgnat/s-mantis.ads: Likewise.
2095 * libgnat/s-mastop.adb: Likewise.
2096 * libgnat/s-mastop.ads: Likewise.
2097 * libgnat/s-memcop.ads: Likewise.
2098 * libgnat/s-memory.adb: Likewise.
2099 * libgnat/s-memory.ads: Likewise.
2100 * libgnat/s-mmap.adb: Likewise.
2101 * libgnat/s-mmap.ads: Likewise.
2102 * libgnat/s-mmauni__long.ads: Likewise.
2103 * libgnat/s-mmosin__mingw.adb: Likewise.
2104 * libgnat/s-mmosin__mingw.ads: Likewise.
2105 * libgnat/s-mmosin__unix.adb: Likewise.
2106 * libgnat/s-mmosin__unix.ads: Likewise.
2107 * libgnat/s-multip.adb: Likewise.
2108 * libgnat/s-objrea.adb: Likewise.
2109 * libgnat/s-objrea.ads: Likewise.
2110 * libgnat/s-optide.adb: Likewise.
2111 * libgnat/s-os_lib.adb: Likewise.
2112 * libgnat/s-os_lib.ads: Likewise.
2113 * libgnat/s-osprim.ads: Likewise.
2114 * libgnat/s-osprim__darwin.adb: Likewise.
2115 * libgnat/s-osprim__lynxos.ads: Likewise.
2116 * libgnat/s-osprim__mingw.adb: Likewise.
2117 * libgnat/s-osprim__posix.adb: Likewise.
2118 * libgnat/s-osprim__posix2008.adb: Likewise.
2119 * libgnat/s-osprim__rtems.adb: Likewise.
2120 * libgnat/s-osprim__solaris.adb: Likewise.
2121 * libgnat/s-osprim__unix.adb: Likewise.
2122 * libgnat/s-osprim__vxworks.adb: Likewise.
2123 * libgnat/s-osprim__x32.adb: Likewise.
2124 * libgnat/s-osvers__vxworks-653.ads: Likewise.
2125 * libgnat/s-pack03.adb: Likewise.
2126 * libgnat/s-pack03.ads: Likewise.
2127 * libgnat/s-pack05.adb: Likewise.
2128 * libgnat/s-pack05.ads: Likewise.
2129 * libgnat/s-pack06.adb: Likewise.
2130 * libgnat/s-pack06.ads: Likewise.
2131 * libgnat/s-pack07.adb: Likewise.
2132 * libgnat/s-pack07.ads: Likewise.
2133 * libgnat/s-pack09.adb: Likewise.
2134 * libgnat/s-pack09.ads: Likewise.
2135 * libgnat/s-pack10.adb: Likewise.
2136 * libgnat/s-pack10.ads: Likewise.
2137 * libgnat/s-pack11.adb: Likewise.
2138 * libgnat/s-pack11.ads: Likewise.
2139 * libgnat/s-pack12.adb: Likewise.
2140 * libgnat/s-pack12.ads: Likewise.
2141 * libgnat/s-pack13.adb: Likewise.
2142 * libgnat/s-pack13.ads: Likewise.
2143 * libgnat/s-pack14.adb: Likewise.
2144 * libgnat/s-pack14.ads: Likewise.
2145 * libgnat/s-pack15.adb: Likewise.
2146 * libgnat/s-pack15.ads: Likewise.
2147 * libgnat/s-pack17.adb: Likewise.
2148 * libgnat/s-pack17.ads: Likewise.
2149 * libgnat/s-pack18.adb: Likewise.
2150 * libgnat/s-pack18.ads: Likewise.
2151 * libgnat/s-pack19.adb: Likewise.
2152 * libgnat/s-pack19.ads: Likewise.
2153 * libgnat/s-pack20.adb: Likewise.
2154 * libgnat/s-pack20.ads: Likewise.
2155 * libgnat/s-pack21.adb: Likewise.
2156 * libgnat/s-pack21.ads: Likewise.
2157 * libgnat/s-pack22.adb: Likewise.
2158 * libgnat/s-pack22.ads: Likewise.
2159 * libgnat/s-pack23.adb: Likewise.
2160 * libgnat/s-pack23.ads: Likewise.
2161 * libgnat/s-pack24.adb: Likewise.
2162 * libgnat/s-pack24.ads: Likewise.
2163 * libgnat/s-pack25.adb: Likewise.
2164 * libgnat/s-pack25.ads: Likewise.
2165 * libgnat/s-pack26.adb: Likewise.
2166 * libgnat/s-pack26.ads: Likewise.
2167 * libgnat/s-pack27.adb: Likewise.
2168 * libgnat/s-pack27.ads: Likewise.
2169 * libgnat/s-pack28.adb: Likewise.
2170 * libgnat/s-pack28.ads: Likewise.
2171 * libgnat/s-pack29.adb: Likewise.
2172 * libgnat/s-pack29.ads: Likewise.
2173 * libgnat/s-pack30.adb: Likewise.
2174 * libgnat/s-pack30.ads: Likewise.
2175 * libgnat/s-pack31.adb: Likewise.
2176 * libgnat/s-pack31.ads: Likewise.
2177 * libgnat/s-pack33.adb: Likewise.
2178 * libgnat/s-pack33.ads: Likewise.
2179 * libgnat/s-pack34.adb: Likewise.
2180 * libgnat/s-pack34.ads: Likewise.
2181 * libgnat/s-pack35.adb: Likewise.
2182 * libgnat/s-pack35.ads: Likewise.
2183 * libgnat/s-pack36.adb: Likewise.
2184 * libgnat/s-pack36.ads: Likewise.
2185 * libgnat/s-pack37.adb: Likewise.
2186 * libgnat/s-pack37.ads: Likewise.
2187 * libgnat/s-pack38.adb: Likewise.
2188 * libgnat/s-pack38.ads: Likewise.
2189 * libgnat/s-pack39.adb: Likewise.
2190 * libgnat/s-pack39.ads: Likewise.
2191 * libgnat/s-pack40.adb: Likewise.
2192 * libgnat/s-pack40.ads: Likewise.
2193 * libgnat/s-pack41.adb: Likewise.
2194 * libgnat/s-pack41.ads: Likewise.
2195 * libgnat/s-pack42.adb: Likewise.
2196 * libgnat/s-pack42.ads: Likewise.
2197 * libgnat/s-pack43.adb: Likewise.
2198 * libgnat/s-pack43.ads: Likewise.
2199 * libgnat/s-pack44.adb: Likewise.
2200 * libgnat/s-pack44.ads: Likewise.
2201 * libgnat/s-pack45.adb: Likewise.
2202 * libgnat/s-pack45.ads: Likewise.
2203 * libgnat/s-pack46.adb: Likewise.
2204 * libgnat/s-pack46.ads: Likewise.
2205 * libgnat/s-pack47.adb: Likewise.
2206 * libgnat/s-pack47.ads: Likewise.
2207 * libgnat/s-pack48.adb: Likewise.
2208 * libgnat/s-pack48.ads: Likewise.
2209 * libgnat/s-pack49.adb: Likewise.
2210 * libgnat/s-pack49.ads: Likewise.
2211 * libgnat/s-pack50.adb: Likewise.
2212 * libgnat/s-pack50.ads: Likewise.
2213 * libgnat/s-pack51.adb: Likewise.
2214 * libgnat/s-pack51.ads: Likewise.
2215 * libgnat/s-pack52.adb: Likewise.
2216 * libgnat/s-pack52.ads: Likewise.
2217 * libgnat/s-pack53.adb: Likewise.
2218 * libgnat/s-pack53.ads: Likewise.
2219 * libgnat/s-pack54.adb: Likewise.
2220 * libgnat/s-pack54.ads: Likewise.
2221 * libgnat/s-pack55.adb: Likewise.
2222 * libgnat/s-pack55.ads: Likewise.
2223 * libgnat/s-pack56.adb: Likewise.
2224 * libgnat/s-pack56.ads: Likewise.
2225 * libgnat/s-pack57.adb: Likewise.
2226 * libgnat/s-pack57.ads: Likewise.
2227 * libgnat/s-pack58.adb: Likewise.
2228 * libgnat/s-pack58.ads: Likewise.
2229 * libgnat/s-pack59.adb: Likewise.
2230 * libgnat/s-pack59.ads: Likewise.
2231 * libgnat/s-pack60.adb: Likewise.
2232 * libgnat/s-pack60.ads: Likewise.
2233 * libgnat/s-pack61.adb: Likewise.
2234 * libgnat/s-pack61.ads: Likewise.
2235 * libgnat/s-pack62.adb: Likewise.
2236 * libgnat/s-pack62.ads: Likewise.
2237 * libgnat/s-pack63.adb: Likewise.
2238 * libgnat/s-pack63.ads: Likewise.
2239 * libgnat/s-parame.adb: Likewise.
2240 * libgnat/s-parame.ads: Likewise.
2241 * libgnat/s-parame__ae653.ads: Likewise.
2242 * libgnat/s-parame__hpux.ads: Likewise.
2243 * libgnat/s-parame__rtems.adb: Likewise.
2244 * libgnat/s-parame__vxworks.adb: Likewise.
2245 * libgnat/s-parame__vxworks.ads: Likewise.
2246 * libgnat/s-parint.adb: Likewise.
2247 * libgnat/s-parint.ads: Likewise.
2248 * libgnat/s-pooglo.adb: Likewise.
2249 * libgnat/s-pooglo.ads: Likewise.
2250 * libgnat/s-pooloc.adb: Likewise.
2251 * libgnat/s-pooloc.ads: Likewise.
2252 * libgnat/s-poosiz.adb: Likewise.
2253 * libgnat/s-poosiz.ads: Likewise.
2254 * libgnat/s-powtab.ads: Likewise.
2255 * libgnat/s-purexc.ads: Likewise.
2256 * libgnat/s-rannum.adb: Likewise.
2257 * libgnat/s-rannum.ads: Likewise.
2258 * libgnat/s-ransee.adb: Likewise.
2259 * libgnat/s-ransee.ads: Likewise.
2260 * libgnat/s-regexp.adb: Likewise.
2261 * libgnat/s-regexp.ads: Likewise.
2262 * libgnat/s-regpat.adb: Likewise.
2263 * libgnat/s-regpat.ads: Likewise.
2264 * libgnat/s-resfil.adb: Likewise.
2265 * libgnat/s-resfil.ads: Likewise.
2266 * libgnat/s-restri.adb: Likewise.
2267 * libgnat/s-restri.ads: Likewise.
2268 * libgnat/s-rident.ads: Likewise.
2269 * libgnat/s-rpc.adb: Likewise.
2270 * libgnat/s-rpc.ads: Likewise.
2271 * libgnat/s-scaval.adb: Likewise.
2272 * libgnat/s-scaval.ads: Likewise.
2273 * libgnat/s-secsta.adb: Likewise.
2274 * libgnat/s-secsta.ads: Likewise.
2275 * libgnat/s-sequio.adb: Likewise.
2276 * libgnat/s-sequio.ads: Likewise.
2277 * libgnat/s-shasto.adb: Likewise.
2278 * libgnat/s-shasto.ads: Likewise.
2279 * libgnat/s-soflin.adb: Likewise.
2280 * libgnat/s-soflin.ads: Likewise.
2281 * libgnat/s-soliin.adb: Likewise.
2282 * libgnat/s-soliin.ads: Likewise.
2283 * libgnat/s-sopco3.adb: Likewise.
2284 * libgnat/s-sopco3.ads: Likewise.
2285 * libgnat/s-sopco4.adb: Likewise.
2286 * libgnat/s-sopco4.ads: Likewise.
2287 * libgnat/s-sopco5.adb: Likewise.
2288 * libgnat/s-sopco5.ads: Likewise.
2289 * libgnat/s-spsufi.adb: Likewise.
2290 * libgnat/s-spsufi.ads: Likewise.
2291 * libgnat/s-stache.adb: Likewise.
2292 * libgnat/s-stache.ads: Likewise.
2293 * libgnat/s-stalib.adb: Likewise.
2294 * libgnat/s-stalib.ads: Likewise.
2295 * libgnat/s-stausa.adb: Likewise.
2296 * libgnat/s-stausa.ads: Likewise.
2297 * libgnat/s-stchop.adb: Likewise.
2298 * libgnat/s-stchop.ads: Likewise.
2299 * libgnat/s-stchop__limit.ads: Likewise.
2300 * libgnat/s-stchop__rtems.adb: Likewise.
2301 * libgnat/s-stchop__vxworks.adb: Likewise.
2302 * libgnat/s-stoele.adb: Likewise.
2303 * libgnat/s-stoele.ads: Likewise.
2304 * libgnat/s-stopoo.adb: Likewise.
2305 * libgnat/s-stopoo.ads: Likewise.
2306 * libgnat/s-stposu.adb: Likewise.
2307 * libgnat/s-stposu.ads: Likewise.
2308 * libgnat/s-stratt.adb: Likewise.
2309 * libgnat/s-stratt.ads: Likewise.
2310 * libgnat/s-stratt__xdr.adb: Likewise.
2311 * libgnat/s-strcom.adb: Likewise.
2312 * libgnat/s-strcom.ads: Likewise.
2313 * libgnat/s-strhas.adb: Likewise.
2314 * libgnat/s-strhas.ads: Likewise.
2315 * libgnat/s-string.adb: Likewise.
2316 * libgnat/s-string.ads: Likewise.
2317 * libgnat/s-strops.adb: Likewise.
2318 * libgnat/s-strops.ads: Likewise.
2319 * libgnat/s-ststop.adb: Likewise.
2320 * libgnat/s-ststop.ads: Likewise.
2321 * libgnat/s-tasloc.adb: Likewise.
2322 * libgnat/s-tasloc.ads: Likewise.
2323 * libgnat/s-thread.ads: Likewise.
2324 * libgnat/s-thread__ae653.adb: Likewise.
2325 * libgnat/s-traceb.adb: Likewise.
2326 * libgnat/s-traceb.ads: Likewise.
2327 * libgnat/s-traceb__hpux.adb: Likewise.
2328 * libgnat/s-traceb__mastop.adb: Likewise.
2329 * libgnat/s-traent.adb: Likewise.
2330 * libgnat/s-traent.ads: Likewise.
2331 * libgnat/s-trasym.adb: Likewise.
2332 * libgnat/s-trasym.ads: Likewise.
2333 * libgnat/s-trasym__dwarf.adb: Likewise.
2334 * libgnat/s-tsmona.adb: Likewise.
2335 * libgnat/s-tsmona__linux.adb: Likewise.
2336 * libgnat/s-tsmona__mingw.adb: Likewise.
2337 * libgnat/s-unstyp.ads: Likewise.
2338 * libgnat/s-utf_32.adb: Likewise.
2339 * libgnat/s-utf_32.ads: Likewise.
2340 * libgnat/s-valboo.adb: Likewise.
2341 * libgnat/s-valboo.ads: Likewise.
2342 * libgnat/s-valcha.adb: Likewise.
2343 * libgnat/s-valcha.ads: Likewise.
2344 * libgnat/s-valdec.adb: Likewise.
2345 * libgnat/s-valdec.ads: Likewise.
2346 * libgnat/s-valenu.adb: Likewise.
2347 * libgnat/s-valenu.ads: Likewise.
2348 * libgnat/s-valint.adb: Likewise.
2349 * libgnat/s-valint.ads: Likewise.
2350 * libgnat/s-vallld.adb: Likewise.
2351 * libgnat/s-vallld.ads: Likewise.
2352 * libgnat/s-vallli.adb: Likewise.
2353 * libgnat/s-vallli.ads: Likewise.
2354 * libgnat/s-valllu.adb: Likewise.
2355 * libgnat/s-valllu.ads: Likewise.
2356 * libgnat/s-valrea.adb: Likewise.
2357 * libgnat/s-valrea.ads: Likewise.
2358 * libgnat/s-valuns.adb: Likewise.
2359 * libgnat/s-valuns.ads: Likewise.
2360 * libgnat/s-valuti.adb: Likewise.
2361 * libgnat/s-valuti.ads: Likewise.
2362 * libgnat/s-valwch.adb: Likewise.
2363 * libgnat/s-valwch.ads: Likewise.
2364 * libgnat/s-veboop.adb: Likewise.
2365 * libgnat/s-veboop.ads: Likewise.
2366 * libgnat/s-vector.ads: Likewise.
2367 * libgnat/s-vercon.adb: Likewise.
2368 * libgnat/s-vercon.ads: Likewise.
2369 * libgnat/s-wchcnv.adb: Likewise.
2370 * libgnat/s-wchcnv.ads: Likewise.
2371 * libgnat/s-wchcon.adb: Likewise.
2372 * libgnat/s-wchcon.ads: Likewise.
2373 * libgnat/s-wchjis.adb: Likewise.
2374 * libgnat/s-wchjis.ads: Likewise.
2375 * libgnat/s-wchstw.adb: Likewise.
2376 * libgnat/s-wchstw.ads: Likewise.
2377 * libgnat/s-wchwts.adb: Likewise.
2378 * libgnat/s-wchwts.ads: Likewise.
2379 * libgnat/s-widboo.adb: Likewise.
2380 * libgnat/s-widboo.ads: Likewise.
2381 * libgnat/s-widcha.adb: Likewise.
2382 * libgnat/s-widcha.ads: Likewise.
2383 * libgnat/s-widenu.adb: Likewise.
2384 * libgnat/s-widenu.ads: Likewise.
2385 * libgnat/s-widlli.adb: Likewise.
2386 * libgnat/s-widlli.ads: Likewise.
2387 * libgnat/s-widllu.adb: Likewise.
2388 * libgnat/s-widllu.ads: Likewise.
2389 * libgnat/s-widwch.adb: Likewise.
2390 * libgnat/s-widwch.ads: Likewise.
2391 * libgnat/s-win32.ads: Likewise.
2392 * libgnat/s-winext.ads: Likewise.
2393 * libgnat/s-wwdcha.adb: Likewise.
2394 * libgnat/s-wwdcha.ads: Likewise.
2395 * libgnat/s-wwdenu.adb: Likewise.
2396 * libgnat/s-wwdenu.ads: Likewise.
2397 * libgnat/s-wwdwch.adb: Likewise.
2398 * libgnat/s-wwdwch.ads: Likewise.
2399 * libgnat/system-aix.ads: Likewise.
2400 * libgnat/system-darwin-arm.ads: Likewise.
2401 * libgnat/system-darwin-ppc.ads: Likewise.
2402 * libgnat/system-darwin-x86.ads: Likewise.
2403 * libgnat/system-djgpp.ads: Likewise.
2404 * libgnat/system-dragonfly-x86_64.ads: Likewise.
2405 * libgnat/system-freebsd.ads: Likewise.
2406 * libgnat/system-hpux-ia64.ads: Likewise.
2407 * libgnat/system-hpux.ads: Likewise.
2408 * libgnat/system-linux-alpha.ads: Likewise.
2409 * libgnat/system-linux-arm.ads: Likewise.
2410 * libgnat/system-linux-hppa.ads: Likewise.
2411 * libgnat/system-linux-ia64.ads: Likewise.
2412 * libgnat/system-linux-m68k.ads: Likewise.
2413 * libgnat/system-linux-mips.ads: Likewise.
2414 * libgnat/system-linux-ppc.ads: Likewise.
2415 * libgnat/system-linux-riscv.ads: Likewise.
2416 * libgnat/system-linux-s390.ads: Likewise.
2417 * libgnat/system-linux-sh4.ads: Likewise.
2418 * libgnat/system-linux-sparc.ads: Likewise.
2419 * libgnat/system-linux-x86.ads: Likewise.
2420 * libgnat/system-lynxos178-ppc.ads: Likewise.
2421 * libgnat/system-lynxos178-x86.ads: Likewise.
2422 * libgnat/system-mingw.ads: Likewise.
2423 * libgnat/system-qnx-aarch64.ads: Likewise.
2424 * libgnat/system-rtems.ads: Likewise.
2425 * libgnat/system-solaris-sparc.ads: Likewise.
2426 * libgnat/system-solaris-x86.ads: Likewise.
2427 * libgnat/system-vxworks-arm-rtp-smp.ads: Likewise.
2428 * libgnat/system-vxworks-arm-rtp.ads: Likewise.
2429 * libgnat/system-vxworks-arm.ads: Likewise.
2430 * libgnat/system-vxworks-e500-kernel.ads: Likewise.
2431 * libgnat/system-vxworks-e500-rtp-smp.ads: Likewise.
2432 * libgnat/system-vxworks-e500-rtp.ads: Likewise.
2433 * libgnat/system-vxworks-e500-vthread.ads: Likewise.
2434 * libgnat/system-vxworks-ppc-kernel.ads: Likewise.
2435 * libgnat/system-vxworks-ppc-ravenscar.ads: Likewise.
2436 * libgnat/system-vxworks-ppc-rtp-smp.ads: Likewise.
2437 * libgnat/system-vxworks-ppc-rtp.ads: Likewise.
2438 * libgnat/system-vxworks-ppc-vthread.ads: Likewise.
2439 * libgnat/system-vxworks-ppc.ads: Likewise.
2440 * libgnat/system-vxworks-x86-kernel.ads: Likewise.
2441 * libgnat/system-vxworks-x86-rtp-smp.ads: Likewise.
2442 * libgnat/system-vxworks-x86-rtp.ads: Likewise.
2443 * libgnat/system-vxworks-x86-vthread.ads: Likewise.
2444 * libgnat/system-vxworks-x86.ads: Likewise.
2445 * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Likewise.
2446 * libgnat/system-vxworks7-aarch64.ads: Likewise.
2447 * libgnat/system-vxworks7-arm-rtp-smp.ads: Likewise.
2448 * libgnat/system-vxworks7-arm.ads: Likewise.
2449 * libgnat/system-vxworks7-e500-kernel.ads: Likewise.
2450 * libgnat/system-vxworks7-e500-rtp-smp.ads: Likewise.
2451 * libgnat/system-vxworks7-e500-rtp.ads: Likewise.
2452 * libgnat/system-vxworks7-ppc-kernel.ads: Likewise.
2453 * libgnat/system-vxworks7-ppc-rtp-smp.ads: Likewise.
2454 * libgnat/system-vxworks7-ppc-rtp.ads: Likewise.
2455 * libgnat/system-vxworks7-ppc64-kernel.ads: Likewise.
2456 * libgnat/system-vxworks7-ppc64-rtp-smp.ads: Likewise.
2457 * libgnat/system-vxworks7-x86-kernel.ads: Likewise.
2458 * libgnat/system-vxworks7-x86-rtp-smp.ads: Likewise.
2459 * libgnat/system-vxworks7-x86-rtp.ads: Likewise.
2460 * libgnat/system-vxworks7-x86_64-kernel.ads: Likewise.
2461 * libgnat/system-vxworks7-x86_64-rtp-smp.ads: Likewise.
2462 * libgnat/system.ads: Likewise.
2464 * live.adb: Likewise.
2465 * live.ads: Likewise.
2466 * locales.c: Likewise.
2467 * make.adb: Likewise.
2468 * make.ads: Likewise.
2469 * make_util.adb: Likewise.
2470 * make_util.ads: Likewise.
2471 * makeusg.adb: Likewise.
2472 * makeusg.ads: Likewise.
2473 * mdll-fil.adb: Likewise.
2474 * mdll-fil.ads: Likewise.
2475 * mdll-utl.adb: Likewise.
2476 * mdll-utl.ads: Likewise.
2477 * mdll.adb: Likewise.
2478 * mdll.ads: Likewise.
2479 * mingw32.h: Likewise.
2480 * mkdir.c: Likewise.
2481 * namet-sp.adb: Likewise.
2482 * namet-sp.ads: Likewise.
2483 * namet.adb: Likewise.
2484 * namet.ads: Likewise.
2485 * namet.h: Likewise.
2486 * nlists.adb: Likewise.
2487 * nlists.ads: Likewise.
2488 * nlists.h: Likewise.
2489 * opt.adb: Likewise.
2490 * opt.ads: Likewise.
2491 * osint-b.adb: Likewise.
2492 * osint-b.ads: Likewise.
2493 * osint-c.adb: Likewise.
2494 * osint-c.ads: Likewise.
2495 * osint-l.adb: Likewise.
2496 * osint-l.ads: Likewise.
2497 * osint-m.adb: Likewise.
2498 * osint-m.ads: Likewise.
2499 * osint.adb: Likewise.
2500 * osint.ads: Likewise.
2501 * output.adb: Likewise.
2502 * output.ads: Likewise.
2503 * par-ch10.adb: Likewise.
2504 * par-ch11.adb: Likewise.
2505 * par-ch12.adb: Likewise.
2506 * par-ch13.adb: Likewise.
2507 * par-ch2.adb: Likewise.
2508 * par-ch3.adb: Likewise.
2509 * par-ch4.adb: Likewise.
2510 * par-ch5.adb: Likewise.
2511 * par-ch6.adb: Likewise.
2512 * par-ch7.adb: Likewise.
2513 * par-ch8.adb: Likewise.
2514 * par-ch9.adb: Likewise.
2515 * par-endh.adb: Likewise.
2516 * par-labl.adb: Likewise.
2517 * par-load.adb: Likewise.
2518 * par-prag.adb: Likewise.
2519 * par-sync.adb: Likewise.
2520 * par-tchk.adb: Likewise.
2521 * par-util.adb: Likewise.
2522 * par.adb: Likewise.
2523 * par.ads: Likewise.
2524 * par_sco.adb: Likewise.
2525 * par_sco.ads: Likewise.
2526 * pprint.adb: Likewise.
2527 * pprint.ads: Likewise.
2528 * prep.adb: Likewise.
2529 * prep.ads: Likewise.
2530 * prepcomp.adb: Likewise.
2531 * prepcomp.ads: Likewise.
2532 * put_scos.adb: Likewise.
2533 * put_scos.ads: Likewise.
2534 * raise-gcc.c: Likewise.
2535 * raise.c: Likewise.
2536 * raise.h: Likewise.
2537 * repinfo-input.adb: Likewise.
2538 * repinfo-input.ads: Likewise.
2539 * repinfo.adb: Likewise.
2540 * repinfo.ads: Likewise.
2541 * repinfo.h: Likewise.
2542 * restrict.adb: Likewise.
2543 * restrict.ads: Likewise.
2544 * rident.ads: Likewise.
2545 * rtfinal.c: Likewise.
2546 * rtinit.c: Likewise.
2547 * rtsfind.adb: Likewise.
2548 * rtsfind.ads: Likewise.
2549 * runtime.h: Likewise.
2550 * s-oscons-tmplt.c: Likewise.
2551 * sa_messages.adb: Likewise.
2552 * sa_messages.ads: Likewise.
2553 * scans.adb: Likewise.
2554 * scans.ads: Likewise.
2555 * scil_ll.adb: Likewise.
2556 * scil_ll.ads: Likewise.
2557 * scn.adb: Likewise.
2558 * scn.ads: Likewise.
2559 * scng.adb: Likewise.
2560 * scng.ads: Likewise.
2561 * scos.adb: Likewise.
2562 * scos.ads: Likewise.
2564 * sdefault.ads: Likewise.
2565 * seh_init.c: Likewise.
2566 * sem.adb: Likewise.
2567 * sem.ads: Likewise.
2568 * sem_aggr.adb: Likewise.
2569 * sem_aggr.ads: Likewise.
2570 * sem_attr.adb: Likewise.
2571 * sem_attr.ads: Likewise.
2572 * sem_aux.adb: Likewise.
2573 * sem_aux.ads: Likewise.
2574 * sem_case.adb: Likewise.
2575 * sem_case.ads: Likewise.
2576 * sem_cat.adb: Likewise.
2577 * sem_cat.ads: Likewise.
2578 * sem_ch10.adb: Likewise.
2579 * sem_ch10.ads: Likewise.
2580 * sem_ch11.adb: Likewise.
2581 * sem_ch11.ads: Likewise.
2582 * sem_ch12.adb: Likewise.
2583 * sem_ch12.ads: Likewise.
2584 * sem_ch13.adb: Likewise.
2585 * sem_ch13.ads: Likewise.
2586 * sem_ch2.adb: Likewise.
2587 * sem_ch2.ads: Likewise.
2588 * sem_ch3.adb: Likewise.
2589 * sem_ch3.ads: Likewise.
2590 * sem_ch4.adb: Likewise.
2591 * sem_ch4.ads: Likewise.
2592 * sem_ch5.adb: Likewise.
2593 * sem_ch5.ads: Likewise.
2594 * sem_ch6.adb: Likewise.
2595 * sem_ch6.ads: Likewise.
2596 * sem_ch7.adb: Likewise.
2597 * sem_ch7.ads: Likewise.
2598 * sem_ch8.adb: Likewise.
2599 * sem_ch8.ads: Likewise.
2600 * sem_ch9.adb: Likewise.
2601 * sem_ch9.ads: Likewise.
2602 * sem_dim.adb: Likewise.
2603 * sem_dim.ads: Likewise.
2604 * sem_disp.adb: Likewise.
2605 * sem_disp.ads: Likewise.
2606 * sem_dist.adb: Likewise.
2607 * sem_dist.ads: Likewise.
2608 * sem_elab.adb: Likewise.
2609 * sem_elab.ads: Likewise.
2610 * sem_elim.adb: Likewise.
2611 * sem_elim.ads: Likewise.
2612 * sem_eval.adb: Likewise.
2613 * sem_eval.ads: Likewise.
2614 * sem_intr.adb: Likewise.
2615 * sem_intr.ads: Likewise.
2616 * sem_mech.adb: Likewise.
2617 * sem_mech.ads: Likewise.
2618 * sem_prag.adb: Likewise.
2619 * sem_prag.ads: Likewise.
2620 * sem_res.adb: Likewise.
2621 * sem_res.ads: Likewise.
2622 * sem_scil.adb: Likewise.
2623 * sem_scil.ads: Likewise.
2624 * sem_smem.adb: Likewise.
2625 * sem_smem.ads: Likewise.
2626 * sem_type.adb: Likewise.
2627 * sem_type.ads: Likewise.
2628 * sem_util.adb: Likewise.
2629 * sem_util.ads: Likewise.
2630 * sem_warn.adb: Likewise.
2631 * sem_warn.ads: Likewise.
2632 * set_targ.adb: Likewise.
2633 * set_targ.ads: Likewise.
2634 * sfn_scan.adb: Likewise.
2635 * sfn_scan.ads: Likewise.
2636 * sigtramp-armdroid.c: Likewise.
2637 * sigtramp-ios.c: Likewise.
2638 * sigtramp-qnx.c: Likewise.
2639 * sigtramp-vxworks.c: Likewise.
2640 * sigtramp.h: Likewise.
2641 * sinfo-cn.adb: Likewise.
2642 * sinfo-cn.ads: Likewise.
2643 * sinfo.adb: Likewise.
2644 * sinfo.ads: Likewise.
2645 * sinput-c.adb: Likewise.
2646 * sinput-c.ads: Likewise.
2647 * sinput-d.adb: Likewise.
2648 * sinput-d.ads: Likewise.
2649 * sinput-l.adb: Likewise.
2650 * sinput-l.ads: Likewise.
2651 * sinput.adb: Likewise.
2652 * sinput.ads: Likewise.
2653 * socket.c: Likewise.
2654 * spark_xrefs.adb: Likewise.
2655 * spark_xrefs.ads: Likewise.
2656 * sprint.adb: Likewise.
2657 * sprint.ads: Likewise.
2658 * stand.adb: Likewise.
2659 * stand.ads: Likewise.
2660 * stringt.adb: Likewise.
2661 * stringt.ads: Likewise.
2662 * stringt.h: Likewise.
2663 * style.adb: Likewise.
2664 * style.ads: Likewise.
2665 * styleg.adb: Likewise.
2666 * styleg.ads: Likewise.
2667 * stylesw.adb: Likewise.
2668 * stylesw.ads: Likewise.
2669 * switch-b.adb: Likewise.
2670 * switch-b.ads: Likewise.
2671 * switch-c.adb: Likewise.
2672 * switch-c.ads: Likewise.
2673 * switch-m.adb: Likewise.
2674 * switch-m.ads: Likewise.
2675 * switch.adb: Likewise.
2676 * switch.ads: Likewise.
2677 * symbols.adb: Likewise.
2678 * symbols.ads: Likewise.
2679 * sysdep.c: Likewise.
2680 * table.adb: Likewise.
2681 * table.ads: Likewise.
2682 * targext.c: Likewise.
2683 * targparm.adb: Likewise.
2684 * targparm.ads: Likewise.
2685 * tbuild.adb: Likewise.
2686 * tbuild.ads: Likewise.
2687 * tempdir.adb: Likewise.
2688 * tempdir.ads: Likewise.
2689 * terminals.c: Likewise.
2690 * tracebak.c: Likewise.
2691 * tree_gen.adb: Likewise.
2692 * tree_gen.ads: Likewise.
2693 * tree_in.adb: Likewise.
2694 * tree_in.ads: Likewise.
2695 * tree_io.adb: Likewise.
2696 * tree_io.ads: Likewise.
2697 * treepr.adb: Likewise.
2698 * treepr.ads: Likewise.
2699 * ttypes.ads: Likewise.
2700 * types.adb: Likewise.
2701 * types.ads: Likewise.
2702 * types.h: Likewise.
2703 * uintp.adb: Likewise.
2704 * uintp.ads: Likewise.
2705 * uintp.h: Likewise.
2706 * uname.adb: Likewise.
2707 * uname.ads: Likewise.
2708 * urealp.adb: Likewise.
2709 * urealp.ads: Likewise.
2710 * urealp.h: Likewise.
2711 * usage.adb: Likewise.
2712 * usage.ads: Likewise.
2713 * validsw.adb: Likewise.
2714 * validsw.ads: Likewise.
2715 * warnsw.adb: Likewise.
2716 * warnsw.ads: Likewise.
2717 * widechar.adb: Likewise.
2718 * widechar.ads: Likewise.
2719 * xeinfo.adb: Likewise.
2720 * xnmake.adb: Likewise.
2721 * xoscons.adb: Likewise.
2722 * xr_tabls.adb: Likewise.
2723 * xr_tabls.ads: Likewise.
2724 * xref_lib.adb: Likewise.
2725 * xref_lib.ads: Likewise.
2726 * xsinfo.adb: Likewise.
2727 * xsnamest.adb: Likewise.
2728 * xtreeprs.adb: Likewise.
2729 * xutil.adb: Likewise.
2730 * xutil.ads: Likewise.
2732 2020-06-02 Javier Miranda <miranda@adacore.com>
2734 * sem_ch3.adb (Analyze_Object_Declaration): Set attribute
2735 Expansion_Delayed on aggregates that initialize an object that
2736 has aspect alignment or address clause. Done to allow ther
2737 initialization by means of multiple assignments.
2738 * exp_ch3.adb (Expand_N_Object_Declaration): Resolve delayed
2739 aggregates. This patch complements the patch applied to
2742 2020-06-02 Javier Miranda <miranda@adacore.com>
2744 * sem_util.adb (Ensure_Minimum_Decoration): New subprogram that
2745 ensures the minimum decoration required by
2746 Requires_Transient_Scope() to provide its functionality when the
2747 entity is not frozen.
2749 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2751 * exp_ch4.adb (Expand_N_Op_Divide): Remove code dealing with
2752 the Treat_Fixed_As_Integer flag.
2753 (Expand_N_Op_Multiply): Likewise.
2754 * exp_fixd.adb (Build_Divide): Do the division in an integer
2755 type long enough to hold both operands and convert the result
2756 to the type of the LHS. Do not set Treat_Fixed_As_Integer.
2757 (Build_Multiply): Do not set Treat_Fixed_As_Integer.
2758 (Build_Rem): Likewise.
2759 * sem_ch4.adb (Analyze_Arithmetic_Op): Remove code dealing with
2760 the Treat_Fixed_As_Integer flag.
2761 (Check_Arithmetic_Pair): Likewise.
2762 * sinfo.ads (Treat_Fixed_As_Integer): Delete.
2763 (N_Has_Treat_Fixed_As_Integer): Likewise.
2764 (Set_Treat_Fixed_As_Integer): Likewise.
2765 * sinfo.adb (Treat_Fixed_As_Integer): Likewise.
2766 (Set_Treat_Fixed_As_Integer): Likewise.
2767 * sprint.ads (Syntax Extensions): Remove '#' special character.
2768 * sprint.adb (Process_TFAI_RR_Flags): Delete.
2769 (Sprint_Node_Actual) <N_Op_Divide>: Print '@' manually.
2770 <N_Op_Multiply>: Likewise.
2771 <N_Op_Mod>: Do not print '#'.
2772 <N_Op_Rem>: Likewise.
2774 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2776 * exp_aggr.adb (Others_Check): In the positional case, use the
2777 general expression for the comparison only when needed.
2778 * exp_attr.adb (Expand_Fpt_Attribute;): Use a simple conversion
2779 to the target type instead of an unchecked conversion to the
2780 base type to do the range check, as in the other cases.
2781 (Expand_N_Attribute_Reference) <Attribute_Storage_Size>: Do the
2782 Max operation in the type of the storage size variable, and use
2783 Convert_To as in the other cases.
2784 * tbuild.adb (Convert_To): Do not get rid of an intermediate
2785 conversion to Universal_Integer here...
2786 * sem_res.adb (Simplify_Type_Conversion): ...but here instead.
2788 2020-06-02 Bob Duff <duff@adacore.com>
2790 * doc/gnat_ugn/gnat_utility_programs.rst: Update documentation
2791 for --RM-style-spacing.
2793 2020-06-02 Bob Duff <duff@adacore.com>
2795 * doc/gnat_ugn/gnat_utility_programs.rst: Add documentation for
2796 --[no-]compact switch.
2798 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2800 * exp_aggr.adb (Build_Array_Aggr_Code): Set the type of the PAT
2801 on the zero used to clear the array.
2802 * exp_attr.adb (Expand_N_Attribute_Reference)
2803 <Attribute_Alignment>: In the CW case, directly convert from the
2804 alignment's type to the target type if the parent is an
2805 unchecked conversion.
2806 * sem_res.adb (Set_String_Literal_Subtype): In the dynamic case,
2807 use the general expression for the upper bound only when needed.
2808 Set the base type of the index as the type of the low bound.
2809 (Simplify_Type_Conversion): Do an intermediate conversion to the
2810 root type of the target type if the operand is an integer
2812 * tbuild.adb (Convert_To): Get rid of an intermediate conversion
2813 to Universal_Integer if the inner expression has integer tyoe.
2814 * libgnat/a-sequio.adb (Byte_Swap): Make use of an equivalent
2815 static expression in the case statement.
2817 2020-06-02 Thomas Quinot <quinot@adacore.com>
2819 * par_sco.adb (Traverse_Degenerate_Subprogram): Set statement
2821 * scos.ads: Update comment documenting SCO data.
2823 2020-06-02 Gary Dismukes <dismukes@adacore.com>
2825 * exp_unst.adb (Register_Subprogram): Test for Address_Taken (in
2826 addition to the existing test for In_Synchonized_Unit) when
2827 deciding whether to reset the Reachable flag on all subprograms
2828 enclosing the subprogram being registered.
2830 2020-06-02 Justin Squirek <squirek@adacore.com>
2832 * sem_ch6.adb (Check_Return_Obj_Accessibility): Avoid use of
2833 parent node pointers so we are not relying on expansion done in
2836 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2838 * exp_attr.adb (Expand_N_Attribute_Reference)
2839 <Attribute_Alignment>: Adjust comment and compare against proper
2842 2020-06-02 Gary Dismukes <dismukes@adacore.com>
2844 * exp_unst.adb (Visit_Node): When visiting array attribute
2845 nodes, apply Get_Referenced_Object to the attribute prefix, to
2846 handle prefixes denoting renamed objects by picking up the Etype
2847 of the renamed object rather than the possibly unconstrained
2848 nominal subtype of the renaming declaration's Entity.
2849 * sem_util.ads (Get_Referenced_Object): Update comment to
2850 clearly indicate that any kind of node can be passed to this
2852 * sem_util.adb (Get_Referenced_Object): Add test of Is_Object to
2853 the condition, to allow for passing names that denote types and
2856 2020-06-02 Bob Duff <duff@adacore.com>
2858 * snames.ads-tmpl: Add comments explaining that enumeration
2859 types have to be kept in synch with subtypes of Name_Id.
2861 2020-06-02 Piotr Trojanek <trojanek@adacore.com>
2863 * sem_util.adb (Check_No_Hidden_State): Remove dead code.
2865 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2867 * exp_pakd.adb (Expand_Packed_Bit_Reference): Change type of
2868 reference from Universal_Integer to Standard_Natural.
2870 2020-06-02 Piotr Trojanek <trojanek@adacore.com>
2872 * sem_prag.adb (Collect_States_And_Objects): Call itself on
2873 declaration of nested packages; append abstract states
2874 one-by-one, so that in recursive call we do not overwrite the
2875 ones that have been already collected.
2877 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2879 * exp_atag.ads (Build_Inherit_Predefined_Prims): Change type
2880 of Num_Predef_Prim parameter from Int to Nat.
2881 * exp_atag.adb (Build_Range): New procedure.
2882 (Build_Val): Likewise.
2883 (Build_CW_Membership): Call Build_Val.
2884 (Build_Get_Predefined_Prim_Op_Address): Likewise.
2885 (Build_Inherit_CPP_Prims): Likewise.
2886 (Build_Get_Prim_Op_Address): Likewise.
2887 (Build_Set_Predefined_Prim_Op_Address): Likewise.
2888 (Build_Inherit_Prims): Call Build_Range.
2889 (Build_Inherit_Predefined_Prims): Likewise. Change type of
2890 Num_Predef_Prim parameter from Int to Nat.
2892 2020-06-02 Gary Dismukes <dismukes@adacore.com>
2894 * sem_ch3.adb: Two typo fixes.
2896 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2898 * sem_ch3.adb (Replace_Discriminants): Preserve the Etype of the
2899 Name of N_Variant_Part nodes when rewriting it.
2901 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2903 * sem_ch3.adb (Signed_Integer_Type_Declaration): Change the type
2904 of the bounds from Universal_Integer to Implicit_Base.
2906 2020-06-02 Arnaud Charlet <charlet@adacore.com>
2908 * bcheck.adb, binde.adb, bindo-diagnostics.adb, checks.adb,
2909 exp_aggr.adb, exp_ch3.adb, exp_ch4.adb, exp_ch7.adb,
2910 exp_ch9.adb, gnatname.adb, sem_case.adb, sem_ch13.adb,
2911 sem_ch5.adb, sem_prag.adb, sem_util.adb, uintp.adb, urealp.adb,
2912 xoscons.adb, xr_tabls.adb, xref_lib.adb: Initialize objects more
2913 explicitly and add corresponding assertions. Remove dead code.
2914 Also add a few Annotate pragmas to help static analysis.
2915 * libgnat/a-caldel.adb, libgnat/a-calend.adb,
2916 libgnat/a-ngcoty.adb, libgnat/a-ngelfu.adb,
2917 libgnat/a-ngrear.adb, libgnat/a-strfix.adb,
2918 libgnat/g-calend.adb, libgnat/g-catiio.adb,
2919 libgnat/g-comlin.adb, libgnat/g-debpoo.adb,
2920 libgnat/g-dirope.adb, libgnat/g-hesorg.adb,
2921 libgnat/g-pehage.adb, libgnat/g-socket.adb, libgnat/i-cobol.adb,
2922 libgnat/s-dwalin.adb, libgnat/s-dwalin.ads,
2923 libgnat/s-fatgen.adb, libgnat/s-gearop.adb,
2924 libgnat/s-genbig.adb, libgnat/s-imgrea.adb,
2925 libgnat/s-os_lib.adb, libgnat/s-rannum.adb,
2926 libgnat/s-regpat.adb, libgnat/s-trasym__dwarf.adb,
2927 libgnat/s-valrea.adb: Ditto.
2929 2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
2931 * sem_ch3.adb (Replace_Components): Rename into...
2932 (Replace_Discriminants): ...this. Replace girder discriminants
2933 with non-girder ones. Do not replace components.
2934 * sem_ch13.adb (Check_Record_Representation_Clause): Deal with
2935 non-girder discriminants correctly.
2937 2020-06-02 Piotr Trojanek <trojanek@adacore.com>
2939 * lib-xref-spark_specific.adb (Create_Heap): use a new variant
2940 of Name_Enter to directly converts String to Make_Id.
2942 2020-06-02 Gary Dismukes <dismukes@adacore.com>
2944 * exp_attr.adb, par-ch4.adb, par-util.adb, scans.ads, scng.adb,
2945 sem_attr.adb, sem_ch4.adb, sinfo.ads: Typo corrections and minor
2948 2020-06-02 Arnaud Charlet <charlet@adacore.com>
2950 * snames.ads-tmpl (Name_Img, Attribute_Img): Make it an
2951 attribute returning renamable functions.
2953 2020-06-02 Yannick Moy <moy@adacore.com>
2955 * sem_prag.adb, sem_prag.ads (Set_Overflow_Mode): New procedure
2956 to set overflow mode.
2958 2020-06-02 Piotr Trojanek <trojanek@adacore.com>
2960 * contracts.adb, einfo.adb, exp_ch9.adb, sem_ch12.adb,
2961 sem_ch4.adb, sem_ch7.adb, sem_ch8.adb, sem_elab.adb,
2962 sem_type.adb, sem_util.adb: Reuse Is_Package_Or_Generic_Package
2963 where possible (similarly, reuse Is_Concurrent_Type if it was
2964 possible in the same expressions).
2966 2020-05-30 Arnaud Charlet <charlet@adacore.com>
2968 * Makefile.rtl (ADA_INCLUDE_SRCS): Replace Makefile.adalib by
2969 libada.gpr and associated project files.
2970 (g-debpoo.o): Add missing rule to ensure subprograms are not reordered.
2971 (setup-rts): Add generation of libgnat/libgnarl.lst.
2972 (LIBGNAT_SRCS): Remove thread.c which is part of libgnarl.
2973 * tracebak.c, tb-gcc.c: Merged the two files to simplify dependencies.
2974 * libgnarl/libgnarl.gpr, libgnat/libada.gpr,
2975 libgnat/libgnat.gpr, libgnat/libgnat_common.gpr: New files.
2976 * doc/gnat_ugn/the_gnat_compilation_model.rst: Makefile.adalib
2977 replaced by libada.gpr.
2978 * libgnat/system-mingw.ads: Remove obsolete comment.
2979 * gcc-interface/Makefile.in: Remove dependency on tb-gcc.c.
2981 2020-05-27 Martin Liska <mliska@suse.cz>
2983 * gnatvsn.ads: Bump Library_Version to 11.
2985 2020-05-26 Eric Botcazou <ebotcazou@gcc.gnu.org>
2988 * gcc-interface/decl.c (gnat_to_gnu_param): Never make a variant of
2991 2020-05-26 Alexandre Oliva <oliva@adacore.com>
2993 * gcc-interface/lang-specs.h (ADA_DUMPS_OPTIONS): Define in
2994 terms of DUMPS_OPTIONS. Replace occurrences of %{d*} %:dumps
2997 2020-05-26 Alexandre Oliva <oliva@adacore.com>
2999 * gcc-interface/lang-specs.h: Drop auxbase and auxbase-strip.
3000 Use %:dumps instead of -dumpbase. Add %w for implicit .s
3002 * switch.adb (Is_Internal_GCC_Switch): Recognize dumpdir and
3003 dumpbase-ext. Drop auxbase and auxbase-strip.
3005 2020-05-25 Yannick Moy <moy@adacore.com>
3007 * sem_util.adb (Check_No_Hidden_State): Stop propagation at
3008 first block/task/entry.
3010 2020-05-25 Yannick Moy <moy@adacore.com>
3012 * doc/gnat_rm/implementation_defined_pragmas.rst: Document
3013 changes to pragmas Compile_Time_Error/Compile_Time_Warning.
3014 * gnat_rm.texi: Regenerate.
3015 * libgnat/g-bytswa.adb: Change uses of Compile_Time_Error to
3016 Compile_Time_Warning, as the actual expression may not always be
3018 * sem_prag.adb (Analyze_Pragma): Handle differently pragma
3019 Compile_Time_Error in both compilation and in GNATprove mode.
3020 (Validate_Compile_Time_Warning_Or_Error): Issue an error or
3021 warning when the expression is not known at compile time.
3022 * usage.adb: Add missing documentation for warning switches _c
3024 * warnsw.ads: Update comment.
3026 2020-05-25 Justin Squirek <squirek@adacore.com>
3028 * sem_ch6.adb (Check_Return_Obj_Accessibility): Use original
3029 node to avoid looking at expansion done in GNATprove mode.
3031 2020-05-25 Eric Botcazou <ebotcazou@adacore.com>
3033 * gcc-interface/decl.c (gnat_to_gnu_entity): Add new local variable
3034 and use it throughout the function.
3035 <E_Variable>: Rename local variable and adjust accordingly. In the
3036 case of a renaming, materialize the entity if the renamed object is
3037 an N_Expression_With_Actions node.
3038 <E_Procedure>: Use Alias accessor function consistently.
3040 2020-05-25 Eric Botcazou <ebotcazou@adacore.com>
3042 * gcc-interface/misc.c (get_array_bit_stride): Get to the debug type,
3043 if any, before calling gnat_get_array_descr_info.
3045 2020-05-25 Eric Botcazou <ebotcazou@adacore.com>
3047 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Tidy up.
3048 (build_variant_list): Add GNAT_VARIANT_PART parameter and annotate its
3049 variants if it is present. Adjust the recursive call by passing the
3050 variant subpart of variants, if any.
3051 (copy_and_substitute_in_layout): Rename GNU_SUBST_LIST to SUBST_LIST
3052 and adjust throughout. For a type, pass the variant part in the
3053 call to build_variant_list.
3055 2020-05-25 Eric Botcazou <ebotcazou@adacore.com>
3057 * gcc-interface/decl.c (gnat_to_gnu_component_type): Cap the alignment
3058 of the component type according to the component size.
3060 2020-05-25 Eric Botcazou <ebotcazou@adacore.com>
3062 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Add a
3063 description of the various types associated with the unconstrained
3064 type. Declare the fat pointer earlier. Set the current function
3065 as context on the template type, and the fat pointer type on the
3066 array type. Always mark the fat pointer type as artificial and set
3067 it as the context for the pointer type to the array. Also reuse
3068 GNU_ENTITY_NAME. Finish up the unconstrained type at the very end.
3069 * gcc-interface/misc.c (gnat_get_array_descr_info): Do not handle
3070 fat pointer types and tidy up accordingly.
3071 * gcc-interface/utils.c (build_unc_object_type): Do not set the
3072 context on the template type.
3073 (gnat_pushdecl): Mark the canonical fat pointer types as artificial.
3075 2020-05-25 Eric Botcazou <ebotcazou@adacore.com>
3077 * gcc-interface/gigi.h (operand_type): New static inline function.
3078 * gcc-interface/trans.c (gnat_to_gnu): Do not suppress conversion
3079 to the resulty type at the end for array types.
3080 * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Do not
3081 remove conversions between array types on the LHS.
3083 2020-05-12 Eric Botcazou <ebotcazou@adacore.com>
3085 * sem_aggr.ads (Is_Single_Aggregate): New function.
3086 * sem_aggr.adb (Is_Others_Aggregate): Use local variable.
3087 (Is_Single_Aggregate): New function to recognize an aggregate with
3088 a single association containing a single choice.
3089 * fe.h (Is_Others_Aggregate): Delete.
3090 (Is_Single_Aggregate): New declaration.
3091 * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Call
3092 Is_Single_Aggregate instead of Is_Others_Aggregate.
3094 2020-05-12 Eric Botcazou <ebotcazou@adacore.com>
3097 * gcc-interface/utils.c (packable_type_hasher::equal): Also compare
3098 the scalar storage order.
3099 (hash_packable_type): Also hash the scalar storage order.
3100 (hash_pad_type): Likewise.
3102 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3104 * gcc-interface/*.[ch]: Update copyright year.
3106 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3108 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Assert that
3109 the prefix is not a type.
3111 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3113 * gcc-interface/ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Rename into...
3114 (TYPE_BIT_PACKED_ARRAY_TYPE_P): ...this.
3115 (TYPE_IS_PACKED_ARRAY_TYPE_P): Rename into...
3116 (BIT_PACKED_ARRAY_TYPE_P): ...this.
3117 (TYPE_IMPL_PACKED_ARRAY_P): Adjust to above renaming.
3118 * gcc-interface/gigi.h (maybe_pad_type): Remove IS_USER_TYPE parameter.
3119 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Adjust call
3121 <E_Ordinary_Fixed_Point_Type>: Remove const qualifiers for tree.
3122 <E_Signed_Integer_Subtype>: Remove redundant test and redundant call
3123 to associate_original_type_to_packed_array. Turn test into assertion.
3124 Call associate_original_type_to_packed_array and modify gnu_entity_name
3125 accordingly. Explicitly set the parallel type for GNAT encodings.
3126 Call create_type_decl in the misaligned case before maybe_pad_type.
3127 <E_Array_Type>: Do not use the name of the implementation type for a
3128 packed array when not using GNAT encodings.
3129 <E_Array_Subtype>: Move around setting flags. Use the result of the
3130 call to associate_original_type_to_packed_array for gnu_entity_name.
3131 <E_Record_Subtype>: Create XVS type and XVZ variable only if debug
3132 info is requested for the type.
3133 Call create_type_decl if a padded type was created for a type entity.
3134 (gnat_to_gnu_component_type): Use local variable and adjust calls to
3136 (gnat_to_gnu_subprog_type): Adjust call to maybe_pad_type.
3137 (gnat_to_gnu_field): Likewise.
3138 (validate_size): Adjust to renaming of macro.
3139 (set_rm_size): Likewise.
3140 (associate_original_type_to_packed_array): Adjust return type and
3141 return the name of the original type if GNAT encodings are not used.
3142 * gcc-interface/misc.c (gnat_get_debug_typ): Remove obsolete stuff.
3143 (gnat_get_fixed_point_type_info): Remove const qualifiers for tree.
3144 (gnat_get_array_descr_info): Likewise and set variables lazily.
3145 Remove call to maybe_debug_type. Simplify a few computations.
3146 (enumerate_modes): Remove const qualifier for tree.
3147 * gcc-interface/utils.c (make_type_from_size): Adjust to renaming.
3148 (maybe_pad_type): Remove IS_USER_TYPE parameter and adjust. Remove
3149 specific code for implementation types for packed arrays.
3150 (compute_deferred_decl_context): Remove const qualifier for tree.
3151 (convert): Adjust call to maybe_pad_type.
3152 (unchecked_convert): Likewise.
3153 * gcc-interface/utils2.c (is_simple_additive_expressio): Likewise.
3155 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3157 * gcc-interface/utils2.c (build_binary_op) <ARRAY_RANGE_REF>: Use
3158 build_nonshared_array_type to build the common type and declare it.
3160 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3162 * gcc-interface/misc.c (gnat_init_gcc_eh): Do not override the user
3163 for -fnon-call-exceptions in default mode.
3165 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3167 * gcc-interface/trans.c (lvalue_required_p) <N_Selected_Component>:
3169 <N_Allocator>: Move to...
3170 (lvalue_for_aggregate_p): ...here. New function.
3171 (Identifier_to_gnu): For an identifier with aggregate type, also
3172 call lvalue_for_aggregate_p if lvalue_required_p returned false
3173 before substituting the identifier with the constant.
3175 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3177 * gcc-interface/trans.c (gnat_to_gnu): Do not wrap boolean values if
3178 they appear in any kind of attribute references.
3180 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3182 * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Deal
3183 with qualified "others" aggregates in the memset case.
3185 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3187 * gcc-interface/decl.c (gnat_to_gnu_param): Also back-annotate the
3188 mechanism in the case of an Out parameter only passed by copy-out.
3190 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3192 * gcc-interface/gigi.h (change_qualified_type): Move around.
3193 (maybe_vector_array): Likewise.
3194 (maybe_padded_object): New static line function.
3195 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Component_Size>:
3196 Remove useless code.
3197 <Attr_Null_Parameter>: Remove obsolete code.
3198 (Call_to_gn): Likewise. Use maybe_padded_object to remove padding.
3199 (gnat_to_gnu): Likewise.
3200 <N_String_Literal>: Do not add a useless null character at the end.
3201 <N_Indexed_Component>: Likewise and remove obsolete code.
3202 (add_decl_expr): Likewise.
3203 (maybe_implicit_deref): Likewise.
3204 * gcc-interface/utils.c (maybe_unconstrained_array): Likewise.
3205 * gcc-interface/utils2.c (gnat_invariant_expr): Likewise.
3207 2020-05-09 Eric Botcazou <ebotcazou@adacore.com>
3209 * gcc-interface/utils2.c: Include builtins.h.
3210 (known_alignment) <ADDR_EXPR>: Use DECL_ALIGN for DECL_P operands
3211 and get_object_alignment for the rest.
3213 2020-05-08 Eric Botcazou <ebotcazou@adacore.com>
3215 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Force at
3216 least the unit size for an aliased object of a constrained nominal
3217 subtype whose size is variable.
3219 2020-05-08 Eric Botcazou <ebotcazou@adacore.com>
3221 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Deal
3222 with artificial maximally-sized types designed by access types.
3223 * gcc-interface/utils.c (packable_type_hash): New structure.
3224 (packable_type_hasher): Likewise.
3225 (packable_type_hash_table): New hash table.
3226 (init_gnat_utils): Initialize it.
3227 (destroy_gnat_utils): Destroy it.
3228 (packable_type_hasher::equal): New method.
3229 (hash_packable_type): New static function.
3230 (canonicalize_packable_type): Likewise.
3231 (make_packable_type): Make sure not to use too small a type for the
3232 size of the new fields. Canonicalize the type if it is named.
3234 2020-05-08 Eric Botcazou <ebotcazou@adacore.com>
3236 * gcc-interface/trans.c (Raise_Error_to_gnu): Always compute a lower
3237 bound and an upper bound for use by the -gnateE switch for range and
3238 comparison operators.
3240 2020-05-08 Eric Botcazou <ebotcazou@adacore.com>
3242 * gcc-interface/decl.c (gnat_to_gnu_param): Do not make a variant of
3243 the type in LTO mode.
3245 2020-05-04 Mikael Pettersson <mikpelinux@gmail.com>
3248 * mingw32.h: Prevent windows.h from including emmintrin.h on Cygwin64.
3249 * s-oscons-tmplt.c (Serial_Port_Descriptor): Use System.Win32.HANDLE
3252 2020-03-11 Richard Wai <richard@annexi-strayline.com>
3254 * gcc-interface/decl.c (gnat_to_gnu_entity): Also test Is_Public on
3255 the Alias of the entitiy, if it is present, in the main assertion.
3257 2020-02-06 Alexandre Oliva <oliva@adacore.com>
3259 * raise-gcc.c (personality_body) [__ARM_EABI_UNWINDER__]:
3260 Initialize barrier_cache.sp when ending phase1.
3262 2020-01-04 Eric Botcazou <ebotcazou@adacore.com>
3264 * gnatvsn.ads: Bump copyright year.
3266 2020-01-01 Jakub Jelinek <jakub@redhat.com>
3268 Update copyright years.
3270 * gnat_ugn.texi: Bump @copying's copyright year.
3271 * gnat_rm.texi: Likewise.
3273 Copyright (C) 2020 Free Software Foundation, Inc.
3275 Copying and distribution of this file, with or without modification,
3276 are permitted in any medium without royalty provided the copyright
3277 notice and this notice are preserved.
projects / gcc.git / blob