]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/ada/ChangeLog
projects / thirdparty / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
analyzer: add logging of aliasing
[thirdparty/gcc.git] / gcc / ada / ChangeLog
CommitLineData
11ce8d04
GA		 12022-01-06 Bob Duff <duff@adacore.com>
2
3 * sem_res.adb (Resolve_Range): Warn on null range, unless we are
4 inside a generic unit or an instance thereof.
5 * sem_ch3.adb (Analyze_Subtype_Indication): Minor: avoid double
6 negative.
7
82022-01-06 Piotr Trojanek <trojanek@adacore.com>
9
10 * errout.adb (Adjust_Name_Case): Remove unnecessary declare
11 block.
12
132022-01-06 Yannick Moy <moy@adacore.com>
14
15 * libgnat/a-ngcoar.adb: Add pragma to ignore assertions in
16 instance.
17 * libgnat/a-ngrear.adb: Likewise.
18 * libgnat/s-gearop.adb: Prove implementation is free of runtime
19 errors.
20 * libgnat/s-gearop.ads: Add contracts to protect against runtime
21 errors in the generic part.
22
232022-01-06 Piotr Trojanek <trojanek@adacore.com>
24
25 * errout.adb (Remove_Warning_Messages): Use traversal procedure
26 instead of traversal function, since we discard status of each
27 step anyway.
28
292022-01-06 Piotr Trojanek <trojanek@adacore.com>
30
31 * exp_ch4.adb (Expand_Concatenate): There is no reason for using
32 declaring, raising and catching an exception; a simple return
33 statement is enough.
34
352022-01-06 Piotr Trojanek <trojanek@adacore.com>
36
37 * sem_eval.adb (Eval_Arithmetic_Op): Add Loc parameter to all
38 calls to Apply_Compile_Time_Constraint_Error related to division
39 by zero.
40
412022-01-06 Piotr Trojanek <trojanek@adacore.com>
42
43 * errout.adb (Remove_Warning_Messages): Remove unnecessary guard.
44 * exp_util.adb (Kill_Dead_Code): Likewise.
45 * par_sco.adb (Traverse_Declarations_Or_Statements): Likewise.
46 * sem_ch3.adb (Build_Derived_Record_Type): Likewise.
47 * sem_ch4.adb (Traverse_Interfaces): Likewise.
48 * sem_eval.adb (Traverse_Interfaces): Likewise.
49 * sem_util.adb (Collect_Interfaces): Likewise.
50 (Has_Non_Null_Statements, Side_Effect_Free_Statements):
51 Likewise; turn into WHILE loops, for consistency.
52
532022-01-06 Etienne Servais <servais@adacore.com>
54
55 * sem_type.adb (Full_View_Covers): Fix typo.
56
572022-01-06 Eric Botcazou <ebotcazou@adacore.com>
58
59 * sem_ch12.adb (Insert_Freeze_Node_For_Instance): When going to
60 the outer level, do not jump over following instantiations in
61 the list.
62
632022-01-06 Piotr Trojanek <trojanek@adacore.com>
64
65 * err_vars.ads (Warn_On_Instance): Remove; it was a relic from
66 the previous handling of warning in instances that was removed
67 decades ago.
68
692022-01-06 Piotr Trojanek <trojanek@adacore.com>
70
71 * errout.adb (Error_Msg_Internal): Reorder words.
72 * erroutc.ads (Is_Warning_Msg): Add closing paren.
73 * sem_util.adb (Compile_Time_Constraint_Error): Fix casing.
74
752022-01-06 Piotr Trojanek <trojanek@adacore.com>
76
77 * sem_res.adb (Resolve_String_Literal): Simplify pointer
78 arithmetic.
79
802022-01-06 Piotr Trojanek <trojanek@adacore.com>
81
82 * sem_res.adb (Resolve_String_Literal): Avoid unnecessary
83 conversions inside "<" and ">" bodies.
84
852022-01-06 Piotr Trojanek <trojanek@adacore.com>
86
87 * checks.adb (Null_Exclusion_Static_Checks,
88 Selected_Range_Checks): Fix style.
89
902022-01-06 Eric Botcazou <ebotcazou@adacore.com>
91
92 * sem_ch8.adb (Analyze_Package_Renaming): Do not check for Text_IO
93 special units when the name of the renaming is a generic instance,
94 which is the case for package instantiations in the GNAT model.
95
962022-01-06 Steve Baird <baird@adacore.com>
97
98 * sem_util.adb (Build_Discriminant_Reference): In the unexpected
99 case where we previously would fail an assertion, we instead
100 revert to the old behavior.
101
1022022-01-06 Steve Baird <baird@adacore.com>
103
104 * sem_util.adb (Build_Actual_Subtype_Of_Component): Define a new
105 local function, Build_Discriminant_Reference, and call it in
106 each of the three cases where Make_Selected_Component was
107 previously being called to construct a discriminant reference (2
108 in Build_Actual_Array_Constraint and 1 in
109 Build_Actual_Record_Constraint). Instead of unconditionally
110 using the passed-in object name as the prefix for the new
111 selected component node, this new function checks to see if
112 perhaps a prefix of that name should be used instead.
113
1142022-01-06 Etienne Servais <servais@adacore.com>
115
116 * atree.adb: Fix typo.
117 * einfo.ads: Likewise.
118 * exp_aggr.adb: Likewise.
119 * exp_ch6.adb: Likewise.
120 * exp_ch7.adb: Likewise.
121 * exp_ch9.adb: Likewise.
122 * exp_prag.adb: Likewise.
123 * exp_unst.adb: Likewise.
124 * exp_unst.ads: Likewise.
125 * exp_util.adb: Likewise.
126 * par-endh.adb: Likewise.
127 * par.adb: Likewise.
128 * restrict.adb: Likewise.
129 * sem.ads: Likewise.
130 * sem_ch4.adb: Likewise.
131 * sem_ch5.adb: Likewise.
132 * sem_ch6.adb: Likewise.
133 * sem_ch8.adb: Likewise.
134 * sem_ch12.adb: Likewise.
135 * sem_ch13.adb: Likewise.
136 * sem_dim.adb: Likewise.
137 * sem_elab.adb: Likewise.
138 * sem_prag.adb: Likewise.
139 * sem_res.adb: Likewise.
140 * sem_util.adb: Likewise.
141 * sem_util.ads: Likewise.
142 * sinfo.ads: Likewise.
143 * sprint.adb: Likewise.
144 * urealp.adb: Likewise.
145
1462022-01-06 Justin Squirek <squirek@adacore.com>
147
148 * exp_ch3.adb (Build_Assignment): Replace current instance of
149 type with Init_Proc formal.
150 * sem_attr.adb (OK_Self_Reference): Handle recognition of
151 Current_Instance to detect certain expansion.
152 * sem_ch4.adb (Analyze_One_Call): Set actual's type when the
153 actual in question is a current instance and its corresponding
154 formal is an incomplete type.
155 * sem_util.adb (Is_Current_Instance): Add check for incomplete
156 views and add comment.
157
1582022-01-06 Bob Duff <duff@adacore.com>
159
160 * libgnat/s-rident.ads (No_Tagged_Type_Registration): New
161 restriction identifier.
162 * restrict.ads (Implementation_Restriction): Add restriction.
163 * exp_ch7.adb (Process_Declarations): Suppress
164 tagged-type-related finalization actions if the restriction is
165 active. Call RTE_Available last.
166 * exp_disp.adb (Make_DT): Likewise.
167 * exp_util.adb (Requires_Cleanup_Actions): Return False for a
168 tagged type declaration if No_Tagged_Type_Registration is
169 active.
170 * sem_attr.adb (Check_Stream_Attribute): Check restriction
171 No_Tagged_Type_Registration.
172 * libgnat/a-except.ads (Null_Occurrence): Minor: Initialize, to
173 avoid stopping at a warning in gdb.
174 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
175 Document new restriction.
176 * gnat_rm.texi: Regenerate.
177
1782022-01-06 Piotr Trojanek <trojanek@adacore.com>
179
180 * par-ch4.adb (P_Simple_Expression): Reuse Null_String_Id.
181 * prep.adb (Parse_Def_File): Likewise; remove Empty_String.
182
1832022-01-06 Eric Botcazou <ebotcazou@adacore.com>
184
185 * stand.ads (Any_Access): Delete.
186 (Universal_Access): New entity.
187 * einfo.ads: Remove obsolete reference to Any_Access.
188 * gen_il-gen-gen_entities.adb: Likewise.
189 * cstand.adb (Create_Standard): Do not create Any_Access and create
190 Universal_Access as a full type instead.
191 * errout.adb (Set_Msg_Insertion_Type_Reference): Do not deal with
192 Any_Access and deal with Universal_Access instead.
193 * sem_ch3.adb (Analyze_Object_Declaration): Replace Any_Access with
194 Universal_Access.
195 * sem_ch4.adb (Analyze_Null): Likewise.
196 (Find_Non_Universal_Interpretations): Likewise.
197 (Find_Equality_Types.Try_One_Interp): Likewise and avoid shadowing
198 by renaming a local variable of the same name.
199 * sem_res.adb (Make_Call_Into_Operato): Likewise.
200 (Resolve_Equality_Op): Likewise.
201 * sem_type.adb (Covers): Likewise.
202 (Specific_Type): Likewise.
203
2042022-01-06 Piotr Trojanek <trojanek@adacore.com>
205
206 * treepr.adb (Destroy): Prevent spurious check from CodePeer.
207
2082022-01-06 Yannick Moy <moy@adacore.com>
209
210 * libgnat/s-exponu.adb (Exponu): Add annotation.
211
2122022-01-06 Justin Squirek <squirek@adacore.com>
213
214 * exp_ch6.adb (Add_Simple_Call_By_Copy_Code): Add comments
215 regarding special handling of components which depend on
216 discriminants.
217 * exp_dist.adb (Build_From_Any_Function): Add Real_Rep actual
218 for calls to Has_Stream_Attribute_Definition.
219 (Build_To_Any_Function): Likewise.
220 (Build_TypeCode_Function): Likewise.
221 * freeze.adb (Freeze_Entity): Add missing comment for Test_E.
222 * libgnat/s-utf_32.adb: Remove disabled warning comments and
223 temporarily inserted pragma warnings. Remove very old (2006 and
224 2012) comments about bootstrapping older versions.
225 * par.adb (P_Identifier): Add new parameter Force_Msg.
226 * par-ch2.adb (P_Identifier): Restructure and clean up function.
227 * par-ch3.adb (P_Defining_Identifier): Remove code duplication
228 for parsing identifiers.
229 * sem_attr.adb (Stream_Attribute_Available): Add missing
230 comments and add Real_Rep actual for calls to
231 Has_Stream_Attribute_Definition.
232 * sem_cat.adb (Has_Read_Write_Attribute): Add Real_Rep actual
233 for calls to Has_Stream_Attribute_Definition.
234 (Has_Stream_Attribute_Definition): Remove local Real_Rep and fix
235 recursive calls. Add default value for Real_Rep.
236 * sem_cat.ads (Has_Stream_Attribute_Definition): Add new out
237 parameter "Real_Rep".
238 * sem_type.adb (Add_Entry): Add condition to avoid passing
239 non-function calls to Function_Interp_Has_Abstract_Op.
240 (Function_Interp_Has_Abstract_Op): Add missing comments and
241 remove check for Is_Overloadable.
242 * sem_util.adb (Derivation_Too_Early_To_Inherit): Remove
243 duplicated code.
244
2452022-01-06 Javier Miranda <miranda@adacore.com>
246
247 * contracts.adb (Restore_Original_Selected_Component): New
248 subprogram that traverses a preanalyzed expression searching for
249 dispatching calls to functions whose original node was a
250 selected component, and replacing them with their original node.
251 This functionality is required because the preanalyis of
252 dispatching calls using the Object.Operation notation transforms
253 such calls, and we need the original condition to properly
254 inherit and extend the condition expression on tagged type
255 derivations. This functionality was previously provided by the
256 routine Install_Original_Selected_Component (as part of
257 inheriting conditions); now it is performed as part of the
258 preanalysis of the condition, thus avoiding repeatedly
259 installing and restoring such nodes.
260 (Install_Original_Selected_Component): Removed.
261 (Restore_Dispatching_Calls): Removed.
262
2632022-01-06 Piotr Trojanek <trojanek@adacore.com>
264
265 * treepr.adb (Visit_Node): Simplify repeated call to
266 Next_Entity.
267
2682022-01-06 Piotr Trojanek <trojanek@adacore.com>
269
270 * treepr.ads (Treepr, Print_Tree_List, Print_Tree_Elist): Fix
271 style in comments.
272 * treepr.adb (Serial_Numbers): Hash table instance.
273 (Hash): Hashing routine.
274 (Print_Field): Fix style.
275 (Print_Init): Adapt to simple hash table.
276 (Print_Term): Likewise.
277 (Serial_Numbers): Likewise.
278 (Set_Serial_Number): Likewise.
279
2802022-01-06 Yannick Moy <moy@adacore.com>
281
282 * libgnat/s-expmod.adb: Mark in SPARK. Add ghost code for proof.
283 * libgnat/s-expmod.ads: Mark in SPARK. Add ghost specifications.
284
2852022-01-06 Yannick Moy <moy@adacore.com>
286
287 * libgnat/s-explllu.ads: Mark in SPARK.
288 * libgnat/s-expllu.ads: Mark in SPARK.
289 * libgnat/s-exponu.adb: Add loop invariants and needed
290 assertions.
291 * libgnat/s-exponu.ads: Add functional contract.
292 * libgnat/s-expuns.ads: Mark in SPARK.
293
0fbefa25
GA		 2942022-01-05 Steve Baird <baird@adacore.com>
295
296 * exp_ch5.adb (Finish_Binding_Object_Declaration): Fix a bug
297 that was introduced in the previous commit. The previous
298 version initialized a Boolean constant Declare_Copy before the
299 variable Decl had been initialized properly.
300
3012022-01-05 Piotr Trojanek <trojanek@adacore.com>
302
303 * sem_prag.adb (Adjust_External_Name_Case): Use membership test.
304
3052022-01-05 Piotr Trojanek <trojanek@adacore.com>
306
307 * exp_ch3.adb (Make_Controlling_Function_Wrappers): For
308 GNATprove build the wrapper as an expression function.
309
3102022-01-05 Piotr Trojanek <trojanek@adacore.com>
311
312 * exp_ch3.ads (Make_Controlling_Function_Wrappers): Move
313 declaration from body to spec, so it can be called by
314 SPARK-specific expansion.
315 * exp_ch3.adb (Make_Controlling_Function_Wrappers): Likewise.
316 * exp_spark.adb (SPARK_Freeze_Type): Enable expansion of
317 wrappers for function with controlling result types.
318
3192022-01-05 Piotr Trojanek <trojanek@adacore.com>
320
321 * exp_dbug.adb, sem_dim.adb: Replace Add_Str_To_Name_Buffer with
322 Add_Char_To_Name_Buffer.
323
3242022-01-05 Piotr Trojanek <trojanek@adacore.com>
325
326 * gnatls.adb (Gnatls): Use Name_Find function.
327 * targparm.adb (Get_Target_Parameters): Likewise.
328
3292022-01-05 Bob Duff <duff@adacore.com>
330
331 * repinfo.adb (List_Entities): The code was assuming that if we
332 encounter a package in the current scope, then it must be
333 a (physically) nested package. That was wrong, because it could
334 be a child package. Avoid recursing into child packages; they
335 have not been annotated with representation information, and
336 -gnatR2 queries that information.
337
3382022-01-05 Marc Poulhiès <poulhies@adacore.com>
339
340 * libgnat/s-sopco3.ads, libgnat/s-sopco3.adb: Remove.
341 * libgnat/s-sopco4.ads, libgnat/s-sopco4.adb: Remove.
342 * libgnat/s-sopco5.ads, libgnat/s-sopco5.adb: Remove.
343 * libgnat/s-strops.ads, libgnat/s-strops.adb: Remove.
344 * Makefile.rtl (ADA_EXCLUDE_SRCS): Remove occurences of removed
345 units.
346 * gcc-interface/Make-lang.in (ada/sdefault.o): Remove
347 dependencies on removed units.
348 (GNATBIND_OBJS): Remove occurences of removed units.
349
3502022-01-05 Piotr Trojanek <trojanek@adacore.com>
351
352 * exp_ch3.adb (Build_Dcheck_Function): Remove extra whitespace.
353 * libgnarl/s-taskin.adb (Initialize_ATCB): Likewise.
354
3552022-01-05 Piotr Trojanek <trojanek@adacore.com>
356
357 * exp_attr.adb (Build_Array_VS_Func): Remove explicit "IN" in
358 spec of the generated array validation function; it was
359 redundant, just like it would be in a user-written code.
360
3612022-01-05 Piotr Trojanek <trojanek@adacore.com>
362
363 * exp_ch4.adb (Expand_N_Op_Ne): Fix whitespace.
364 * sem_dim.adb (Expand_Put_Call_With_Symbol): Likewise.
365 (Reduce): Likewise.
366
3672022-01-05 Piotr Trojanek <trojanek@adacore.com>
368
369 * exp_aggr.adb (Two_Pass_Aggregate_Expansion): Fix whitespace.
370 * libgnat/a-cofuve.ads (Add): Likewise.
371 * sem_ch3.adb (Build_Access_Subprogram_Wrapper): Likewise.
372
3732022-01-05 Piotr Trojanek <trojanek@adacore.com>
374
375 * exp_ch3.adb (Make_Eq_Body, Make_Neq_Body,
376 Make_Predefined_Primitive_Eq_Spec,
377 Make_Predefined_Primitive_Specs): Fix whitespace.
378
3792022-01-05 Etienne Servais <servais@adacore.com>
380
381 * sem_ch3.adb (Analyze_Component_Declaration): Rework condition
382 to build subtypes.
383 (Analyze_Object_Declaration): Likewise.
384 (Should_Build_Subtype): New.
385
3862022-01-05 Yannick Moy <moy@adacore.com>
387
388 * libgnat/s-arit128.adb: Mark in SPARK.
389 * libgnat/s-arit128.ads: Add functional contracts.
390
3912022-01-05 Piotr Trojanek <trojanek@adacore.com>
392
393 * sem_util.adb (String_From_Numeric_Literal): Simplify using
394 membership tests and ranges; fix whitespace.
395
3962022-01-05 Yannick Moy <moy@adacore.com>
397
398 * libgnat/s-expint.ads: Mark in SPARK. Adapt to change to
399 package.
400 * libgnat/s-explli.ads: Likewise.
401 * libgnat/s-expllli.ads: Likewise.
402 * libgnat/s-expont.adb: Add lemmas and ghost code.
403 * libgnat/s-expont.ads: Add functional contract.
404
4052022-01-05 Piotr Trojanek <trojanek@adacore.com>
406
407 * exp_disp.adb (Gen_Parameters_Profile): Remove redundant guard.
408
4092022-01-05 Claire Dross <dross@adacore.com>
410
411 * libgnat/s-valuti.ads (Starts_As_Exponent_Format_Ghost): Ghost
412 function to determine if a string is recognized as something
413 which might be an exponent.
414 (Is_Opt_Exponent_Format_Ghost): Ghost function to determine if a
415 string has the correct format for an optional exponent.
416 (Scan_Exponent): Use ghost functions to factorize contracts.
417
4182022-01-05 Bob Duff <duff@adacore.com>
419
420 * exp_util.ads (Get_Current_Value_Condition): Belt: Add a
421 postcondition that Val /= Var.
422 * sem_util.adb (Known_Null): Suspenders: Raise Program_Error if
423 Get_Current_Value_Condition returned the same value. This will
424 be enabled even without assertions, because infinite recursion
425 is a nuisance -- better to crash if this bug ever occurs.
426
4272022-01-05 Piotr Trojanek <trojanek@adacore.com>
428
429 * exp_ch3.adb (Make_Null_Procedure_Specs): Simplify by reusing
430 Copy_Subprogram_Spec.
431 * sem_util.ads (Copy_Subprogram_Spec): Add New_Sloc parameter.
432 * sem_util.adb (Copy_Subprogram_Spec): Pass New_Sloc to
433 New_Copy_Tree.
434
4352022-01-05 Yannick Moy <moy@adacore.com>
436
437 * libgnat/s-exnint.ads: Mark in SPARK. Adapt to change to
438 package.
439 * libgnat/s-exnlli.ads: Likewise.
440 * libgnat/s-exnllli.ads: Likewise.
441 * libgnat/s-exponn.adb: Add lemmas and ghost code. Secial case
442 value zero as Left or Right to simplify proof.
443 * libgnat/s-exponn.ads: Transform the generic function into a
444 generic package with a function inside. Add a functional
445 contract.
446
4472022-01-05 Piotr Trojanek <trojanek@adacore.com>
448
449 * sem_ch12.adb (Instantiate_Formal_Subprogram): Remove redundant
450 call to Set_Defining_Unit_Name; a similar call is done few lines
451 below.
452
4532022-01-05 Piotr Trojanek <trojanek@adacore.com>
454
455 * exp_ch3.adb (Make_Controlling_Function_Wrappers): Create
456 distinct copies of parameter lists for spec and body with
457 Copy_Parameter_List; cleanup.
458 (Make_Null_Procedure_Specs): Fix style in comments; remove a
459 potentially unnecessary initialization of a local variable.
460
4612022-01-05 Bob Duff <duff@adacore.com>
462
463 * einfo-utils.ads, einfo-utils.adb (Renamed_Entity Alias):
464 Change Node_Id to Entity_Id.
465
4662022-01-05 Piotr Trojanek <trojanek@adacore.com>
467
468 * sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wrapper):
469 Remove unreferenced spec.
470 * sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wrapper):
471 Remove dead bodies.
472
4732022-01-05 Yannick Moy <moy@adacore.com>
474
475 * libgnat/s-aridou.adb: Apply replacement.
476
4772022-01-05 Yannick Moy <moy@adacore.com>
478
479 * libgnat/s-aridou.adb (Lemma_Word_Commutation): Fix for
480 instances with other values of Single_Size.
481
4822022-01-05 Marc Poulhiès <poulhies@adacore.com>
483
484 * doc/gnat_rm/implementation_defined_pragmas.rst (Compiler_Unit)
485 (Compiler_Unit_Warning): Remove.
486 * gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Regenerate.
487 * libgnat/g-dynhta.ads: Add comment indicating this unit is
488 built during stage1.
489 * libgnat/g-dyntab.ads: Likewise.
490 * libgnat/g-graphs.ads: Likewise.
491 * libgnat/g-lists.ads: Likewise.
492 * libgnat/g-sets.ads: Likewise.
493 * libgnat/gnat.ads: Likewise.
494 * libgnat/s-pehage.ads: Likewise.
495 * libgnat/s-resfil.ads: Likewise.
496 * libgnat/s-rident.ads: Likewise.
497 * libgnat/s-utf_32.ads: Likewise.
498 * errout.ads: Update comment.
499 * opt.ads (Opt): Remove Compiler_Unit.
500 * par-ch5.adb (All_Pragmas): Remove call to Check_Compiler_Unit.
501 * sem_prag.adb (Analyze_Pragma): Likewise.
502 * sem_ch4.adb (Non_Static_Choice_Error, Analyze_If_Expression)
503 (Analyze_Set_Membership, Record_Interp): Likewise.
504 * sem_ch11.adb (Analyze_Raise_Expression): Likewise.
505 * sem_ch6.adb: Remove Restric package reference.
506 (Analyze_Extended_Return_Statement): Remove call to
507 Check_Compiler_Unit.
508 * par-prag.adb (Process_Restrictions_Or_Restriction_Warnings):
509 Remove handling of Pragma_Compiler_Unit[_Warning}.
510 * restrict.adb (Check_Compiler_Unit): Remove both.
511 * restrict.ads: Likewise.
512 * snames.ads-tmpl (Pragma_Id): Remove
513 Pragma_Compiler_Unit[_Warning].
514 * libgnat/a-assert.ads: Remove pragma Compiler_Unit_Warning.
515 * libgnat/a-chlat1.ads: Likewise.
516 * libgnat/a-elchha.adb: Likewise.
517 * libgnat/a-elchha.ads: Likewise.
518 * libgnat/a-ioexce.ads: Likewise.
519 * libgnat/a-strhas.ads: Likewise.
520 * libgnat/g-byorma.adb: Likewise.
521 * libgnat/g-byorma.ads: Likewise.
522 * libgnat/g-dyntab.adb: Likewise.
523 * libgnat/g-heasor.ads: Likewise.
524 * libgnat/g-hesora.adb: Likewise.
525 * libgnat/g-hesora.ads: Likewise.
526 * libgnat/g-htable.adb: Likewise.
527 * libgnat/g-htable.ads: Likewise.
528 * libgnat/g-spchge.adb: Likewise.
529 * libgnat/g-spchge.ads: Likewise.
530 * libgnat/g-speche.adb: Likewise.
531 * libgnat/g-speche.ads: Likewise.
532 * libgnat/g-table.ads: Likewise.
533 * libgnat/g-u3spch.adb: Likewise.
534 * libgnat/g-u3spch.ads: Likewise.
535 * libgnat/interfac.ads: Likewise.
536 * libgnat/s-addope.adb: Likewise.
537 * libgnat/s-addope.ads: Likewise.
538 * libgnat/s-assert.adb: Likewise.
539 * libgnat/s-assert.ads: Likewise.
540 * libgnat/s-bitops.adb: Likewise.
541 * libgnat/s-bitops.ads: Likewise.
542 * libgnat/s-carun8.adb: Likewise.
543 * libgnat/s-carun8.ads: Likewise.
544 * libgnat/s-casuti.adb: Likewise.
545 * libgnat/s-casuti.ads: Likewise.
546 * libgnat/s-conca2.adb: Likewise.
547 * libgnat/s-conca2.ads: Likewise.
548 * libgnat/s-conca3.adb: Likewise.
549 * libgnat/s-conca3.ads: Likewise.
550 * libgnat/s-conca4.adb: Likewise.
551 * libgnat/s-conca4.ads: Likewise.
552 * libgnat/s-conca5.adb: Likewise.
553 * libgnat/s-conca5.ads: Likewise.
554 * libgnat/s-conca6.adb: Likewise.
555 * libgnat/s-conca6.ads: Likewise.
556 * libgnat/s-conca7.adb: Likewise.
557 * libgnat/s-conca7.ads: Likewise.
558 * libgnat/s-conca8.adb: Likewise.
559 * libgnat/s-conca8.ads: Likewise.
560 * libgnat/s-conca9.adb: Likewise.
561 * libgnat/s-conca9.ads: Likewise.
562 * libgnat/s-crc32.adb: Likewise.
563 * libgnat/s-crc32.ads: Likewise.
564 * libgnat/s-crtl.ads: Likewise.
565 * libgnat/s-excdeb.adb: Likewise.
566 * libgnat/s-excdeb.ads: Likewise.
567 * libgnat/s-except.ads: Likewise.
568 * libgnat/s-exctab.adb: Likewise.
569 * libgnat/s-exctab.ads: Likewise.
570 * libgnat/s-finmas.ads: Likewise.
571 * libgnat/s-htable.adb: Likewise.
572 * libgnat/s-htable.ads: Likewise.
573 * libgnat/s-mastop.adb: Likewise.
574 * libgnat/s-mastop.ads: Likewise.
575 * libgnat/s-memory.adb: Likewise.
576 * libgnat/s-memory.ads: Likewise.
577 * libgnat/s-os_lib.ads: Likewise.
578 * libgnat/s-parame.adb: Likewise.
579 * libgnat/s-parame.ads: Likewise.
580 * libgnat/s-parame__posix2008.ads: Likewise.
581 * libgnat/s-purexc.ads: Likewise.
582 * libgnat/s-resfil.adb: Likewise.
583 * libgnat/s-restri.adb: Likewise.
584 * libgnat/s-restri.ads: Likewise.
585 * libgnat/s-secsta.adb: Likewise.
586 * libgnat/s-secsta.ads: Likewise.
587 * libgnat/s-soflin.adb: Likewise.
588 * libgnat/s-soflin.ads: Likewise.
589 * libgnat/s-sopco3.adb: Likewise.
590 * libgnat/s-sopco3.ads: Likewise.
591 * libgnat/s-sopco4.adb: Likewise.
592 * libgnat/s-sopco4.ads: Likewise.
593 * libgnat/s-sopco5.adb: Likewise.
594 * libgnat/s-sopco5.ads: Likewise.
595 * libgnat/s-spsufi.ads: Likewise.
596 * libgnat/s-stache.adb: Likewise.
597 * libgnat/s-stache.ads: Likewise.
598 * libgnat/s-stalib.adb: Likewise.
599 * libgnat/s-stalib.ads: Likewise.
600 * libgnat/s-stoele.adb: Likewise.
601 * libgnat/s-stoele.ads: Likewise.
602 * libgnat/s-strcom.adb: Likewise.
603 * libgnat/s-strcom.ads: Likewise.
604 * libgnat/s-strhas.adb: Likewise.
605 * libgnat/s-string.adb: Likewise.
606 * libgnat/s-string.ads: Likewise.
607 * libgnat/s-strops.adb: Likewise.
608 * libgnat/s-strops.ads: Likewise.
609 * libgnat/s-ststop.adb: Likewise.
610 * libgnat/s-ststop.ads: Likewise.
611 * libgnat/s-traceb.adb: Likewise.
612 * libgnat/s-traceb.ads: Likewise.
613 * libgnat/s-traent.adb: Likewise.
614 * libgnat/s-traent.ads: Likewise.
615 * libgnat/s-utf_32.adb: Likewise.
616 * libgnat/s-unstyp.ads: Likewise.
617 * libgnat/s-wchcnv.adb: Likewise.
618 * libgnat/s-wchcnv.ads: Likewise.
619 * libgnat/s-wchcon.adb: Likewise.
620 * libgnat/s-wchcon.ads: Likewise.
621 * libgnat/s-wchjis.adb: Likewise.
622 * libgnat/s-wchjis.ads: Likewise.
623
6242022-01-05 Arnaud Charlet <charlet@adacore.com>
625
626 * osint.adb (File_Names_Equal): Declare To_Lower locally.
627 * osint.ads (Null_FD): New.
628 * fmap.adb, sinput-l.adb, targparm.adb: Adapt to changes above.
629 * switch-b.adb (Scan_Debug_Switches): Use Is_Regular_File to
630 simplify the bootstrap dependencies.
631
a4ae8c37
GA		 6322022-01-03 Jakub Jelinek <jakub@redhat.com>
633
634 * gnat_ugn.texi: Bump @copying's copyright year.
635 * gnat_rm.texi: Likewise.
636
848830dc 637\f
6123f29a 638Copyright (C) 2022 Free Software Foundation, Inc.
848830dc
PMR		 639
640Copying and distribution of this file, with or without modification,
641are permitted in any medium without royalty provided the copyright
642notice and this notice are preserved.
Mirror of https://gcc.gnu.org/git/gcc.git