1 2019-08-20 Eric Botcazou <ebotcazou@adacore.com>
3 * repinfo.adb (List_Record_Info): In -gnatR4 mode, set the
4 relevant flag on the implicit base type of a record subtype.
6 2019-08-20 Bob Duff <duff@adacore.com>
8 * sem_eval.adb (Expr_Value): Implement the case of an unchecked
9 conversion of a static expression.
11 2019-08-20 Bob Duff <duff@adacore.com>
13 * sem_ch13.adb (Is_Null_Array): New function, used to detect the
14 null array case; used to warn about uncheckedly converting to a
15 zero-sized array. It is unfortunate that we can't just check
16 the size, and warn on all cases of converting from a
17 nonzero-sized type to a zero-sized one. That's because "0" means
18 two different things: "size is zero" and "size is unknown".
19 Until we fix that design flaw, we need this more targeted fix.
21 2019-08-20 Bob Duff <duff@adacore.com>
23 * libgnat/a-cborma.adb, libgnat/a-cborse.adb (Clear): Repeatedly
24 call Delete. This avoids clearing the free list, which
25 substantially speeds up future Delete operations.
27 2019-08-20 Bob Duff <duff@adacore.com>
29 * sem_ch13.adb (Component_Order_Check): New procedure to check
30 for out-of-order clauses.
31 * warnsw.ads, warnsw.adb: New -gnatw_r switch.
32 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
34 * gnat_ugn.texi: Regenerate.
36 2019-08-20 Bob Duff <duff@adacore.com>
38 * sem_ch13.adb (Object_Size): Give an error for zero. It really
39 rubs me the wrong way that we don't honor "for T'Object_Size use
40 0;", but it's not important enough to fix. In any case, if we're
41 not going to obey the clause, we should give an error.
43 2019-08-20 Bob Duff <duff@adacore.com>
45 * errout.adb (Error_Msg_Internal): Set Warn_Err in case of
47 * erroutc.adb (Output_Msg_Text): Do Warnings_Treated_As_Errors
48 processing and [warning-as-error] modification for style
49 messages. Clean up code, simplify, remove unnecessary block
50 statement, add renaming of table entry.
51 * erroutc.ads (Warning_Treated_As_Error): Fix comment: no such
52 thing as Set_Warning_As_Error.
53 * opt.ads: Clean up comments and move related declarations near
55 * par-prag.adb: Process Warning_As_Error. This is necessary
56 because many style warning happen during parsing.
57 * sem_prag.adb: Use new Acquire_Warning_Match_String.
58 * sem_util.ads, sem_util.adb (Acquire_Warning_Match_String): New
59 function shared by par-prag.adb and sem_prag.adb. Replaces the
60 procedure in sem_prag.adb. Avoid use of global variables.
61 * stringt.ads, stringt.adb (To_String): New function to convert
63 * doc/gnat_rm/implementation_defined_pragmas.rst: Document the
65 * gnat_rm.texi: Regenerate.
67 2019-08-20 Eric Botcazou <ebotcazou@adacore.com>
69 * lib.ads: Add with clause for GNAT.HTable.
70 Add pragma Inline for Is_Loaded and alphabetize the list.
71 (Unit_Name_Table_Size): New constant.
72 (Unit_Name_Header_Num): New subtype.
73 (Unit_Name_Hash): New function declaration.
74 (Unit_Names): New simple hash table.
75 (Init_Unit_Name): New procedure declaration.
76 * lib.adb (Set_Unit_Name): Unregister the old name in the table,
77 if any, and then register the new name.
78 (Init_Unit_Name): New procedure.
79 (Is_Loaded): Reimplement using a lookup in the names table.
80 (Remove_Unit): Unregister the name.
81 (Unit_Name_Hash): New function.
82 * lib-load.adb (Create_Dummy_Package_Unit): Call Init_Unit_Name.
83 (Load_Unit): Use a lookup in the names table to find out whether
84 the unit has already been loaded. Call Init_Unit_Name and then
85 Remove_Unit if the loading has failed.
86 (Make_Child_Decl_Unit): Call Init_Unit_Name.
87 (Make_Instance_Unit): Likewise.
88 * lib-writ.adb (Ensure_System_Dependency): Likewise.
90 2019-08-20 Bob Duff <duff@adacore.com>
92 * sem_ch13.adb (Record_Hole_Check): Initialize After_Last.
94 2019-08-20 Piotr Trojanek <trojanek@adacore.com>
96 * impunit.adb (Get_Kind_Of_Unit): Revert change for adapting
97 this routine for gnatprove.
99 2019-08-20 Arnaud Charlet <charlet@adacore.com>
101 * doc/gnat_rm/implementation_defined_pragmas.rst: Document
102 requirements for Pragma Lock_Free.
103 * gnat_rm.texi: Regenerate.
105 2019-08-20 Philippe Gil <gil@adacore.com>
107 * bindgen.adb (Gen_Main): Set gnat_argc/gnat_argv to argc/argv
108 only when still uninitialized.
110 2019-08-20 Bob Duff <duff@adacore.com>
112 * libgnat/g-comlin.ads (Exit_From_Command_Line): Fix
113 documentation for GNAT.Command_Line.
115 2019-08-20 Pierre-Marie de Rodat <derodat@adacore.com>
118 * gcc-interface/lang.opt (-fdump-scos): Add missing dot at the
119 end of the documentation.
121 2019-08-20 Richard Sandiford <richard.sandiford@arm.com>
123 * gcc-interface/misc.c (default_pass_by_ref): Update call to
126 2019-08-19 Bob Duff <duff@adacore.com>
128 * doc/gnat_rm/implementation_advice.rst: Fix documentation for
129 stream oriented attributes.
130 * gnat_rm.texi: Regenerate.
132 2019-08-19 Gary Dismukes <dismukes@adacore.com>
134 * einfo.ads (E_Function, E_Procedure): Update comments to
135 reflect that Renamed_Entity is also used for nongeneric
138 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
140 * sem_prag.adb (Is_Before_First_Decl): Deal with rewritten
143 2019-08-19 Bob Duff <duff@adacore.com>
145 * sem_warn.adb (Warn_On_Unreferenced_Entity): Suppress warning
146 on formal parameters of dispatching operations.
148 2019-08-19 Ed Schonberg <schonberg@adacore.com>
150 * sem_res.adb (Resolve_Call): A call to an expression function
151 freezes when expander is active, unless the call appears within
152 the body of another expression function,
154 2019-08-19 Dmitriy Anisimkov <anisimko@adacore.com>
156 * libgnat/s-os_lib.ads, libgnat/s-os_lib.adb (To_Ada, To_C): New
159 2019-08-19 Bob Duff <duff@adacore.com>
161 * exp_attr.adb (Attribute_Valid): Correct the handling of
162 private types where the full type is modular. System.Address is
163 an example. Otherwise, we convert uncheckedly to a signed type,
164 so we get an incorrect range 0 .. -1, for which all values will
165 fail. The 'Valid attribute is illegal for such types, but we
166 generate such illegal attribute_references for 'Valid_Scalars,
167 and we generate 'Valid_Scalars when the -gnateV switch is used.
168 Rename Btyp --> PBtyp to avoid hiding the outer Btyp, which was
170 * libgnat/a-except.adb: Set the Exception_Raised component.
171 Otherwise, we have incorrect reads of invalid data.
173 2019-08-19 Pierre-Marie de Rodat <derodat@adacore.com>
175 * libgnat/a-cgaaso.ads, libgnat/a-cgarso.ads,
176 libgnat/a-cogeso.ads, libgnat/a-contai.ads,
177 libgnat/a-locale.ads: Import documentation from the RM.
179 2019-08-19 Jerome Guitton <guitton@adacore.com>
181 * Makefile.rtl (system.o): New target to add generation of
183 * gcc-interface/Makefile.in (install-gnatlib): Install
184 ada_target_properties.
186 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
188 * inline.adb (Add_Inlined_Body): Do not special-case instances
189 that are compilation units.
190 (Add_Pending_Instantiation): Likewise.
191 (Instantiate_Body): Skip instantiations that are compilation
192 units and have already been performed.
193 * sem_ch12.adb (Needs_Body_Instantiated): Do not special-case
194 instances that are compilation units.
195 (Load_Parent_Of_Generic): Be prepared for parent that is a
196 compilation unit but whose instantiation node has not been
199 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
201 * inline.adb (Initialize, Lock): Deal with
202 Called_Pending_Instantiations.
204 2019-08-19 Ed Schonberg <schonberg@adacore.com>
206 * sem_ch6.adb (Check_Synchronized_Overriding): Complete
207 predicate that applies legality check in 9.4 (11.9/2): if an
208 inherited subprogram is implemented by a protected procedure or
209 entry, its first paarameter must be out, in_out or
212 2019-08-19 Javier Miranda <miranda@adacore.com>
215 * exp_atag.ads, exp_atag.adb (Build_Inherit_Predefined_Prims):
216 Adding formal to specify how many predefined primitives are
217 inherited from the parent type.
218 * exp_disp.adb (Number_Of_Predefined_Prims): New subprogram.
219 (Make_Secondary_DT): Compute the number of predefined primitives
220 of all tagged types (including tagged types not defined at
221 library level). Previously we unconditionally relied on the
222 Max_Predef_Prims constant value when building the dispatch
223 tables of tagged types not defined at library level (thus
224 consuming more memory for their dispatch tables than required).
225 (Make_DT): Compute the number of predefined primitives that must
226 be inherited from their parent type when building the dispatch
227 tables of tagged types not defined at library level. Previously
228 we unconditionally relied on the Max_Predef_Prims constant value
229 when building the dispatch tables of tagged types not defined at
230 library level (thus copying more data than required from the
233 2019-08-19 Bob Duff <duff@adacore.com>
235 * sem_ch13.adb (Record_Hole_Check): Procedure to check for holes
236 that incudes processing type extensions. A type extension is
237 processed by first calling Record_Hole_Check recursively on the
238 parent type to compute the bit number after the last component
241 2019-08-19 Gary Dismukes <dismukes@adacore.com>
243 * checks.adb (Length_Mismatch_Info_Message): New function in
244 Selected_Length_Checks to return a message indicating the
245 element counts for the mismatched lengths for a failed
246 compile-time length check.
247 (Plural_Or_Singular_Ending): Support function in
248 Length_Mismatch_Info_Message to return either "" or "s", for
249 concatenating to the end of words.
250 (Selected_Length_Checks): Pass the result of
251 Length_Mismatch_Info_Message as an extra warning message to
252 Compile_Time_Constraint_Error to indicate the mismatched lengths
253 for a failed compile-time length check.
254 * sem_util.ads (Compile_Time_Constraint_Error): Add an optional
255 message formal (Extra_Msg), defaulted to the empty string.
256 * sem_util.adb (Compile_Time_Constraint_Error): Output an extra
257 message following the main warning message (when Extra_Msg is
258 not the empty string).
260 2019-08-19 Patrick Bernardi <bernardi@adacore.com>
262 * socket.c: Removed the redefinition of getaddrinfo, getnameinfo
263 and freeaddrinfo to internal VxWorks kernel calls because they
264 are, well, internal kernel calls and cannot be called from RTPs.
265 VxWorks provides the necessary components to call these routines
268 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
270 * exp_dist.adb (Is_Generic_Actual_Subtype): New predicate.
271 (Build_From_Any_Call, Build_To_Any_Call, Build_TypeCode_Call):
272 Use it instead of Is_Generic_Actual_Type flag to detect subtypes
273 representing generic actual types.
275 2019-08-19 Ed Schonberg <schonberg@adacore.com>
277 * sem_warn.adb (Check_References, Generic_Body_Formal): When a
278 formal parameter of a generic subprogram is not referenced in
279 the body, place the corresponding warning on the corresponding
280 entity in the specification of the generic body, as is done for
281 non-generic subprograms.
283 2019-08-19 Bob Duff <duff@adacore.com>
285 * errout.ads (Size_Too_Small_Message): New constant.
286 * errout.adb, freeze.adb, sem_ch13.adb: Use it.
288 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
290 * exp_dist.adb (Build_Package_Stubs): Do not specifically visit
291 the declarations of an N_Subprogram_Instantiation node.
293 2019-08-19 Bob Duff <duff@adacore.com>
295 * doc/gnat_ugn/gnat_utility_programs.rst: Document missing
298 2019-08-19 Piotr Trojanek <trojanek@adacore.com>
300 * sem_ch12.adb (Get_Unit_Instantiation_Node): Simplify Nkind_In
302 * sem.adb (Depends_On_Main): Whitespace cleanup; only assign a
303 local variable if needed.
305 2019-08-19 Claire Dross <dross@adacore.com>
307 * sem_spark.ads, sem_spark.adb (Is_Pledge_Function): New
308 parameter of the generic. Function used to decide whether a
309 function is a pledge function.
310 (Check_Not_Borrowed): Disable check inside the second parameter
311 of a pledge function for the path borrowed by the first
312 parameter. Also disable checks for entities inside a Global
315 2019-08-19 Joffrey Huguet <huguet@adacore.com>
317 * libgnat/a-cfdlli.ads, libgnat/a-cfhama.ads,
318 libgnat/a-cfinve.ads, libgnat/a-cforma.ads,
319 libgnat/a-cofove.ads, libgnat/a-cofuma.ads,
320 libgnat/a-cofuve.ads: Add formal function parameter "=" (L, R :
321 Element_Type) to the generic packages.
323 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
325 * opt.ads: Clean up left-overs of earlier implementation in
328 2019-08-19 Ed Schonberg <schonberg@adacore.com>
330 * sem_ch3.adb (Derived_Enumeration_Type): Do no freeze anonymous
331 base type if the bounds in the derived type declaration are
332 literals of the type.
334 2019-08-19 Yannick Moy <moy@adacore.com>
336 * sem_res.adb (Resolve_Call): Check non-aliasing rules before
339 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
341 * inline.adb (Add_Inlined_Body): Do not add pending
343 * sem_ch12.adb (Needs_Body_Instantiated): New predicate.
344 (Analyze_Package_Instantiation): Use it to decide whether to add
345 a pending instantiation for the body of the package.
347 2019-08-19 Olivier Hainque <hainque@adacore.com>
349 * gcc-interface/trans.c (Acc_Loop_to_gnu): Return the openacc
350 BIND_EXPR node we have constructed on purpose. Remove unused
353 2019-08-19 Pierre-Marie de Rodat <derodat@adacore.com>
355 * gcc-interface/lang.opt (fdump-scos): Define.
356 * gcc-interface/misc.c (gnat_handle_option): Handle
359 2019-08-14 Joffrey Huguet <huguet@adacore.com>
361 * libgnat/a-cofuba.ads: Add a Length attribute to type
362 Container. Add a type Array_Base which replaces the previous
363 Elements attribute of Container.
364 (Content_Init): New subprogram. It is used to initialize the
365 Base attribute of Container.
366 * libgnat/a-cofuba.adb (Resize): New subprogram. It is used to
367 resize the underlying array of a container if necessary.
368 (=, <=, Find, Get, Intersection, Length, Num_Overlaps, Set,
369 Union): Update to match changes in type declarations.
370 (Add): Modify body to damp the time and space cost in a specific
372 (Content_Init): New subprogram. It is used to initialize the
373 Base attribute of Container.
374 (Remove): Modify body to damp the time and space cost in a
377 2019-08-14 Bob Duff <duff@adacore.com>
379 * sem_ch13.adb (Get_Alignment_Value): Return 1 for Alignment 0,
380 and do not give an error.
381 * doc/gnat_rm/representation_clauses_and_pragmas.rst: Update the
382 corresponding documentation.
383 * gnat_rm.texi: Regenerate.
385 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
387 * inline.adb (Add_Pending_Instantiation): Fix off-by-one error
388 in the comparison against the maximum number of instantiations.
390 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
392 * inline.adb (Add_Pending_Instantiation): Use greater-or-equal
393 in the comparison against the maximum number of instantiations.
395 2019-08-14 Ed Schonberg <schonberg@adacore.com>
397 * sem_aux.adb (Next_Rep_Item): If a node in the rep chain
398 involves a Ghost aspect it may have been replaced by a null
399 statement; use the original node to find next Rep_Item.
400 * repinfo.adb (List_Entities): Do not list an Ignored
401 Ghost_Entity, for which information may have been deleted.
403 2019-08-14 Bob Duff <duff@adacore.com>
405 * sem_prag.ads, sem_prag.adb
406 (Process_Compile_Time_Warning_Or_Error): In parameterless
407 version, improve detection of whether we are in a generic unit
408 to cover the case of an instance within a generic unit.
409 (Process_Compile_Time_Warning_Or_Error): Rename the
410 two-parameter version to be
411 Validate_Compile_Time_Warning_Or_Error, and do not export it.
412 Issue a warning if the condition is not known at compile time.
413 The key point is that the warning must be given only for pragmas
414 deferred to the back end, because the back end discovers
415 additional values that are known at compile time. Previous
416 changes in this ticket have enabled this by deferring to the
417 back end without checking for special cases such as 'Size.
418 (Validate_Compile_Time_Warning_Or_Error): Rename to be
419 Defer_Compile_Time_Warning_Error_To_BE.
420 * warnsw.ads, warnsw.adb (Warn_On_Unknown_Compile_Time_Warning):
421 Add new switches -gnatw_c and -gnatw_C to control the above
423 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
424 Document new switches.
425 * gnat_ugn.texi: Regenerate.
427 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
429 * sem_ch12.adb (Might_Inline_Subp): Rework comment and restrict
430 the shortcut based on Is_Inlined to the back-end inlining case.
432 2019-08-14 Bob Duff <duff@adacore.com>
434 * inline.adb (Check_And_Split_Unconstrained_Function): Ignore
435 protected functions to get rid of spurious error. The
436 transformation done by this procedure triggers legality errors
437 in the generated code in this case.
439 2019-08-14 Bob Duff <duff@adacore.com>
441 * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Defer
442 processing to the back end in all cases where the pragma's
443 condition is not known at compile time during the front end
444 (except in generics), as opposed to detecting 'Size attributes
445 and the like. This ensures that we take advantage of whatever
446 can be compile-time known after running the back end, as opposed
447 to having the front end guess what the back end can do. Remove
448 a little duplicated code at the call site.
449 * gnat1drv.adb (Post_Compilation_Validation_Checks): Unlock the
450 Elists while in Validate_Compile_Time_Warning_Errors, because it
451 does analysis and name resolution, which sometimes involves
454 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
456 * einfo.ads (Is_Called): Document new usage on E_Package
458 * einfo.adb (Is_Called): Accept E_Package entities.
459 (Set_Is_Called): Likewise.
460 * exp_ch6.adb (Expand_Call_Helper): Move code dealing with
461 instances for back-end inlining to Add_Inlined_Body.
462 * inline.ads: Remove with clauses for Alloc and Table.
463 (Pending_Instantiations): Move to...
464 * inline.adb: Add with clauses for Alloc, Uintp, Table and
466 (Backend_Instances): New variable.
467 (Pending_Instantiations): ...here.
468 (Called_Pending_Instantiations): New table.
469 (Node_Table_Size): New constant.
470 (Node_Header_Num): New subtype.
471 (Node_Hash): New function.
472 (To_Pending_Instantiations): New hash table.
473 (Add_Inlined_Body): Bail out early for subprograms in the main
474 unit or subunit. Likewise if the Is_Called flag is set. If the
475 subprogram is an instance, invoke Add_Inlined_Instance. Call
476 Set_Is_Called earlier. If the subrogram is within an instance,
477 invoke Add_Inlined_Instance. Also deal with the case where the
478 call itself is within an instance.
479 (Add_Inlined_Instance): New procedure.
480 (Add_Inlined_Subprogram): Remove conditions always fulfilled.
481 (Add_Pending_Instantiation): Move the defence against ludicruous
482 number of instantiations to here. When back-end inlining is
483 enabled, associate an instantiation with its index in table and
484 mark a few selected kinds of instantiations as always needed.
485 (Initialize): Set Backend_Instances to No_Elist.
486 (Instantiate_Body): New procedure doing the work extracted
488 (Instantiate_Bodies): ...here. When back-end inlining is
489 enabled, loop over Called_Pending_Instantiations instead of
490 Pending_Instantiations.
491 (Is_Nested): Minor tweak.
492 (List_Inlining_Info): Also list the contents of
494 * sem_ch12.adb (Might_Inline_Subp): Return early if Is_Inlined
495 is set and otherwise set it before returning true.
496 (Analyze_Package_Instantiation): Remove the defence against
497 ludicruous number of instantiations. Invoke
498 Remove_Dead_Instance instead of doing the removal manually if
499 there is a guaranteed ABE.
501 2019-08-14 Gary Dismukes <dismukes@adacore.com>
503 * exp_ch3.adb (Predef_Spec_Or_Body): For an equality operation
504 of an interface type, create an expression function (that
505 returns False) rather than declaring an abstract function.
506 * freeze.adb (Check_Inherited_Conditions): Set Needs_Wrapper to
507 False unconditionally at the start of the loop creating wrappers
508 for inherited operations.
510 2019-08-14 Bob Duff <duff@adacore.com>
512 * table.adb: Assert that the table is not locked when increasing
513 Last, even if it doesn't cause reallocation. In other words,
514 assert that on operations that MIGHT cause reallocation.
515 * table.ads: Fix comment accordingly.
517 2019-08-14 Arnaud Charlet <charlet@adacore.com>
519 * doc/gnat_ugn/gnat_and_program_execution.rst: Remove
520 documentation of gnatelim.
522 2019-08-14 Bob Duff <duff@adacore.com>
524 * sem_prag.adb (Validate_Compile_Time_Warning_Error): Attach the
525 warning to the Sloc of the first pragma argument, rather than to
526 the pragma itself. This is to make pragmas processed after the
527 back end use the same Sloc as pragmas processed earlier, in the
528 front end. There's no reason for this discrepancy, and it
529 hinders further work on this ticket.
531 2019-08-14 Bob Duff <duff@adacore.com>
533 * sem.ads (Inside_A_Generic): Remove the ??? comment.
535 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
537 * inline.ads (Pending_Descriptor): Delete.
538 * inline.adb (Initialize): Do not initialize it.
539 * sem_ch12.adb (Delay_Descriptors): Delete.
540 (Analyze_Package_Instantiation): Call
541 Set_Delay_Subprogram_Descriptors instead of Delay_Descriptors
544 2019-08-14 Bob Duff <duff@adacore.com>
546 * exp_aggr.adb (Init_Hidden_Discriminants): Avoid processing the
547 wrong discriminant, which could be of the wrong type.
549 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
551 * sem_ch12.adb (Analyze_Instance_And_Renamings): Do not reset
552 the Is_Generic_Instance flag previously set on the package
553 generated for the instantiation of a generic subprogram.
555 2019-08-14 Ed Schonberg <schonberg@adacore.com>
557 * exp_ch4.adb (Expand_N_Quantified_Expression): Freeze
558 explicitly the type of the loop parameter.
560 2019-08-14 Javier Miranda <miranda@adacore.com>
562 * sem_util.adb (New_Copy_Tree.Copy_Node_With_Replacement):
563 Update the Chars attribute of identifiers.
565 2019-08-14 Yannick Moy <moy@adacore.com>
567 * sem_spark.adb, sem_spark.ads (Is_Legal): New function exposed
568 for use in GNATprove, to test legality rules not related to
570 (Check_Declaration_Legality): Extract the part of
571 Check_Declaration that checks rules not related to permissions.
572 (Check_Declaration): Call the new Check_Declaration_Legality.
573 (Check_Type_Legality): Rename of Check_Type. Introduce
574 parameters to force or not checking, and update a flag detecting
576 (Check_Node): Ignore attribute references in statement position.
578 2019-08-14 Yannick Moy <moy@adacore.com>
580 * sem_spark.adb (Check_Old_Loop_Entry): New procedure to check
581 correct use of Old and Loop_Entry.
582 (Check_Node): Check subprogram contracts.
583 (Check_Pragma): Check Loop_Variant.
584 (Check_Safe_Pointers): Apply checking to library-level
585 subprogram declarations as well, in order to check their
588 2019-08-14 Yannick Moy <moy@adacore.com>
590 * sem_spark.adb (Is_Subpath_Expression): Take into account
591 conversion and qualification.
593 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
595 * sem_ch7.adb (Install_Private_Declarations)
596 <Swap_Private_Dependents>: Do not rely solely on the
597 Is_Child_Unit flag on the unit to recurse.
598 (Uninstall_Declarations) <Swap_Private_Dependents>: New
599 function. Use it to recurse on the private dependent entities
602 2019-08-14 Javier Miranda <miranda@adacore.com>
604 * exp_aggr.adb (Is_CCG_Supported_Aggregate): Return False for
605 arrays with bounds not known at compile time.
607 2019-08-14 Ed Schonberg <schonberg@adacore.com>
609 * sem_util.adb (New_Copy_Tree, Visit_Entity): A quantified
610 expression includes the implicit declaration of the loop
611 parameter. When a quantified expression is copied during
612 expansion, for example when building the precondition code from
613 the generated pragma, a new loop parameter must be created for
614 the new tree, to prevent duplicate declarations for the same
617 2019-08-14 Yannick Moy <moy@adacore.com>
619 * sem_disp.adb (Check_Dispatching_Operation): Update assertion
620 for the separate declarations created in GNATprove mode.
621 * sem_disp.ads (Is_Overriding_Subprogram): Update comment.
622 * sem_elab.adb (SPARK_Processor): Fix test for checking of
623 overriding primitives.
625 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
627 * inline.adb (Add_Inlined_Body): Tweak comments.
628 (List_Inlining_Info): Also list information about non-main
631 2019-08-14 Gary Dismukes <dismukes@adacore.com>
633 * sem_ch4.adb (Analyze_Selected_Component): In the case where
634 the prefix is of a concurrent type, and the selected entity
635 matching the selector is the first private declaration of the
636 type (such as the first local variable in a task's body), set
639 2019-08-14 Piotr Trojanek <trojanek@adacore.com>
641 * einfo.adb (Is_Generic_Actual_Subprogram): Replace repeated
642 calls to Ekind with Ekind_In.
644 2019-08-13 Richard Sandiford <richard.sandiford@arm.com>
647 * gcc-interface/trans.c (gigi): Call set_decl_buillt_in_function.
648 (Call_to_gnu): Use DECL_FE_FUNCTION_CODE instead of DECL_FUNCTION_CODE.
650 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
652 * ali.ads (Linker_Option_Record): Remove Original_Pos component.
653 * ali.adb (Scan_ALI): Do not set it.
655 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
657 * sem_ch3.adb (Build_Derived_Concurrent_Type): Add a couple of
658 local variables and use them. When the derived type fully
659 constrains the parent type, rewrite it as a subtype of an
660 implicit (unconstrained) derived type instead of the other way
662 (Copy_And_Build): Deal with concurrent types and use predicates.
663 (Build_Derived_Private_Type): Build the full derivation if
664 needed for concurrent types too.
665 (Build_Derived_Record_Type): Add marker comment.
666 (Complete_Private_Subtype): Use predicates.
668 2019-08-13 Ed Schonberg <schonberg@adacore.com>
670 * sem_ch3.adb (Check_Generic_Ancestor): New subprogram,
671 aubsidiary to Build_Derived_Record_Type. to enforce the rule
672 that a type extension declared in a generic body cznnot have an
673 ancestor that is a generic formal (RM 3.9.1 (4/2)). The rule
674 applies to all ancestors of the type, including interface
677 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
679 * sem_ch3.adb (Build_Underlying_Full_View): Delete.
680 (Complete_Private_Subtype): Do not set the full view on the
681 private subtype here. If the full base is itself derived from
682 private, do not re-derive the parent type but instead constrain
683 an existing underlying full view.
684 (Prepare_Private_Subtype_Completion): Do not get to the
685 underlying full view, if any. Set the full view on the private
687 (Process_Full_View): Likewise.
688 * sem_ch12.adb (Check_Generic_Actuals): Also set
689 Is_Generic_Actual_Type on the full view if the type of the
691 (Restore_Private_Views): Also reset Is_Generic_Actual_Type on
692 the full view if the type of the actual is private.
693 * sem_eval.adb (Subtypes_Statically_Match): Remove bypass for
694 generic actual types.
696 2019-08-13 Javier Miranda <miranda@adacore.com>
698 * sem_res.adb (Resolve_Selected_Component): When the type of the
699 component is an access to a class-wide type and the type of the
700 context is an access to a tagged type the relevant type is that
701 of the component (since in such case we may need to generate
702 implicit type conversions or dispatching calls).
704 2019-08-13 Ed Schonberg <schonberg@adacore.com>
706 * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Preanalyze
707 expression, rather do a full analysis, to prevent unwanted
708 removal of side effects which mask the intent of the expression.
710 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
712 * impunit.adb (Non_Imp_File_Names_95): Add
713 GNAT.Branch_Prediction.
715 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
717 * exp_ch6.adb: Remove with and use clauses for Sem_Ch12.
718 (Expand_Call_Helper): Swap the back-end inlining case and the
719 special front-end expansion case. In back-end inlining mode, do
720 not invoke Add_Inlined_Body unless the call may be inlined.
721 * inline.ads (Add_Pending_Instantiation): New function moved
723 * inline.adb (Add_Inlined_Body): Simplify comment. Turn test on
724 the enclosing unit into assertion.
725 (Add_Pending_Instantiation): New function moved from...
726 * sem_ch12.ads (Add_Pending_Instantiation): ...here.
727 * sem_ch12.adb (Add_Pending_Instantiation): ...here.
729 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
731 * sem.adb (Do_Analyze): Recompute Style_Check_Max_Line_Length
732 after restoring Style_Max_Line_Length.
734 2019-08-13 Arnaud Charlet <charlet@adacore.com>
736 * sem_ch13.adb (Check_Iterator_Functions): Protect against
739 2019-08-13 Ed Schonberg <schonberg@adacore.com>
741 * sem_ch8.adb (Analyze_Subprogram_Renaming): Do no suppress mode
742 conformance checks on child unit instance that is a compilation
745 2019-08-13 Gary Dismukes <dismukes@adacore.com>
747 * exp_dbug.adb (Fully_Qualify_Name): Add full name qualification
748 for the E_Exception case.
750 2019-08-13 Gary Dismukes <dismukes@adacore.com>
752 * exp_aggr.adb (Aggr_Size_OK): Compute the aggregate size using
753 universal arithmetic, to avoid situations where the size
754 computation overflows.
756 2019-08-13 Justin Squirek <squirek@adacore.com>
758 * repinfo.adb (List_Scalar_Storage_Order): Modify conditionals
759 for displaying ordering to always be triggered when -gnatR4 is
762 2019-08-13 Justin Squirek <squirek@adacore.com>
764 * aspects.adb, aspects.ads: Register new aspect.
765 * par-prag.adb (Prag): Register new pragma
766 * sem_ch13.adb (Analyze_Aspect_Specifications): Add processing
767 for new aspect similar to Aspect_Max_Entry_Queue_Length.
768 * sem_prag.adb, sem_prag.ads (Analyze_Pragma): Register new
769 pragma and set it to use the same processing as
770 Pragma_Max_Queue_Length.
771 * snames.ads-tmpl: Move definition of
772 Name_Max_Entry_Queue_Length so that it can be processed as a
773 pragma in addition to a restriction and add an entry for the
776 2019-08-13 Yannick Moy <moy@adacore.com>
778 * sem_ch4.adb (Analyze_Allocator): Do not insert subtype
779 declaration for allocator inside a spec expression.
781 2019-08-13 Yannick Moy <moy@adacore.com>
783 * sem_res.adb (Resolve_Call): Do not inline calls inside record
786 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
788 * sem_ch4.adb (Analyze_One_Call): Remove bypass for type
789 mismatch in nested instantiations.
790 * sem_ch8.adb (Find_Nearer_Entity): New function.
791 (Find_Renamed_Entity): Use it to disambiguate the candidates for
792 the renaming generated for an instantiation when it is
795 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
797 * gnat1drv.adb (Adjust_Global_Switches): Do not set
798 Back_End_Inlining in ASIS mode either.
800 2019-08-13 Olivier Hainque <hainque@adacore.com>
802 * libgnat/s-win32.ads: Define size_t and fix the MapViewOfFile
803 binding to use it instead of DWORD for the dwNumberOfBytesToMap
805 * libgnat/g-sercom__mingw.adb (Read): State which definition of
806 size_t to fetch in call to Last_Index.
808 2019-08-13 Arnaud Charlet <charlet@adacore.com>
810 * gcc-interface/Make-lang.in: Remove unused TRACE variable. Pass
811 LN_S to relevant gnatlib targets.
812 * gcc-interface/Makefile.in: Systematically pass LN_S to
813 relevant gnatlib targets.
815 2019-08-13 Yannick Moy <moy@adacore.com>
817 * sem_dim.adb (Analyze_Dimension,
818 Analyze_Dimension_Array_Aggregate, Analyze_Dimension_Call,
819 Analyze_Dimension_Extension_Or_Record_Aggregate): Return
820 immediately when inside an inlined body.
821 * sem_res.adb (Resolve_Call): Remove special checking now done
822 inside Analyze_Dimension_Call.
824 2019-08-13 Justin Squirek <squirek@adacore.com>
826 * exp_ch4.adb (Expand_N_Allocator): Add condition to detect
827 library-level object declarations
829 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
831 * doc/gnat_ugn/building_executable_programs_with_gnat.rst
832 (-gnateT): Document Double_Float_Alignment parameter and fix
833 description of Double_Scalar_Alignment parameter.
834 * gnat_ugn.texi: Regenerate.
836 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
838 * exp_ch6.adb (Expand_Call_Helper): If back-end inlining is
839 enabled, also instantiate the body of a generic unit containing
840 a subprogram subject to aspect/pragma Inline_Always at
841 optimization level zero.
842 * sem_ch12.adb (Might_Inline_Subp): Minor tweak.
843 (Analyze_Package_Instantiation): Do not instantiate the package
844 body because of inlining considerations if the instantiation is
845 done in a generic unit. Move around similar condition involving
846 the main unit. Add test on Back_End_Inlining to processing for
849 2019-08-13 Javier Miranda <miranda@adacore.com>
851 * exp_disp.adb (Make_Secondary_DT): Handle record type
852 derivations that have interface components located at fixed
853 positions and interface components located at variable offset.
854 The offset of components located at fixed positions is computed
855 using the dummy object (similar to the case where all the
856 interface components are located at fixed positions).
857 (Make_DT): Build the dummy object for all tagged types that
858 implement interface types (that is, build it also for types with
859 variable size components), and use the dummy object to compute
860 the offset of all tag components located at fixed positions when
861 initializing the Interface_Table object.
863 2019-08-13 Justin Squirek <squirek@adacore.com>
865 * gnatcmd.adb (GNATCmd): Add constant for new compiler switch
866 --help-ada, and include usage subprogram. Add line to usage help
867 explaining the new flag.
868 (GNATCmd_Usage): Rename from locally declared Usage so as not to
869 confuse with the newly imported version. Add new argument case
870 for --help-ada and add bug report email to implicit display of
871 help without the --help flag so as to unify output between the
874 2019-08-13 Dmitriy Anisimkov <anisimko@adacore.com>
876 * libgnat/g-comlin.adb (Getopt): Quote unrecognized switch in
877 Invalid_Switch exception message.
879 2019-08-13 Yannick Moy <moy@adacore.com>
881 * sem_util.adb (Traverse_More_Func): Take into account
882 Loop_Actions inside N_Iterated_Component_Association nodes.
883 * sinfo.ads: Document correctly Loop_Actions as a field of nodes
884 of kind N_Iterated_Component_Association.
886 2019-08-13 Claire Dross <dross@adacore.com>
888 * libgnat/a-cfinve.adb, libgnat/a-cofove.adb (Find_Index,
889 Reverse_Find_Index): Use bigger type to avoid range check
890 failure at the last loop iteration.
892 2019-08-12 Dmitriy Anisimkov <anisimko@adacore.com>
894 * libgnat/g-socket.adb (Is_IPv6_Address): Check that no less
895 then 2 colons in IPv6 numeric address.
897 2019-08-12 Dmitriy Anisimkov <anisimko@adacore.com>
899 * libgnat/g-comlin.ads, libgnat/g-comlin.adb (Getopt): Add
900 parameter Quiet. Need to do not output error messages to
901 console. Invalid_Switch exception generation surrounded by an
904 2019-08-12 Ed Schonberg <schonberg@adacore.com>
906 * exp_ch6.adb (Expand_Actuals. Add_Call_By_Copy_Code): Add code
907 to generate proper checks when an actual for an in-out or out
908 parameter has a non-null access type. No constraints are
909 applied to an inbound access parameter, but on exit a not-null
910 check must be performed if the type of the actual requires it.
912 2019-08-12 Ed Schonberg <schonberg@adacore.com>
914 * sem_util.adb (Is_Expaned_Priority_Attribute): Check whether
915 call comes from a rewritten attribute before comparing name with
916 Get_Ceiling run-time subprogram.
918 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
920 * exp_util.ads (Component_May_Be_Bit_Aligned): Small comment
922 (Possible_Bit_Aligned_Component): Likewise.
923 (Type_May_Have_Bit_Aligned_Components): Likewise.
924 * exp_util.adb (Component_May_Be_Bit_Aligned): Likewise.
925 (Possible_Bit_Aligned_Component): Likewise.
926 (Type_May_Have_Bit_Aligned_Components): Likewise.
928 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
930 * exp_ch4.adb (Expand_N_Op_Eq): Expand the array equality if
931 either operand is a possibly unaligned slice.
932 * exp_ch6.adb (Expand_Simple_Function_Return): Do not generate a
933 copy for a possibly unaligned object if it is represented as a
935 * exp_util.adb (Is_Possibly_Unaligned_Slice): Do not always
936 return false if the target doesn't have strict alignment.
938 2019-08-12 Bob Duff <duff@adacore.com>
940 * sem_ch12.adb (Instantiate_Package_Body): Remove suppression of
941 checks in instances of internal units.
942 * sem_ch6.adb (Analyze_Function_Return): Do not generate a
943 constraint check on an extended_return_statement if the subtype
944 of the return object in the statement is identical to the return
945 subtype of the function.
947 2019-08-12 Bob Duff <duff@adacore.com>
949 * libgnat/a-cbmutr.adb (Is_Reachable): Declare Idx to be of the
950 base subtype. Clearly it makes no sense to loop "while Idx >=
951 0", if Idx is of a nonnegative subtype.
953 2019-08-12 Bob Duff <duff@adacore.com>
955 * libgnat/a-tifiio.adb (Put_Scaled): Prevent AA from being
956 negative, since Field is range 0 .. something.
958 2019-08-12 Bob Duff <duff@adacore.com>
960 * doc/gnat_ugn/gnat_utility_programs.rst (gnatmetric, gnatpp,
961 gnatstub): Remove documentation for Ada language version
962 switches, and note that they are no longer needed.
964 2019-08-12 Gary Dismukes <dismukes@adacore.com>
966 * sem_ch5.adb (Prepare_Param_Spec_Loop): Set the parents of the
967 copied low and high bounds in the case where the loop range is
968 given by a discrete_subtype_indication, to prevent hanging (or
969 Assert_Failure) in Insert_Actions.
971 2019-08-12 Ed Schonberg <schonberg@adacore.com>
973 * sem_ch6.adb (heck_Untagged_Equality): Verify that user-defined
974 equality has the same profile as the predefined equality before
975 applying legality rule in RM 4.5.2 (9.8).
977 2019-08-12 Bob Duff <duff@adacore.com>
979 * libgnat/a-except.ads: Update obsolete comment, still making
980 clear that this is a variant. Add explicit default for Id
981 component of Exception_Occurrence, because that value is used.
982 Define Null_Occurrence less redundantly.
983 * libgnat/a-einuoc.adb: Minor simplification of code.
985 2019-08-12 Justin Squirek <squirek@adacore.com>
987 * libgnat/a-dhfina.adb, libgnat/a-dhfina.ads (Is_Simple_Name,
988 Is_Root_Directory, Is_Parent_Directory,
989 Is_Current_Directory_Name, Is_Relative_Name, Initial_Directory,
990 Relative_Name, Compose): Add implementation and documentation.
991 * libgnat/a-direct.adb (Containing_Directory): Modify routine to
992 use routines from Ada.Directories.Hierarchical_File_Names and
993 remove incorrect special case for parent directories.
994 (Fetch_Next_Entry): Add check for current directory and parent
995 directory and ignore them under certain circumstances.
996 (Simple_Nmae): Add check for null result from
997 Simple_Name_Internal and raise Name_Error.
998 (Simple_Name_Internal): Add explicit check for root directories,
999 sanitize trailing directory separators, and modify behavior so
1000 that current and parent directories are considered valid
1002 * Makefile.rtl: Add entry to GNATRTL_NONTASKING_OBJS.
1004 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1006 * freeze.adb (Freeze_Entity): Give the same error for an
1007 Object_Size clause on a variable-sized type as for a Size
1010 2019-08-12 Gary Dismukes <dismukes@adacore.com>
1012 * sem_prag.adb (Analyze_Pragma, Pragma_Suppress_Initialization):
1013 For private types, set the Suppress_Initialization flag on the
1014 Full_View of the entity rather than the entity's base type.
1016 2019-08-12 Yannick Moy <moy@adacore.com>
1018 * aspects.adb, aspects.ads (Aspect_No_Caching): New aspect.
1019 * contracts.adb, contracts.ads (Add_Contract_Item): Add handling
1021 (Analyze_Object_Contract): Add handling of No_Caching.
1022 * einfo.adb, einfo.ads
1023 (Get_Pragma): Add handling of No_Caching.
1024 * doc/gnat_rm/implementation_defined_aspects.rst,
1025 doc/gnat_rm/implementation_defined_pragmas.rst: Document new
1027 * gnat_rm.texi: Regenerate.
1028 * par-prag.adb (Prag): New pragma Pragma_No_Caching.
1029 * sem_ch13.adb (Analyze_Aspect_Specifications,
1030 Check_Aspect_At_Freeze_Point): Add handling of No_Caching.
1031 * sem_prag.adb (Analyze_Pragma): Deal with pragma No_Caching.
1032 * sem_prag.ads (Analyze_External_Property_In_Decl_Part): Now
1033 applies to No_Caching.
1034 * sem_util.adb, sem_util.ads (Is_Effectively_Volatile): Add
1035 handling of No_Caching.
1036 (No_Caching_Enabled): New query function.
1037 * snames.ads-tmpl: New names for pragma.
1039 2019-08-12 Yannick Moy <moy@adacore.com>
1041 * sem_util.adb, sem_util.ads (Traverse_More_Func,
1042 Traverse_More_Proc): Add formal parameter for Itypes traversal.
1044 2019-08-12 Yannick Moy <moy@adacore.com>
1046 * exp_attr.adb, exp_attr.ads (Expand_Size_Attribute): New
1047 procedure to share part of the attribute expansion with
1049 (Expand_N_Attribute_Reference): Extract part of the
1050 Size/Object_Size expansion in the new procedure
1051 Expand_Size_Attribute.
1052 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
1053 Size/Object_Size attributes using the new procedure
1054 Expand_Size_Attribute.
1056 2019-08-12 Yannick Moy <moy@adacore.com>
1058 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Only
1059 expand Enum_Rep attribute when its parameter is a literal.
1061 2019-08-12 Justin Squirek <squirek@adacore.com>
1063 * sem_eval.adb (Check_Non_Static_Context): Add a condition to
1064 determine if a range violation constitues a warning or an error.
1065 (Out_Of_Range): Add a condition to determine if a range
1066 violation constitues a warning or an error.
1068 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1070 * exp_ch4.adb (Real_Range_Check): Do not rewrite the conversion
1071 node but its expression instead, after having fetched its
1072 current value. Clear the Do_Range_Check flag on entry. Return
1073 early for a rewritten float-to-float conversion. Remove
1074 redundant local variable. Suppress all checks when inserting
1075 the temporary and do not reanalyze the node.
1077 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1079 * sprint.ads: Minor comment tweak.
1081 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1083 * checks.adb (Insert_Valid_Check): Do not retrieve the
1084 Do_Range_Check flag from the Original_Node but from the
1085 Validated_Object. Remove useless bypass for floating-point
1088 2019-08-12 Yannick Moy <moy@adacore.com>
1090 * sem_util.adb, sem_util.ads (Traverse_More_Func,
1091 Traverse_More_Proc): New traversal subprograms.
1093 2019-08-12 Jerome Lambourg <lambourg@adacore.com>
1095 * libgnarl/s-taprop__vxworks.adb (Abort_Handler): Only call
1096 s-tpopsp.Self when actually needed.
1098 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1100 * exp_ch4.adb (Discrete_Range_Check): Return if checks are
1103 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1105 * sem_res.adb: Add with & use clause for Sem_Mech and
1107 (Resolve_Actuals): Do not apply a scalar range check for the
1108 source of a conversion whose result is passed by reference to a
1111 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1113 * checks.adb (Insert_Valid_Check): Reset the Do_Range_Check flag
1114 on the validated object.
1115 * exp_ch6.adb (Add_Call_By_Copy_Code): Reset the Do_Range_Check
1116 flag on the actual here, as well as on the Expression if the
1117 actual is a N_Type_Conversion node.
1118 (Add_Validation_Call_By_Copy_Code): Generate the incoming range
1119 check if needed and reset the Do_Range_Check flag on the
1120 Expression if the actual is a N_Type_Conversion node.
1121 (Expand_Actuals): Do not reset the Do_Range_Check flag here.
1122 Generate the incoming range check for In parameters here instead
1124 (Expand_Call_Helper): ...here. Remove redudant condition.
1125 * sem_res.adb (Resolve_Actuals): Use local variable A_Typ and
1126 remove obsolete comments.
1127 (Resolve_Type_Conversion): Do not force the Do_Range_Check flag
1128 on the operand if range checks are suppressed.
1130 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1132 * checks.adb (Activate_Range_Check): Remove redundant argument.
1133 (Generate_Range_Check): Likewise.
1134 (Apply_Float_Conversion_Check): Reset the Do_Range_Check flag on
1135 entry and remove redundant condition.
1137 2019-08-02 Alexandre Oliva <oliva@adacore.com>
1139 * libgnat/a-exexpr.adb (Begin_Handler_v1, End_Handler_v1): New.
1140 (Claimed_Cleanup): New.
1141 (Begin_Handler, End_Handler): Document.
1142 * gcc-interface/trans.c (gigi): Switch to exception handler
1144 (Exception_Handler_to_gnu_gcc): Save the original cleanup
1145 returned by begin handler, pass it to end handler, and use
1146 EH_ELSE_EXPR to pass a propagating exception to end handler.
1147 (gnat_to_gnu): Leave the exception pointer alone for reraise.
1148 (add_cleanup): Handle EH_ELSE_EXPR, require it by itself.
1150 2019-07-23 Ed Schonberg <schonberg@adacore.com>
1152 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations,
1153 Freeze_Entity_Checks): Include Aspect_CPU with other aspects
1154 whose expresssion may depend on a discriminant, and thus require
1155 that components of the type be made visible.
1157 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1159 * checks.adb (Convert_And_Check_Range): Add Suppress parameter
1160 and pass it in the call to Insert_Actions. Rename local
1162 (Generate_Range_Check): Minor comment fixes. Pass Range_Check
1163 in the first call to Convert_And_Check_Range and All_Checks in
1165 * exp_ch4.adb (Expand_N_Type_Conversion): Reset the
1166 Do_Overflow_Check flag in the float-to-float case too if there
1167 is also a range check.
1169 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1171 * checks.adb (Activate_Overflow_Check): Remove redundant
1173 * exp_ch4.adb (Discrete_Range_Check): Reset the overflow flag.
1174 (Expand_N_Type_Conversion): Do not reset it here.
1176 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1178 * repinfo.adb (List_Component_Layout): Pass Decimal to UI_Write.
1179 (Write_Val): Likewise.
1181 2019-07-23 Ed Schonberg <schonberg@adacore.com>
1183 * aspects.ads: New table Operational_Aspect, used to distinguish
1184 between aspects that are view-specific, such as those related to
1185 iterators, and representation aspects that apply to all views of
1187 * aspects.adb (Find_Aspect): If the aspect being sought is
1188 operational, do not ecamine the full view of a private type to
1190 * sem_ch5.adb (Analyze_Iterator_Specification): Improve error
1191 message when the intended domain of iteration does not implement
1192 the required iterator aspects.
1194 2019-07-23 Yannick Moy <moy@adacore.com>
1196 * sem_spark.ads (Is_Local_Context): New function.
1197 * sem_spark.adb (Check_Declaration): Issue errors on violations
1199 (Process_Path): Do not issue error on borrow/observe during
1200 elaboration, as these are caught by the new rule.
1202 2019-07-23 Yannick Moy <moy@adacore.com>
1204 * exp_ch7.adb (Create_Finalizer): Force finalizer not to be
1206 * exp_dbug.adb (Get_External_Name): Explain special case of
1209 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1211 * repinfo.adb (List_Entities): Also list compiled-generated
1212 types present as Etype of objects.
1214 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1216 * sinfo.ads: Update the documentation about the
1217 Do_Division_Check, Do_Overflow_Check and Do_Range_Check flags.
1219 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1221 * exp_ch4.adb (Expand_N_Type_Conversion): Beef up comment.
1222 (Fixup_Universal_Fixed_Operation): Set the base type instead of
1223 the type of the enclosing type conversion on the operation.
1225 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1227 * exp_ch4.adb (Expand_N_In): Do not suggest the use of attribute
1228 'Valid as a replacement for a range check on a discrete type
1229 when the bounds of the range are given by type conversions,
1230 because in such a case there are distinct types involved and the
1231 subbested attribute replacement would be misplaced.
1233 2019-07-22 Yannick Moy <moy@adacore.com>
1235 * sem_spark.adb (Get_Root_Object, Is_Path_Expression,
1236 Is_Subpath_Expression): Add parameter Is_Traversal to adapt
1237 these functions to the case of paths returned from a traversal
1239 (Read_Indexes): Handle the case of an if-expression or
1241 (Check_Statement): Check Emit_Messages only when issuing an
1242 error message. This is important as Emit_Messages may store the
1243 information that an error was detected.
1245 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1247 * checks.adb (Apply_Type_Conversion_Checks): Do not set
1248 Do_Range_Check flag on conversions from fixed-point types
1250 * exp_attr.adb: Add use and with clause for Expander.
1251 (Expand_N_Attribute_Reference) <Fixed_Value, Integer_Value>: Set
1252 the Conversion_OK flag and do not generate overflow/range checks
1254 * exp_ch4.adb (Expand_N_Qualified_Expression): Remove
1255 superfluous clearing of Do_Range_Check flag.
1256 (Discrete_Range_Check): New procedure to generate a range check
1258 (Real_Range_Check): Remove redundant local variable and adjust.
1259 Remove useless shortcut. Clear Do_Range_Check flag on all
1261 (Expand_N_Type_Conversion): Remove redundant test on
1262 Conversion_OK. Call Discrete_Range_Check to generate range
1263 checks on discrete types. Remove obsolete code for
1264 float-to-integer conversions. Add code to generate range checks
1265 for conversions involving fixed-point types.
1267 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1269 * sprint.ads: Fix pasto in comment.
1271 2019-07-22 Javier Miranda <miranda@adacore.com>
1273 * sem_res.adb (Resolve_Actuals): Replace code that displaces the
1274 pointer to an allocated object to reference its secondary
1275 dispatch table by a type conversion (which takes care of
1276 handling all cases).
1278 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1280 * sprint.adb (Sprint_Node_Actual)
1281 <N_Decimal_Fixed_Point_Definition>: Swap a couple of spaces.
1282 (Write_Itype): Minor consistency fixes throughout. Add support
1283 for printing ordinary and decimal fixed-point types and
1286 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1288 * exp_attr.adb (Expand_Loop_Entry_Attribute): Beef up comment.
1290 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1292 * libgnat/s-valboo.ads, libgnat/s-valcha.ads,
1293 libgnat/s-valdec.ads, libgnat/s-valenu.ads,
1294 libgnat/s-valint.ads, libgnat/s-vallld.ads,
1295 libgnat/s-vallli.ads, libgnat/s-valllu.ads,
1296 libgnat/s-valrea.ads, libgnat/s-valuns.ads,
1297 libgnat/s-valwch.ads: Change categorization of packages that
1298 implement attribute 'Value from Pure to Preelaborate, to prevent
1299 undesirable optimizations when the evaluation of the attribute
1300 raises Constraint_Error, but subsequent use of the result of
1301 this evsaluation is removed by a subsequent optimization.
1303 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1305 * sem_warn.adb (Check_References): Do not emit s warning on a
1306 referenced entity with no explicit assignment if the type of the
1307 entity has Preelaborable_Initialixation, such as
1308 Exception_Occurrence.
1310 2019-07-22 Javier Miranda <miranda@adacore.com>
1312 * exp_ch4.adb (Size_In_Storage_Elements): Improve the expansion
1313 to handle array indexes that are modular type.
1314 (Expand_N_Allocator): For 32-bit targets improve the generation
1315 of the runtime check associated with large arrays supporting
1316 arrays initialized with a qualified expression.
1317 * libgnat/s-imenne.adb (Image_Enumeration_8,
1318 Image_Enumeration_16, Image_Enumeration_32): Define the index of
1319 Index_Table with range Natural'First .. Names'Length since in
1320 the worst case all the literals of the enumeration type would be
1321 single letter literals and the Table built by the frontend would
1322 have as many components as the length of the names string. As a
1323 result of this enhancement, the internal tables declared using
1324 Index_Table have a length closer to the real needs, thus
1325 avoiding the declaration of large arrays on 32-bit CCG targets.
1327 2019-07-22 Yannick Moy <moy@adacore.com>
1329 * sem_ch3.adb (Constrain_Access): Issue a message about ignored
1332 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1334 * sem_ch8.adb (End_Use_Type): Reset the In_Use flag on the
1335 class-wide type if the type is tagged.
1336 (Use_One_Type): Add commentary on the handling of the class-wide
1339 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1341 * einfo.ads (Is_For_Access_Subtype): Delete.
1342 (Set_Is_For_Access_Subtype): Likewise.
1343 * einfo.adb (Is_For_Access_Subtype): Likewise.
1344 (Set_Is_For_Access_Subtype): Likewise.
1345 (Write_Entity_Flags): Do not write Is_For_Access_Subtype.
1346 * exp_ch4.adb (Expand_N_Selected_Component): Do not deal with
1348 * exp_spark.adb (Expand_SPARK_N_Selected_Component): Likewise.
1349 * sem_ch4.adb (Analyze_Explicit_Dereference): Likewise.
1350 * sem_ch3.adb (Build_Discriminated_Subtype): Do not build a
1351 special private subtype for access-to-record subtypes.
1353 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1355 * sem_ch3.adb (Complete_Private_Subtype): Rework the setting of
1356 the Etype of the full view for full base types that cannot
1357 contain any discriminant. Remove code and comment about it in
1360 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1362 * sem_ch3.adb (Convert_Bound): Subsidiary of
1363 Floating_Point_Type_Declaration, to handle properly range
1364 specifications with bounds that may include static constants of
1365 a given type rather than real literals.
1367 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1369 * sem_aggr.adb (Rewrite_Bound): Be prepared for discriminals
1371 (Rewrite_Range;): Minor tweak.
1372 (Resolve_Record_Aggregate): For a component with default
1373 initialization whose expression is an array aggregate, also
1374 rewrite the bounds of the component associations, if any.
1376 2019-07-22 Gary Dismukes <dismukes@adacore.com>
1378 * exp_ch5.adb (Expand_N_Case_Statement): In the case where a
1379 case statement is rewritten as an equivalent if statement,
1380 inherit the From_Condition_Expression flag from the case
1383 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1385 * sem_ch8.adb (Check_Constrained_Object): Further extend the
1386 special optimization to all limited types.
1388 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1390 * exp_attr.adb (Expand_N_Attribute_Reference)
1391 <Attribute_Enum_Val>: Set No_Truncation on the
1392 N_Unchecked_Type_Conversion built around the argument passed to
1395 2019-07-22 Nicolas Roche <roche@adacore.com>
1397 * libgnat/s-valrea.adb (Scan_Real): Ignore non significative
1398 digits to avoid converging to infinity in some cases.
1400 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1402 * libgnat/g-encstr.adb (Encode_Wide_String): Fix oversight.
1403 (Encode_Wide_Wide_String): Likewise.
1405 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1407 * sem_warn.adb (Find_Var): Bail out for a function call with an
1408 Out or In/Out parameter.
1410 2019-07-22 Nicolas Roche <roche@adacore.com>
1412 * terminals.c (__gnat_tty_waitpid): Support both blocking and
1414 * libgnat/g-exptty.ads (Is_Process_Running): New function.
1415 * libgnat/g-exptty.adb (Close): Don't try to interrupt/terminate
1416 a process if it is already dead.
1418 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1420 * freeze.adb (Freeze_Fixed_Point_Type): When freezing a
1421 fixed-point subtype, check whether the parent type declarastion
1422 includes an aspect specification for the 'Small type attribute,
1423 and inherit the specified value.
1425 2019-07-22 Javier Miranda <miranda@adacore.com>
1427 * freeze.adb (Freeze_Subprogram): Check that C++ constructors
1428 must have external or link name.
1430 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1432 * sem_res.adb (Resolve_Selected_Component): If the prefix has a
1433 deferred reference, generate the correct reference now, to
1434 indicate that the previous assignment is used. This prevents
1435 spurious warnings on useless assignments when compiling with all
1436 warnings enabled. when there is a subsequent call in the same
1437 stqtement list, in which the prefix of the selected component is
1438 the actual for an out parameter.
1440 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1442 * exp_attr.adb (Expand_Loop_Entry_Attribute): Copy the condition
1443 of a while loop instead of simply relocating it.
1445 2019-07-18 Arnaud Charlet <charlet@adacore.com>
1447 * Makefile.rtl, expect.c, env.c, aux-io.c, mkdir.c, initialize.c,
1448 cstreams.c, raise.c, tracebak.c, adadecode.c, init.c, raise-gcc.c,
1449 argv.c, adaint.c, adaint.h, ctrl_c.c, sysdep.c, rtinit.c, cio.c,
1450 seh_init.c, exit.c, targext.c: Introduce a "STANDALONE" mode where C
1451 runtime files do not have any dependency on GCC include files.
1452 Remove unnecessary includes.
1453 Remove remaining references to VMS in runtime C file.
1454 * runtime.h: new File.
1456 2019-07-13 Andreas Schwab <schwab@linux-m68k.org>
1458 * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
1460 2019-07-11 Piotr Trojanek <trojanek@adacore.com>
1462 * lib-writ.adb (Ensure_System_Dependency,
1463 Up_To_Date_ALI_File_Exists, Write_ALI): Replace low-level access
1464 to table with a high-level query.
1466 2019-07-11 Piotr Trojanek <trojanek@adacore.com>
1468 * checks.adb: Fix typo in comment.
1469 * sem.adb (Semantics): Avoid repeated calls to
1470 In_Extended_Main_Source_Unit by reusing an already-cached
1472 * sem_util.adb (First_Global): Fix style.
1474 2019-07-11 Yannick Moy <moy@adacore.com>
1476 * sem_res.adb (Resolve_Call): Do not perform dimensionality
1477 checking on inlined bodies.
1479 2019-07-11 Yannick Moy <moy@adacore.com>
1481 * debug.adb: Flip meaning of debug switch -gnatdF.
1483 2019-07-11 Yannick Moy <moy@adacore.com>
1485 * sem_eval.adb (Is_Same_Value): Add special case for rewritten
1486 Loop_Entry attribute.
1488 2019-07-11 Claire Dross <dross@adacore.com>
1490 * gnat1drv.adb: SPARK checking rules for pointer aliasing are
1491 moved to GNATprove backend.
1492 * sem_spark.ads, sem_spark.adb (Sem_SPARK): Is now a generic
1493 unit. Takes as parameters:
1494 - Retysp which is used to query the most underlying type
1495 visible in SPARK. We do not introduce aliasing checks for
1496 types which are not visibly deep.
1497 - Component_Is_Visible_In_SPARK is used to avoid doing pointer
1498 aliasing checks on components which are not visible in SPARK.
1499 - Emit_Messages returns True in the second phase of SPARK
1500 analysis. Error messages for failed aliasing checks are only
1501 output in this case.
1502 Additionally, errors on constructs not supported in SPARK are
1503 removed as duplicates of marking errors. Components are stored
1504 in the permission map using their original component to avoid
1505 inconsistencies between components of different views of the
1507 (Check_Expression): Handle delta constraints.
1508 (Is_Deep): Exported so that we can check for SPARK restrictions
1509 on deep types inside SPARK semantic checkings.
1510 (Is_Traversal_Function): Exported so that we can check for SPARK
1511 restrictions on traversal functions inside SPARK semantic
1513 (Check_Call_Statement, Read_Indexes): Check wether we are
1514 dealing with a subprogram pointer type before querying called
1516 (Is_Subpath_Expression): Image attribute can appear inside a
1518 (Check_Loop_Statement): Correct order of statements in the loop.
1519 (Check_Node): Ignore raise nodes.
1520 (Check_Statement): Use Last_Non_Pragma to get the object
1521 declaration in an extended return statement.
1523 2019-07-11 Patrick Bernardi <bernardi@adacore.com>
1525 * bindgen.adb (Gen_Main): Do not generate a reference to
1526 Ada_Main_Program_Name when the Minimal_Binder flag is set.
1527 (Gen_Output_File_Ada): Do not output GNAT_Version and
1528 Ada_Main_Program_Name info if Minimal_Binder flag is set.
1529 * bindusg.adb: Add documentation for new -minimal switch.
1530 * gnatbind.adb (Scan_Bind_Arg): Scan -minimal switch.
1531 * opt.ads: Add new global flag Minimal_Binder to indicate if the
1532 binder should not produce global variables.
1533 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
1534 Update documentation with new binder -minimal switch.
1535 * gnat_ugn.texi: Regenerate.
1537 2019-07-11 Eric Botcazou <ebotcazou@adacore.com>
1539 * Makefile.rtl: Add warning note about compilation flags and
1542 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1544 * exp_ch9.adb (Expand_N_Protected_Type_Declaaration): New
1545 subsidiary routine Replace_Access_Definition, to handle properly
1546 a protected type PT one of whose private components is of type
1549 2019-07-11 Dmitriy Anisimkov <anisimko@adacore.com>
1551 * libgnat/g-socket.ads (Level_Type): Add enumerators for
1552 IP_Protocol_For_ICMP, IP_Protocol_For_IGMP,
1553 IP_Protocol_For_RAW_Level.
1554 * libgnat/g-socket.adb (Levels): Handle them.
1555 * s-oscons-tmplt.c: Import socket protocols defined in
1558 2019-07-11 Claire Dross <dross@adacore.com>
1560 * libgnat/a-cfhama.adb, libgnat/a-cfhase.adb (Free): Do not
1561 reset the Has_Element flag if no element is freed.
1563 2019-07-11 Arnaud Charlet <charlet@adacore.com>
1565 * errno.c: Remove obsolete support for MaRTE OS.
1567 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1569 * exp_ch4.adb (Expand_N_Type_Conversion): If a predicate check
1570 is generated, analyze it with range check suppressed, because
1571 that check has been previously applied.
1572 * exp_ch5.adb (Expand_N_Assignment_Statement): If the RHS is a
1573 type conversion to the type of the LHS, do not apply a predicate
1574 check to the RHS because it will have been generated already
1575 during its expansion.
1576 * exp_ch6.adb (Can_Fold_Predicate_Call): Extend processing to
1577 handle a predicate check on a constant entity whose value is
1580 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1582 * bindo.adb: Remove the documentation of switch -d_N because it
1583 is no longer in use.
1584 * bindo-graphs.ads, bindo-graphs.adb (Is_Spec_Before_Body_Edge):
1586 * bindo-writers.adb (Write_Dependency_Edge): Add the missing
1587 case of a spec-before-body edge.
1589 2019-07-11 Dmitriy Anisimkov <anisimko@adacore.com>
1591 * libgnat/g-socket.ads (Mode_Type): Add a Socket_Raw enumerator.
1592 * libgnat/g-socket.adb (Modes): Handle Socket_Raw.
1594 2019-07-11 Justin Squirek <squirek@adacore.com>
1596 * exp_ch9.adb (Build_Private_Protected_Declaration): Add
1597 exception for the moving of pragmas to internally generated
1598 specs for pragma Unreferenced.
1600 2019-07-11 Bob Duff <duff@adacore.com>
1602 * doc/gnat_ugn/gnat_utility_programs.rst: Fix inconsistent
1603 documentation for gnatmetric.
1604 * gnat_ugn.texi: Regenerate.
1606 2019-07-11 Bob Duff <duff@adacore.com>
1608 * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
1609 --spaces-only switch.
1611 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1613 * sem_util.adb (Null_Status): Assume that an erroneous construct
1614 has an undefined null status.
1616 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1618 * checks.adb, exp_ch6.adb, gnat1drv.adb, sem_aux.adb,
1619 sem_ch2.adb, sem_ch8.adb, sem_res.adb: Minor reformatting.
1621 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1623 * sem_ch8.adb (Analyze_Object_Renaming): Obtain the object being
1624 renamed using routine Get_Object_Name which takes care of
1626 (Get_Object_Name): New routine.
1628 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1630 * exp_ch6.adb (Can_Fold_Predicate_Call): New function,
1631 subsidiary of Expand_Call_Helper, to compute statically a
1632 predicate check when the argument is a static integer.
1634 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1636 * sem_res.adb (Resolve_Op_Not): Do not rewrite an equality
1637 operator into a function call when the operator is intrinsic.
1639 2019-07-11 Thomas Quinot <quinot@adacore.com>
1641 * sem_prag.adb (Analyze_Pragma, case pragma Check): Do not call
1642 Set_SCO_Pragma_Enabled for the dynamic predicate case.
1644 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1646 * exp_util.ads, exp_util.adb (Needs_Finalization): Move to
1648 * sem_ch9.adb (Analyze_Protected_Definition): Code cleanup. Mark
1649 the protected type as having controlled components when it
1650 contains at least one such component.
1651 * sem_util.ads, sem_util.adb (Needs_Finalization): New
1654 2019-07-11 Eric Botcazou <ebotcazou@adacore.com>
1656 * alloc.ads (Rep_JSON_Table_Initial): New constant.
1657 (Rep_JSON_Table_Increment): Likewise.
1658 * debug.adb: Document -gnatd_j switch.
1659 * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add
1661 * gnat1drv.adb: Add with clause for Repinfo.Input.
1662 Add with and use clauses for Sinput.
1663 (Read_JSON_Files_For_Repinfo): New procedure.
1664 (Gnat1drv1): Deal with -gnatd_j switch.
1665 * repinfo-input.ad[sb]: New unit.
1666 * snames.ads-tmpl (Name_Discriminant): New constant.
1667 (Name_Operands): Likewise.
1669 2019-07-11 Justin Squirek <squirek@adacore.com>
1671 * checks.adb (Apply_Accessibility_Check): Add check for constant
1672 folded conditions on accessibility checks.
1674 2019-07-11 Arnaud Charlet <charlet@adacore.com>
1676 * libgnarl/g-thread.ads, libgnarl/g-thread.adb (Get_Thread):
1677 Update comments. Add new version taking a Task_Id.
1679 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1681 * bindo.adb: Update the section of switches and debugging
1683 * bindo.ads: Add type Elaboration_Phase.
1684 * bindo-augmentors.adb: Add use clause for
1685 Bindo.Writers.Phase_Writers.
1686 (Augment_Library_Graph): Signal the start and end of the
1688 * bindo-builders.adb: Add with and use clause for Bindo.Writers.
1689 Add use clause for Bindo.Writers.Phase_Writers.
1690 (Build_Invocation_Graph): Signal the start and end of the
1691 invocation graph construction phase.
1692 (Build_Library_Graph): Signal the start and end of the library
1693 graph construction phase.
1694 * bindo-diagnostics.adb: Add use clause for
1695 Bindo.Writers.Phase_Writers.
1696 (Diagnose_Cycle): Signal the start and end of the cycle
1698 * bindo-elaborators.adb: Add use clause for
1699 Bindo.Writers.Phase_Writers.
1700 (Elaborate_Units): Signal the start and end of the unit
1702 * bindo-graphs.adb: Add use clause for
1703 Bindo.Writers.Phase_Writers.
1704 (Find_Components): Signal the start and end of the component
1706 (Find_Cycles): Signal the start and end of the cycle discovery
1708 * bindo-units.adb: Add with and use clause for Bindo.Writers.
1709 Add use clause for Bindo.Writers.Phase_Writers.
1710 (Collect_Elaborable_Units): Signal the start and end of the unit
1712 * bindo-validators.adb: Add with and use clause for
1713 Bindo.Writers. Add use clause for Bindo.Writers.Phase_Writers.
1714 (Validate_Cycles, Validate_Elaboration_Order,
1715 Validate_Invocation_Graph, Validate_Library_Graph): Signal the
1716 start and end of the libray graph validation phase.
1717 * bindo-writers.ads, bindo-writers.adb: Add new nested package
1719 * debug.adb: Update the documentation of switch d_S.
1721 2019-07-11 Yannick Moy <moy@adacore.com>
1723 * sem_res.adb (Check_Argument_Order): Special case calls to
1726 2019-07-10 Dmitriy Anisimkov <anisimko@adacore.com>
1728 * libgnat/s-ststop.adb: Remove System.Strings.Stream_Ops
1729 dependence on System.Streams.Stream_IO.
1731 2019-07-10 Ed Schonberg <schonberg@adacore.com>
1733 * sem_ch2.adb (Analyze_Integer_Literal): Preserve the type of
1734 the literal if prior analysis determined that its type is a
1735 modular integer type.
1737 2019-07-10 Doug Rupp <rupp@adacore.com>
1739 * init.c: Do not attempt to re-arm guard page on x86_64-vx7(r2).
1741 2019-07-10 Ed Schonberg <schonberg@adacore.com>
1743 * sem_ch8.adb (Check_Constrained_Object): A record that is
1744 limited because of the presence of a limited component is
1745 constrained, and no subtype indiciation needs to be created for
1746 it, just as is the case for declared limited records.
1748 2019-07-10 Yannick Moy <moy@adacore.com>
1750 * sem_aux.adb, sem_aux.ads (Is_Protected_Operation): New
1751 function to determine if a subprogram is protected.
1752 * sem_spark.adb (Setup_Protected_Components): New procedure to
1753 add protected components to the environment.
1754 (Check_Callable_Body): Call the new Setup_Protected_Components.
1755 (Check_Package_Spec): Merge local environment with enclosing one
1758 2019-07-10 Claire Dross <dross@adacore.com>
1760 * sem_spark.adb (Check_Expression): Allow digits constraints as
1762 (Illegal_Global_Usage): Pass in the entity.
1763 (Is_Subpath_Expression): New function to allow different nodes
1764 as inner parts of a path expression.
1765 (Read_Indexes): Allow concatenation and aggregates with box
1766 expressions. Allow attributes Update and Loop_Entry.
1767 (Check_Expression): Allow richer membership test.
1768 (Check_Node): Ignore bodies of generics.
1769 (Get_Root_Object): Allow concatenation and attributes.
1771 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1773 * sem_ch6.adb (Check_Discriminant_Conformance): Use Find_Type to
1774 discover the type of a full view discriminant.
1776 2019-07-10 Arnaud Charlet <charlet@adacore.com>
1778 * doc/gnat_ugn/gnat_and_program_execution.rst: Improve gnatmem's
1779 doc for the depth switch.
1781 2019-07-10 Bob Duff <duff@adacore.com>
1783 * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
1784 --source-line-breaks switch.
1786 2019-07-10 Justin Squirek <squirek@adacore.com>
1788 * doc/gnat_rm/implementation_defined_attributes.rst: Add mention
1789 of 'Image attribute with 'Img's entry to mention additional
1790 added 2012 usage of Obj'Image.
1791 * doc/gnat_rm/implementation_defined_pragmas.rst: Correct
1792 mispelling of Async_Writers.
1793 * gnat_rm.texi: Regenerate.
1794 * sem_prag.adb (Analyze_Pragma): Correct mispelling of
1796 * sem_util.adb (State_Has_Enabled_Property): Correct mispelling
1799 2019-07-10 Simon Buist <buist@adacore.com>
1801 * sem_util.ads (Child_Prefix): New constant.
1802 * sem_util.adb (Unique_Name): Add a special prefix to child
1803 units that have a nested subprogram or package.
1805 2019-07-10 Arnaud Charlet <charlet@adacore.com>
1807 * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert.
1809 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1811 * sem_ch3.adb (Check_Nonoverridable_Aspects): Correct the
1812 spelling in certain error messages.
1813 (Check_Pragma_Implemented): Correct the spelling in certain
1816 2019-07-10 Eric Botcazou <ebotcazou@adacore.com>
1818 * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add g-brapre.
1819 * libgnat/g-brapre.ads: New package specification.
1820 * doc/gnat_rm/the_gnat_library.rst: Document it.
1821 * gnat_rm.texi: Regenerate.
1823 2019-07-10 Yannick Moy <moy@adacore.com>
1825 * osint-c.adb (Set_File_Name): Always add extension for multiple
1826 units per file mode.
1828 2019-07-10 Corentin Gay <gay@adacore.com>
1830 * sysdep.c: Put include directive for 'vxWorks.h' before any
1831 other VxWorks headers.
1833 2019-07-10 Eric Botcazou <ebotcazou@adacore.com>
1835 * doc/gnat_rm/implementation_defined_attributes.rst
1836 (Scalar_Storage_Order): Minor tweaks. Add note about debuggers.
1837 * gnat_rm.texi: Regenerate.
1839 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1841 * exp_ch4.adb (Expand_N_Case_Expression): Mark the generated
1842 assignments to the temporary result as being OK because the
1843 expansion of case expressions is correct by construction.
1844 (Is_Copy_Type): Update the predicate to match the comment
1847 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1849 * bindo-graphs.adb, bindo.adb, debug.adb, exp_ch6.adb,
1850 sem_ch10.adb, sem_ch13.adb, sem_ch3.adb, sem_ch4.adb,
1851 sem_ch6.adb, sem_ch7.adb, sem_res.adb, sem_spark.adb,
1852 sem_util.adb, warnsw.ads: Minor reformatting.
1854 2019-07-10 Joffrey Huguet <huguet@adacore.com>
1856 * libgnat/a-strbou.ads, libgnat/a-strfix.ads,
1857 libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add global
1858 contracts, contract cases, preconditions and postconditions to
1859 procedures and functions.
1861 2019-07-10 Doug Rupp <rupp@adacore.com>
1863 * sysdep.c (__gnat_is_file_not_found_error): Reformulate to also
1864 work for vxworks7r2 SR0610.
1866 2019-07-10 Doug Rupp <rupp@adacore.com>
1868 * env.c (__gnat_environ): Reformulate to also work for
1871 2019-07-10 Patrick Bernardi <bernardi@adacore.com>
1873 * Makefile.rtl: Handle vxworks7r2 ppc target
1875 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1877 * bindo.adb: Update the section on switches.
1879 (Add_Cycle, Add_Vertex_And_Complement): Remove.
1880 (Create): The graph no longer needs a set of recorded cycles
1881 because the cycles are not rediscovered in permuted forms.
1882 (Cycle_End_Vertices): New routine.
1883 (Destroy): The graph no longer needs a set of recorded cycles
1884 because the cycles are not rediscovered in permuted forms.
1885 (Destroy_Library_Graph_Vertex): Move to the library level.
1886 (Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge):
1888 (Find_Cycles_From_Successor, Find_Cycles_From_Vertex,
1889 Find_Cycles_In_Component, Has_Elaborate_All_Edge): New routines.
1890 (Insert_And_Sort): Remove.
1891 (Is_Elaborate_Body_Edge): Use predicate
1892 Is_Vertex_With_Elaborate_Body.
1893 (Is_Recorded_Cycle): Remove.
1894 (Is_Vertex_With_Elaborate_Body): New routine.
1895 (Normalize_And_Add_Cycle): Remove.
1896 (Precedence): Rename to xxx_Precedence, where xxx relates to the
1897 input. These versions better reflect the desired input
1899 (Record_Cycle): New routine.
1900 (Remove_Vertex_And_Complement, Set_Is_Recorded_Cycle): Remove.
1901 (Trace_xxx): Update all versions to use debug switch -d_t.
1902 (Trace_Component): New routine.
1903 (Trace_Eol): Removed.
1904 (Trace_Vertex): Do not output the component as this information
1905 is already available when the component is traced.
1906 (Unvisit, Visit): New routine.
1907 * bindo-graphs.ads: Add new instance LGV_Lists. Remove instance
1908 RC_Sets. Update the structure of type Library_Graph_Attributes
1909 to remove the set of recorded cycles.
1910 (Destroy_Library_Graph_Vertex): Move to the library level.
1911 * bindo-writers.adb (Write_Component_Vertices): Output
1912 information about the number of vertices.
1913 * debug.adb: Document the use of binder switch -d_t. Update the
1914 use of binder switch -d_T.
1916 2019-07-10 Yannick Moy <moy@adacore.com>
1918 * sem_spark.adb (Get_Root_Object): Replace precondition by error
1920 (Read_Indexes): Replace precondition by error message.
1921 (Check_Callable_Body): Check only traversal function returns an
1922 anonymous access type.
1923 (Check_Expression): Issue error on unexpected expression as
1925 * sem_util.adb (First_Global): Fix access to global on
1928 2019-07-10 Javier Miranda <miranda@adacore.com>
1930 * exp_ch6.adb (Is_Class_Wide_Interface_Type): New subprogram.
1931 (Expand_Call_Helper): Handle non-limited views when we check if
1932 any formal is a class-wide interface type.
1933 * exp_disp.adb (Expand_Interface_Actuals): Handle non-limited
1934 views when we look for interface type formals to force "this"
1937 2019-07-10 Ed Schonberg <schonberg@adacore.com>
1939 * sem_res.adb (Resolve_Equality_Op): Do not replace the resolved
1940 operator by its alias if expander is not active, because the
1941 operand type may not be frozen yet and its inherited operations
1942 have not yet been created.
1944 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1946 * bindo-elaborators.adb (Elaborate_Units): Set attribute
1947 Elab_Position of all elaborated units.
1948 (Set_Unit_Elaboration_Positions): New routine.
1950 2019-07-10 Gary Dismukes <dismukes@adacore.com>
1952 * exp_util.adb: Reformatting and a typo fix.
1954 2019-07-10 Yannick Moy <moy@adacore.com>
1956 * exp_util.adb (Remove_Side_Effects): Prefer renamings for
1957 objects of possible owning type in GNATprove mode.
1959 2019-07-09 Ed Schonberg <schonberg@adacore.com>
1961 * sem_ch3.adb (Analyze_Object_Declaration): If the object type
1962 is a composite type that has a dynamic predicate and, the
1963 expression in the declaration is an aggregate, the generated
1964 predicate check must appear after the expanded code for the
1965 aggregate, which will appear after the rewritten object
1968 2019-07-09 Justin Squirek <squirek@adacore.com>
1970 * sem_eval.adb (Expr_Value_E): Add conditional to correctly
1971 handle constant enumerated character types.
1973 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
1975 * libgnarl/s-osinte__mingw.ads (CRITICAL_SECTION): Use proper
1976 type for SpinCount component.
1978 2019-07-09 Justin Squirek <squirek@adacore.com>
1980 * exp_ch4.adb (Expand_N_Allocator): Add conditional to detect
1981 the presence of anoymous access type allocators and issue a
1982 warning if the appropriate warning flag is enabled.
1983 * warnsw.ads: Add new warning flag for anonymous allocators
1984 * warnsw.adb (All_Warnings, Restore_Warnings, Save_Warnings,
1985 Set_Underscore_Warning_Switch): Register new flags.
1986 (WA_Warnings): Register new flag as an "all warnings" switch
1988 doc/gnat_ugn/building_executable_programs_with_gnat.rst:
1989 Document new warning switches -gnatw_a and -gnatw_A.
1990 * gnat_ugn.texi: Regenerate.
1992 2019-07-09 Ed Schonberg <schonberg@adacore.com>
1994 * sem_ch4.adb (Diagnose_Call): Improve error recovery when a
1995 local subprogram name hides a possible candidate name declared
1996 in a child package in the context of the current unit.
1997 * sem_ch6.adb (Process_Formals): Protect against malformed
1998 formal types when the parameter type does not denote an entity.
2000 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2002 * bindo-augmentors.adb (Visit_Elaboration_Root): Do not start a
2003 DFS from an elaboration root whose corresponding unit lacks
2004 elaboration code. This behavior mimics that of the old
2005 elaboration order mechanism.
2006 * bindo-graphs.adb (Find_All_Cycles_Through_Vertex): Move the
2007 vertex tracing within the functional branches of the routine.
2008 This prevents spurious trace output.
2009 (Has_No_Elaboration_Code): New routine.
2010 (Trace_Cycle, Trace_Edge): Update the various Ids to use the
2011 "standard" trace format.
2012 * bindo-graphs.ads (Has_No_Elaboration_Code): New routine.
2013 * bindo-units.ads, bindo-units.adb (Has_No_Elaboration_Code):
2016 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2018 * ali.ads, bindo-graphs.adb, bindo-validators.adb, clean.adb,
2019 doc/gnat_ugn/elaboration_order_handling_in_gnat.rst, einfo.ads,
2020 exp_aggr.adb, exp_ch13.adb, exp_ch4.adb, exp_ch5.adb,
2021 exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_pakd.adb,
2022 fname-uf.ads, gnatlink.adb, inline.adb, lib.ads, make.adb,
2023 namet.ads, opt.ads, par-ch4.adb, par-ch6.adb, par-labl.adb,
2024 prep.adb, sem_aggr.adb, sem_ch13.adb, sem_ch4.adb, sem_ch5.adb,
2025 sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch8.adb, sem_dim.adb,
2026 sem_disp.adb, sem_prag.adb, sem_res.adb, sem_warn.adb,
2027 sinfo.ads: Replace ". " with ". ". Minor reformatting and typo
2029 * gnat_ugn.texi: Generate.
2031 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2033 * bindo.ads: Move type Precedence_Kind from the private to the
2034 visible part of the unit.
2035 * bindo-augmentors.adb: Remove the use of global data as it is
2037 (Augment_Library_Graph): Update the parameter profile.
2038 (Is_Visited, Set_Is_Visited): Remove.
2039 (Visit_Elaboration_Root, Visit_Elaboration_Roots): Update the
2040 parameter profile and comment on usage.
2041 (Visit_Vertex): Likewise. Also keep track of which invocation
2042 edge activates a task.
2043 * bindo-augmentors.ads (Augment_Library_Graph): Update the
2044 parameter profile and comment on usage.
2045 * bindo-builders.adb (Create_Forced_Edge,
2046 Create_Spec_And_Body_Edge, Create_With_Edge): Update the call to
2048 * bindo-diagnostics.adb: Add with end use clauses for Restrict
2050 (Output_Dynamic_Model_Suggestions): Remove.
2051 (Output_Invocation_Related_Suggestions): New routine.
2052 (Output_Suggestions): Output all invocation-related suggestions
2054 * bindo-elaborators.adb: Remove types Comparator_Ptr and
2056 (Find_Best_Vertex): Update the parameter profile.
2057 * bindo-graphs.adb (Activates_Task): New routine.
2058 (Add_Body_Before_Spec_Edge): Update the call to
2059 Add_Edge_With_Return.
2060 (Add_Edge): Update the parameter profile and the call to
2061 Add_Edge_With_Return.
2062 (Add_Edge_With_Return): Update the parameter profile and comment
2064 (At_Least_One_Edge_Satisfies): New routine.
2065 (Contains_Elaborate_All_Edge): Reimplement.
2066 (Contains_Static_Successor_Edge, Contains_Task_Activation): New
2068 (Contains_Weak_Static_Successor): Remove.
2069 (Is_Static_Successor_Edge): New routine.
2070 * bindo-graphs.ads: Add types LGE_Predicate_Ptr,
2071 LGV_Comparator_Ptr, and LGV_Predicate_Ptr. Update type
2072 Library_Graph_Edge_Attributes to capture whether an invocation
2073 edge activates a task. Update the value of
2074 No_Library_Graph_Edge_Attributes.
2075 (Activates_Task): Update the parameter profile and comment on
2077 (Contains_Static_Successor_Edge, Contains_Task_Activation): New
2079 (Contains_Weak_Static_Successor): Remove.
2080 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst:
2081 Update the documentation to reflect the new task-related advice.
2082 * gnat_ugn.texi: Regenerate.
2084 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2086 * exp_util.adb (Containing_Package_With_Ext_Axioms): Replace
2087 low-level Ekind test with a high-level wrapper.
2089 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2091 * libgnat/s-memory.adb: Disable calls to Abort defer/undefer
2092 when ZCX_By_Default.
2094 2019-07-09 Javier Miranda <miranda@adacore.com>
2096 * sem_ch13.adb (Rep_Item_Too_Early): Representation clauses are
2097 not allowed for a derivation of a generic type. Extend the
2098 current test to check that none of the parents is a generic
2101 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2103 * exp_ch9.adb, exp_util.adb, repinfo.adb, sem_ch12.adb,
2104 sem_prag.adb, sem_res.adb, sem_spark.adb, sem_util.adb: Minor
2107 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2109 * sem_res.adb (Resolve_Equality_Op): If the node was overloaded,
2110 set properly the entity to which the node has been resolved. The
2111 original entity is the first one found during analysis, and is
2112 not necessarily the resolved one.
2113 (Resolve_Op_Not): If the argument of negation is an overloaded
2114 equality operation, call its resolution directly given that the
2115 context type does not participate in overload resolution.
2117 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2119 * bindo.adb: Remove with and use clauses for Debug. Add with
2120 and use clauses for Opt.
2121 (Find_Elaboration_Order): Enable the v4.0 elaboration order. The
2122 v3.0 mechanism is now available under binder switch -H.
2123 * bindusg.adb (Display): Enable switch -H.
2124 * debug.adb: Free compiler switch -gnatd_G. Free binder switch
2126 * sem_elab.adb: Update the section on switches to remove
2128 (Invocation_Graph_Recording_OK): The invocation graph is now
2129 unconditionally recorded in ALI files.
2130 * switch-b.adb (Scan_Binder_Switches): Scan switch -H.
2131 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
2132 Update the documentation on compiler switches related to
2133 elaboration. Update the documentation on binder switches to
2135 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
2136 the documentation on elaboration order handling in GNAT.
2137 * gnat_ugn.texi: Regenerate.
2139 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
2141 * repinfo.adb (List_Entities): Disregard formals altogether.
2142 (List_Name): Properly escape the double quote in the JSON
2145 2019-07-09 Javier Miranda <miranda@adacore.com>
2147 * exp_util.adb (Remove_Side_Effects): Preserve the
2148 Do_Range_Check flag.
2150 2019-07-09 Yannick Moy <moy@adacore.com>
2152 * sinfo.ads: Refine comment for Do_Range_Check.
2154 2019-07-09 Yannick Moy <moy@adacore.com>
2156 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
2157 attribute reference on Enum_Rep.
2159 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2161 * sem_ch12.adb (Instantiate_Formal_Package): Handle properly the
2162 case where the actual for a formal package in an instance is the
2163 current instance of an enclosing generic package.
2164 (Check_Formal_Packages): If the formal package declaration is
2165 box-initialized or lacks associations altogether, no internal
2166 instance was created to verify conformance, and there is no
2167 validating package to remove from tree.
2169 2019-07-09 Yannick Moy <moy@adacore.com>
2171 * freeze.adb (Build_Renamed_Body): Do not set body to inline in
2174 2019-07-09 Yannick Moy <moy@adacore.com>
2176 * exp_util.adb (Expand_Subtype_From_Expr): Still expand the type
2177 of static expressions in GNATprove_Mode.
2178 * sem_ch3.adb (Analyze_Object_Declaration): Remove obsolete
2179 special case for GNATprove_Mode.
2181 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2183 * doc/gnat_rm/the_gnat_library.rst,
2184 doc/gnat_ugn/building_executable_programs_with_gnat.rst,
2185 erroutc.adb, libgnat/g-comlin.adb, libgnat/g-comlin.ads,
2186 libgnat/g-regexp.ads, libgnat/g-regpat.ads,
2187 libgnat/g-spipat.ads, libgnat/s-os_lib.ads,
2188 libgnat/s-regexp.ads: Reword "wild card" to "wildcard".
2189 * gnat_rm.texi, gnat_ugn.texi: Regenerate.
2191 2019-07-09 Yannick Moy <moy@adacore.com>
2193 * sem_spark.adb (Check_Expression): Handle correctly implicit
2194 assignments as part of allocators and (extension) aggregates.
2195 (Get_Root_Object): Adapt for new path expressions.
2196 (Is_Path_Expression): Return True for (extension) aggregate.
2198 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2200 * einfo.ads: Fix a typo.
2202 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2204 * sem_util.adb (Scope_Within_Or_Same): Handle properly task
2205 bodies and protected bodies, so that local variables within have
2206 their proper scopes after these constructs have been rewritten
2207 during expansion. This patch resembles but is not identical to
2208 the code in Scope_Within.
2210 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2212 * gnat1drv.adb (Adjust_Global_Switches): Set
2213 Dynamic_Elaboration_Checks to True in CodePeer mode.
2215 2019-07-09 Yannick Moy <moy@adacore.com>
2217 * sem_spark.adb (Get_Perm_Or_Tree): Issue an error when
2218 encountering unknown global variable.
2220 2019-07-09 Yannick Moy <moy@adacore.com>
2222 * sem_spark.adb (Check_Expression): Change signature to take an
2223 Extended_Checking_Mode, for handling read permission checking of
2224 sub-expressions in an assignment.
2225 (Check_Parameter_Or_Global): Adapt to new behavior of
2226 Check_Expression for mode Assign.
2227 (Check_Safe_Pointers): Do not analyze generic bodies.
2228 (Check_Assignment): Separate checking of the target of an
2231 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
2233 * repinfo.ads (JSON format): Adjust.
2234 * repinfo.adb (Need_Blank_Line): Rename to...
2235 (Need_Separator): ...this.
2236 (Blank_Line): Rename to...
2237 (Write_Separator): ...this and add JSON specific handling.
2238 (List_Array_Info): Adjust to above renaming.
2239 (List_Object_Info): Likewise.
2240 (List_Record_Info): Likewise.
2241 (List_Subprogram_Info): Likewise.
2242 (List_Type_Info): Likewise.
2243 (List_Entities): Do not set Need_Blank_Line.
2244 (List_Rep_Info): Set Need_Separator and add JSON specific
2245 handling. Output a single JSON stream in the normal case.
2247 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2249 * doc/gnat_ugn/the_gnat_compilation_model.rst: Update doc on
2250 -fdump-ada-spec now that we generate Ada 2012.
2251 * gnat_ugn.texi: Regenerate.
2253 2019-07-08 Eric Botcazou <ebotcazou@adacore.com>
2255 * repinfo.adb (List_Common_Type_Info): New procedure extracted
2257 (List_Type_Info): ...here. Call it for the common information,
2258 start with a blank line and output the linker section at the
2260 (List_Mechanisms): Rename to...
2261 (List_Subprogram_Info): ...this.
2262 (List_Array_Info): Call List_Common_Type_Info.
2263 (List_Entities): Adjust to above change and renaming.
2264 (List_Record_Info): Call List_Common_Type_Info.
2266 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2268 * libgnat/g-sercom.ads
2269 (Serial_Port_Descriptor): New type.
2270 (Serial_Port): Add a comment, make it hold a
2271 Serial_Port_Descriptor.
2272 (To_Ada, To_C): New procedures.
2273 (Port_Data, Port_Data_Access): Remove types.
2274 * libgnat/g-sercom.adb (To_Ada): New stub.
2275 * libgnat/g-sercom__linux.adb, libgnat/g-sercom__mingw.adb:
2276 Update implementations accordingly.
2277 * s-oscons-tmplt.c: Bind Serial_Port_Descriptor to
2278 System.Win32.HANDLE on Windows, and to Interfaces.C.int on
2279 Linux. Add "Interfaces.C." prefix for other basic integer type
2281 * xoscons.adb (Output_Info): Remove the "Interfaces.C." prefix
2282 for subtypes generation.
2284 2019-07-08 Arnaud Charlet <charlet@adacore.com>
2286 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
2287 Update documentation on No_Exceptions restriction.
2288 * gnat_rm.texi: Regenerate.
2290 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2292 * libgnat/s-os_lib.adb: Do not call __gnat_kill for Invalid_Pid.
2294 2019-07-08 Piotr Trojanek <trojanek@adacore.com>
2296 * sem_util.adb (Enclosing_Package_Or_Subprogram): Do not expect
2297 package and subprogram bodies.
2299 2019-07-08 Bob Duff <duff@adacore.com>
2301 * doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
2302 of ignored GNATpp switch.
2304 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2306 * doc/gnat_rm/implementation_defined_pragmas.rst:
2307 Update the documentation of pragma Initialize_Scalars.
2308 * gnat_rm.texi: Regenerate.
2310 2019-07-08 Javier Miranda <miranda@adacore.com>
2312 * exp_ch4.adb (Tagged_Membership): Fix regression silently
2313 introduced in r260738 that erroneouslusy causes the evaluation
2314 to True of the membership test when the left operand of the
2315 membership test is a class-wide interface object and the right
2316 operand is a type that implements such interface type.
2318 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2320 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not
2321 register an address clause when its prefix denotes a generic
2324 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2326 * bindo-diagnostics.adb (Diagnose_Cycle): Capture the presence
2327 of an Elaborate_All edge before iterating over the edges of the
2329 (Output_Elaborate_Body_Transition): Update the parameter profile
2330 and the comment on usage. Add a missing case where the edge is
2331 within the context of an Elaborate_All.
2332 (Output_Transition): Update the call to
2333 Output_Elaborate_Body_Transition.
2334 * bindo-graphs.ads, bindo-graphs.adb
2335 (Contains_Elaborate_All_Edge): New routine.
2337 2019-07-08 Piotr Trojanek <trojanek@adacore.com>
2339 * lib-xref-spark_specific.adb (Create_Heap): Set dummy Etype for
2340 the fake __HEAP entity.
2342 2019-07-08 Daniel Mercier <mercier@adacore.com>
2344 * gnat1drv.adb: Suppress warnings on memory representation in
2345 CodePeer compiler mode.
2347 2019-07-08 Nicolas Roche <roche@adacore.com>
2349 * rtinit.c (__gnat_runtime_initialize): Remove dependency on
2352 2019-07-08 Doug Rupp <rupp@adacore.com>
2354 * Makefile.rtl: Handle vxworks7r2 in x86_64 and x86 vxworks7.
2356 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2358 * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
2360 2019-07-08 Yannick Moy <moy@adacore.com>
2362 * expander.adb (Expand): Do not reset Analyzed flag always.
2363 * sem_eval.adb (Fold_Ureal): Mark node as analyzed.
2365 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2367 * exp_ch9.adb (Expand_N_Timed_Entry_Call): Do not insert twice
2368 the assignment statement that computes the delay value, to
2369 prevent improper tree sharing when the value is a type
2370 conversion and Float_Overflow checks are enabled.
2372 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2374 * bindo.adb: Update the section on terminology to include new
2375 concepts. Update the section on switches to include new
2377 * bindo.ads: Add type Precedence_Kind.
2378 * bindo-builders.adb: Add with and use clauses for Debug and
2379 Bindo.Validators. Add use clauses for
2380 Bindo.Validators.Invocation_Graph_Validators and
2381 Bindo.Validators.Library_Graph_Validators.
2382 (Build_Invocation_Graph): Validate the graph immediately after
2384 (Build_Library_Graph): Update the parameter profile. The
2385 creation of the graph is now elaboration model-agnostic.
2386 Validate the graph immediately after it was built.
2387 (Create_With_Edge): Create regular with edges for Elaborate and
2388 Elaborate_All edges when the appropriate debug switches are in
2390 * bindo-builders.ads (Build_Library_Graph): Update the parameter
2392 * bindo-diagnostics.adb (Diagnose_Cycle): Track the presence of
2393 an Elaborate_All edge throughout the inspection of the cycle's
2395 (Output_Dynamic_Model_Suggestions): Output the suggestion only
2396 when the cycle contains at least one weak edge where the
2397 successor was statically elaborated.
2398 (Output_Elaborate_Body_Transition, Output_Forced_Transition,
2399 Output_With_Transition): Update the assertions.
2400 * bindo-elaborators.adb: Remove use clauses for
2401 Bindo.Validators.Invocation_Graph_Validators and
2402 Bindo.Validators.Library_Graph_Validators. Remove strings
2403 Add_To_All_Candidates_Msg and Add_To_Comp_Candidates_Msg.
2404 Remove type String_Ptr.
2405 (Add_Vertex, Add_Vertex_If_Elaborable, Create_All_Candidates_Set
2406 Create_Component_Candidates_Set): Remove.
2407 (Create_Component_Vertex_Sets, Create_Vertex_Sets): New routine.
2408 (Elaborate_Component): Update the parameter profile and the
2409 comment on usage. Reimplement the elaboration of a component.
2410 The algorithm will now attempt to elaborate as many vertices
2411 possible. If this is not possible, and a weakly elaborable
2412 vertex is available use unit was compiled using the dynamic
2413 model, the algorithm will elaborate it.
2414 (Elaborate_Library_Graph): Reimplement the elaboration of the
2415 graph. The algorithm will now attempt to elaborate as many
2416 vertices along with their components as possible. If this is not
2417 possible, and a weakly elaborable vertex is available use unit
2418 was compiled using the dynamic model, the algorithm will
2419 elaborate it along with its component.
2420 (Elaborate_Units): Merge with the functionality of
2421 Elaborate_Units_Common.
2422 (Elaborate_Units_Common, Elaborate_Units_Dynamic,
2423 Elaborate_Units_Static): Remove.
2424 (Elaborate_Vertex): Update the parameter profile and the comment
2425 on usage. Reimplemented.
2426 (Find_Best_Candidate): Remove.
2427 (Find_Best_Elaborable_Vertex, Find_Best_Vertex,
2428 Find_Best_Weakly_Elaborable_Vertex, Has_Elaborable_Body,
2429 Insert_Elaborable_Successor, Insert_Vertex): New routines.
2430 (Is_Better_Candidate): Remove.
2431 (Is_Better_Elaborable_Vertex,
2432 Is_Better_Weakly_Elaborable_Vertex,
2433 Is_Suitable_Elaborable_Vertex,
2434 Is_Suitable_Weakly_Elaborable_Vertex): New routines.
2435 (Trace_Candidate_Vertices): Remove.
2436 (Trace_Component): Output the number of strong and weak
2438 (Trace_Unelaborated_Vertices): Remove.
2439 (Trace_Vertex): Output the number of strong and weak
2441 (Trace_Vertices): New routine.
2442 (Update_Successor, Update_Successors): Update the parameter
2443 profile and the comment on usage.
2444 * bindo-graphs.adb: Remove type Precedence_Kind.
2445 (Add_Edge_With_Return): Update the increment of pending
2447 (Add_Vertex): Provide default values for strong and weak
2449 (Complementary_Vertex): Move the initial declaration to the
2450 spec. Update the parameter profile and the comment on usage.
2451 (Contains_Weak_Static_Successor): New routine.
2452 (Create): Update the parameter profile. The creation of the
2453 graph is now elaboration model-agnostic.
2454 (Decrement_Pending_Predecessors): Update the parameter profile
2455 and the comment on usage. Reimplemented.
2456 (Delete_Edge): Update the decrement of pending predecesors.
2457 (Has_Elaborate_Body): Do not treat a vertex as being subject to
2458 Elaborate_Body when a debug switch is in effect.
2459 (Increment_Pending_Predecessors): Update the parameter profile
2460 and the comment on usage. Reimplemented.
2461 (Is_Elaborable_Component): Reimplemented.
2462 (Is_Elaborable_Vertex): Move the initial declaration to the
2463 spec. Reimplemented.
2464 (Is_Elaborate_Body_Pair): New routine.
2465 (Is_Dynamically_Elaborated): Update the parameter profile.
2467 (Is_Weakly_Elaborable_Vertex): New routine.
2468 (Pending_Predecessors): Removed.
2469 (Pending_Predecessors_For_Elaboration,
2470 Pending_Strong_Predecessors, Pending_Weak_Predecessors,
2471 Update_Pending_Predecessors): New routines.
2472 (Update_Pending_Predecessors_Of_Components): Update the
2473 increment of pending predecessors.
2474 * bindo-graphs.ads: Update the components of type
2475 Component_Attributes. Update the components of type
2476 Library_Graph_Attributes. Update the components of type
2477 Library_Graph_Vertex_Attributes. Update the initialization of
2478 No_Component_Attributes. Update the initialization of
2479 No_Library_Graph_Vertex_Attributes.
2480 (Complementary_Vertex, Contains_Weak_Static_Successor): New
2482 (Create): Update the parameter profile and the comment on usage.
2483 (Decrement_Pending_Predecessors, Is_Dynamically_Elaborated):
2484 Update the parameter profile and the comment on usage.
2485 (Is_Elaborate_Body_Pair, Is_Weakly_Elaborable_Vertex): New
2487 (Pending_Predecessors): Removed.
2488 (Pending_Predecessors_For_Elaboration,
2489 Pending_Strong_Predecessors, Pending_Weak_Predecessors): New
2491 * bindo-writers.adb (Write_Components): Moved from the spec.
2492 (Write_Component): Output the strong and weak predecessors.
2493 (Write_Library_Graph): Output the components as part of the
2495 (Write_Library_Graph_Vertex): Output the strong and weak
2497 * bindo-writers.ads (Write_Components): Moved to the body.
2498 * debug.adb: Add and document new GNATbind switches -d_a, -d_b,
2500 * bindo-validators.adb: Minor reformattings.
2502 2019-07-08 Bob Duff <duff@adacore.com>
2504 * libgnat/g-sercom.ads, libgnat/g-sercom__linux.adb (Data_Rate):
2505 Support additional data rates.
2507 2019-07-08 Olivier Hainque <hainque@adacore.com>
2509 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Don't request
2510 DECL_ARTIFICIAL_P on elab proc declarations.
2512 2019-07-08 Eric Botcazou <ebotcazou@adacore.com>
2514 * repinfo.adb (List_Record_Info): Declare Incomplete_Layout and
2515 Not_In_Extended_Main local exceptions.
2516 (List_Structural_Record_Layout): For an extension, raise the
2517 former if the parent subtype has not been built and the latter
2518 if it is not declared in the main source unit. Fall back to the
2519 flat layout if either exception has been raised.
2521 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2523 * libgnat/a-strfix.adb (Delete): The RM describes the semantics
2524 of Delete as equivalent to that of Replace_String with a null
2525 argument. As a result, deleting a null string that starts past
2526 the end of its argument is a noop and must not raise
2529 2019-07-08 Javier Miranda <miranda@adacore.com>
2531 * exp_disp.adb (Register_Primitive): When registering a
2532 primitive in the secondary dispatch table, handle primitive
2533 inherited through several levels of type derivation (required to
2534 properly handle inherited 'null' primitive).
2536 2019-07-08 Bob Duff <duff@adacore.com>
2538 * doc/gnat_ugn/gnat_utility_programs.rst: Document handling of
2539 preprocessor directives in GNATpp.
2541 2019-07-08 Javier Miranda <miranda@adacore.com>
2543 * gnat1drv.adb (Post_Compilation_Validation_Checks:
2544 Validate_Compile_Time_Warning_Errors is now located in sem_prag
2545 (instead of sem_ch13).
2546 * sem_ch13.ads (Validate_Compile_Time_Warning_Error,
2547 Validate_Compile_Time_Warning_Errors): Move to sem_prag.
2549 (Compile_Time_Warnings_Errors): Move to sem_prag.
2550 (Initialize): Remove initialization of table
2551 Compile_Time_Warning_Errors.
2552 (Validate_Compile_Time_Warning_Error,
2553 Validate_Compile_Time_Warning_Errors): Move to sem_prag.
2554 * sem_prag.ads (Validate_Compile_Time_Warning_Errors): New
2556 * sem_prag.adb (Initialize): Initialize table
2557 Compile_Time_Warning_Errors.
2559 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2561 * sem_ch13.adb (Analyze_Aspect_Specifications): For a
2562 pre/postcondition of a generic subprogram declaration, do not
2563 use Relocate_Node on the aspect expression to construct the
2564 corresponding attribute specification, to prevent tree anomalies
2565 when the expression is a call with named actual parameters.
2567 2019-07-08 Javier Miranda <miranda@adacore.com>
2569 * sem_attr.adb (Analyze_Attribute [Attribute_Size]): For pragmas
2570 used to report user defined compile time warning or errors
2571 handle 'Size for types with known static RM size.
2573 2019-07-08 Justin Squirek <squirek@adacore.com>
2575 * exp_imgv.adb (Build_Enumeration_Image_Tables): Default SSO for
2576 the building of image tables.
2577 (Expand_Image_Attribute): Minor cleanup.
2579 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2581 * libgnat/g-socket.ads, libgnat/g-socket.adb: Improve
2583 (Get_Socket_Option, Set_Socket_Option): Remove default value for
2586 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2588 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): For an
2589 unanalized aspect in a generic context that has not been
2590 analyzed yet, if the aspect applies to a type, place the type on
2591 the scope stack to make its components visible, before checking
2592 conformance with the version of the expression analyzed at the
2595 2019-07-05 Justin Squirek <squirek@adacore.com>
2597 * checks.adb (Apply_Accessibility_Check): Add logic to fetch the
2598 function result accessibility level if one is required within
2599 the generated check.
2600 * exp_ch6.adb (Needs_Result_Accessibility_Level): Modify
2601 controlling elsif block to handle more cases such as anonymous
2602 access results and disable checking for coextensions.
2604 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2606 * sem_ch9.adb (Analyze_Accept_Statement): If this is an illegal
2607 accept statement for an enclosing entry abandon analysis to
2608 prevent scope mismatches and potential infinite loops in
2611 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2613 * ali.adb (For_Each_Invocation_Construct,
2614 For_Each_Invocation_Relation): New version.
2615 (Scan_ALI): Initialize field Invocation_Graph_Encoding.
2616 (Set_Invocation_Graph_Encoding): Update the setting of the
2617 invocation graph encoding.
2618 * ali.ads: Move field Invocation_Graph_Encoding from Unit_Record
2619 to ALI_Record because the encoding applies to the whole ALI,
2620 rather than one of the units (spec or body) for which the ALI
2622 (For_Each_Invocation_Construct, For_Each_Invocation_Relation):
2624 * bindo.adb: Update the section on switches. Complete the
2625 section of debugging elaboration order issues.
2626 (Find_Elaboration_Order): Prepare the routine for the switch
2627 from the old to the new elaboration order mechanism.
2628 * bindo-diagnostics.adb (Find_And_Output_Invocation_Paths):
2629 Manage a visited set used by Visit_Vertex.
2630 (Output_All_Cycles_Suggestions,
2631 Output_Dynamic_Model_Suggestions): Clarify the nature of the
2633 (Output_Elaborate_Body_Transition): Update the diagnostic to
2634 emit a better message.
2635 (Output_Forced_Suggestions, Output_Full_Encoding_Suggestions):
2636 Clarify the nature of the suggested switch.
2637 (Visit_Vertex): Update the parameter profile to add a set of
2638 invokers visited during the transition. This set prevents
2639 infinite exploration of the graph in case the invocations are
2641 * bindo-elaborators.adb: Add a use clause for
2642 Bindo.Writers.Dependency_Writers.
2643 (Elaborate_Units_Common): Output the library graph after it has
2644 been augmented with invocation edges. Output just the components
2645 instead of outputting the whole library graph again.
2646 (Elaborate_Units_Dynamic, Elaborate_Units_Static): Output the
2647 dependencies as expressed in the library graph.
2648 * bindo-units.adb (Invocation_Graph_Encoding): Update the
2649 extraction of the invocation graph encoding.
2650 * bindo-writers.adb: Add with and use clauses for Binderr and
2652 (palgc, plgc): New debug routine.
2653 (Write_Components): Moved to the spec. Add a header for the
2655 (Write_Dependencies, Write_Dependencies_Of_Vertex,
2656 Write_Dependency_Edge): New routine.
2657 (Write_Elaboration_Order): Update the logic to follow the format
2658 of Binde's order output.
2659 (Write_Library_Graph): Do not output the components every time
2660 the graph is written.
2661 (Write_Unit): Output the invocation graph encoding of the unit.
2662 Output the invocation constructs and relations for the unit
2664 * bindo-writers.ads (Write_Components): Moved from the body.
2665 (Write_Dependencies): New routine.
2666 * bindusg.adb: Prepare the routine for the switch from the old
2667 to the new elaboration order mechanism.
2668 * debug.adb: Binder switch -d_O is now not associated with any
2670 * einfo.adb (Is_Elaboration_Target): The attribute applies to
2671 packages, as specified by the comment on the attribute usage.
2672 * opt.ads: Add a global flag which controls the choice between
2673 the new and the legacy elaboration order mechanism.
2674 * sem_elab.adb: Add Package_Target to type Target_Kind.
2675 (Build_Elaborate_Body_Procedure, Build_Elaborate_Procedure,
2676 Build_Elaborate_Spec_Procedure, Check_Elaboration_Scenarios,
2677 Check_SPARK_Model_In_Effect): Use Main_Unit_Entity to obtain the
2678 entity of the main unit.
2679 (Create_Package_Rep): New routine.
2680 (Create_Target_Rep): Add processing for packages.
2681 (Declaration_Placement_Of_Node, Has_Prior_Elaboration): Use
2682 Main_Unit_Entity to obtain the entity of the main
2684 (Invocation_Graph_Recording_OK): Prepare the routine for the
2685 switch from the old to the new elaboration order mechanism.
2686 (Main_Unit_Entity): New routine.
2687 (Meet_Elaboration_Requirement,
2688 Process_Conditional_ABE_Variable_Reference): Use
2689 Main_Unit_Entity to obtain the entity of the main unit.
2690 (Process_Invocation_Instantiation): New routine.
2691 (Process_Invocation_Scenario): Add processing for
2693 * switch-b.adb (Scan_Binder_Switches): Prepare the routine for
2694 the switch from the old to the new elaboration order mechanism.
2696 2019-07-05 Joffrey Huguet <huguet@adacore.com>
2698 * libgnat/a-textio.adb: Add abstract state refinment.
2699 * libgnat/a-textio.ads: Add File_System abstract state. Add
2700 global contracts, contract cases, preconditions and
2701 postconditions to procedures and functions.
2702 (Set_Input, Set_Output, Set_Error, Standard_Input,
2703 Standard_Output, Standard_Error, Current_Input, Current_Output,
2704 Current_Error): Turn SPARK_Mode off.
2705 (Get_Line): Turn SPARK_Mode off on Get_Line functions.
2706 * libgnat/a-tideio.ads, libgnat/a-tienio.ads,
2707 libgnat/a-tifiio.ads, libgnat/a-tiflio.ads,
2708 libgnat/a-tiinio.ads, libgnat/a-timoio.ads: Add global
2709 contracts, contract cases, preconditions and postconditions to
2710 procedures and functions.
2712 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2714 * doc/gnat_ugn/platform_specific_information.rst: Refresh doc on
2715 installing from the command line on Windows. Remove obsolete
2717 * gnat_ugn.texi: Regenerate.
2719 2019-07-05 Vasiliy Fofanov <fofanov@adacore.com>
2721 * libgnat/a-wichha.ads (Is_Alphanumeric): Replace comment with
2722 the correct one. Also capitalize references to False
2725 2019-07-05 Eric Botcazou <ebotcazou@adacore.com>
2727 * exp_ch4.adb (Expand_N_Indexed_Component): Do not expand actual
2728 parameters of function calls here either.
2730 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2732 * bindo-units.adb, checks.adb, exp_attr.adb, exp_ch3.adb,
2733 exp_ch4.adb, exp_pakd.adb, lib-writ.adb, libgnat/g-traceb.adb,
2734 libgnat/g-traceb.ads, libgnat/s-stratt.ads, sem_aux.ads,
2735 sem_util.adb: Minor reformatting.
2737 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2739 * sem_ch13.adb (Build_Predicate_Functions): If a subtype that
2740 carries a static predicate aspect is frozen immediately after
2741 its declaration, ensure that the generated function body created
2742 for predicate checking is inserted after the corresponding
2743 subprogram declaration, which is created at the point the
2744 declaration is elaborated.
2746 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2748 * exp_ch7.adb (Cleanup_Record): Use the underlying type when
2749 checking for components with tasks.
2751 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2753 * libgnarl/s-osinte__linux.ads: Link with -lrt before -lpthread.
2755 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2757 * exp_pakd.adb (Expand_Bit_Packed_Element_Set): Add explicit
2758 range checks when the index type of the bit-packed array is an
2759 enumeration type with a non-standard representation,
2761 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2763 * sem_res.adb (Is_Control_Flow_Statement): Delay statements
2764 contain an expression, which in turn may have side effects and
2765 affect the infinite recursion. As a result, delay statements
2766 should not be treated specially.
2768 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2770 * libgnarl/s-linux.ads, libgnarl/s-linux__alpha.ads,
2771 libgnarl/s-linux__android.ads, libgnarl/s-linux__hppa.ads,
2772 libgnarl/s-linux__mips.ads, libgnarl/s-linux__riscv.ads,
2773 libgnarl/s-linux__sparc.ads: Fix typos in comments.
2775 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2777 * sem_res.adb (Check_Infinite_Recursion): Reimplemented.
2778 (Enclosing_Declaration_Or_Statement,
2779 Invoked_With_Different_Arguments, Is_Conditional_Statement,
2780 Is_Control_Flow_Statement, Is_Immediately_Within_Body,
2781 Is_Raise_Idiom, Is_Raise_Statement, Is_Sole_Statement,
2782 Preceded_By_Control_Flow_Statement,
2783 Within_Conditional_Statement): New routines.
2785 2019-07-05 Javier Miranda <miranda@adacore.com>
2787 * exp_ch4.adb (Expand_N_Type_Conversion): Do not apply an
2788 accessibility check when the conversion is an access to
2789 class-wide interface type and it is an actual parameter.
2790 * exp_ch6.adb (Expand_Call_Helper): Add documentation on the
2791 accessibility level of an anonymous allocator defining the value
2792 of an access parameter.
2793 * sem_util.ads, sem_util.adb (Dynamic_Accessibility_Level): Add
2794 support for an anonymous allocator whose type is that of a
2795 stand-alone object of an anonymous access to object type.
2797 2019-07-05 Piotr Trojanek <trojanek@adacore.com>
2799 * einfo.ads, sem_res.adb: Typo fixes in comments.
2801 2019-07-05 Bob Duff <duff@adacore.com>
2803 * exp_ch6.adb (Is_Build_In_Place_Function): Narrow the check for
2804 Has_Foreign_Convention to the imported case only. If a
2805 build-in-place function is exported, and called from Ada code,
2806 build-in-place protocols should be used.
2808 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2810 * sem_util.adb (Encloing_Subprogram): If Enclosing_Dynamic_Scope
2811 is a loop, continue climbing the scope stack to find the
2812 enclosing subprogram.
2813 (Gather_Components): Handle properly a choice in a record
2814 aggregate that is given by a subtype with a static predicate.
2816 2019-07-05 Javier Miranda <miranda@adacore.com>
2818 * debug.adb (-gnatd.K): Leave available this switch.
2819 * contracts.adb (Build_And_Analyze_Contract_Only_Subprograms):
2821 * scil_ll.ads, scil_ll.adb (Contract_Only_Body_Flag,
2822 Contract_Only_Body_Nodes, Get_Contract_Only_Body,
2823 Is_Contract_Only_Body, Set_Contract_Only_Body): Remove.
2825 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
2827 * libgnat/a-strunb.ads: Import documentation from the RM
2829 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
2831 * libgnat/a-strfix.ads: Import documentation from the RM
2833 2019-07-05 Yannick Moy <moy@adacore.com>
2835 * adabkend.adb (Scan_Back_End_Switches): Accept -Og and -Ofast
2838 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2840 * ali.adb: Relocate types Invocation_Construct_Record,
2841 Invocation_Relation_Record, and Invocation_Signature_Record to
2842 the body of ALI. Relocate tables Invocation_Constructs,
2843 Invocation_Relations, and Invocation_Signatures to the body of
2844 ALI. Remove type Body_Placement_Codes. Add new types
2845 Declaration_Placement_Codes, and
2846 Invocation_Graph_Encoding_Codes. Update the literals of type
2847 Invocation_Graph_Line_Codes.
2848 (Add_Invocation_Construct): Update the parameter profile. Add an
2849 invocation construct built from all attributes provided.
2850 (Add_Invocation_Relation): Update the parameter profile. Add an
2851 invocation relation built from all attributes provided.
2852 (Body_Placement): New routine.
2853 (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
2855 (Code_To_Declaration_Placement_Kind,
2856 Code_To_Invocation_Graph_Encoding_Kind, Column,
2857 Declaration_Placement_Kind_To_Code, Extra,
2858 For_Each_Invocation_Construct, For_Each_Invocation_Relation,
2859 Invocation_Graph_Encoding,
2860 Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
2861 Locations, Name): New routine.
2862 (Scan_Invocation_Construct_Line): Reimplement the scanning
2864 (Scan_Invocation_Graph_Attributes_Line): New routine.
2865 (Scan_Invocation_Graph_Line): Use a case statement to dispatch.
2866 (Scan_Invocation_Relation_Line): Reimplement the scanning
2868 (Scope): New routine.
2869 (Set_Invocation_Graph_Encoding, Signature, Spec_Placement,
2870 Target): New routine.
2871 * ali.ads: Add new type Invocation_Graph_Encoding_Kind. Add
2872 component Invocation_Graph_Encoding to type Unit_Record.
2873 Relocate various types and data structures to the body of ALI.
2874 (Add_Invocation_Construct, Add_Invocation_Relation): Update the
2876 (Body_Placement): New routine.
2877 (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
2879 (Code_To_Declaration_Placement_Kind,
2880 Code_To_Invocation_Graph_Encoding_Kind, Column,
2881 Declaration_Placement_Kind_To_Code, Extra,
2882 For_Each_Invocation_Construct, For_Each_Invocation_Relation,
2883 Invocation_Graph_Encoding,
2884 Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
2885 Locations, Name, Scope, Set_Invocation_Graph_Encoding,
2886 Signature, Spec_Placement, Target): New routine.
2887 * bindo.adb: Add with clause for Binde. Add with and use
2888 clauses for Debug. Update the documentation. Add new switches.
2889 (Find_Elaboration_Order): Dispatch to the proper elaboration
2891 * bindo-augmentors.adb:
2892 Remove with and use clauses for GNAT and GNAT.Sets. Remove
2893 membership set VS. Update the parameter profiles of most
2894 routines to use better parameter names. Update the
2895 implementation of most routine to use the new parameter names.
2896 Remove various redundant assertions.
2897 * bindo-builders.adb: Use better names for instantiated data
2898 structures. Update all references to these names. Update the
2899 parameter profiles of most routines to use better parameter
2900 names. Update the implementation of most routine to use the new
2902 (Build_Library_Graph): Update the parameter profile. Update the
2904 (Create_Vertex): Reimplemented.
2905 (Declaration_Placement_Vertex): New routine.
2906 * bindo-builders.ads (Build_Library_Graph): Update the parameter
2907 profile and comment on usage.
2908 * bindo-diagnostics.adb: Almost a new unit.
2909 * bindo-diagnostics.ads: Add a use clause for
2910 Bindo.Graphs.Invocation_Graphs. Remove package
2912 (Diagnose_Circularities): New routine.
2913 * bindo-elaborators.adb: Remove the with and use clauses for
2914 Binderr and GNAT.Sets. Remove the use clause for
2915 Bindo.Diagnostics.Cycle_Diagnostics. Remove membership set VS.
2916 Update the parameter profiles of most routines to use better
2917 parameter names. Update the implementation of most routine to
2918 use the new parameter names. (Elaborate_Units_Common): Update
2919 the parameter profile. Pass an infication to the library graph
2920 builder whether the dynamic model is in effect.
2921 (Elaborate_Units_Dynamic, Elaborate_Units_Static): Use
2922 Diagnose_Circularities to provide diagnostics.
2923 (Update_Successor): Use routine In_Same_Component to determine
2924 whether the predecessor and successor reside in different
2926 * bindo-graphs.adb: Add with and use clauses for Butil, Debug,
2927 Output, and Bindo.Writers. Remove with and use clauses for
2928 GNAT.Lists. Update the parameter profiles of most routines to
2929 use better parameter names. Update the implementation of most
2930 routine to use the new parameter names. Remove various
2931 redundant assertions. Remove doubly linked list EL. Add new
2932 type Precedence_Kind.
2933 (Add_Cycle): New routine.
2934 (Add_Vertex): Update the parameter profile. Update the creation
2935 of vertex attributes.
2936 (Add_Vertex_And_Complement, Body_Vertex, Column,
2937 Complementary_Vertex, Copy_Cycle_Path, Cycle_Kind_Of): New
2939 (Destroy_Invocation_Graph_Edge, Destroy_Library_Graph_Cycle,
2940 Destroy_Library_Graph_Edge, Extra, File_Name,
2941 Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge,
2942 Find_Cycles, Find_First_Lower_Precedence_Cycle,
2943 Get_LGC_Attributes, Has_Next, Hash_Library_Graph_Cycle,
2944 Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
2945 Highest_Precedence_Edge, In_Same_Component, Insert_And_Sort,
2946 Invocation_Edge_Count, Invocation_Graph_Encoding,
2947 Is_Cycle_Initiating_Edge, Is_Cyclic_Edge,
2948 Is_Cyclic_Elaborate_All_Edge, Is_Cyclic_Elaborate_Body_Edge,
2949 Is_Cyclic_Elaborate_Edge, Is_Cyclic_Forced_Edge,
2950 Is_Cyclic_Invocation_Edge, Is_Cyclic_With_Edge,
2951 Is_Dynamically_Elaborated, Is_Elaborate_All_Edge,
2952 Is_Elaborate_Body_Edge, Is_Elaborate_Edge: New routines.
2953 (Is_Existing_Predecessor_Successor_Relation): Removed.
2954 (Is_Forced_Edge, Is_Invocation_Edge, Is_Recorded_Cycle,
2955 Is_Recorded_Edge, Is_With_Edge, Iterate_Edges_Of_Cycle, Kind,
2956 Length): New routine.
2957 (Lib_Vertex): Removed.
2958 (Line, Links_Vertices_In_Same_Component,
2959 Maximum_Invocation_Edge_Count, Next, Normalize_And_Add_Cycle,
2960 Normalize_Cycle_Path, Number_Of_Cycles, Path, Precedence,
2961 Remove_Vertex_And_Complement, Sequence_Next_Cycle): New routines.
2962 (Sequence_Next_IGE_Id): Renamed to Sequence_Next_Edge.
2963 (Sequence_Next_IGV_Id): Renamed to Sequence_Next_Vertex.
2964 (Sequence_Next_LGE_Id): Renamed to Sequence_Next_Edge.
2965 (Sequence_Next_LGV_Id): Renamed to Sequence_Next_Vertex.
2966 (Set_Is_Existing_Predecessor_Successor_Relation): Removed.
2967 (Set_Is_Recorded_Cycle, Set_Is_Recorded_Edge,
2968 Set_LGC_Attributes, Spec_Vertex, Trace_Cycle, Trace_Edge,
2969 Trace_Eol, Trace_Vertex): New routines.
2970 * bindo-graphs.ads: Add with and use clauses for Types and
2971 GNAT.Lists. Update the parameter profiles of most routines to
2972 use better parameter names. Update the implementation of most
2973 routine to use the new parameter names. Add the new
2974 instantiated data structures IGE_Lists, IGV_Sets, LGC_Lists,
2975 LGE_Lists, LGE_Sets, LGV_Sets, and RC_Sets. Add new type
2976 Library_Graph_Cycle_Id along with an empty and initial value.
2977 Remove component Lib_Vertex and add new components Body_Vertex
2978 and Spec_Vertex to type Invocation_Graph_Vertex_Attributes. Add
2979 new type Library_Graph_Cycle_Kind. Add new iterators
2980 All_Cycle_Iterator and Edges_Of_Cycle_Iterator. Add new type
2981 Library_Graph_Cycle_Attributes. Add new components
2982 Cycle_Attributes, Cycles, and Dynamically_Elaborated to type
2983 Library_Graph_Attributes.
2984 (Body_Vertex, Column, Destroy_Invocation_Graph_Edge,
2985 Destroy_Library_Graph_Cycle_Attributes,
2986 Destroy_Library_Graph_Edge, Extra, File_Name, Find_Cycles,
2987 Has_Elaborate_All_Cycle, Has_Next, Hash_Library_Graph_Cycle,
2988 Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
2989 In_Same_Component, Invocation_Edge_Count,
2990 Invocation_Graph_Encoding, Is_Dynamically_Elaborated,
2991 Is_Elaborate_All_Edge, Is_Elaborate_Body_Edge,
2992 Is_Elaborate_Edge, Is_Forced_Edge, Is_Invocation_Edge,
2993 Is_With_Edge, Iterate_All_Cycles, Iterate_Edges_Of_Cycle, Kind):
2995 (Length, Lib_Vertex, (Line, Next, Number_Of_Cycles, Present,
2996 Same_Library_Graph_Cycle_Attributes, Spec_Vertex): New routines.
2997 * bindo-units.adb (File_Name, Invocation_Graph_Encoding): New
2999 * bindo-units.ads: Add new instantiated data structure
3001 (File_Name, Invocation_Graph_Encoding): New routine.
3002 * bindo-validators.adb: Remove with and use clauses for GNAT and
3003 GNAT.Sets. Remove membership set US. Update the parameter
3004 profiles of most routines to use better parameter names. Update
3005 the implementation of most routine to use the new parameter
3007 (Validate_Cycle, Validate_Cycle_Path, Validate_Cycles,
3008 Validate_Invocation_Graph_Vertex): Remove the validation of
3009 component Lib_Vertex. Add the validation of components
3010 Body_Vertex and Spec_Vertex.
3011 (Write_Error): New routine.
3012 * bindo-validators.ads (Validate_Cycles): New routine.
3013 * bindo-writers.adb: Update the parameter profiles of most
3014 routines to use better parameter names. Update the
3015 implementation of most routine to use the new parameter names.
3016 (Write_Cycle, Write_Cyclic_Edge, Write_Cycles): New routines.
3017 (Write_Invocation_Graph_Vertex): Remove the output of component
3018 Lib_Vertex. Add the output of components Body_Vertex and
3020 * bindo-writers.ads (Write_Cycles): New routine.
3021 * debug.adb: Use binder switches -d_C and -d_P, add
3022 documentation on their usage.
3023 * gnatbind.adb: Remove with and use clauses for Binde. Delegate
3024 the choice of elaboration mechanism to Bindo.
3025 * lib-writ.adb (Column, Extra, Invoker, Kind, Line, Locations,
3026 Name, Placement, Scope, Signature, Target): Removed.
3027 (Write_Invocation_Graph): Moved at the top level.
3028 (Write_Invocation_Graph_Attributes): New routine.
3029 (Write_Invocation_Relation, Write_Invocation_Signature): Moved
3031 * lib-writ.ads: Add a documentation section on invocation graph
3033 * sem_elab.adb (Body_Placement_Of): New routine.
3034 (Declare_Invocation_Construct): Update the call to
3035 Add_Invocation_Construct.
3036 (Declaration_Placement_Of_Node): New routine.
3037 (Get_Invocation_Attributes): Correct the retrieval of the
3038 enclosing subprogram where the postcondition procedure lives.
3039 (Placement_Of, Placement_Of_Node): Removed.
3040 (Record_Invocation_Graph): Record the encoding format used.
3041 (Record_Invocation_Graph_Encoding): New routine.
3042 (Record_Invocation_Relation): Update the call to
3043 Add_Invocation_Relation.
3044 (Spec_Placement_Of): Removed.
3045 * libgnat/g-lists.ads, libgnat/g-lists.adb (Equal): New routine.
3047 2019-07-05 Ed Schonberg <schonberg@adacore.com>
3049 * checks.adb (Apply_Predicate_Check): Except within the
3050 subprogram body that defines the formal, do not apply predicate
3051 check on a formal IN parameter: such a check is redundant and
3052 its expansion can lead to out-of-scope references when it is
3053 originates in a function call in a precondition,
3055 2019-07-05 Yannick Moy <moy@adacore.com>
3057 * sem_res.adb (Resolve_Call): Cannot inline in quantified
3059 * sem_util.adb, sem_util.ads (In_Quantified_Expression): New
3062 2019-07-05 Bob Duff <duff@adacore.com>
3064 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
3066 * gnat_rm.texi: Regenerate.
3068 2019-07-05 Bob Duff <duff@adacore.com>
3070 * exp_attr.adb (Input): Take the No_Stream_Optimizations
3071 restriction into account.
3073 2019-07-05 Claire Dross <dross@adacore.com>
3075 * libgnat/a-cofove.ads, libgnat/a-cofove.adb: Definite formal
3076 vectors are now always bounded so that they do not need to be
3079 2019-07-05 Dmitriy Anisimkov <anisimko@adacore.com>
3081 * libgnat/g-traceb.ads, libgnat/g-traceb.adb (Call_Chain): New
3084 2019-07-04 James Clarke <jrtc27@debian.org>
3086 * libgnarl/s-osinte__kfreebsd-gnu.ads (clockid_t): Make type
3088 (CLOCK_REALTIME): Make value public.
3090 2019-07-04 Javier Miranda <miranda@adacore.com>
3092 * exp_tss.adb (Init_Proc): Adding missing support for access to
3093 subprograms and access to protected subprograms of non-default
3096 2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
3098 * gnat1drv.adb (Adjust_Global_Switches): Use proper interface to
3099 set the validity settings in CodePeer mode.
3100 * par-load.adb (Load): Remove all code dealing with validity
3102 * validsw.ads (Validity_Check_Copies): Alphabetize.
3103 * validsw.adb (Reset_Validity_Check_Options): Set all options to
3105 (Save_Validity_Check_Options): Save all options.
3107 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3109 * exp_ch3.adb, exp_ch4.adb, exp_ch4.ads, exp_ch5.adb,
3110 exp_ch7.adb, exp_ch9.adb, exp_ch11.adb, exp_unst.adb,
3111 rtsfind.ads, sem_attr.adb, sem_ch10.adb, sem_ch12.adb,
3112 sem_ch13.adb, sem_dim.adb, sem_disp.adb, xref_lib.adb: Minor
3115 2019-07-04 Joffrey Huguet <huguet@adacore.com>
3117 * libgnarl/a-taside.ads: Add assertion policy to ignore
3119 (Abort_Task, Is_Terminated, Is_Callable): Add preconditions.
3121 2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
3123 * doc/gnat_rm/implementation_defined_pragmas.rst: Fix
3124 capitalization and parenthesis glitches.
3125 * gnat_rm.texi: Regenerate.
3127 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3129 * sem_ch10.adb (Remove_Context_Clauses): Handle properly the
3130 removal of a limited_with_clause which appears in the library
3131 unit oF the main unit, when some other unit in the context has a
3132 regular with_clause on the same unit, to prevent spurious
3133 visibility errors in the subsequent analysis of pending instance
3136 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3138 * sem_elab.adb: Add new type Elaboration_Phase_Status along with
3139 a global to keep track of the elaboration phase status.
3140 Initialize all internal data structures to Nil for services
3141 Elaborated_Units, Internal_Representation, and Scenario_Storage.
3142 (Build_Call_Marker): Do not create a call marker when the
3143 elaboration phase is not active.
3144 (Build_Variable_Reference_Marker): Do not create a call marker
3145 when the elaboration phase is not active.
3146 (Check_Elaboration_Scenarios): Destroy all internal structures
3147 when the elaboration phase does not have to run. Do not execute
3148 when the elaboration phase is not active.
3149 (Elaboration_Phase_Active): New routine.
3150 (Finalize_All_Data_Structures): New routine.
3151 (Initialize): Initialize all internal data structures and signal
3152 that the elaboration phase has started.
3153 (Initialize_All_Data_Structures): New routine.
3154 (Initialize_Elaborated_Units): Initialize all internal data
3156 (Initialize_Internal_Representation): Initialize all internal
3158 (Initialize_Scenario_Storage): Initialize all internal data
3160 (Kill_Elaboration_Scenario): Do not execute when the elaboration
3161 phase is not active.
3162 (Set_Elaboration_Phase): New routine.
3163 (Update_Elaboration_Scenario): Do not execute when the
3164 elaboration phase is not active.
3166 2019-07-04 Gary Dismukes <dismukes@adacore.com>
3168 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The special
3169 treatment of calling Mask_Unfrozen_Types must also be done in
3170 the case of an Ignored_Ghost_Entity, because Expander_Active is
3173 2019-07-04 Yannick Moy <moy@adacore.com>
3175 * sem_prag.adb (Check_Library_Level_Entity): Update for new rule
3178 2019-07-04 Justin Squirek <squirek@adacore.com>
3180 * sem_disp.adb (Check_Controlling_Formals): Obtain the full view
3181 before type comparison.
3183 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3185 * exp_ch4.ads, exp_ch4.adb (Build_Eq_Call): New visible
3186 subprogram, extracted from Expand_Composite_Equality, to handle
3187 properly the composition of equality for variant record types.
3188 * exp_ch3.adb (MAke_Eq_If): Use Build_Eq_Call for each
3189 component, to handle properly the case of a component with a
3190 user-defined equality. Revert to predefined equality if the
3191 user-defined operation is abstract, to maintain compatibility
3192 with older versions,
3194 2019-07-04 Justin Squirek <squirek@adacore.com>
3196 * exp_ch3.adb (Build_Initialization_Call): Fixup
3197 *_skip_null_excluding_check argument to handle new default.
3198 (Init_Formals): Make *_skip_null_excluding_check formal default
3200 * exp_ch4.adb (Expand_N_Allocator): Add comment to note heavy
3203 2019-07-04 Bob Duff <duff@adacore.com>
3205 * sem_ch3.adb (Access_Definition): Do not create a master unless
3206 Tasking_Allowed. Otherwise, this fails on restricted runtimes.
3208 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3210 * sem_util.adb (Propagate_DIC_Attributes): Do not propagate the
3211 Default_Initial_Condition attributes to an incomplete type.
3213 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3215 * sem_attr.adb (Check_Array_Type): An array type attribute such
3216 as 'First can be applied to an unconstrained array tyope when
3217 the attribute reference appears within an aspect specification
3218 and the prefix is a current instance, given that the prefix of
3219 the attribute will become a formal of the subprogram that
3220 implements the aspect (typically a predicate check).
3222 2019-07-04 Piotr Trojanek <trojanek@adacore.com>
3224 * sem_util.adb (Yields_Synchronized_Object): Fix typos in
3227 2019-07-04 Yannick Moy <moy@adacore.com>
3229 * sem_util.adb (Yields_Synchronized_Object): Adapt to new SPARK
3232 2019-07-04 Yannick Moy <moy@adacore.com>
3234 * sem_spark.adb (Check_Statement): Only check permission of
3235 object in extended return when it is of a deep type.
3237 2019-07-04 Justin Squirek <squirek@adacore.com>
3239 * sem_ch12.adb (Perform_Appropriate_Analysis): Added for
3240 selecting which type of analysis based on wheither the
3241 instantiation is a generic at the library-level. In which case
3242 expansion during analysis.
3243 (Preanalyze_Actuals): Modify calls to Analyze to use the new
3246 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3248 * exp_unst.adb: Handle conditional expressions.
3250 2019-07-04 Yannick Moy <moy@adacore.com>
3252 * sem_spark.adb (Check_Package_Spec, Check_Package_Body): Only
3253 analyze parts of the code marked in SPARK.
3255 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3257 * erroutc.adb, exp_aggr.adb, inline.adb, opt.adb, sem_ch3.adb:
3260 2019-07-04 Yannick Moy <moy@adacore.com>
3262 * sem_spark.adb (Explanation, Get_Expl): New functions to get
3263 the explanation for a permission mismatch.
3264 (Perm_Error, Perm_Mismatch, Perm_Error_Loop_Exit): Take
3265 explanation into account for issuing a more precise error
3267 (Set_Perm_Prefixes, Set_Perm_Extensions,
3268 Set_Perm_Extensions_Move): Pass suitable argument for the
3271 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3273 * exp_aggr.adb (In_Place_Assign_OK): Moved to top level and add
3274 support for record aggregates.
3275 (Component_Check): Use Is_CCG_Supported_Aggregate instead of a
3276 similar local predicate.
3277 (Convert_To_Assignments): Take advantage of In_Place_Assign_OK
3278 predicate when possible.
3279 (Is_CCG_Supported_Aggregate): Return False for records with
3280 representation clauses and fix the logic for dealing with nested
3283 2019-07-04 Piotr Trojanek <trojanek@adacore.com>
3285 * opt.adb (Set_Config_Switches): Keep assertions policy as
3286 enabled when analysing internal units in GNATprove mode.
3288 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3290 * exp_ch4.adb (Expand_Short_Circuit_Operator): Strip
3291 N_Variable_Reference_Marker when checking for the presence of
3294 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3296 * exp_aggr.adb (Check_Component): Take into account type
3299 2019-07-04 Dmitriy Anisimkov <anisimko@adacore.com>
3301 * doc/gnat_ugn/platform_specific_information.rst: Document
3302 Windows socket timeout particularity.
3303 * gnat_ugn.texi: Regenerate.
3304 * gsocket.h: Include versionhelpers.h.
3305 * socket.c (__gnat_minus_500ms): New function.
3306 * libgnat/g-sothco.ads (Minus_500ms_Windows_Timeout): New
3308 * libgnat/g-socket.adb (Set_Socket_Option): Refactor to remove
3309 500ms from the requested timeout only on old Windows version.
3311 2019-07-04 Thomas Quinot <quinot@adacore.com>
3313 * get_scos.adb: Remove bogus, dead code.
3315 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3317 * sem_dim.adb (Analyze_Dimension_Array_Aggregate): If the
3318 component is an entity name, its dimensions are those of its
3321 2019-07-03 Bob Duff <duff@adacore.com>
3323 * doc/gnat_ugn/gnat_utility_programs.rst: Document new flags in
3326 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3328 * binde.adb: Remove with clause for System.OS_Lib.
3329 (Force_Elab_Order): Refactor the majority of the code in Butil.
3330 Use the new forced units iterator to obtain unit names.
3331 * bindo-builders.adb: Add with and use clauses for Binderr,
3332 Butil, Opt, Output, Types, GNAT, and GNAT.Dynamic_HTables. Add
3333 a hash table which maps units to line number in the forced
3334 elaboration order file.
3335 (Add_Unit): New routine.
3336 (Build_Library_Graph): Create forced edges between pairs of
3337 units listed in the forced elaboration order file.
3338 (Create_Forced_Edge, Create_Forced_Edges, Destroy_Line_Number,
3339 Duplicate_Unit_Error, Hash_Unit, Internal_Unit_Info,
3340 Is_Duplicate_Unit, Missing_Unit_Info): New routines.
3341 * bindo-graphs.adb (Is_Internal_Unit, Is_Predefined_Unit):
3342 Refactor some of the behavior to Bindo-Units.
3343 * bindo-graphs.ads: Enable the enumeration literal for forced
3345 * bindo-units.adb, bindo-units.ads (Is_Internal_Unit,
3346 Is_Predefined_Unit): New routines.
3347 * butil.adb: Add with and use clauses for Opt, GNAT, and
3348 System.OS_Lib. Add with clause for Unchecked_Deallocation.
3349 (Has_Next, Iterate_Forced_Units, Next, Parse_Next_Unit_Name,
3350 Read_Forced_Elab_Order_File): New routines.
3351 * butil.ads: Add with and use clauses for Types. Add new
3352 iterator over the units listed in the forced elaboration order
3354 (Has_Next, Iterate_Forced_Units, Next): New routine.
3355 * namet.adb, namet.ads (Present): New routine.
3357 2019-07-03 Bob Duff <duff@adacore.com>
3359 * sem_ch3.adb (Access_Definition): The code was creating a
3360 master in the case where the designated type is a class-wide
3361 interface type. Create a master in the noninterface case as
3362 well. That is, create a master for all limited class-wide types.
3364 2019-07-03 Yannick Moy <moy@adacore.com>
3366 * erroutc.adb (Sloc_In_Range): New function to determine whether
3367 the range of a pragma Warnings covers a location, taking
3368 instantiations into account.
3370 2019-07-03 Johannes Kanig <kanig@adacore.com>
3372 * osint.ads, osint.adb (Get_First_Main_File_Name): New routine
3373 to access the first file provided on the command line.
3375 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3377 * inline.adb (Process_Formals_In_Aspects): New procedure within
3378 Expand_Inlined_Call, to perform a replacement of references to
3379 formals that appear in aspect specifications within the body
3382 2019-07-03 Justin Squirek <squirek@adacore.com>
3384 * sem_ch8.adb (Analyze_Object_Renaming): Add call to search for
3385 the appropriate actual subtype of the object renaming being
3387 (Check_Constrained_Object): Minor cleanup.
3389 2019-07-03 Yannick Moy <moy@adacore.com>
3391 * sem_spark.adb (Get_Observed_Or_Borrowed_Expr): New function to
3392 return go through traversal function call.
3393 (Check_Type): Consistently use underlying type.
3394 (Get_Perm): Adapt for case of elaboration code where variables
3395 are not declared in the environment. Remove incorrect handling
3396 of borrow and observe.
3398 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3400 * inline.adb (Build_Return_Object_Formal): New routine.
3401 (Can_Split_Unconstrained_Function): Code clean up.
3402 (Copy_Formals,Copy_Return_Object): New routines.
3403 (Split_Unconstrained_Function): Code clean up and refactoring.
3405 2019-07-03 Gary Dismukes <dismukes@adacore.com>
3407 * bindo-augmentors.adb, bindo-augmentors.ads,
3408 bindo-builders.ads, bindo-elaborators.adb, sem_ch12.adb,
3409 sem_ch13.adb, sem_spark.adb, sinfo.ads: Minor editorial
3410 corrections and reformatting.
3412 2019-07-03 Bob Duff <duff@adacore.com>
3414 * sem_warn.adb (Check_Infinite_Loop_Warning): Avoid the warning
3415 if an Iterator_Specification is present.
3417 2019-07-03 Bob Duff <duff@adacore.com>
3419 * doc/gnat_ugn/gnat_utility_programs.rst: Document default
3422 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3424 * ali.adb: Add with and use clauses for GNAT,
3425 GNAT.Dynamic_HTables, and Snames. Add a map from invocation
3426 signature records to invocation signature ids. Add various
3427 encodings of invocation-related attributes. Sort and update
3428 table Known_ALI_Lines.
3429 (Add_Invocation_Construct, Add_Invocation_Relation,
3430 Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
3431 Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
3432 Code_To_Invocation_Graph_Line_Kind, Destroy, Hash): New
3434 (Initialize_ALI): Sort the initialization sequence. Add
3435 initialization for all invocation-related tables.
3436 (Invocation_Construct_Kind_To_Code,
3437 Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
3438 Invocation_Signature_Of, Present): New routines.
3439 (Scan_ALI): Add the default values for invocation-related ids.
3440 Scan invocation graph lines.
3441 (Scan_Invocation_Graph_Line): New routine.
3442 * ali.ads: Add with clause for GNAT.Dynamic_Tables. Add types
3443 for invocation constructs, relations, and signatures. Add
3444 tables for invocation constructs, relations, and signatures.
3445 Update Unit_Record to capture invocation-related ids. Relocate
3446 table Unit_Id_Tables and subtypes Unit_Id_Table, Unit_Id_Array
3448 (Add_Invocation_Construct, Add_Invocation_Relation,
3449 Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
3450 Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
3451 Code_To_Invocation_Graph_Line_Kind,
3452 Invocation_Construct_Kind_To_Code,
3453 Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
3454 Invocation_Signature_Of, Present): New routines.
3455 * binde.adb: Add with and use clause for Types. Add use clause
3456 for ALI.Unit_Id_Tables;
3457 * binde.ads: Relocate table Unit_Id_Tables and subtypes
3458 Unit_Id_Table, Unit_Id_Array to ALI.
3459 * bindgen.adb: Remove with and use clause for ALI.
3460 * bindgen.ads: Remove with and use clause for Binde. Add with
3461 and use clause for ALI.
3462 * bindo.adb, bindo.ads, bindo-augmentors.adb,
3463 bindo-augmentors.ads, bindo-builders.adb, bindo-builders.ads,
3464 bindo-diagnostics.adb, bindo-diagnostics.ads,
3465 bindo-elaborators.adb, bindo-elaborators.ads, bindo-graphs.adb,
3466 bindo-graphs.ads, bindo-units.adb, bindo-units.ads,
3467 bindo-validators.adb, bindo-validators.ads, bindo-writers.adb,
3468 bindo-writers.ads: New units.
3469 * debug.adb: Use and describe GNAT debug switches -gnatd_F and
3470 -gnatd_G. Add GNATbind debug switches in the ranges dA .. dZ,
3471 d.a .. d.z, d.A .. d.Z, d.1 .. d.9, d_a .. d_z, d_A .. d_Z, and
3472 d_1 .. d_9. Use and describe GNATbind debug switches -d_A,
3473 -d_I, -d_L, -d_N, -d_O, -d_T, and -d_V.
3474 * exp_util.adb, exp_util.ads (Exceptions_OK): Relocate to
3476 * gnatbind.adb: Add with and use clause for Bindo. Use the new
3477 Bindo elaboration order only when -d_N is in effect.
3479 (Column, Extra, Invoker, Kind, Line, Locations, Name, Placement,
3480 Scope, Signature, Target): New routines.
3481 (Write_ALI): Output all invocation-related data.
3482 (Write_Invocation_Graph): New routine.
3483 * lib-writ.ads: Document the invocation graph ALI line.
3484 * namet.adb, namet.ads (Present): New routines.
3485 * sem_ch8.adb (Find_Direct_Name): Capture the status of
3486 elaboration checks and warnings of an identifier.
3487 (Find_Expanded_Name): Capture the status of elaboration checks
3488 and warnings of an expanded name.
3489 * sem_ch12.adb (Analyze_Generic_Package_Declaration): Ensure
3490 that invocation graph-related data within the body of the main
3491 unit is encoded in the ALI file.
3492 (Analyze_Generic_Subprogram_Declaration): Ensure that invocation
3493 graph-related data within the body of the main unit is encoded
3495 (Analyze_Package_Instantiation): Perform minimal decoration of
3496 the instance entity.
3497 (Analyze_Subprogram_Instantiation): Perform minimal decoration
3498 of the instance entity.
3499 * sem_elab.adb: Perform heavy refactoring of all code. The unit
3500 is now split into "services" which specialize in one area of ABE
3501 checks. Add processing in order to capture invocation-graph
3502 related attributes of the main unit, and encode them in the ALI
3503 file. The Processing phase can now operate in multiple modes,
3504 all described by type Processing_Kind. Scenarios and targets
3505 are now distinct at the higher level, and carry their own
3506 representations. This eliminates the need to constantly
3507 recompute their attributes, and offers the various processors a
3508 uniform interface. The various initial states of the Processing
3509 phase are now encoded using type Processing_In_State, and
3510 xxx_State constants.
3511 * sem_elab.ads: Update the literals of type
3512 Enclosing_Level_Kind. Add Inline pragmas on several routines.
3513 * sem_prag.adb (Process_Inline): Ensure that invocation
3514 graph-related data within the body of the main unit is encoded
3516 * sem_util.adb (Enclosing_Generic_Body, Enclosing_Generic_Unit):
3518 (Exceptions_OK): Relocated from Sem_Util.
3519 (Mark_Save_Invocation_Graph_Of_Body): New routine.
3520 * sem_util.ads (Exceptions_OK): Relocated from Sem_Util.
3521 (Mark_Save_Invocation_Graph_Of_Body): New routine.
3522 * sinfo.adb (Is_Elaboration_Checks_OK_Node): Now applicable to
3523 N_Variable_Reference_Marker.
3524 (Is_Elaboration_Warnings_OK_Node): Now applicable to
3525 N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
3526 (Is_Read): Use Flag4.
3527 (Is_SPARK_Mode_On_Node): New applicable to
3528 N_Variable_Reference_Marker.
3529 (Is_Write): Use Flag5.
3530 (Save_Invocation_Graph_Of_Body): New routine.
3531 (Set_Is_Elaboration_Checks_OK_Node): Now applicable to
3532 N_Variable_Reference_Marker.
3533 (Set_Is_Elaboration_Warnings_OK_Node): Now applicable to
3534 N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
3535 (Set_Is_SPARK_Mode_On_Node): New applicable to
3536 N_Variable_Reference_Marker.
3537 (Set_Save_Invocation_Graph_Of_Body): New routine.
3538 * sinfo.ads: Update the documentation of attributes
3539 Is_Elaboration_Checks_OK_Node, Is_Elaboration_Warnings_OK_Node,
3540 Is_SPARK_Mode_On_Node. Update the flag usage of attributes
3541 Is_Read, Is_Write. Add attribute Save_Invocation_Graph_Of_Body
3542 and update its occurrence in nodes.
3543 (Save_Invocation_Graph_Of_Body): New routine along with pragma
3545 (Set_Save_Invocation_Graph_Of_Body): New routine along with
3547 * switch-b.adb (Scan_Binder_Switches): Refactor the scanning of
3549 (Scan_Debug_Switches): New routine.
3550 * libgnat/g-dynhta.adb, libgnat/g-dynhta.ads (Contains): New routine.
3551 * libgnat/g-graphs.adb (Associate_Vertices): Update the use of
3552 Component_Vertex_Iterator.
3553 (Contains_Component, Contains_Edge, Contains_Vertex, Has_Next):
3555 (Iterate_Component_Vertices): New routine.
3556 (Iterate_Vertices): Removed.
3557 (Next): Update the parameter profile.
3558 (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
3560 * libgnat/g-graphs.ads: Update the initialization of
3561 No_Component. Add type Component_Vertex_Iterator. Remove type
3563 (Has_Next): Add new versions and remove old ones.
3564 (Iterate_Component_Vertices): New routine.
3565 (Iterate_Vertices): Removed.
3566 (Next): Add new versions and remove old ones.
3567 (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
3569 * libgnat/g-sets.adb (Contains): Reimplemented.
3570 * gcc-interface/Make-lang.in (GNATBIND_OBJS): Add
3571 GNAT.Dynamic_HTables, GNAT.Graphs and Bindo units.
3572 * rtsfind.ads: Remove extra space.
3574 2019-07-03 Yannick Moy <moy@adacore.com>
3576 * sem_spark.adb: Add support for locally borrowing and observing
3578 (Get_Root_Object): Add parameter Through_Traversal to denote
3579 when we are interesting in getting to the traversed parameter.
3580 (Is_Prefix_Or_Almost): New function to support detection of
3581 illegal access to borrowed or observed paths.
3582 (Check_Pragma): Add analysis of assertion pragmas.
3584 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3586 * sem_ch13.adb (Build_Predicate_Functions): In a generic context
3587 we do not build the bodies of predicate fuctions, but the
3588 expression in a static predicate must be elaborated to allow
3589 case coverage checking within the generic unit.
3590 (Build_Discrete_Static_Predicate): In a generic context, return
3591 without building function body once the
3592 Static_Discrete_Predicate expression for the type has been
3595 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3597 * bindgen.adb, inline.adb, layout.adb, sem_ch12.adb,
3598 sem_ch13.adb, sem_ch7.adb, styleg.adb: Minor reformatting.
3600 2019-07-03 Bob Duff <duff@adacore.com>
3602 * par-ch3.adb (P_Defining_Identifier): Call
3603 Check_Defining_Identifier_Casing.
3604 * style.ads, styleg.ads, styleg.adb
3605 (Check_Defining_Identifier_Casing): New procedure to check for
3606 mixed-case defining identifiers.
3607 * stylesw.ads, stylesw.adb (Style_Check_Mixed_Case_Decls): New
3608 flag for checking for mixed-case defining identifiers.
3609 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
3610 Document new feature.
3611 * gnat_ugn.texi: Regenerate.
3613 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3615 * doc/gnat_ugn/building_executable_programs_with_gnat.rst
3616 (Warning message control): Document that -gnatw.z/Z apply to
3618 * freeze.adb (Freeze_Entity): Give -gnatw.z warning for array
3619 types as well, but not if the specified alignment is the minimum
3621 * gnat_ugn.texi: Regenerate.
3623 2019-07-03 Bob Duff <duff@adacore.com>
3625 * einfo.ads, exp_util.adb, layout.ads, sinfo.ads: Spell "laid"
3628 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3630 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): No error
3631 message on attribute applied to a renaming when the renamed
3632 object is an aggregate (from code reading).
3633 (Check_Aspect_At_End_Of_Declarations): In a generic context
3634 where freeze nodes are not generated, the original expression
3635 for an aspect may need to be analyzed to precent spurious
3636 conformance errors when compared with the expression that is
3637 anakyzed at the end of the current declarative list.
3639 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3641 * layout.adb (Layout_Type): Do not set the component size of an
3642 array with a scalar component if the component type is
3645 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3647 * inline.adb (Make_Loop_Labels_Unique): New procedure to modify
3648 the source code of subprograms that are inlined by the
3649 front-end, to prevent accidental duplication between loop labels
3650 in the inlined code and the code surrounding the inlined call.
3652 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3654 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
3655 the section on resolving elaboration circularities to eliminate
3656 certain combinations of switches which together do not produce
3657 the desired effect and confuse users.
3658 * gnat_ugn.texi: Regenerate.
3660 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3662 * bindgen.adb (Gen_Main): Disable generation of reference to
3663 Ada_Main_Program_Name for CCG.
3664 * bindusg.adb (Display): Add -G to the command-line usage for
3666 * opt.ads (Generate_C_Code): Update comment.
3667 * switch-b.adb (Scan_Binder_Switches): Add handling for -G.
3669 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3671 * sem_ch7.adb (Has_Referencer): Do not consider inlined
3672 subprograms when generating C code, which allows us to generate
3673 static inline subprograms.
3675 2019-07-03 Justin Squirek <squirek@adacore.com>
3677 * sem_ch6.adb (Check_Conformance): Add expression checking for
3678 constant modifiers in anonymous access types (in addition to
3679 "non-null" types) so that they are considered "matching" for
3680 subsequent conformance tests.
3682 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3684 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
3685 Clarify wording on No_Multiple_Elaboration.
3686 * gnat_rm.texi: Regenerate.
3688 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3690 * sem_ch8.adb (Find_Selected_Component): If the prefix is the
3691 current instance of a type or subtype, complete the resolution
3692 of the name by finding the component of the type denoted by the
3695 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3697 * doc/gnat_rm/interfacing_to_other_languages.rst (Interfacing to C):
3698 Document that boolean types with convention C now map to C99 bool.
3699 * gnat_rm.texi: Regenerate.
3701 2019-07-03 Javier Miranda <miranda@adacore.com>
3703 * exp_attr.adb (Expand_Min_Max_Attribute): Code cleanup:
3704 removing code that it is now never executed in the CCG compiler
3707 2019-07-02 Iain Sandoe <iain@sandoe.co.uk>
3709 * libgnat/system-darwin-ppc.ads: Set Stack_Check_Probes True for
3712 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3714 * sem_ch12.adb (Is_Defaulted): New predicate in
3715 Check_Formal_Package_Intance, to skip the conformance of checks
3716 on parameters of a formal package that are defaulted,
3718 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3720 * checks.adb, exp_ch9.adb, exp_unst.adb, sem_ch4.adb,
3721 sem_prag.adb, sem_spark.adb: Minor reformatting.
3723 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3725 * sem_attr.adb (Analyze_Attribute, case Enum_Rep): Allow prefix
3726 of attribute to be an attribute reference of a discrete type.
3728 2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
3730 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Move up
3731 handling of Has_Pragma_Inline_Always and deal with
3732 Has_Pragma_No_Inline.
3734 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3736 * sem_ch3.adb (Build_Derived_Record_Type): If the parent type is
3737 declared as a subtype of a private type with an inherited
3738 discriminant constraint, its generated full base appears as a
3739 record subtype, so we need to retrieve its oen base type so that
3740 the inherited constraint can be applied to it.
3742 2019-07-01 Yannick Moy <moy@adacore.com>
3744 * sem_spark.adb: Completely rework the algorithm for ownership
3745 checking, as the rules in SPARK RM have changed a lot.
3746 * sem_spark.ads: Update comments.
3748 2019-07-01 Dmitriy Anisimkov <anisimko@adacore.com>
3750 * gsocket.h (Has_Sockaddr_Len): Use the offset of sin_family offset in
3751 the sockaddr_in structure to determine the existence of length field
3752 before the sin_family.
3754 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3756 * sem_prag.adb (Analyze_Pragma, case Weak_External): Pragma only
3757 applies to entities with run-time addresses, not to types.
3759 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3761 * einfo.adb, sem_ch7.adb, sem_prag.adb, sem_util.adb: Update
3762 references to the SPARK RM after the removal of Rule 7.1.4(5).
3764 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3766 * sysdep.c: Cleanup references to LynuxWorks in docs and
3769 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3771 * checks.adb (Insert_Valid_Check): Do not apply validity check
3772 to variable declared within a protected object that uses the
3773 Lock_Free implementation, to prevent unwarranted constant
3774 folding, because entities within such an object msut be treated
3777 2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
3779 * exp_ch9.adb (Check_Inlining): Deal with Has_Pragma_No_Inline.
3781 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3783 * exp_unst.adb (Visit_Node, Check_Static_Type): Improve the
3784 handling of private and incomplete types whose full view is an
3785 access type, to detect additional uplevel references in dynamic
3786 bounds. This is relevant to N_Free_Statement among others that
3787 manipulate types whose full viww may be an access type.
3789 2019-07-01 Pat Rogers <rogers@adacore.com>
3791 * doc/gnat_rm/representation_clauses_and_pragmas.rst: Correct
3792 size indicated for R as a component of an array.
3793 * gnat_rm.texi: Regenerate.
3795 2019-07-01 Justin Squirek <squirek@adacore.com>
3797 * libgnat/s-win32.ads: Add definition for ULONG, modify
3798 OVERLAPPED type, and add appropriate pragmas.
3800 2019-07-01 Bob Duff <duff@adacore.com>
3802 * gnat1drv.adb (gnat1drv): Call Write_ALI if the main unit is
3805 2019-07-01 Yannick Moy <moy@adacore.com>
3807 * sem_ch4.adb (Operator_Check): Refine error message.
3809 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3811 * libgnat/a-calend.ads: Revert "Global => null" contracts on
3814 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3816 * exp_attr.adb, libgnat/g-graphs.ads: Fix typos in comments:
3817 componant -> component.
3819 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3821 * libgnat/g-graphs.adb: Use type Directed_Graph rather than
3822 Instance in various routines.
3823 * libgnat/g-graphs.ads: Change type Instance to Directed_Graph.
3824 Update various routines that mention the type.
3826 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3828 * libgnat/g-sets.adb: Use type Membership_Set rathern than
3829 Instance in various routines.
3830 * libgnat/g-sets.ads: Change type Instance to Membership_Set.
3831 Update various routines that mention the type.
3833 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3835 * libgnat/g-lists.adb: Use type Doubly_Linked_List rather than
3836 Instance in various routines.
3837 * libgnat/g-lists.ads: Change type Instance to
3838 Doubly_Linked_List. Update various routines that mention the
3841 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3843 * libgnat/g-dynhta.adb: Use type Dynamic_Hash_Table rather than
3844 Instance in various routines.
3845 * libgnat/g-dynhta.ads: Change type Instance to
3846 Dynamic_Hash_Table. Update various routines that mention the
3849 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3851 * exp_attr.adb, exp_ch7.adb, exp_unst.adb, sem_ch3.adb,
3852 sem_util.adb, uintp.adb, uintp.ads: Minor reformatting.
3854 2019-07-01 Javier Miranda <miranda@adacore.com>
3856 * exp_attr.adb (Expand_Min_Max_Attribute): Disable expansion of
3857 'Min/'Max on integer, enumeration, fixed point and floating
3858 point types since the CCG backend now provides in file
3859 standard.h routines to support it.
3861 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3863 * impunit.adb: Add GNAT.Graphs to list Non_Imp_File_Names_95.
3864 * Makefile.rtl, gcc-interface/Make-lang.in: Register unit
3866 * libgnat/g-dynhta.adb: Various minor cleanups (use Present
3867 rather than direct comparisons).
3868 (Delete): Reimplement to use Delete_Node.
3869 (Delete_Node): New routine.
3870 (Destroy_Bucket): Invoke the provided destructor.
3871 (Present): New routines.
3872 * libgnat/g-dynhta.ads: Add new generic formal Destroy_Value.
3873 Use better names for the components of iterators.
3874 * libgnat/g-graphs.adb, libgnat/g-graphs.ads: New unit.
3875 * libgnat/g-lists.adb: Various minor cleanups (use Present
3876 rather than direct comparisons).
3877 (Delete_Node): Invoke the provided destructor.
3878 (Present): New routine.
3879 * libgnat/g-lists.ads: Add new generic formal Destroy_Element.
3880 Use better names for the components of iterators.
3881 (Present): New routine.
3882 * libgnat/g-sets.adb, libgnat/g-sets.ads (Destroy, Preset,
3883 Reset): New routines.
3885 2019-07-01 Dmitriy Anisimkov <anisimko@adacore.com>
3887 * libgnat/g-sothco.adb (Get_Address): Fix the case when AF_INET6
3890 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3892 * exp_attr.adb (Expand_Attribute_Reference, case Invalid_Value):
3893 Resolve result of call to Get_Simple_Init_Val, which may be a
3894 conversion of a literal.
3896 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3898 * freeze.adb (Freeze_Expression): Remove the horrible useless
3899 name hiding of N. Insert the freeze nodes generated by the
3900 expression prior to the expression when the nearest enclosing
3903 2019-07-01 Pierre-Marie de Rodat <derodat@adacore.com>
3905 * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix
3906 formatting issues in the -gnatR section.
3907 * gnat_ugn.texi: Regenerate.
3909 2019-06-30 Iain Sandoe <iain@sandoe.co.uk>
3911 * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches.
3912 Push -shared-libgcc explicitly, when it is the target default (unless
3913 overidden by the static flag).
3914 When the user has put an instance of shared/static-libgcc do not push
3915 a duplicate of this.
3917 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
3919 * gcc-interface/decl.c (gnat_to_gnu_entity): Beep up comment on SAVED,
3920 and tweak comment on the assertion about the scopes of Itypes. Do not
3921 skip the regular processing for Itypes that are E_Record_Subtype with
3922 a Cloned_Subtype. Get the Cloned_Subtype for every E_Record_Subtype
3923 if the type is dummy and hasn't got its own freeze node.
3924 <E_Record_Subtype>: Save again the DECL of the Cloned_Subtype, if any.
3925 <E_Access_Subtype>: Save again the DECL of the equivalent type.
3926 (Gigi_Equivalent_Type) <E_Access_Subtype>: New case.
3928 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
3930 * gcc-interface/utils.c (unchecked_convert): Tweak comment. Only skip
3931 dereferences when padding to have the same size on both sides. Do it
3932 for destination types with self-referential size too.
3934 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
3936 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: If the
3937 type requires strict alignment, then set the RM size to the type size.
3938 Rework handling of alignment and sizes of tagged types in ASIS mode.
3939 (validate_size): Rename local variable and remove special handling for
3940 strict-alignment types.
3941 * gcc-interface/utils.c (finish_record_type): Constify local variables
3942 and use properly typed constants.
3944 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
3946 * gcc-interface/decl.c (gnat_to_gnu_field): Rework error messages for
3947 fields requiring strict alignment, add explicit test on Storage_Unit
3948 for position and size, and mention type alignment for position.
3950 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
3952 * gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED on
3953 the main variant of a type, if any.
3955 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
3957 * gcc-interface/decl.c (set_nonaliased_component_on_array_type): Add
3958 missing guard for the presence of TYPE_CANONICAL.
3959 (set_reverse_storage_order_on_array_type): Likewise.
3961 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
3963 * gcc-interface/gigi.h (make_packable_type): Remove default value.
3964 (value_factor_p): Tweak prototype.
3965 * gcc-interface/decl.c (gnat_to_gnu_entity): Add comment.
3966 (gnat_to_gnu_component_type): Likewise.
3967 (gnat_to_gnu_field): Likewise. Fetch the position of the field earlier
3968 and simplify the condition under which the type is packed. Declare
3969 local variable is_bitfield. Pass 1 as max_align to make_packable_type
3970 if it is set to true.
3971 (copy_and_substitute_in_layout): Pass 0 to make_packable_type.
3972 * gcc-interface/utils.c (make_packable_array_type): New function.
3973 (make_packable_type): Use it to rewrite the type of array field.
3974 (maybe_pad_type): Pass align parameter to make_packable_type.
3975 (create_field_decl): Minor tweaks.
3976 (value_factor_p): Assert that FACTOR is a power of 2 and replace the
3977 modulo computation by a masking operation.
3979 2019-06-25 Eric Botcazou <ebotcazou@adacore.com>
3981 * gcc-interface/decl.c (gnat_to_gnu_entity): Remove superfluous test
3983 * gcc-interface/gigi.h (maybe_character_type): Fix formatting.
3984 (maybe_character_value): Likewise.
3986 2019-06-24 Jan Hubicka <jh@suse.cz>
3988 * gcc-interface/decl.c (gnat_to_gnu_entity): Check that
3989 type is array or integer prior checking string flag.
3990 * gcc-interface/gigi.h (maybe_character_type): Likewise.
3991 (maybe_character_value): Likewise.
3993 2019-06-24 Martin Sebor <msebor@redhat.com>
3995 * gcc-interface/utils.c (handle_nonnull_attribute): Quote attribute
3998 2019-06-18 Arnaud Charlet <charlet@adacore.com>
4001 * sem_ch5.adb (Analyze_Loop_Statement): Avoid exception propagation
4002 during normal processing.
4004 2019-06-17 Arnaud Charlet <charlet@adacore.com>
4007 * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Swap the two
4008 conditions to avoid a unnecessary exception propagation in the default
4011 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4013 * gcc-interface/utils.c (handle_stack_protect_attribute): Move around.
4015 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4017 * doc/gnat_rm/implementation_defined_pragmas.rst (Machine_Attribute):
4018 Document additional optional parameters.
4019 * sem_prag.adb (Analyze_Pragma) <Pragma_Machine_Attribute>: Accept
4020 more than one optional parameter.
4021 * gcc-interface/decl.c (prepend_one_attribute_pragma): Alphabetize
4022 the list of supported pragmas. Simplify the handling of parameters
4023 and add support for more than one optional parameter.
4024 * gcc-interface/utils.c (attr_cold_hot_exclusions): New constant.
4025 (gnat_internal_attribute_table): Add entry for no_icf, noipa, flatten,
4026 used, cold, hot, target and target_clones.
4027 (begin_subprog_body): Do not create the RTL for the subprogram here.
4028 (handle_noicf_attribute): New static function.
4029 (handle_noipa_attribute): Likewise.
4030 (handle_flatten_attribute): Likewise.
4031 (handle_used_attribute): Likewise.
4032 (handle_cold_attribute): Likewise.
4033 (handle_hot_attribute): Likewise.
4034 (handle_target_attribute): Likewise.
4035 (handle_target_clones_attribute): Likewise.
4037 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4039 * gcc-interface/trans.c (lvalue_required_for_attribute_p): Return 0
4041 (Identifier_to_gnu): Use the actual subtype for a reference to a
4042 packed array in a return statement.
4043 (Attribute_to_gnu) <Attr_Size>: Do not strip VIEW_CONVERT_EXPRs from
4044 the prefix in every case.
4046 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4048 * gcc-interface/trans.c (gnat_to_gnu): Remove superfluous tests on
4049 Backend_Overflow_Checks_On_Target and rework comments.
4051 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4053 * gcc-interface/trans.c (walk_nesting_tree): New static function.
4054 (finalize_nrv): Use it to walk the entire nesting tree.
4056 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4058 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Remove
4059 obsolete test on Is_For_Access_Subtype.
4061 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4063 * gcc-interface/decl.c (components_to_record): Set a name on the type
4064 created for the REP part, if any.
4065 * gcc-interface/utils.c (finish_record_type): Only take the maximum
4066 when merging sizes for a variant part at offset 0.
4067 (merge_sizes): Rename has_rep parameter into max.
4069 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4071 * gcc-interface/utils.c (gnat_internal_attribute_table): Add support
4072 for stack_protect attribute.
4073 (handle_stack_protect_attribute): New static function.
4075 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4077 * gcc-interface/decl.c (intrin_arglists_compatible_p): Do not return
4078 false if the internal builtin uses a variable list.
4080 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4082 * gcc-interface/trans.c (Call_to_gnu): Do not initialize the temporary
4083 created out of addressability concerns if it's for the _Init parameter
4084 of an initialization procedure.
4086 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4088 * gcc-interface/ada-builtin-types.def: New file.
4089 * gcc-interface/ada-builtins.def: Likewise.
4090 * gcc-interface/ada-tree.h (BUILT_IN_LIKELY): New macro.
4091 (BUILT_IN_UNLIKELY): Likewise.
4092 * gcc-interface/trans.c (independent_iterations_p): Initialize the
4093 auto-vector to 16 elements.
4094 (Call_to_gnu): Remove local variable and change the vector of actual
4095 parameters to an auto-vector. Do not convert actual parameters to
4096 the argument type for front-end built-in functions. Add support for
4097 front-end built-in functions.
4098 (build_noreturn_cond): Use internal instead of built-in function.
4099 * gcc-interface/utils.c (c_builtin_type): Include ada-builtin-types.def
4100 (install_builtin_function_types): Likewise.
4101 (install_builtin_functions): Include ada-builtins.def first.
4103 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4105 * gcc-interface/utils.c (maybe_pad_type): Issue the warning for the
4106 specific case of component types preferably.
4108 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4110 * gcc-interface/trans.c (Identifier_to_gnu): Minor tweaks.
4111 (gnat_to_gnu): Do not convert the result if it is a reference to an
4112 unconstrained array used as the prefix of an attribute reference that
4115 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4117 * gcc-interface/trans.c (Gigi_Types_Compatible): New predicate.
4118 (Identifier_to_gnu): Use it to assert that the type of the identifier
4119 and that of its entity are compatible for gigi. Rename a couple of
4120 local variables and separate the processing of the result type.
4122 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4124 * gcc-interface/trans.c (Call_to_gnu): Use the unpadded type when
4125 putting back an intermediate conversion the type of the actuals.
4127 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4129 * gcc-interface/trans.c (gnat_to_gnu) <Shift operations>: Convert the
4130 count to the unsigned version of its base type before proceeding.
4132 2019-05-16 Martin Sebor <msebor@redhat.com>
4134 * gcc-interface/trans.c (check_inlining_for_nested_subprog): Quote
4137 2019-05-08 Arnaud Charlet <charlet@adacore.com>
4139 * standard.ads.h: New file.
4141 2019-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
4143 * gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
4146 2019-04-29 Michael K. Darling <darlingm@gmail.com>
4148 * gnatvsn.ads: Bump Library_Version to 10.
4150 2019-04-24 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
4151 Bernd Edlinger <bernd.edlinger@hotmail.de>
4152 Jakub Jelinek <jakub@redhat.com>
4155 * raise-gcc.c (TARGET_ATTRIBUTE): Define.
4156 (continue_unwind, personality_body, PERSONALITY_FUNCTION): Add
4159 2019-04-07 Eric Botcazou <ebotcazou@adacore.com>
4161 * libgnat/i-cexten.ads (CFloat_128): New type.
4163 2019-03-22 Dmitriy Anisimkov <anisimko@adacore.com>
4166 * libgnat/g-socket.adb (Bind_Socket, Connect_Socket,
4167 Send_Socket): Fix the computation of structure lengths passed to
4169 (Is_IPv6_Address): Fix the number of expected colons.
4171 2019-03-11 Martin Liska <mliska@suse.cz>
4173 * gcc-interface/misc.c (gnat_post_options): Wrap option name in string
4174 format message and fix GNU coding style.
4176 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4178 * gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak.
4179 * gcc-interface/utils.c (convert): Do not pad when doing an unchecked
4180 conversion here. Use TREE_CONSTANT throughout the function.
4181 (unchecked_convert): Also pad if the source is a CONSTRUCTOR and the
4182 destination is a more aligned array type or a larger aggregate type,
4183 but not between original and packable versions of a type.
4185 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4187 * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an
4188 operand with VOID_TYPE.
4190 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4192 * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the
4193 entities of a package renaming another one.
4195 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4197 * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on
4198 individual flag_unswitch_loops and flag_tree_loop_vectorize switches
4199 with test on global optimize switch.
4200 (Raise_Error_to_gnu): Likewise.
4202 2019-02-07 Eric Botcazou <ebotcazou@adacore.com>
4204 * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.
4206 2019-02-06 Arnaud Charlet <charlet@adacore.com>
4208 * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads
4210 2019-01-27 Eric Botcazou <ebotcazou@adacore.com>
4212 * repinfo.adb (List_Component_Layout): Remove superfluous space for
4214 * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro.
4215 * gcc-interface/gigi.h (create_extra_subtype): Declare.
4216 * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise.
4217 (update_n_elem): New function.
4218 (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes
4219 instead of doing it manually.
4220 <E_Array_Type>: Use update_n_elem to compute the maximum size. Use the
4221 index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE
4222 of the array to the maximum size.
4223 <E_Array_Subtype>: Create an extra subtype using the index type of the
4224 base array type for self-referential bounds. Use update_n_elem to
4225 compute the maximum size. Set TYPE_ARRAY_MAX_SIZE of the array to the
4227 (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants.
4228 * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of
4229 the base type for an extra subtype.
4230 (gnat_type_max_size): Remove obsolete code.
4231 * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak.
4232 (can_be_lower_p): Deal with pathological types.
4233 * gcc-interface/utils.c (create_extra_subtype): New function.
4234 (create_field_decl): Minor tweak.
4235 (max_size) <tcc_reference>: Compute a better value by using the extra
4236 subtypes on the self-referential bounds.
4237 <tcc_binary>: Rewrite. Deal with "negative value" in unsigned types.
4238 <tcc_expression>: Likewise.
4239 * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds
4240 of the arrays upfront. Swap only if the second length is not constant.
4241 Use comparisons on the original bounds consistently for the null tests.
4242 (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro.
4243 (build_allocator): Minor tweak.
4245 2019-01-27 Eric Botcazou <ebotcazou@adacore.com>
4247 * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
4248 the same value for every dimension of a multidimensional array type.
4250 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4252 * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the
4253 iteration scheme, if present, throughout the translation.
4255 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4257 * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use
4258 DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned
4259 by a call to memset if the LHS is a DECL.
4261 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4263 * gcc-interface/trans.c (struct loop_info_d): Remove artificial field.
4264 (Loop_Statement_to_gnu): Do not set it.
4266 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4268 * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting.
4269 (Acc_gnat_to_gnu): Likewise.
4270 (Acc_Data_to_gnu): Likewise.
4271 (Acc_Var_to_gnu): Likewise.
4272 (Acc_Reduc_to_gnu): Likewise.
4273 (Acc_Size_List_to_gnu): Likewise.
4274 (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise.
4275 <Pragma_Acc_Data>): Likewise.
4276 (find_loop_for): Remove default value for parameters.
4277 * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into...
4278 <N_Op_Eq>): ...this.
4280 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4282 * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on
4283 the sign bit instead of on the sign of the value.
4284 <PLUS_EXPR>: Turn addition of negative constant into subtraction.
4285 <MULT_EXPR>: Add test for degenerate case.
4286 <BIT_AND_EXPR>: Simplify.
4288 2019-01-18 Sebastian Huber <sebastian.huber@embedded-brains.de>
4290 * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS.
4292 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
4295 * exp_ch11.adb: Change "can not" to "cannot".
4296 * sem_ch4.adb: Likewise.
4298 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
4301 * exp_ch9.adb: Mechanically replace "can not" with "cannot".
4302 * libgnat/s-regpat.ads: Likewise.
4303 * par-ch4.adb: Likewise.
4304 * set_targ.adb: Likewise.
4305 * types.ads: Likewise.
4307 2019-01-08 Justin Squirek <squirek@adacore.com>
4310 2018-07-31 Justin Squirek <squirek@adacore.com>
4312 * lib-writ.adb (Write_With_Lines): Modfiy the generation
4313 of dependencies within ali files so that source unit
4314 bodies are properly listed even if said bodies are
4315 missing. Perform legacy behavior in GNATprove mode.
4316 * lib-writ.ads: Modify documentation to reflect current
4320 2018-09-26 Justin Squirek <squirek@adacore.com>
4322 * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add
4323 documentation and an extra conditional check for RCI
4324 units so that generated ali files will list the spec
4325 only instead of a body when a body is not found.
4327 2019-01-04 Eric Botcazou <ebotcazou@adacore.com>
4329 * gnatvsn.ads: Bump copyright year.
4331 2019-01-01 Jakub Jelinek <jakub@redhat.com>
4333 Update copyright years.
4335 * gnat_ugn.texi: Bump @copying's copyright year.
4336 * gnat_rm.texi: Likewise.
4338 Copyright (C) 2019 Free Software Foundation, Inc.
4340 Copying and distribution of this file, with or without modification,
4341 are permitted in any medium without royalty provided the copyright
4342 notice and this notice are preserved.