1 2019-08-20 Bob Duff <duff@adacore.com>
3 * exp_ch6.adb (Needs_BIP_Alloc_Form): Call
4 Requires_Transient_Scope rather than checking constrainedness
5 and so forth. We have previously improved
6 Requires_Transient_Scope to return False in various cases,
7 notably a limited record with an access discriminant. This
8 change takes advantage of that to avoid using the secondary
9 stack for functions returning such types.
10 (Make_Build_In_Place_Call_In_Allocator): Be consistent by
11 calling Needs_BIP_Alloc_Form rather than Is_Constrained and so
13 * sem_ch4.adb (Analyze_Allocator): The above change causes the
14 compiler to generate code that is not legal Ada, in particular
15 an uninitialized allocator for indefinite subtype. This is
16 harmless, so we suppress the error message in this case.
18 2019-08-20 Gary Dismukes <dismukes@adacore.com>
20 * ali.adb, ali.ads, aspects.adb, checks.ads, checks.adb,
21 doc/gnat_rm/implementation_defined_pragmas.rst,
22 doc/gnat_ugn/building_executable_programs_with_gnat.rst,
23 einfo.ads, exp_aggr.adb, exp_ch11.adb, exp_ch3.ads, exp_ch4.adb,
24 exp_disp.adb, inline.adb, libgnat/a-locale.ads,
25 libgnat/s-soflin.ads, par_sco.adb, repinfo.adb, sem_ch5.adb,
26 sem_disp.adb, sem_elab.adb, sem_eval.adb, sem_spark.adb,
27 sem_spark.ads, sinfo.ads: Minor reformattings, typo fixes and
30 2019-08-20 Dmitriy Anisimkov <anisimko@adacore.com>
32 * adaint.c (__gnat_to_gm_time): On _WIN32, don't round time up
35 2019-08-20 Ed Schonberg <schonberg@adacore.com>
37 * sem_ch3.adb (Analyze_Object_Declaration): If actual type is
38 private and distinct from nominal type in declaration, propagate
39 flags Is_Constr_Subt_For_U_Nominal and _UN_Aliased to full view
42 2019-08-20 Ed Schonberg <schonberg@adacore.com>
44 * exp_attr.adb (Expand_Loop_Entry_Attribute): When expanding a
45 loop entry attribute for a while_loop we construct a function
46 that incorporates the expanded condition of the loop. The itypes
47 that may be generated in that expansion must carry the scope of
48 the constructed function for proper handling in gigi.
50 2019-08-20 Ed Schonberg <schonberg@adacore.com>
52 * exp_disp.adb (Build_Class_Wide_Check, Replace_Formals): When a
53 dispatching call tp a subprogram with a class-wide precondition
54 occurrs in the same declarative part as the ancestor subprogram
55 being called, the`expression for the precondition has not been
56 analyzed yet. Such a call may appear, e.g. in an expression
57 function. In that case, the replacement of formals by actuals in
58 the call cannot use the formal entities of the subprogram being
59 called, and the occurrence of the formals in the expression must
60 be located by name (Chars fields) as would be done at a later
61 freeze point, when the expression is resolved in the context of
62 the subprogram itself.
64 2019-08-20 Bob Duff <duff@adacore.com>
66 * sem_prag.adb (Persistent_BSS): If an initialization is present
67 because of Initialize_Scalars or Normalize_Scalars, generate an
68 implicit pragma Suppress_Initialization to remove that, because
69 initialization is not allowed for these variables. Other
70 initializations remain illegal.
72 2019-08-20 Gary Dismukes <dismukes@adacore.com>
74 * sem_ch3.adb (OK_For_Limited_Init_In_05): In the case of type
75 conversions, apply the recursive call to the Original_Node of
76 the expression Exp rather than the Expression of the
77 Original_Node, in the case where Exp has been rewritten;
78 otherwise, when Original_Node is the same as Exp, apply the
79 recursive call to the Expression.
80 (Check_Initialization): Revise condition for special check on
81 type conversions of limited function calls to test Original_Node
82 (avoiding spurious errors on expanded unchecked conversions
83 applied to build-in-place dispatching calls).
85 2019-08-20 Patrick Bernardi <bernardi@adacore.com>
87 * exp_aggr.adb (Expand_Record_Aggregate): Always convert a
88 record Aggregate to assignment statements if the option
89 Aggregate_Individually_Assign is set.
90 * opt.ads (Aggregate_Individually_Assign): New option.
91 * par-prag.adb (Prag): Add Pragma_Aggregate_Individually_Assign.
92 * sem_prag.adb (Analyze_Pragma): Likewise.
93 * snames.ads-tmpl: Add Pragma_Aggregate_Individually_Assign and
94 Name_Aggregate_Individually_Assign.
95 * doc/gnat_rm/implementation_defined_pragmas.rst: Document
96 pragma Aggregate_Individually_Assign.
97 * gnat_rm.texi: Regenerate.
99 2019-08-20 Bob Duff <duff@adacore.com>
101 * par-ch4.adb: Minor wording change in error messages.
102 * sem_aggr.adb (Resolve_Delta_Aggregate): Emit an error for Ada
103 versions prior to Ada 2020.
105 2019-08-20 Bob Duff <duff@adacore.com>
107 * freeze.adb (Is_Atomic_VFA_Aggregate): Make the temp for
108 initialization of the atomic variable be constant. This is
109 cleaner, and might improve efficiency.
111 2019-08-20 Eric Botcazou <ebotcazou@adacore.com>
113 * repinfo.adb (List_Record_Info): In -gnatR4 mode, set the
114 relevant flag on the implicit base type of a record subtype.
116 2019-08-20 Bob Duff <duff@adacore.com>
118 * sem_eval.adb (Expr_Value): Implement the case of an unchecked
119 conversion of a static expression.
121 2019-08-20 Bob Duff <duff@adacore.com>
123 * sem_ch13.adb (Is_Null_Array): New function, used to detect the
124 null array case; used to warn about uncheckedly converting to a
125 zero-sized array. It is unfortunate that we can't just check
126 the size, and warn on all cases of converting from a
127 nonzero-sized type to a zero-sized one. That's because "0" means
128 two different things: "size is zero" and "size is unknown".
129 Until we fix that design flaw, we need this more targeted fix.
131 2019-08-20 Bob Duff <duff@adacore.com>
133 * libgnat/a-cborma.adb, libgnat/a-cborse.adb (Clear): Repeatedly
134 call Delete. This avoids clearing the free list, which
135 substantially speeds up future Delete operations.
137 2019-08-20 Bob Duff <duff@adacore.com>
139 * sem_ch13.adb (Component_Order_Check): New procedure to check
140 for out-of-order clauses.
141 * warnsw.ads, warnsw.adb: New -gnatw_r switch.
142 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
144 * gnat_ugn.texi: Regenerate.
146 2019-08-20 Bob Duff <duff@adacore.com>
148 * sem_ch13.adb (Object_Size): Give an error for zero. It really
149 rubs me the wrong way that we don't honor "for T'Object_Size use
150 0;", but it's not important enough to fix. In any case, if we're
151 not going to obey the clause, we should give an error.
153 2019-08-20 Bob Duff <duff@adacore.com>
155 * errout.adb (Error_Msg_Internal): Set Warn_Err in case of
157 * erroutc.adb (Output_Msg_Text): Do Warnings_Treated_As_Errors
158 processing and [warning-as-error] modification for style
159 messages. Clean up code, simplify, remove unnecessary block
160 statement, add renaming of table entry.
161 * erroutc.ads (Warning_Treated_As_Error): Fix comment: no such
162 thing as Set_Warning_As_Error.
163 * opt.ads: Clean up comments and move related declarations near
165 * par-prag.adb: Process Warning_As_Error. This is necessary
166 because many style warning happen during parsing.
167 * sem_prag.adb: Use new Acquire_Warning_Match_String.
168 * sem_util.ads, sem_util.adb (Acquire_Warning_Match_String): New
169 function shared by par-prag.adb and sem_prag.adb. Replaces the
170 procedure in sem_prag.adb. Avoid use of global variables.
171 * stringt.ads, stringt.adb (To_String): New function to convert
173 * doc/gnat_rm/implementation_defined_pragmas.rst: Document the
175 * gnat_rm.texi: Regenerate.
177 2019-08-20 Eric Botcazou <ebotcazou@adacore.com>
179 * lib.ads: Add with clause for GNAT.HTable.
180 Add pragma Inline for Is_Loaded and alphabetize the list.
181 (Unit_Name_Table_Size): New constant.
182 (Unit_Name_Header_Num): New subtype.
183 (Unit_Name_Hash): New function declaration.
184 (Unit_Names): New simple hash table.
185 (Init_Unit_Name): New procedure declaration.
186 * lib.adb (Set_Unit_Name): Unregister the old name in the table,
187 if any, and then register the new name.
188 (Init_Unit_Name): New procedure.
189 (Is_Loaded): Reimplement using a lookup in the names table.
190 (Remove_Unit): Unregister the name.
191 (Unit_Name_Hash): New function.
192 * lib-load.adb (Create_Dummy_Package_Unit): Call Init_Unit_Name.
193 (Load_Unit): Use a lookup in the names table to find out whether
194 the unit has already been loaded. Call Init_Unit_Name and then
195 Remove_Unit if the loading has failed.
196 (Make_Child_Decl_Unit): Call Init_Unit_Name.
197 (Make_Instance_Unit): Likewise.
198 * lib-writ.adb (Ensure_System_Dependency): Likewise.
200 2019-08-20 Bob Duff <duff@adacore.com>
202 * sem_ch13.adb (Record_Hole_Check): Initialize After_Last.
204 2019-08-20 Piotr Trojanek <trojanek@adacore.com>
206 * impunit.adb (Get_Kind_Of_Unit): Revert change for adapting
207 this routine for gnatprove.
209 2019-08-20 Arnaud Charlet <charlet@adacore.com>
211 * doc/gnat_rm/implementation_defined_pragmas.rst: Document
212 requirements for Pragma Lock_Free.
213 * gnat_rm.texi: Regenerate.
215 2019-08-20 Philippe Gil <gil@adacore.com>
217 * bindgen.adb (Gen_Main): Set gnat_argc/gnat_argv to argc/argv
218 only when still uninitialized.
220 2019-08-20 Bob Duff <duff@adacore.com>
222 * libgnat/g-comlin.ads (Exit_From_Command_Line): Fix
223 documentation for GNAT.Command_Line.
225 2019-08-20 Pierre-Marie de Rodat <derodat@adacore.com>
228 * gcc-interface/lang.opt (-fdump-scos): Add missing dot at the
229 end of the documentation.
231 2019-08-20 Richard Sandiford <richard.sandiford@arm.com>
233 * gcc-interface/misc.c (default_pass_by_ref): Update call to
236 2019-08-19 Bob Duff <duff@adacore.com>
238 * doc/gnat_rm/implementation_advice.rst: Fix documentation for
239 stream oriented attributes.
240 * gnat_rm.texi: Regenerate.
242 2019-08-19 Gary Dismukes <dismukes@adacore.com>
244 * einfo.ads (E_Function, E_Procedure): Update comments to
245 reflect that Renamed_Entity is also used for nongeneric
248 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
250 * sem_prag.adb (Is_Before_First_Decl): Deal with rewritten
253 2019-08-19 Bob Duff <duff@adacore.com>
255 * sem_warn.adb (Warn_On_Unreferenced_Entity): Suppress warning
256 on formal parameters of dispatching operations.
258 2019-08-19 Ed Schonberg <schonberg@adacore.com>
260 * sem_res.adb (Resolve_Call): A call to an expression function
261 freezes when expander is active, unless the call appears within
262 the body of another expression function,
264 2019-08-19 Dmitriy Anisimkov <anisimko@adacore.com>
266 * libgnat/s-os_lib.ads, libgnat/s-os_lib.adb (To_Ada, To_C): New
269 2019-08-19 Bob Duff <duff@adacore.com>
271 * exp_attr.adb (Attribute_Valid): Correct the handling of
272 private types where the full type is modular. System.Address is
273 an example. Otherwise, we convert uncheckedly to a signed type,
274 so we get an incorrect range 0 .. -1, for which all values will
275 fail. The 'Valid attribute is illegal for such types, but we
276 generate such illegal attribute_references for 'Valid_Scalars,
277 and we generate 'Valid_Scalars when the -gnateV switch is used.
278 Rename Btyp --> PBtyp to avoid hiding the outer Btyp, which was
280 * libgnat/a-except.adb: Set the Exception_Raised component.
281 Otherwise, we have incorrect reads of invalid data.
283 2019-08-19 Pierre-Marie de Rodat <derodat@adacore.com>
285 * libgnat/a-cgaaso.ads, libgnat/a-cgarso.ads,
286 libgnat/a-cogeso.ads, libgnat/a-contai.ads,
287 libgnat/a-locale.ads: Import documentation from the RM.
289 2019-08-19 Jerome Guitton <guitton@adacore.com>
291 * Makefile.rtl (system.o): New target to add generation of
293 * gcc-interface/Makefile.in (install-gnatlib): Install
294 ada_target_properties.
296 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
298 * inline.adb (Add_Inlined_Body): Do not special-case instances
299 that are compilation units.
300 (Add_Pending_Instantiation): Likewise.
301 (Instantiate_Body): Skip instantiations that are compilation
302 units and have already been performed.
303 * sem_ch12.adb (Needs_Body_Instantiated): Do not special-case
304 instances that are compilation units.
305 (Load_Parent_Of_Generic): Be prepared for parent that is a
306 compilation unit but whose instantiation node has not been
309 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
311 * inline.adb (Initialize, Lock): Deal with
312 Called_Pending_Instantiations.
314 2019-08-19 Ed Schonberg <schonberg@adacore.com>
316 * sem_ch6.adb (Check_Synchronized_Overriding): Complete
317 predicate that applies legality check in 9.4 (11.9/2): if an
318 inherited subprogram is implemented by a protected procedure or
319 entry, its first paarameter must be out, in_out or
322 2019-08-19 Javier Miranda <miranda@adacore.com>
325 * exp_atag.ads, exp_atag.adb (Build_Inherit_Predefined_Prims):
326 Adding formal to specify how many predefined primitives are
327 inherited from the parent type.
328 * exp_disp.adb (Number_Of_Predefined_Prims): New subprogram.
329 (Make_Secondary_DT): Compute the number of predefined primitives
330 of all tagged types (including tagged types not defined at
331 library level). Previously we unconditionally relied on the
332 Max_Predef_Prims constant value when building the dispatch
333 tables of tagged types not defined at library level (thus
334 consuming more memory for their dispatch tables than required).
335 (Make_DT): Compute the number of predefined primitives that must
336 be inherited from their parent type when building the dispatch
337 tables of tagged types not defined at library level. Previously
338 we unconditionally relied on the Max_Predef_Prims constant value
339 when building the dispatch tables of tagged types not defined at
340 library level (thus copying more data than required from the
343 2019-08-19 Bob Duff <duff@adacore.com>
345 * sem_ch13.adb (Record_Hole_Check): Procedure to check for holes
346 that incudes processing type extensions. A type extension is
347 processed by first calling Record_Hole_Check recursively on the
348 parent type to compute the bit number after the last component
351 2019-08-19 Gary Dismukes <dismukes@adacore.com>
353 * checks.adb (Length_Mismatch_Info_Message): New function in
354 Selected_Length_Checks to return a message indicating the
355 element counts for the mismatched lengths for a failed
356 compile-time length check.
357 (Plural_Or_Singular_Ending): Support function in
358 Length_Mismatch_Info_Message to return either "" or "s", for
359 concatenating to the end of words.
360 (Selected_Length_Checks): Pass the result of
361 Length_Mismatch_Info_Message as an extra warning message to
362 Compile_Time_Constraint_Error to indicate the mismatched lengths
363 for a failed compile-time length check.
364 * sem_util.ads (Compile_Time_Constraint_Error): Add an optional
365 message formal (Extra_Msg), defaulted to the empty string.
366 * sem_util.adb (Compile_Time_Constraint_Error): Output an extra
367 message following the main warning message (when Extra_Msg is
368 not the empty string).
370 2019-08-19 Patrick Bernardi <bernardi@adacore.com>
372 * socket.c: Removed the redefinition of getaddrinfo, getnameinfo
373 and freeaddrinfo to internal VxWorks kernel calls because they
374 are, well, internal kernel calls and cannot be called from RTPs.
375 VxWorks provides the necessary components to call these routines
378 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
380 * exp_dist.adb (Is_Generic_Actual_Subtype): New predicate.
381 (Build_From_Any_Call, Build_To_Any_Call, Build_TypeCode_Call):
382 Use it instead of Is_Generic_Actual_Type flag to detect subtypes
383 representing generic actual types.
385 2019-08-19 Ed Schonberg <schonberg@adacore.com>
387 * sem_warn.adb (Check_References, Generic_Body_Formal): When a
388 formal parameter of a generic subprogram is not referenced in
389 the body, place the corresponding warning on the corresponding
390 entity in the specification of the generic body, as is done for
391 non-generic subprograms.
393 2019-08-19 Bob Duff <duff@adacore.com>
395 * errout.ads (Size_Too_Small_Message): New constant.
396 * errout.adb, freeze.adb, sem_ch13.adb: Use it.
398 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
400 * exp_dist.adb (Build_Package_Stubs): Do not specifically visit
401 the declarations of an N_Subprogram_Instantiation node.
403 2019-08-19 Bob Duff <duff@adacore.com>
405 * doc/gnat_ugn/gnat_utility_programs.rst: Document missing
408 2019-08-19 Piotr Trojanek <trojanek@adacore.com>
410 * sem_ch12.adb (Get_Unit_Instantiation_Node): Simplify Nkind_In
412 * sem.adb (Depends_On_Main): Whitespace cleanup; only assign a
413 local variable if needed.
415 2019-08-19 Claire Dross <dross@adacore.com>
417 * sem_spark.ads, sem_spark.adb (Is_Pledge_Function): New
418 parameter of the generic. Function used to decide whether a
419 function is a pledge function.
420 (Check_Not_Borrowed): Disable check inside the second parameter
421 of a pledge function for the path borrowed by the first
422 parameter. Also disable checks for entities inside a Global
425 2019-08-19 Joffrey Huguet <huguet@adacore.com>
427 * libgnat/a-cfdlli.ads, libgnat/a-cfhama.ads,
428 libgnat/a-cfinve.ads, libgnat/a-cforma.ads,
429 libgnat/a-cofove.ads, libgnat/a-cofuma.ads,
430 libgnat/a-cofuve.ads: Add formal function parameter "=" (L, R :
431 Element_Type) to the generic packages.
433 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
435 * opt.ads: Clean up left-overs of earlier implementation in
438 2019-08-19 Ed Schonberg <schonberg@adacore.com>
440 * sem_ch3.adb (Derived_Enumeration_Type): Do no freeze anonymous
441 base type if the bounds in the derived type declaration are
442 literals of the type.
444 2019-08-19 Yannick Moy <moy@adacore.com>
446 * sem_res.adb (Resolve_Call): Check non-aliasing rules before
449 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
451 * inline.adb (Add_Inlined_Body): Do not add pending
453 * sem_ch12.adb (Needs_Body_Instantiated): New predicate.
454 (Analyze_Package_Instantiation): Use it to decide whether to add
455 a pending instantiation for the body of the package.
457 2019-08-19 Olivier Hainque <hainque@adacore.com>
459 * gcc-interface/trans.c (Acc_Loop_to_gnu): Return the openacc
460 BIND_EXPR node we have constructed on purpose. Remove unused
463 2019-08-19 Pierre-Marie de Rodat <derodat@adacore.com>
465 * gcc-interface/lang.opt (fdump-scos): Define.
466 * gcc-interface/misc.c (gnat_handle_option): Handle
469 2019-08-14 Joffrey Huguet <huguet@adacore.com>
471 * libgnat/a-cofuba.ads: Add a Length attribute to type
472 Container. Add a type Array_Base which replaces the previous
473 Elements attribute of Container.
474 (Content_Init): New subprogram. It is used to initialize the
475 Base attribute of Container.
476 * libgnat/a-cofuba.adb (Resize): New subprogram. It is used to
477 resize the underlying array of a container if necessary.
478 (=, <=, Find, Get, Intersection, Length, Num_Overlaps, Set,
479 Union): Update to match changes in type declarations.
480 (Add): Modify body to damp the time and space cost in a specific
482 (Content_Init): New subprogram. It is used to initialize the
483 Base attribute of Container.
484 (Remove): Modify body to damp the time and space cost in a
487 2019-08-14 Bob Duff <duff@adacore.com>
489 * sem_ch13.adb (Get_Alignment_Value): Return 1 for Alignment 0,
490 and do not give an error.
491 * doc/gnat_rm/representation_clauses_and_pragmas.rst: Update the
492 corresponding documentation.
493 * gnat_rm.texi: Regenerate.
495 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
497 * inline.adb (Add_Pending_Instantiation): Fix off-by-one error
498 in the comparison against the maximum number of instantiations.
500 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
502 * inline.adb (Add_Pending_Instantiation): Use greater-or-equal
503 in the comparison against the maximum number of instantiations.
505 2019-08-14 Ed Schonberg <schonberg@adacore.com>
507 * sem_aux.adb (Next_Rep_Item): If a node in the rep chain
508 involves a Ghost aspect it may have been replaced by a null
509 statement; use the original node to find next Rep_Item.
510 * repinfo.adb (List_Entities): Do not list an Ignored
511 Ghost_Entity, for which information may have been deleted.
513 2019-08-14 Bob Duff <duff@adacore.com>
515 * sem_prag.ads, sem_prag.adb
516 (Process_Compile_Time_Warning_Or_Error): In parameterless
517 version, improve detection of whether we are in a generic unit
518 to cover the case of an instance within a generic unit.
519 (Process_Compile_Time_Warning_Or_Error): Rename the
520 two-parameter version to be
521 Validate_Compile_Time_Warning_Or_Error, and do not export it.
522 Issue a warning if the condition is not known at compile time.
523 The key point is that the warning must be given only for pragmas
524 deferred to the back end, because the back end discovers
525 additional values that are known at compile time. Previous
526 changes in this ticket have enabled this by deferring to the
527 back end without checking for special cases such as 'Size.
528 (Validate_Compile_Time_Warning_Or_Error): Rename to be
529 Defer_Compile_Time_Warning_Error_To_BE.
530 * warnsw.ads, warnsw.adb (Warn_On_Unknown_Compile_Time_Warning):
531 Add new switches -gnatw_c and -gnatw_C to control the above
533 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
534 Document new switches.
535 * gnat_ugn.texi: Regenerate.
537 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
539 * sem_ch12.adb (Might_Inline_Subp): Rework comment and restrict
540 the shortcut based on Is_Inlined to the back-end inlining case.
542 2019-08-14 Bob Duff <duff@adacore.com>
544 * inline.adb (Check_And_Split_Unconstrained_Function): Ignore
545 protected functions to get rid of spurious error. The
546 transformation done by this procedure triggers legality errors
547 in the generated code in this case.
549 2019-08-14 Bob Duff <duff@adacore.com>
551 * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Defer
552 processing to the back end in all cases where the pragma's
553 condition is not known at compile time during the front end
554 (except in generics), as opposed to detecting 'Size attributes
555 and the like. This ensures that we take advantage of whatever
556 can be compile-time known after running the back end, as opposed
557 to having the front end guess what the back end can do. Remove
558 a little duplicated code at the call site.
559 * gnat1drv.adb (Post_Compilation_Validation_Checks): Unlock the
560 Elists while in Validate_Compile_Time_Warning_Errors, because it
561 does analysis and name resolution, which sometimes involves
564 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
566 * einfo.ads (Is_Called): Document new usage on E_Package
568 * einfo.adb (Is_Called): Accept E_Package entities.
569 (Set_Is_Called): Likewise.
570 * exp_ch6.adb (Expand_Call_Helper): Move code dealing with
571 instances for back-end inlining to Add_Inlined_Body.
572 * inline.ads: Remove with clauses for Alloc and Table.
573 (Pending_Instantiations): Move to...
574 * inline.adb: Add with clauses for Alloc, Uintp, Table and
576 (Backend_Instances): New variable.
577 (Pending_Instantiations): ...here.
578 (Called_Pending_Instantiations): New table.
579 (Node_Table_Size): New constant.
580 (Node_Header_Num): New subtype.
581 (Node_Hash): New function.
582 (To_Pending_Instantiations): New hash table.
583 (Add_Inlined_Body): Bail out early for subprograms in the main
584 unit or subunit. Likewise if the Is_Called flag is set. If the
585 subprogram is an instance, invoke Add_Inlined_Instance. Call
586 Set_Is_Called earlier. If the subrogram is within an instance,
587 invoke Add_Inlined_Instance. Also deal with the case where the
588 call itself is within an instance.
589 (Add_Inlined_Instance): New procedure.
590 (Add_Inlined_Subprogram): Remove conditions always fulfilled.
591 (Add_Pending_Instantiation): Move the defence against ludicruous
592 number of instantiations to here. When back-end inlining is
593 enabled, associate an instantiation with its index in table and
594 mark a few selected kinds of instantiations as always needed.
595 (Initialize): Set Backend_Instances to No_Elist.
596 (Instantiate_Body): New procedure doing the work extracted
598 (Instantiate_Bodies): ...here. When back-end inlining is
599 enabled, loop over Called_Pending_Instantiations instead of
600 Pending_Instantiations.
601 (Is_Nested): Minor tweak.
602 (List_Inlining_Info): Also list the contents of
604 * sem_ch12.adb (Might_Inline_Subp): Return early if Is_Inlined
605 is set and otherwise set it before returning true.
606 (Analyze_Package_Instantiation): Remove the defence against
607 ludicruous number of instantiations. Invoke
608 Remove_Dead_Instance instead of doing the removal manually if
609 there is a guaranteed ABE.
611 2019-08-14 Gary Dismukes <dismukes@adacore.com>
613 * exp_ch3.adb (Predef_Spec_Or_Body): For an equality operation
614 of an interface type, create an expression function (that
615 returns False) rather than declaring an abstract function.
616 * freeze.adb (Check_Inherited_Conditions): Set Needs_Wrapper to
617 False unconditionally at the start of the loop creating wrappers
618 for inherited operations.
620 2019-08-14 Bob Duff <duff@adacore.com>
622 * table.adb: Assert that the table is not locked when increasing
623 Last, even if it doesn't cause reallocation. In other words,
624 assert that on operations that MIGHT cause reallocation.
625 * table.ads: Fix comment accordingly.
627 2019-08-14 Arnaud Charlet <charlet@adacore.com>
629 * doc/gnat_ugn/gnat_and_program_execution.rst: Remove
630 documentation of gnatelim.
632 2019-08-14 Bob Duff <duff@adacore.com>
634 * sem_prag.adb (Validate_Compile_Time_Warning_Error): Attach the
635 warning to the Sloc of the first pragma argument, rather than to
636 the pragma itself. This is to make pragmas processed after the
637 back end use the same Sloc as pragmas processed earlier, in the
638 front end. There's no reason for this discrepancy, and it
639 hinders further work on this ticket.
641 2019-08-14 Bob Duff <duff@adacore.com>
643 * sem.ads (Inside_A_Generic): Remove the ??? comment.
645 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
647 * inline.ads (Pending_Descriptor): Delete.
648 * inline.adb (Initialize): Do not initialize it.
649 * sem_ch12.adb (Delay_Descriptors): Delete.
650 (Analyze_Package_Instantiation): Call
651 Set_Delay_Subprogram_Descriptors instead of Delay_Descriptors
654 2019-08-14 Bob Duff <duff@adacore.com>
656 * exp_aggr.adb (Init_Hidden_Discriminants): Avoid processing the
657 wrong discriminant, which could be of the wrong type.
659 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
661 * sem_ch12.adb (Analyze_Instance_And_Renamings): Do not reset
662 the Is_Generic_Instance flag previously set on the package
663 generated for the instantiation of a generic subprogram.
665 2019-08-14 Ed Schonberg <schonberg@adacore.com>
667 * exp_ch4.adb (Expand_N_Quantified_Expression): Freeze
668 explicitly the type of the loop parameter.
670 2019-08-14 Javier Miranda <miranda@adacore.com>
672 * sem_util.adb (New_Copy_Tree.Copy_Node_With_Replacement):
673 Update the Chars attribute of identifiers.
675 2019-08-14 Yannick Moy <moy@adacore.com>
677 * sem_spark.adb, sem_spark.ads (Is_Legal): New function exposed
678 for use in GNATprove, to test legality rules not related to
680 (Check_Declaration_Legality): Extract the part of
681 Check_Declaration that checks rules not related to permissions.
682 (Check_Declaration): Call the new Check_Declaration_Legality.
683 (Check_Type_Legality): Rename of Check_Type. Introduce
684 parameters to force or not checking, and update a flag detecting
686 (Check_Node): Ignore attribute references in statement position.
688 2019-08-14 Yannick Moy <moy@adacore.com>
690 * sem_spark.adb (Check_Old_Loop_Entry): New procedure to check
691 correct use of Old and Loop_Entry.
692 (Check_Node): Check subprogram contracts.
693 (Check_Pragma): Check Loop_Variant.
694 (Check_Safe_Pointers): Apply checking to library-level
695 subprogram declarations as well, in order to check their
698 2019-08-14 Yannick Moy <moy@adacore.com>
700 * sem_spark.adb (Is_Subpath_Expression): Take into account
701 conversion and qualification.
703 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
705 * sem_ch7.adb (Install_Private_Declarations)
706 <Swap_Private_Dependents>: Do not rely solely on the
707 Is_Child_Unit flag on the unit to recurse.
708 (Uninstall_Declarations) <Swap_Private_Dependents>: New
709 function. Use it to recurse on the private dependent entities
712 2019-08-14 Javier Miranda <miranda@adacore.com>
714 * exp_aggr.adb (Is_CCG_Supported_Aggregate): Return False for
715 arrays with bounds not known at compile time.
717 2019-08-14 Ed Schonberg <schonberg@adacore.com>
719 * sem_util.adb (New_Copy_Tree, Visit_Entity): A quantified
720 expression includes the implicit declaration of the loop
721 parameter. When a quantified expression is copied during
722 expansion, for example when building the precondition code from
723 the generated pragma, a new loop parameter must be created for
724 the new tree, to prevent duplicate declarations for the same
727 2019-08-14 Yannick Moy <moy@adacore.com>
729 * sem_disp.adb (Check_Dispatching_Operation): Update assertion
730 for the separate declarations created in GNATprove mode.
731 * sem_disp.ads (Is_Overriding_Subprogram): Update comment.
732 * sem_elab.adb (SPARK_Processor): Fix test for checking of
733 overriding primitives.
735 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
737 * inline.adb (Add_Inlined_Body): Tweak comments.
738 (List_Inlining_Info): Also list information about non-main
741 2019-08-14 Gary Dismukes <dismukes@adacore.com>
743 * sem_ch4.adb (Analyze_Selected_Component): In the case where
744 the prefix is of a concurrent type, and the selected entity
745 matching the selector is the first private declaration of the
746 type (such as the first local variable in a task's body), set
749 2019-08-14 Piotr Trojanek <trojanek@adacore.com>
751 * einfo.adb (Is_Generic_Actual_Subprogram): Replace repeated
752 calls to Ekind with Ekind_In.
754 2019-08-13 Richard Sandiford <richard.sandiford@arm.com>
757 * gcc-interface/trans.c (gigi): Call set_decl_buillt_in_function.
758 (Call_to_gnu): Use DECL_FE_FUNCTION_CODE instead of DECL_FUNCTION_CODE.
760 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
762 * ali.ads (Linker_Option_Record): Remove Original_Pos component.
763 * ali.adb (Scan_ALI): Do not set it.
765 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
767 * sem_ch3.adb (Build_Derived_Concurrent_Type): Add a couple of
768 local variables and use them. When the derived type fully
769 constrains the parent type, rewrite it as a subtype of an
770 implicit (unconstrained) derived type instead of the other way
772 (Copy_And_Build): Deal with concurrent types and use predicates.
773 (Build_Derived_Private_Type): Build the full derivation if
774 needed for concurrent types too.
775 (Build_Derived_Record_Type): Add marker comment.
776 (Complete_Private_Subtype): Use predicates.
778 2019-08-13 Ed Schonberg <schonberg@adacore.com>
780 * sem_ch3.adb (Check_Generic_Ancestor): New subprogram,
781 aubsidiary to Build_Derived_Record_Type. to enforce the rule
782 that a type extension declared in a generic body cznnot have an
783 ancestor that is a generic formal (RM 3.9.1 (4/2)). The rule
784 applies to all ancestors of the type, including interface
787 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
789 * sem_ch3.adb (Build_Underlying_Full_View): Delete.
790 (Complete_Private_Subtype): Do not set the full view on the
791 private subtype here. If the full base is itself derived from
792 private, do not re-derive the parent type but instead constrain
793 an existing underlying full view.
794 (Prepare_Private_Subtype_Completion): Do not get to the
795 underlying full view, if any. Set the full view on the private
797 (Process_Full_View): Likewise.
798 * sem_ch12.adb (Check_Generic_Actuals): Also set
799 Is_Generic_Actual_Type on the full view if the type of the
801 (Restore_Private_Views): Also reset Is_Generic_Actual_Type on
802 the full view if the type of the actual is private.
803 * sem_eval.adb (Subtypes_Statically_Match): Remove bypass for
804 generic actual types.
806 2019-08-13 Javier Miranda <miranda@adacore.com>
808 * sem_res.adb (Resolve_Selected_Component): When the type of the
809 component is an access to a class-wide type and the type of the
810 context is an access to a tagged type the relevant type is that
811 of the component (since in such case we may need to generate
812 implicit type conversions or dispatching calls).
814 2019-08-13 Ed Schonberg <schonberg@adacore.com>
816 * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Preanalyze
817 expression, rather do a full analysis, to prevent unwanted
818 removal of side effects which mask the intent of the expression.
820 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
822 * impunit.adb (Non_Imp_File_Names_95): Add
823 GNAT.Branch_Prediction.
825 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
827 * exp_ch6.adb: Remove with and use clauses for Sem_Ch12.
828 (Expand_Call_Helper): Swap the back-end inlining case and the
829 special front-end expansion case. In back-end inlining mode, do
830 not invoke Add_Inlined_Body unless the call may be inlined.
831 * inline.ads (Add_Pending_Instantiation): New function moved
833 * inline.adb (Add_Inlined_Body): Simplify comment. Turn test on
834 the enclosing unit into assertion.
835 (Add_Pending_Instantiation): New function moved from...
836 * sem_ch12.ads (Add_Pending_Instantiation): ...here.
837 * sem_ch12.adb (Add_Pending_Instantiation): ...here.
839 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
841 * sem.adb (Do_Analyze): Recompute Style_Check_Max_Line_Length
842 after restoring Style_Max_Line_Length.
844 2019-08-13 Arnaud Charlet <charlet@adacore.com>
846 * sem_ch13.adb (Check_Iterator_Functions): Protect against
849 2019-08-13 Ed Schonberg <schonberg@adacore.com>
851 * sem_ch8.adb (Analyze_Subprogram_Renaming): Do no suppress mode
852 conformance checks on child unit instance that is a compilation
855 2019-08-13 Gary Dismukes <dismukes@adacore.com>
857 * exp_dbug.adb (Fully_Qualify_Name): Add full name qualification
858 for the E_Exception case.
860 2019-08-13 Gary Dismukes <dismukes@adacore.com>
862 * exp_aggr.adb (Aggr_Size_OK): Compute the aggregate size using
863 universal arithmetic, to avoid situations where the size
864 computation overflows.
866 2019-08-13 Justin Squirek <squirek@adacore.com>
868 * repinfo.adb (List_Scalar_Storage_Order): Modify conditionals
869 for displaying ordering to always be triggered when -gnatR4 is
872 2019-08-13 Justin Squirek <squirek@adacore.com>
874 * aspects.adb, aspects.ads: Register new aspect.
875 * par-prag.adb (Prag): Register new pragma
876 * sem_ch13.adb (Analyze_Aspect_Specifications): Add processing
877 for new aspect similar to Aspect_Max_Entry_Queue_Length.
878 * sem_prag.adb, sem_prag.ads (Analyze_Pragma): Register new
879 pragma and set it to use the same processing as
880 Pragma_Max_Queue_Length.
881 * snames.ads-tmpl: Move definition of
882 Name_Max_Entry_Queue_Length so that it can be processed as a
883 pragma in addition to a restriction and add an entry for the
886 2019-08-13 Yannick Moy <moy@adacore.com>
888 * sem_ch4.adb (Analyze_Allocator): Do not insert subtype
889 declaration for allocator inside a spec expression.
891 2019-08-13 Yannick Moy <moy@adacore.com>
893 * sem_res.adb (Resolve_Call): Do not inline calls inside record
896 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
898 * sem_ch4.adb (Analyze_One_Call): Remove bypass for type
899 mismatch in nested instantiations.
900 * sem_ch8.adb (Find_Nearer_Entity): New function.
901 (Find_Renamed_Entity): Use it to disambiguate the candidates for
902 the renaming generated for an instantiation when it is
905 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
907 * gnat1drv.adb (Adjust_Global_Switches): Do not set
908 Back_End_Inlining in ASIS mode either.
910 2019-08-13 Olivier Hainque <hainque@adacore.com>
912 * libgnat/s-win32.ads: Define size_t and fix the MapViewOfFile
913 binding to use it instead of DWORD for the dwNumberOfBytesToMap
915 * libgnat/g-sercom__mingw.adb (Read): State which definition of
916 size_t to fetch in call to Last_Index.
918 2019-08-13 Arnaud Charlet <charlet@adacore.com>
920 * gcc-interface/Make-lang.in: Remove unused TRACE variable. Pass
921 LN_S to relevant gnatlib targets.
922 * gcc-interface/Makefile.in: Systematically pass LN_S to
923 relevant gnatlib targets.
925 2019-08-13 Yannick Moy <moy@adacore.com>
927 * sem_dim.adb (Analyze_Dimension,
928 Analyze_Dimension_Array_Aggregate, Analyze_Dimension_Call,
929 Analyze_Dimension_Extension_Or_Record_Aggregate): Return
930 immediately when inside an inlined body.
931 * sem_res.adb (Resolve_Call): Remove special checking now done
932 inside Analyze_Dimension_Call.
934 2019-08-13 Justin Squirek <squirek@adacore.com>
936 * exp_ch4.adb (Expand_N_Allocator): Add condition to detect
937 library-level object declarations
939 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
941 * doc/gnat_ugn/building_executable_programs_with_gnat.rst
942 (-gnateT): Document Double_Float_Alignment parameter and fix
943 description of Double_Scalar_Alignment parameter.
944 * gnat_ugn.texi: Regenerate.
946 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
948 * exp_ch6.adb (Expand_Call_Helper): If back-end inlining is
949 enabled, also instantiate the body of a generic unit containing
950 a subprogram subject to aspect/pragma Inline_Always at
951 optimization level zero.
952 * sem_ch12.adb (Might_Inline_Subp): Minor tweak.
953 (Analyze_Package_Instantiation): Do not instantiate the package
954 body because of inlining considerations if the instantiation is
955 done in a generic unit. Move around similar condition involving
956 the main unit. Add test on Back_End_Inlining to processing for
959 2019-08-13 Javier Miranda <miranda@adacore.com>
961 * exp_disp.adb (Make_Secondary_DT): Handle record type
962 derivations that have interface components located at fixed
963 positions and interface components located at variable offset.
964 The offset of components located at fixed positions is computed
965 using the dummy object (similar to the case where all the
966 interface components are located at fixed positions).
967 (Make_DT): Build the dummy object for all tagged types that
968 implement interface types (that is, build it also for types with
969 variable size components), and use the dummy object to compute
970 the offset of all tag components located at fixed positions when
971 initializing the Interface_Table object.
973 2019-08-13 Justin Squirek <squirek@adacore.com>
975 * gnatcmd.adb (GNATCmd): Add constant for new compiler switch
976 --help-ada, and include usage subprogram. Add line to usage help
977 explaining the new flag.
978 (GNATCmd_Usage): Rename from locally declared Usage so as not to
979 confuse with the newly imported version. Add new argument case
980 for --help-ada and add bug report email to implicit display of
981 help without the --help flag so as to unify output between the
984 2019-08-13 Dmitriy Anisimkov <anisimko@adacore.com>
986 * libgnat/g-comlin.adb (Getopt): Quote unrecognized switch in
987 Invalid_Switch exception message.
989 2019-08-13 Yannick Moy <moy@adacore.com>
991 * sem_util.adb (Traverse_More_Func): Take into account
992 Loop_Actions inside N_Iterated_Component_Association nodes.
993 * sinfo.ads: Document correctly Loop_Actions as a field of nodes
994 of kind N_Iterated_Component_Association.
996 2019-08-13 Claire Dross <dross@adacore.com>
998 * libgnat/a-cfinve.adb, libgnat/a-cofove.adb (Find_Index,
999 Reverse_Find_Index): Use bigger type to avoid range check
1000 failure at the last loop iteration.
1002 2019-08-12 Dmitriy Anisimkov <anisimko@adacore.com>
1004 * libgnat/g-socket.adb (Is_IPv6_Address): Check that no less
1005 then 2 colons in IPv6 numeric address.
1007 2019-08-12 Dmitriy Anisimkov <anisimko@adacore.com>
1009 * libgnat/g-comlin.ads, libgnat/g-comlin.adb (Getopt): Add
1010 parameter Quiet. Need to do not output error messages to
1011 console. Invalid_Switch exception generation surrounded by an
1014 2019-08-12 Ed Schonberg <schonberg@adacore.com>
1016 * exp_ch6.adb (Expand_Actuals. Add_Call_By_Copy_Code): Add code
1017 to generate proper checks when an actual for an in-out or out
1018 parameter has a non-null access type. No constraints are
1019 applied to an inbound access parameter, but on exit a not-null
1020 check must be performed if the type of the actual requires it.
1022 2019-08-12 Ed Schonberg <schonberg@adacore.com>
1024 * sem_util.adb (Is_Expaned_Priority_Attribute): Check whether
1025 call comes from a rewritten attribute before comparing name with
1026 Get_Ceiling run-time subprogram.
1028 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1030 * exp_util.ads (Component_May_Be_Bit_Aligned): Small comment
1032 (Possible_Bit_Aligned_Component): Likewise.
1033 (Type_May_Have_Bit_Aligned_Components): Likewise.
1034 * exp_util.adb (Component_May_Be_Bit_Aligned): Likewise.
1035 (Possible_Bit_Aligned_Component): Likewise.
1036 (Type_May_Have_Bit_Aligned_Components): Likewise.
1038 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1040 * exp_ch4.adb (Expand_N_Op_Eq): Expand the array equality if
1041 either operand is a possibly unaligned slice.
1042 * exp_ch6.adb (Expand_Simple_Function_Return): Do not generate a
1043 copy for a possibly unaligned object if it is represented as a
1045 * exp_util.adb (Is_Possibly_Unaligned_Slice): Do not always
1046 return false if the target doesn't have strict alignment.
1048 2019-08-12 Bob Duff <duff@adacore.com>
1050 * sem_ch12.adb (Instantiate_Package_Body): Remove suppression of
1051 checks in instances of internal units.
1052 * sem_ch6.adb (Analyze_Function_Return): Do not generate a
1053 constraint check on an extended_return_statement if the subtype
1054 of the return object in the statement is identical to the return
1055 subtype of the function.
1057 2019-08-12 Bob Duff <duff@adacore.com>
1059 * libgnat/a-cbmutr.adb (Is_Reachable): Declare Idx to be of the
1060 base subtype. Clearly it makes no sense to loop "while Idx >=
1061 0", if Idx is of a nonnegative subtype.
1063 2019-08-12 Bob Duff <duff@adacore.com>
1065 * libgnat/a-tifiio.adb (Put_Scaled): Prevent AA from being
1066 negative, since Field is range 0 .. something.
1068 2019-08-12 Bob Duff <duff@adacore.com>
1070 * doc/gnat_ugn/gnat_utility_programs.rst (gnatmetric, gnatpp,
1071 gnatstub): Remove documentation for Ada language version
1072 switches, and note that they are no longer needed.
1074 2019-08-12 Gary Dismukes <dismukes@adacore.com>
1076 * sem_ch5.adb (Prepare_Param_Spec_Loop): Set the parents of the
1077 copied low and high bounds in the case where the loop range is
1078 given by a discrete_subtype_indication, to prevent hanging (or
1079 Assert_Failure) in Insert_Actions.
1081 2019-08-12 Ed Schonberg <schonberg@adacore.com>
1083 * sem_ch6.adb (heck_Untagged_Equality): Verify that user-defined
1084 equality has the same profile as the predefined equality before
1085 applying legality rule in RM 4.5.2 (9.8).
1087 2019-08-12 Bob Duff <duff@adacore.com>
1089 * libgnat/a-except.ads: Update obsolete comment, still making
1090 clear that this is a variant. Add explicit default for Id
1091 component of Exception_Occurrence, because that value is used.
1092 Define Null_Occurrence less redundantly.
1093 * libgnat/a-einuoc.adb: Minor simplification of code.
1095 2019-08-12 Justin Squirek <squirek@adacore.com>
1097 * libgnat/a-dhfina.adb, libgnat/a-dhfina.ads (Is_Simple_Name,
1098 Is_Root_Directory, Is_Parent_Directory,
1099 Is_Current_Directory_Name, Is_Relative_Name, Initial_Directory,
1100 Relative_Name, Compose): Add implementation and documentation.
1101 * libgnat/a-direct.adb (Containing_Directory): Modify routine to
1102 use routines from Ada.Directories.Hierarchical_File_Names and
1103 remove incorrect special case for parent directories.
1104 (Fetch_Next_Entry): Add check for current directory and parent
1105 directory and ignore them under certain circumstances.
1106 (Simple_Nmae): Add check for null result from
1107 Simple_Name_Internal and raise Name_Error.
1108 (Simple_Name_Internal): Add explicit check for root directories,
1109 sanitize trailing directory separators, and modify behavior so
1110 that current and parent directories are considered valid
1112 * Makefile.rtl: Add entry to GNATRTL_NONTASKING_OBJS.
1114 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1116 * freeze.adb (Freeze_Entity): Give the same error for an
1117 Object_Size clause on a variable-sized type as for a Size
1120 2019-08-12 Gary Dismukes <dismukes@adacore.com>
1122 * sem_prag.adb (Analyze_Pragma, Pragma_Suppress_Initialization):
1123 For private types, set the Suppress_Initialization flag on the
1124 Full_View of the entity rather than the entity's base type.
1126 2019-08-12 Yannick Moy <moy@adacore.com>
1128 * aspects.adb, aspects.ads (Aspect_No_Caching): New aspect.
1129 * contracts.adb, contracts.ads (Add_Contract_Item): Add handling
1131 (Analyze_Object_Contract): Add handling of No_Caching.
1132 * einfo.adb, einfo.ads
1133 (Get_Pragma): Add handling of No_Caching.
1134 * doc/gnat_rm/implementation_defined_aspects.rst,
1135 doc/gnat_rm/implementation_defined_pragmas.rst: Document new
1137 * gnat_rm.texi: Regenerate.
1138 * par-prag.adb (Prag): New pragma Pragma_No_Caching.
1139 * sem_ch13.adb (Analyze_Aspect_Specifications,
1140 Check_Aspect_At_Freeze_Point): Add handling of No_Caching.
1141 * sem_prag.adb (Analyze_Pragma): Deal with pragma No_Caching.
1142 * sem_prag.ads (Analyze_External_Property_In_Decl_Part): Now
1143 applies to No_Caching.
1144 * sem_util.adb, sem_util.ads (Is_Effectively_Volatile): Add
1145 handling of No_Caching.
1146 (No_Caching_Enabled): New query function.
1147 * snames.ads-tmpl: New names for pragma.
1149 2019-08-12 Yannick Moy <moy@adacore.com>
1151 * sem_util.adb, sem_util.ads (Traverse_More_Func,
1152 Traverse_More_Proc): Add formal parameter for Itypes traversal.
1154 2019-08-12 Yannick Moy <moy@adacore.com>
1156 * exp_attr.adb, exp_attr.ads (Expand_Size_Attribute): New
1157 procedure to share part of the attribute expansion with
1159 (Expand_N_Attribute_Reference): Extract part of the
1160 Size/Object_Size expansion in the new procedure
1161 Expand_Size_Attribute.
1162 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
1163 Size/Object_Size attributes using the new procedure
1164 Expand_Size_Attribute.
1166 2019-08-12 Yannick Moy <moy@adacore.com>
1168 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Only
1169 expand Enum_Rep attribute when its parameter is a literal.
1171 2019-08-12 Justin Squirek <squirek@adacore.com>
1173 * sem_eval.adb (Check_Non_Static_Context): Add a condition to
1174 determine if a range violation constitues a warning or an error.
1175 (Out_Of_Range): Add a condition to determine if a range
1176 violation constitues a warning or an error.
1178 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1180 * exp_ch4.adb (Real_Range_Check): Do not rewrite the conversion
1181 node but its expression instead, after having fetched its
1182 current value. Clear the Do_Range_Check flag on entry. Return
1183 early for a rewritten float-to-float conversion. Remove
1184 redundant local variable. Suppress all checks when inserting
1185 the temporary and do not reanalyze the node.
1187 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1189 * sprint.ads: Minor comment tweak.
1191 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1193 * checks.adb (Insert_Valid_Check): Do not retrieve the
1194 Do_Range_Check flag from the Original_Node but from the
1195 Validated_Object. Remove useless bypass for floating-point
1198 2019-08-12 Yannick Moy <moy@adacore.com>
1200 * sem_util.adb, sem_util.ads (Traverse_More_Func,
1201 Traverse_More_Proc): New traversal subprograms.
1203 2019-08-12 Jerome Lambourg <lambourg@adacore.com>
1205 * libgnarl/s-taprop__vxworks.adb (Abort_Handler): Only call
1206 s-tpopsp.Self when actually needed.
1208 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1210 * exp_ch4.adb (Discrete_Range_Check): Return if checks are
1213 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1215 * sem_res.adb: Add with & use clause for Sem_Mech and
1217 (Resolve_Actuals): Do not apply a scalar range check for the
1218 source of a conversion whose result is passed by reference to a
1221 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1223 * checks.adb (Insert_Valid_Check): Reset the Do_Range_Check flag
1224 on the validated object.
1225 * exp_ch6.adb (Add_Call_By_Copy_Code): Reset the Do_Range_Check
1226 flag on the actual here, as well as on the Expression if the
1227 actual is a N_Type_Conversion node.
1228 (Add_Validation_Call_By_Copy_Code): Generate the incoming range
1229 check if needed and reset the Do_Range_Check flag on the
1230 Expression if the actual is a N_Type_Conversion node.
1231 (Expand_Actuals): Do not reset the Do_Range_Check flag here.
1232 Generate the incoming range check for In parameters here instead
1234 (Expand_Call_Helper): ...here. Remove redudant condition.
1235 * sem_res.adb (Resolve_Actuals): Use local variable A_Typ and
1236 remove obsolete comments.
1237 (Resolve_Type_Conversion): Do not force the Do_Range_Check flag
1238 on the operand if range checks are suppressed.
1240 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1242 * checks.adb (Activate_Range_Check): Remove redundant argument.
1243 (Generate_Range_Check): Likewise.
1244 (Apply_Float_Conversion_Check): Reset the Do_Range_Check flag on
1245 entry and remove redundant condition.
1247 2019-08-02 Alexandre Oliva <oliva@adacore.com>
1249 * libgnat/a-exexpr.adb (Begin_Handler_v1, End_Handler_v1): New.
1250 (Claimed_Cleanup): New.
1251 (Begin_Handler, End_Handler): Document.
1252 * gcc-interface/trans.c (gigi): Switch to exception handler
1254 (Exception_Handler_to_gnu_gcc): Save the original cleanup
1255 returned by begin handler, pass it to end handler, and use
1256 EH_ELSE_EXPR to pass a propagating exception to end handler.
1257 (gnat_to_gnu): Leave the exception pointer alone for reraise.
1258 (add_cleanup): Handle EH_ELSE_EXPR, require it by itself.
1260 2019-07-23 Ed Schonberg <schonberg@adacore.com>
1262 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations,
1263 Freeze_Entity_Checks): Include Aspect_CPU with other aspects
1264 whose expresssion may depend on a discriminant, and thus require
1265 that components of the type be made visible.
1267 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1269 * checks.adb (Convert_And_Check_Range): Add Suppress parameter
1270 and pass it in the call to Insert_Actions. Rename local
1272 (Generate_Range_Check): Minor comment fixes. Pass Range_Check
1273 in the first call to Convert_And_Check_Range and All_Checks in
1275 * exp_ch4.adb (Expand_N_Type_Conversion): Reset the
1276 Do_Overflow_Check flag in the float-to-float case too if there
1277 is also a range check.
1279 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1281 * checks.adb (Activate_Overflow_Check): Remove redundant
1283 * exp_ch4.adb (Discrete_Range_Check): Reset the overflow flag.
1284 (Expand_N_Type_Conversion): Do not reset it here.
1286 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1288 * repinfo.adb (List_Component_Layout): Pass Decimal to UI_Write.
1289 (Write_Val): Likewise.
1291 2019-07-23 Ed Schonberg <schonberg@adacore.com>
1293 * aspects.ads: New table Operational_Aspect, used to distinguish
1294 between aspects that are view-specific, such as those related to
1295 iterators, and representation aspects that apply to all views of
1297 * aspects.adb (Find_Aspect): If the aspect being sought is
1298 operational, do not ecamine the full view of a private type to
1300 * sem_ch5.adb (Analyze_Iterator_Specification): Improve error
1301 message when the intended domain of iteration does not implement
1302 the required iterator aspects.
1304 2019-07-23 Yannick Moy <moy@adacore.com>
1306 * sem_spark.ads (Is_Local_Context): New function.
1307 * sem_spark.adb (Check_Declaration): Issue errors on violations
1309 (Process_Path): Do not issue error on borrow/observe during
1310 elaboration, as these are caught by the new rule.
1312 2019-07-23 Yannick Moy <moy@adacore.com>
1314 * exp_ch7.adb (Create_Finalizer): Force finalizer not to be
1316 * exp_dbug.adb (Get_External_Name): Explain special case of
1319 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1321 * repinfo.adb (List_Entities): Also list compiled-generated
1322 types present as Etype of objects.
1324 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1326 * sinfo.ads: Update the documentation about the
1327 Do_Division_Check, Do_Overflow_Check and Do_Range_Check flags.
1329 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1331 * exp_ch4.adb (Expand_N_Type_Conversion): Beef up comment.
1332 (Fixup_Universal_Fixed_Operation): Set the base type instead of
1333 the type of the enclosing type conversion on the operation.
1335 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1337 * exp_ch4.adb (Expand_N_In): Do not suggest the use of attribute
1338 'Valid as a replacement for a range check on a discrete type
1339 when the bounds of the range are given by type conversions,
1340 because in such a case there are distinct types involved and the
1341 subbested attribute replacement would be misplaced.
1343 2019-07-22 Yannick Moy <moy@adacore.com>
1345 * sem_spark.adb (Get_Root_Object, Is_Path_Expression,
1346 Is_Subpath_Expression): Add parameter Is_Traversal to adapt
1347 these functions to the case of paths returned from a traversal
1349 (Read_Indexes): Handle the case of an if-expression or
1351 (Check_Statement): Check Emit_Messages only when issuing an
1352 error message. This is important as Emit_Messages may store the
1353 information that an error was detected.
1355 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1357 * checks.adb (Apply_Type_Conversion_Checks): Do not set
1358 Do_Range_Check flag on conversions from fixed-point types
1360 * exp_attr.adb: Add use and with clause for Expander.
1361 (Expand_N_Attribute_Reference) <Fixed_Value, Integer_Value>: Set
1362 the Conversion_OK flag and do not generate overflow/range checks
1364 * exp_ch4.adb (Expand_N_Qualified_Expression): Remove
1365 superfluous clearing of Do_Range_Check flag.
1366 (Discrete_Range_Check): New procedure to generate a range check
1368 (Real_Range_Check): Remove redundant local variable and adjust.
1369 Remove useless shortcut. Clear Do_Range_Check flag on all
1371 (Expand_N_Type_Conversion): Remove redundant test on
1372 Conversion_OK. Call Discrete_Range_Check to generate range
1373 checks on discrete types. Remove obsolete code for
1374 float-to-integer conversions. Add code to generate range checks
1375 for conversions involving fixed-point types.
1377 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1379 * sprint.ads: Fix pasto in comment.
1381 2019-07-22 Javier Miranda <miranda@adacore.com>
1383 * sem_res.adb (Resolve_Actuals): Replace code that displaces the
1384 pointer to an allocated object to reference its secondary
1385 dispatch table by a type conversion (which takes care of
1386 handling all cases).
1388 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1390 * sprint.adb (Sprint_Node_Actual)
1391 <N_Decimal_Fixed_Point_Definition>: Swap a couple of spaces.
1392 (Write_Itype): Minor consistency fixes throughout. Add support
1393 for printing ordinary and decimal fixed-point types and
1396 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1398 * exp_attr.adb (Expand_Loop_Entry_Attribute): Beef up comment.
1400 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1402 * libgnat/s-valboo.ads, libgnat/s-valcha.ads,
1403 libgnat/s-valdec.ads, libgnat/s-valenu.ads,
1404 libgnat/s-valint.ads, libgnat/s-vallld.ads,
1405 libgnat/s-vallli.ads, libgnat/s-valllu.ads,
1406 libgnat/s-valrea.ads, libgnat/s-valuns.ads,
1407 libgnat/s-valwch.ads: Change categorization of packages that
1408 implement attribute 'Value from Pure to Preelaborate, to prevent
1409 undesirable optimizations when the evaluation of the attribute
1410 raises Constraint_Error, but subsequent use of the result of
1411 this evsaluation is removed by a subsequent optimization.
1413 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1415 * sem_warn.adb (Check_References): Do not emit s warning on a
1416 referenced entity with no explicit assignment if the type of the
1417 entity has Preelaborable_Initialixation, such as
1418 Exception_Occurrence.
1420 2019-07-22 Javier Miranda <miranda@adacore.com>
1422 * exp_ch4.adb (Size_In_Storage_Elements): Improve the expansion
1423 to handle array indexes that are modular type.
1424 (Expand_N_Allocator): For 32-bit targets improve the generation
1425 of the runtime check associated with large arrays supporting
1426 arrays initialized with a qualified expression.
1427 * libgnat/s-imenne.adb (Image_Enumeration_8,
1428 Image_Enumeration_16, Image_Enumeration_32): Define the index of
1429 Index_Table with range Natural'First .. Names'Length since in
1430 the worst case all the literals of the enumeration type would be
1431 single letter literals and the Table built by the frontend would
1432 have as many components as the length of the names string. As a
1433 result of this enhancement, the internal tables declared using
1434 Index_Table have a length closer to the real needs, thus
1435 avoiding the declaration of large arrays on 32-bit CCG targets.
1437 2019-07-22 Yannick Moy <moy@adacore.com>
1439 * sem_ch3.adb (Constrain_Access): Issue a message about ignored
1442 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1444 * sem_ch8.adb (End_Use_Type): Reset the In_Use flag on the
1445 class-wide type if the type is tagged.
1446 (Use_One_Type): Add commentary on the handling of the class-wide
1449 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1451 * einfo.ads (Is_For_Access_Subtype): Delete.
1452 (Set_Is_For_Access_Subtype): Likewise.
1453 * einfo.adb (Is_For_Access_Subtype): Likewise.
1454 (Set_Is_For_Access_Subtype): Likewise.
1455 (Write_Entity_Flags): Do not write Is_For_Access_Subtype.
1456 * exp_ch4.adb (Expand_N_Selected_Component): Do not deal with
1458 * exp_spark.adb (Expand_SPARK_N_Selected_Component): Likewise.
1459 * sem_ch4.adb (Analyze_Explicit_Dereference): Likewise.
1460 * sem_ch3.adb (Build_Discriminated_Subtype): Do not build a
1461 special private subtype for access-to-record subtypes.
1463 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1465 * sem_ch3.adb (Complete_Private_Subtype): Rework the setting of
1466 the Etype of the full view for full base types that cannot
1467 contain any discriminant. Remove code and comment about it in
1470 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1472 * sem_ch3.adb (Convert_Bound): Subsidiary of
1473 Floating_Point_Type_Declaration, to handle properly range
1474 specifications with bounds that may include static constants of
1475 a given type rather than real literals.
1477 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1479 * sem_aggr.adb (Rewrite_Bound): Be prepared for discriminals
1481 (Rewrite_Range;): Minor tweak.
1482 (Resolve_Record_Aggregate): For a component with default
1483 initialization whose expression is an array aggregate, also
1484 rewrite the bounds of the component associations, if any.
1486 2019-07-22 Gary Dismukes <dismukes@adacore.com>
1488 * exp_ch5.adb (Expand_N_Case_Statement): In the case where a
1489 case statement is rewritten as an equivalent if statement,
1490 inherit the From_Condition_Expression flag from the case
1493 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1495 * sem_ch8.adb (Check_Constrained_Object): Further extend the
1496 special optimization to all limited types.
1498 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1500 * exp_attr.adb (Expand_N_Attribute_Reference)
1501 <Attribute_Enum_Val>: Set No_Truncation on the
1502 N_Unchecked_Type_Conversion built around the argument passed to
1505 2019-07-22 Nicolas Roche <roche@adacore.com>
1507 * libgnat/s-valrea.adb (Scan_Real): Ignore non significative
1508 digits to avoid converging to infinity in some cases.
1510 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1512 * libgnat/g-encstr.adb (Encode_Wide_String): Fix oversight.
1513 (Encode_Wide_Wide_String): Likewise.
1515 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1517 * sem_warn.adb (Find_Var): Bail out for a function call with an
1518 Out or In/Out parameter.
1520 2019-07-22 Nicolas Roche <roche@adacore.com>
1522 * terminals.c (__gnat_tty_waitpid): Support both blocking and
1524 * libgnat/g-exptty.ads (Is_Process_Running): New function.
1525 * libgnat/g-exptty.adb (Close): Don't try to interrupt/terminate
1526 a process if it is already dead.
1528 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1530 * freeze.adb (Freeze_Fixed_Point_Type): When freezing a
1531 fixed-point subtype, check whether the parent type declarastion
1532 includes an aspect specification for the 'Small type attribute,
1533 and inherit the specified value.
1535 2019-07-22 Javier Miranda <miranda@adacore.com>
1537 * freeze.adb (Freeze_Subprogram): Check that C++ constructors
1538 must have external or link name.
1540 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1542 * sem_res.adb (Resolve_Selected_Component): If the prefix has a
1543 deferred reference, generate the correct reference now, to
1544 indicate that the previous assignment is used. This prevents
1545 spurious warnings on useless assignments when compiling with all
1546 warnings enabled. when there is a subsequent call in the same
1547 stqtement list, in which the prefix of the selected component is
1548 the actual for an out parameter.
1550 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1552 * exp_attr.adb (Expand_Loop_Entry_Attribute): Copy the condition
1553 of a while loop instead of simply relocating it.
1555 2019-07-18 Arnaud Charlet <charlet@adacore.com>
1557 * Makefile.rtl, expect.c, env.c, aux-io.c, mkdir.c, initialize.c,
1558 cstreams.c, raise.c, tracebak.c, adadecode.c, init.c, raise-gcc.c,
1559 argv.c, adaint.c, adaint.h, ctrl_c.c, sysdep.c, rtinit.c, cio.c,
1560 seh_init.c, exit.c, targext.c: Introduce a "STANDALONE" mode where C
1561 runtime files do not have any dependency on GCC include files.
1562 Remove unnecessary includes.
1563 Remove remaining references to VMS in runtime C file.
1564 * runtime.h: new File.
1566 2019-07-13 Andreas Schwab <schwab@linux-m68k.org>
1568 * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
1570 2019-07-11 Piotr Trojanek <trojanek@adacore.com>
1572 * lib-writ.adb (Ensure_System_Dependency,
1573 Up_To_Date_ALI_File_Exists, Write_ALI): Replace low-level access
1574 to table with a high-level query.
1576 2019-07-11 Piotr Trojanek <trojanek@adacore.com>
1578 * checks.adb: Fix typo in comment.
1579 * sem.adb (Semantics): Avoid repeated calls to
1580 In_Extended_Main_Source_Unit by reusing an already-cached
1582 * sem_util.adb (First_Global): Fix style.
1584 2019-07-11 Yannick Moy <moy@adacore.com>
1586 * sem_res.adb (Resolve_Call): Do not perform dimensionality
1587 checking on inlined bodies.
1589 2019-07-11 Yannick Moy <moy@adacore.com>
1591 * debug.adb: Flip meaning of debug switch -gnatdF.
1593 2019-07-11 Yannick Moy <moy@adacore.com>
1595 * sem_eval.adb (Is_Same_Value): Add special case for rewritten
1596 Loop_Entry attribute.
1598 2019-07-11 Claire Dross <dross@adacore.com>
1600 * gnat1drv.adb: SPARK checking rules for pointer aliasing are
1601 moved to GNATprove backend.
1602 * sem_spark.ads, sem_spark.adb (Sem_SPARK): Is now a generic
1603 unit. Takes as parameters:
1604 - Retysp which is used to query the most underlying type
1605 visible in SPARK. We do not introduce aliasing checks for
1606 types which are not visibly deep.
1607 - Component_Is_Visible_In_SPARK is used to avoid doing pointer
1608 aliasing checks on components which are not visible in SPARK.
1609 - Emit_Messages returns True in the second phase of SPARK
1610 analysis. Error messages for failed aliasing checks are only
1611 output in this case.
1612 Additionally, errors on constructs not supported in SPARK are
1613 removed as duplicates of marking errors. Components are stored
1614 in the permission map using their original component to avoid
1615 inconsistencies between components of different views of the
1617 (Check_Expression): Handle delta constraints.
1618 (Is_Deep): Exported so that we can check for SPARK restrictions
1619 on deep types inside SPARK semantic checkings.
1620 (Is_Traversal_Function): Exported so that we can check for SPARK
1621 restrictions on traversal functions inside SPARK semantic
1623 (Check_Call_Statement, Read_Indexes): Check wether we are
1624 dealing with a subprogram pointer type before querying called
1626 (Is_Subpath_Expression): Image attribute can appear inside a
1628 (Check_Loop_Statement): Correct order of statements in the loop.
1629 (Check_Node): Ignore raise nodes.
1630 (Check_Statement): Use Last_Non_Pragma to get the object
1631 declaration in an extended return statement.
1633 2019-07-11 Patrick Bernardi <bernardi@adacore.com>
1635 * bindgen.adb (Gen_Main): Do not generate a reference to
1636 Ada_Main_Program_Name when the Minimal_Binder flag is set.
1637 (Gen_Output_File_Ada): Do not output GNAT_Version and
1638 Ada_Main_Program_Name info if Minimal_Binder flag is set.
1639 * bindusg.adb: Add documentation for new -minimal switch.
1640 * gnatbind.adb (Scan_Bind_Arg): Scan -minimal switch.
1641 * opt.ads: Add new global flag Minimal_Binder to indicate if the
1642 binder should not produce global variables.
1643 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
1644 Update documentation with new binder -minimal switch.
1645 * gnat_ugn.texi: Regenerate.
1647 2019-07-11 Eric Botcazou <ebotcazou@adacore.com>
1649 * Makefile.rtl: Add warning note about compilation flags and
1652 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1654 * exp_ch9.adb (Expand_N_Protected_Type_Declaaration): New
1655 subsidiary routine Replace_Access_Definition, to handle properly
1656 a protected type PT one of whose private components is of type
1659 2019-07-11 Dmitriy Anisimkov <anisimko@adacore.com>
1661 * libgnat/g-socket.ads (Level_Type): Add enumerators for
1662 IP_Protocol_For_ICMP, IP_Protocol_For_IGMP,
1663 IP_Protocol_For_RAW_Level.
1664 * libgnat/g-socket.adb (Levels): Handle them.
1665 * s-oscons-tmplt.c: Import socket protocols defined in
1668 2019-07-11 Claire Dross <dross@adacore.com>
1670 * libgnat/a-cfhama.adb, libgnat/a-cfhase.adb (Free): Do not
1671 reset the Has_Element flag if no element is freed.
1673 2019-07-11 Arnaud Charlet <charlet@adacore.com>
1675 * errno.c: Remove obsolete support for MaRTE OS.
1677 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1679 * exp_ch4.adb (Expand_N_Type_Conversion): If a predicate check
1680 is generated, analyze it with range check suppressed, because
1681 that check has been previously applied.
1682 * exp_ch5.adb (Expand_N_Assignment_Statement): If the RHS is a
1683 type conversion to the type of the LHS, do not apply a predicate
1684 check to the RHS because it will have been generated already
1685 during its expansion.
1686 * exp_ch6.adb (Can_Fold_Predicate_Call): Extend processing to
1687 handle a predicate check on a constant entity whose value is
1690 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1692 * bindo.adb: Remove the documentation of switch -d_N because it
1693 is no longer in use.
1694 * bindo-graphs.ads, bindo-graphs.adb (Is_Spec_Before_Body_Edge):
1696 * bindo-writers.adb (Write_Dependency_Edge): Add the missing
1697 case of a spec-before-body edge.
1699 2019-07-11 Dmitriy Anisimkov <anisimko@adacore.com>
1701 * libgnat/g-socket.ads (Mode_Type): Add a Socket_Raw enumerator.
1702 * libgnat/g-socket.adb (Modes): Handle Socket_Raw.
1704 2019-07-11 Justin Squirek <squirek@adacore.com>
1706 * exp_ch9.adb (Build_Private_Protected_Declaration): Add
1707 exception for the moving of pragmas to internally generated
1708 specs for pragma Unreferenced.
1710 2019-07-11 Bob Duff <duff@adacore.com>
1712 * doc/gnat_ugn/gnat_utility_programs.rst: Fix inconsistent
1713 documentation for gnatmetric.
1714 * gnat_ugn.texi: Regenerate.
1716 2019-07-11 Bob Duff <duff@adacore.com>
1718 * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
1719 --spaces-only switch.
1721 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1723 * sem_util.adb (Null_Status): Assume that an erroneous construct
1724 has an undefined null status.
1726 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1728 * checks.adb, exp_ch6.adb, gnat1drv.adb, sem_aux.adb,
1729 sem_ch2.adb, sem_ch8.adb, sem_res.adb: Minor reformatting.
1731 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1733 * sem_ch8.adb (Analyze_Object_Renaming): Obtain the object being
1734 renamed using routine Get_Object_Name which takes care of
1736 (Get_Object_Name): New routine.
1738 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1740 * exp_ch6.adb (Can_Fold_Predicate_Call): New function,
1741 subsidiary of Expand_Call_Helper, to compute statically a
1742 predicate check when the argument is a static integer.
1744 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1746 * sem_res.adb (Resolve_Op_Not): Do not rewrite an equality
1747 operator into a function call when the operator is intrinsic.
1749 2019-07-11 Thomas Quinot <quinot@adacore.com>
1751 * sem_prag.adb (Analyze_Pragma, case pragma Check): Do not call
1752 Set_SCO_Pragma_Enabled for the dynamic predicate case.
1754 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1756 * exp_util.ads, exp_util.adb (Needs_Finalization): Move to
1758 * sem_ch9.adb (Analyze_Protected_Definition): Code cleanup. Mark
1759 the protected type as having controlled components when it
1760 contains at least one such component.
1761 * sem_util.ads, sem_util.adb (Needs_Finalization): New
1764 2019-07-11 Eric Botcazou <ebotcazou@adacore.com>
1766 * alloc.ads (Rep_JSON_Table_Initial): New constant.
1767 (Rep_JSON_Table_Increment): Likewise.
1768 * debug.adb: Document -gnatd_j switch.
1769 * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add
1771 * gnat1drv.adb: Add with clause for Repinfo.Input.
1772 Add with and use clauses for Sinput.
1773 (Read_JSON_Files_For_Repinfo): New procedure.
1774 (Gnat1drv1): Deal with -gnatd_j switch.
1775 * repinfo-input.ad[sb]: New unit.
1776 * snames.ads-tmpl (Name_Discriminant): New constant.
1777 (Name_Operands): Likewise.
1779 2019-07-11 Justin Squirek <squirek@adacore.com>
1781 * checks.adb (Apply_Accessibility_Check): Add check for constant
1782 folded conditions on accessibility checks.
1784 2019-07-11 Arnaud Charlet <charlet@adacore.com>
1786 * libgnarl/g-thread.ads, libgnarl/g-thread.adb (Get_Thread):
1787 Update comments. Add new version taking a Task_Id.
1789 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1791 * bindo.adb: Update the section of switches and debugging
1793 * bindo.ads: Add type Elaboration_Phase.
1794 * bindo-augmentors.adb: Add use clause for
1795 Bindo.Writers.Phase_Writers.
1796 (Augment_Library_Graph): Signal the start and end of the
1798 * bindo-builders.adb: Add with and use clause for Bindo.Writers.
1799 Add use clause for Bindo.Writers.Phase_Writers.
1800 (Build_Invocation_Graph): Signal the start and end of the
1801 invocation graph construction phase.
1802 (Build_Library_Graph): Signal the start and end of the library
1803 graph construction phase.
1804 * bindo-diagnostics.adb: Add use clause for
1805 Bindo.Writers.Phase_Writers.
1806 (Diagnose_Cycle): Signal the start and end of the cycle
1808 * bindo-elaborators.adb: Add use clause for
1809 Bindo.Writers.Phase_Writers.
1810 (Elaborate_Units): Signal the start and end of the unit
1812 * bindo-graphs.adb: Add use clause for
1813 Bindo.Writers.Phase_Writers.
1814 (Find_Components): Signal the start and end of the component
1816 (Find_Cycles): Signal the start and end of the cycle discovery
1818 * bindo-units.adb: Add with and use clause for Bindo.Writers.
1819 Add use clause for Bindo.Writers.Phase_Writers.
1820 (Collect_Elaborable_Units): Signal the start and end of the unit
1822 * bindo-validators.adb: Add with and use clause for
1823 Bindo.Writers. Add use clause for Bindo.Writers.Phase_Writers.
1824 (Validate_Cycles, Validate_Elaboration_Order,
1825 Validate_Invocation_Graph, Validate_Library_Graph): Signal the
1826 start and end of the libray graph validation phase.
1827 * bindo-writers.ads, bindo-writers.adb: Add new nested package
1829 * debug.adb: Update the documentation of switch d_S.
1831 2019-07-11 Yannick Moy <moy@adacore.com>
1833 * sem_res.adb (Check_Argument_Order): Special case calls to
1836 2019-07-10 Dmitriy Anisimkov <anisimko@adacore.com>
1838 * libgnat/s-ststop.adb: Remove System.Strings.Stream_Ops
1839 dependence on System.Streams.Stream_IO.
1841 2019-07-10 Ed Schonberg <schonberg@adacore.com>
1843 * sem_ch2.adb (Analyze_Integer_Literal): Preserve the type of
1844 the literal if prior analysis determined that its type is a
1845 modular integer type.
1847 2019-07-10 Doug Rupp <rupp@adacore.com>
1849 * init.c: Do not attempt to re-arm guard page on x86_64-vx7(r2).
1851 2019-07-10 Ed Schonberg <schonberg@adacore.com>
1853 * sem_ch8.adb (Check_Constrained_Object): A record that is
1854 limited because of the presence of a limited component is
1855 constrained, and no subtype indiciation needs to be created for
1856 it, just as is the case for declared limited records.
1858 2019-07-10 Yannick Moy <moy@adacore.com>
1860 * sem_aux.adb, sem_aux.ads (Is_Protected_Operation): New
1861 function to determine if a subprogram is protected.
1862 * sem_spark.adb (Setup_Protected_Components): New procedure to
1863 add protected components to the environment.
1864 (Check_Callable_Body): Call the new Setup_Protected_Components.
1865 (Check_Package_Spec): Merge local environment with enclosing one
1868 2019-07-10 Claire Dross <dross@adacore.com>
1870 * sem_spark.adb (Check_Expression): Allow digits constraints as
1872 (Illegal_Global_Usage): Pass in the entity.
1873 (Is_Subpath_Expression): New function to allow different nodes
1874 as inner parts of a path expression.
1875 (Read_Indexes): Allow concatenation and aggregates with box
1876 expressions. Allow attributes Update and Loop_Entry.
1877 (Check_Expression): Allow richer membership test.
1878 (Check_Node): Ignore bodies of generics.
1879 (Get_Root_Object): Allow concatenation and attributes.
1881 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1883 * sem_ch6.adb (Check_Discriminant_Conformance): Use Find_Type to
1884 discover the type of a full view discriminant.
1886 2019-07-10 Arnaud Charlet <charlet@adacore.com>
1888 * doc/gnat_ugn/gnat_and_program_execution.rst: Improve gnatmem's
1889 doc for the depth switch.
1891 2019-07-10 Bob Duff <duff@adacore.com>
1893 * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
1894 --source-line-breaks switch.
1896 2019-07-10 Justin Squirek <squirek@adacore.com>
1898 * doc/gnat_rm/implementation_defined_attributes.rst: Add mention
1899 of 'Image attribute with 'Img's entry to mention additional
1900 added 2012 usage of Obj'Image.
1901 * doc/gnat_rm/implementation_defined_pragmas.rst: Correct
1902 mispelling of Async_Writers.
1903 * gnat_rm.texi: Regenerate.
1904 * sem_prag.adb (Analyze_Pragma): Correct mispelling of
1906 * sem_util.adb (State_Has_Enabled_Property): Correct mispelling
1909 2019-07-10 Simon Buist <buist@adacore.com>
1911 * sem_util.ads (Child_Prefix): New constant.
1912 * sem_util.adb (Unique_Name): Add a special prefix to child
1913 units that have a nested subprogram or package.
1915 2019-07-10 Arnaud Charlet <charlet@adacore.com>
1917 * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert.
1919 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1921 * sem_ch3.adb (Check_Nonoverridable_Aspects): Correct the
1922 spelling in certain error messages.
1923 (Check_Pragma_Implemented): Correct the spelling in certain
1926 2019-07-10 Eric Botcazou <ebotcazou@adacore.com>
1928 * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add g-brapre.
1929 * libgnat/g-brapre.ads: New package specification.
1930 * doc/gnat_rm/the_gnat_library.rst: Document it.
1931 * gnat_rm.texi: Regenerate.
1933 2019-07-10 Yannick Moy <moy@adacore.com>
1935 * osint-c.adb (Set_File_Name): Always add extension for multiple
1936 units per file mode.
1938 2019-07-10 Corentin Gay <gay@adacore.com>
1940 * sysdep.c: Put include directive for 'vxWorks.h' before any
1941 other VxWorks headers.
1943 2019-07-10 Eric Botcazou <ebotcazou@adacore.com>
1945 * doc/gnat_rm/implementation_defined_attributes.rst
1946 (Scalar_Storage_Order): Minor tweaks. Add note about debuggers.
1947 * gnat_rm.texi: Regenerate.
1949 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1951 * exp_ch4.adb (Expand_N_Case_Expression): Mark the generated
1952 assignments to the temporary result as being OK because the
1953 expansion of case expressions is correct by construction.
1954 (Is_Copy_Type): Update the predicate to match the comment
1957 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1959 * bindo-graphs.adb, bindo.adb, debug.adb, exp_ch6.adb,
1960 sem_ch10.adb, sem_ch13.adb, sem_ch3.adb, sem_ch4.adb,
1961 sem_ch6.adb, sem_ch7.adb, sem_res.adb, sem_spark.adb,
1962 sem_util.adb, warnsw.ads: Minor reformatting.
1964 2019-07-10 Joffrey Huguet <huguet@adacore.com>
1966 * libgnat/a-strbou.ads, libgnat/a-strfix.ads,
1967 libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add global
1968 contracts, contract cases, preconditions and postconditions to
1969 procedures and functions.
1971 2019-07-10 Doug Rupp <rupp@adacore.com>
1973 * sysdep.c (__gnat_is_file_not_found_error): Reformulate to also
1974 work for vxworks7r2 SR0610.
1976 2019-07-10 Doug Rupp <rupp@adacore.com>
1978 * env.c (__gnat_environ): Reformulate to also work for
1981 2019-07-10 Patrick Bernardi <bernardi@adacore.com>
1983 * Makefile.rtl: Handle vxworks7r2 ppc target
1985 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1987 * bindo.adb: Update the section on switches.
1989 (Add_Cycle, Add_Vertex_And_Complement): Remove.
1990 (Create): The graph no longer needs a set of recorded cycles
1991 because the cycles are not rediscovered in permuted forms.
1992 (Cycle_End_Vertices): New routine.
1993 (Destroy): The graph no longer needs a set of recorded cycles
1994 because the cycles are not rediscovered in permuted forms.
1995 (Destroy_Library_Graph_Vertex): Move to the library level.
1996 (Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge):
1998 (Find_Cycles_From_Successor, Find_Cycles_From_Vertex,
1999 Find_Cycles_In_Component, Has_Elaborate_All_Edge): New routines.
2000 (Insert_And_Sort): Remove.
2001 (Is_Elaborate_Body_Edge): Use predicate
2002 Is_Vertex_With_Elaborate_Body.
2003 (Is_Recorded_Cycle): Remove.
2004 (Is_Vertex_With_Elaborate_Body): New routine.
2005 (Normalize_And_Add_Cycle): Remove.
2006 (Precedence): Rename to xxx_Precedence, where xxx relates to the
2007 input. These versions better reflect the desired input
2009 (Record_Cycle): New routine.
2010 (Remove_Vertex_And_Complement, Set_Is_Recorded_Cycle): Remove.
2011 (Trace_xxx): Update all versions to use debug switch -d_t.
2012 (Trace_Component): New routine.
2013 (Trace_Eol): Removed.
2014 (Trace_Vertex): Do not output the component as this information
2015 is already available when the component is traced.
2016 (Unvisit, Visit): New routine.
2017 * bindo-graphs.ads: Add new instance LGV_Lists. Remove instance
2018 RC_Sets. Update the structure of type Library_Graph_Attributes
2019 to remove the set of recorded cycles.
2020 (Destroy_Library_Graph_Vertex): Move to the library level.
2021 * bindo-writers.adb (Write_Component_Vertices): Output
2022 information about the number of vertices.
2023 * debug.adb: Document the use of binder switch -d_t. Update the
2024 use of binder switch -d_T.
2026 2019-07-10 Yannick Moy <moy@adacore.com>
2028 * sem_spark.adb (Get_Root_Object): Replace precondition by error
2030 (Read_Indexes): Replace precondition by error message.
2031 (Check_Callable_Body): Check only traversal function returns an
2032 anonymous access type.
2033 (Check_Expression): Issue error on unexpected expression as
2035 * sem_util.adb (First_Global): Fix access to global on
2038 2019-07-10 Javier Miranda <miranda@adacore.com>
2040 * exp_ch6.adb (Is_Class_Wide_Interface_Type): New subprogram.
2041 (Expand_Call_Helper): Handle non-limited views when we check if
2042 any formal is a class-wide interface type.
2043 * exp_disp.adb (Expand_Interface_Actuals): Handle non-limited
2044 views when we look for interface type formals to force "this"
2047 2019-07-10 Ed Schonberg <schonberg@adacore.com>
2049 * sem_res.adb (Resolve_Equality_Op): Do not replace the resolved
2050 operator by its alias if expander is not active, because the
2051 operand type may not be frozen yet and its inherited operations
2052 have not yet been created.
2054 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
2056 * bindo-elaborators.adb (Elaborate_Units): Set attribute
2057 Elab_Position of all elaborated units.
2058 (Set_Unit_Elaboration_Positions): New routine.
2060 2019-07-10 Gary Dismukes <dismukes@adacore.com>
2062 * exp_util.adb: Reformatting and a typo fix.
2064 2019-07-10 Yannick Moy <moy@adacore.com>
2066 * exp_util.adb (Remove_Side_Effects): Prefer renamings for
2067 objects of possible owning type in GNATprove mode.
2069 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2071 * sem_ch3.adb (Analyze_Object_Declaration): If the object type
2072 is a composite type that has a dynamic predicate and, the
2073 expression in the declaration is an aggregate, the generated
2074 predicate check must appear after the expanded code for the
2075 aggregate, which will appear after the rewritten object
2078 2019-07-09 Justin Squirek <squirek@adacore.com>
2080 * sem_eval.adb (Expr_Value_E): Add conditional to correctly
2081 handle constant enumerated character types.
2083 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
2085 * libgnarl/s-osinte__mingw.ads (CRITICAL_SECTION): Use proper
2086 type for SpinCount component.
2088 2019-07-09 Justin Squirek <squirek@adacore.com>
2090 * exp_ch4.adb (Expand_N_Allocator): Add conditional to detect
2091 the presence of anoymous access type allocators and issue a
2092 warning if the appropriate warning flag is enabled.
2093 * warnsw.ads: Add new warning flag for anonymous allocators
2094 * warnsw.adb (All_Warnings, Restore_Warnings, Save_Warnings,
2095 Set_Underscore_Warning_Switch): Register new flags.
2096 (WA_Warnings): Register new flag as an "all warnings" switch
2098 doc/gnat_ugn/building_executable_programs_with_gnat.rst:
2099 Document new warning switches -gnatw_a and -gnatw_A.
2100 * gnat_ugn.texi: Regenerate.
2102 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2104 * sem_ch4.adb (Diagnose_Call): Improve error recovery when a
2105 local subprogram name hides a possible candidate name declared
2106 in a child package in the context of the current unit.
2107 * sem_ch6.adb (Process_Formals): Protect against malformed
2108 formal types when the parameter type does not denote an entity.
2110 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2112 * bindo-augmentors.adb (Visit_Elaboration_Root): Do not start a
2113 DFS from an elaboration root whose corresponding unit lacks
2114 elaboration code. This behavior mimics that of the old
2115 elaboration order mechanism.
2116 * bindo-graphs.adb (Find_All_Cycles_Through_Vertex): Move the
2117 vertex tracing within the functional branches of the routine.
2118 This prevents spurious trace output.
2119 (Has_No_Elaboration_Code): New routine.
2120 (Trace_Cycle, Trace_Edge): Update the various Ids to use the
2121 "standard" trace format.
2122 * bindo-graphs.ads (Has_No_Elaboration_Code): New routine.
2123 * bindo-units.ads, bindo-units.adb (Has_No_Elaboration_Code):
2126 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2128 * ali.ads, bindo-graphs.adb, bindo-validators.adb, clean.adb,
2129 doc/gnat_ugn/elaboration_order_handling_in_gnat.rst, einfo.ads,
2130 exp_aggr.adb, exp_ch13.adb, exp_ch4.adb, exp_ch5.adb,
2131 exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_pakd.adb,
2132 fname-uf.ads, gnatlink.adb, inline.adb, lib.ads, make.adb,
2133 namet.ads, opt.ads, par-ch4.adb, par-ch6.adb, par-labl.adb,
2134 prep.adb, sem_aggr.adb, sem_ch13.adb, sem_ch4.adb, sem_ch5.adb,
2135 sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch8.adb, sem_dim.adb,
2136 sem_disp.adb, sem_prag.adb, sem_res.adb, sem_warn.adb,
2137 sinfo.ads: Replace ". " with ". ". Minor reformatting and typo
2139 * gnat_ugn.texi: Generate.
2141 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2143 * bindo.ads: Move type Precedence_Kind from the private to the
2144 visible part of the unit.
2145 * bindo-augmentors.adb: Remove the use of global data as it is
2147 (Augment_Library_Graph): Update the parameter profile.
2148 (Is_Visited, Set_Is_Visited): Remove.
2149 (Visit_Elaboration_Root, Visit_Elaboration_Roots): Update the
2150 parameter profile and comment on usage.
2151 (Visit_Vertex): Likewise. Also keep track of which invocation
2152 edge activates a task.
2153 * bindo-augmentors.ads (Augment_Library_Graph): Update the
2154 parameter profile and comment on usage.
2155 * bindo-builders.adb (Create_Forced_Edge,
2156 Create_Spec_And_Body_Edge, Create_With_Edge): Update the call to
2158 * bindo-diagnostics.adb: Add with end use clauses for Restrict
2160 (Output_Dynamic_Model_Suggestions): Remove.
2161 (Output_Invocation_Related_Suggestions): New routine.
2162 (Output_Suggestions): Output all invocation-related suggestions
2164 * bindo-elaborators.adb: Remove types Comparator_Ptr and
2166 (Find_Best_Vertex): Update the parameter profile.
2167 * bindo-graphs.adb (Activates_Task): New routine.
2168 (Add_Body_Before_Spec_Edge): Update the call to
2169 Add_Edge_With_Return.
2170 (Add_Edge): Update the parameter profile and the call to
2171 Add_Edge_With_Return.
2172 (Add_Edge_With_Return): Update the parameter profile and comment
2174 (At_Least_One_Edge_Satisfies): New routine.
2175 (Contains_Elaborate_All_Edge): Reimplement.
2176 (Contains_Static_Successor_Edge, Contains_Task_Activation): New
2178 (Contains_Weak_Static_Successor): Remove.
2179 (Is_Static_Successor_Edge): New routine.
2180 * bindo-graphs.ads: Add types LGE_Predicate_Ptr,
2181 LGV_Comparator_Ptr, and LGV_Predicate_Ptr. Update type
2182 Library_Graph_Edge_Attributes to capture whether an invocation
2183 edge activates a task. Update the value of
2184 No_Library_Graph_Edge_Attributes.
2185 (Activates_Task): Update the parameter profile and comment on
2187 (Contains_Static_Successor_Edge, Contains_Task_Activation): New
2189 (Contains_Weak_Static_Successor): Remove.
2190 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst:
2191 Update the documentation to reflect the new task-related advice.
2192 * gnat_ugn.texi: Regenerate.
2194 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2196 * exp_util.adb (Containing_Package_With_Ext_Axioms): Replace
2197 low-level Ekind test with a high-level wrapper.
2199 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2201 * libgnat/s-memory.adb: Disable calls to Abort defer/undefer
2202 when ZCX_By_Default.
2204 2019-07-09 Javier Miranda <miranda@adacore.com>
2206 * sem_ch13.adb (Rep_Item_Too_Early): Representation clauses are
2207 not allowed for a derivation of a generic type. Extend the
2208 current test to check that none of the parents is a generic
2211 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2213 * exp_ch9.adb, exp_util.adb, repinfo.adb, sem_ch12.adb,
2214 sem_prag.adb, sem_res.adb, sem_spark.adb, sem_util.adb: Minor
2217 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2219 * sem_res.adb (Resolve_Equality_Op): If the node was overloaded,
2220 set properly the entity to which the node has been resolved. The
2221 original entity is the first one found during analysis, and is
2222 not necessarily the resolved one.
2223 (Resolve_Op_Not): If the argument of negation is an overloaded
2224 equality operation, call its resolution directly given that the
2225 context type does not participate in overload resolution.
2227 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2229 * bindo.adb: Remove with and use clauses for Debug. Add with
2230 and use clauses for Opt.
2231 (Find_Elaboration_Order): Enable the v4.0 elaboration order. The
2232 v3.0 mechanism is now available under binder switch -H.
2233 * bindusg.adb (Display): Enable switch -H.
2234 * debug.adb: Free compiler switch -gnatd_G. Free binder switch
2236 * sem_elab.adb: Update the section on switches to remove
2238 (Invocation_Graph_Recording_OK): The invocation graph is now
2239 unconditionally recorded in ALI files.
2240 * switch-b.adb (Scan_Binder_Switches): Scan switch -H.
2241 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
2242 Update the documentation on compiler switches related to
2243 elaboration. Update the documentation on binder switches to
2245 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
2246 the documentation on elaboration order handling in GNAT.
2247 * gnat_ugn.texi: Regenerate.
2249 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
2251 * repinfo.adb (List_Entities): Disregard formals altogether.
2252 (List_Name): Properly escape the double quote in the JSON
2255 2019-07-09 Javier Miranda <miranda@adacore.com>
2257 * exp_util.adb (Remove_Side_Effects): Preserve the
2258 Do_Range_Check flag.
2260 2019-07-09 Yannick Moy <moy@adacore.com>
2262 * sinfo.ads: Refine comment for Do_Range_Check.
2264 2019-07-09 Yannick Moy <moy@adacore.com>
2266 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
2267 attribute reference on Enum_Rep.
2269 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2271 * sem_ch12.adb (Instantiate_Formal_Package): Handle properly the
2272 case where the actual for a formal package in an instance is the
2273 current instance of an enclosing generic package.
2274 (Check_Formal_Packages): If the formal package declaration is
2275 box-initialized or lacks associations altogether, no internal
2276 instance was created to verify conformance, and there is no
2277 validating package to remove from tree.
2279 2019-07-09 Yannick Moy <moy@adacore.com>
2281 * freeze.adb (Build_Renamed_Body): Do not set body to inline in
2284 2019-07-09 Yannick Moy <moy@adacore.com>
2286 * exp_util.adb (Expand_Subtype_From_Expr): Still expand the type
2287 of static expressions in GNATprove_Mode.
2288 * sem_ch3.adb (Analyze_Object_Declaration): Remove obsolete
2289 special case for GNATprove_Mode.
2291 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2293 * doc/gnat_rm/the_gnat_library.rst,
2294 doc/gnat_ugn/building_executable_programs_with_gnat.rst,
2295 erroutc.adb, libgnat/g-comlin.adb, libgnat/g-comlin.ads,
2296 libgnat/g-regexp.ads, libgnat/g-regpat.ads,
2297 libgnat/g-spipat.ads, libgnat/s-os_lib.ads,
2298 libgnat/s-regexp.ads: Reword "wild card" to "wildcard".
2299 * gnat_rm.texi, gnat_ugn.texi: Regenerate.
2301 2019-07-09 Yannick Moy <moy@adacore.com>
2303 * sem_spark.adb (Check_Expression): Handle correctly implicit
2304 assignments as part of allocators and (extension) aggregates.
2305 (Get_Root_Object): Adapt for new path expressions.
2306 (Is_Path_Expression): Return True for (extension) aggregate.
2308 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2310 * einfo.ads: Fix a typo.
2312 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2314 * sem_util.adb (Scope_Within_Or_Same): Handle properly task
2315 bodies and protected bodies, so that local variables within have
2316 their proper scopes after these constructs have been rewritten
2317 during expansion. This patch resembles but is not identical to
2318 the code in Scope_Within.
2320 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2322 * gnat1drv.adb (Adjust_Global_Switches): Set
2323 Dynamic_Elaboration_Checks to True in CodePeer mode.
2325 2019-07-09 Yannick Moy <moy@adacore.com>
2327 * sem_spark.adb (Get_Perm_Or_Tree): Issue an error when
2328 encountering unknown global variable.
2330 2019-07-09 Yannick Moy <moy@adacore.com>
2332 * sem_spark.adb (Check_Expression): Change signature to take an
2333 Extended_Checking_Mode, for handling read permission checking of
2334 sub-expressions in an assignment.
2335 (Check_Parameter_Or_Global): Adapt to new behavior of
2336 Check_Expression for mode Assign.
2337 (Check_Safe_Pointers): Do not analyze generic bodies.
2338 (Check_Assignment): Separate checking of the target of an
2341 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
2343 * repinfo.ads (JSON format): Adjust.
2344 * repinfo.adb (Need_Blank_Line): Rename to...
2345 (Need_Separator): ...this.
2346 (Blank_Line): Rename to...
2347 (Write_Separator): ...this and add JSON specific handling.
2348 (List_Array_Info): Adjust to above renaming.
2349 (List_Object_Info): Likewise.
2350 (List_Record_Info): Likewise.
2351 (List_Subprogram_Info): Likewise.
2352 (List_Type_Info): Likewise.
2353 (List_Entities): Do not set Need_Blank_Line.
2354 (List_Rep_Info): Set Need_Separator and add JSON specific
2355 handling. Output a single JSON stream in the normal case.
2357 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2359 * doc/gnat_ugn/the_gnat_compilation_model.rst: Update doc on
2360 -fdump-ada-spec now that we generate Ada 2012.
2361 * gnat_ugn.texi: Regenerate.
2363 2019-07-08 Eric Botcazou <ebotcazou@adacore.com>
2365 * repinfo.adb (List_Common_Type_Info): New procedure extracted
2367 (List_Type_Info): ...here. Call it for the common information,
2368 start with a blank line and output the linker section at the
2370 (List_Mechanisms): Rename to...
2371 (List_Subprogram_Info): ...this.
2372 (List_Array_Info): Call List_Common_Type_Info.
2373 (List_Entities): Adjust to above change and renaming.
2374 (List_Record_Info): Call List_Common_Type_Info.
2376 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2378 * libgnat/g-sercom.ads
2379 (Serial_Port_Descriptor): New type.
2380 (Serial_Port): Add a comment, make it hold a
2381 Serial_Port_Descriptor.
2382 (To_Ada, To_C): New procedures.
2383 (Port_Data, Port_Data_Access): Remove types.
2384 * libgnat/g-sercom.adb (To_Ada): New stub.
2385 * libgnat/g-sercom__linux.adb, libgnat/g-sercom__mingw.adb:
2386 Update implementations accordingly.
2387 * s-oscons-tmplt.c: Bind Serial_Port_Descriptor to
2388 System.Win32.HANDLE on Windows, and to Interfaces.C.int on
2389 Linux. Add "Interfaces.C." prefix for other basic integer type
2391 * xoscons.adb (Output_Info): Remove the "Interfaces.C." prefix
2392 for subtypes generation.
2394 2019-07-08 Arnaud Charlet <charlet@adacore.com>
2396 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
2397 Update documentation on No_Exceptions restriction.
2398 * gnat_rm.texi: Regenerate.
2400 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2402 * libgnat/s-os_lib.adb: Do not call __gnat_kill for Invalid_Pid.
2404 2019-07-08 Piotr Trojanek <trojanek@adacore.com>
2406 * sem_util.adb (Enclosing_Package_Or_Subprogram): Do not expect
2407 package and subprogram bodies.
2409 2019-07-08 Bob Duff <duff@adacore.com>
2411 * doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
2412 of ignored GNATpp switch.
2414 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2416 * doc/gnat_rm/implementation_defined_pragmas.rst:
2417 Update the documentation of pragma Initialize_Scalars.
2418 * gnat_rm.texi: Regenerate.
2420 2019-07-08 Javier Miranda <miranda@adacore.com>
2422 * exp_ch4.adb (Tagged_Membership): Fix regression silently
2423 introduced in r260738 that erroneouslusy causes the evaluation
2424 to True of the membership test when the left operand of the
2425 membership test is a class-wide interface object and the right
2426 operand is a type that implements such interface type.
2428 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2430 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not
2431 register an address clause when its prefix denotes a generic
2434 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2436 * bindo-diagnostics.adb (Diagnose_Cycle): Capture the presence
2437 of an Elaborate_All edge before iterating over the edges of the
2439 (Output_Elaborate_Body_Transition): Update the parameter profile
2440 and the comment on usage. Add a missing case where the edge is
2441 within the context of an Elaborate_All.
2442 (Output_Transition): Update the call to
2443 Output_Elaborate_Body_Transition.
2444 * bindo-graphs.ads, bindo-graphs.adb
2445 (Contains_Elaborate_All_Edge): New routine.
2447 2019-07-08 Piotr Trojanek <trojanek@adacore.com>
2449 * lib-xref-spark_specific.adb (Create_Heap): Set dummy Etype for
2450 the fake __HEAP entity.
2452 2019-07-08 Daniel Mercier <mercier@adacore.com>
2454 * gnat1drv.adb: Suppress warnings on memory representation in
2455 CodePeer compiler mode.
2457 2019-07-08 Nicolas Roche <roche@adacore.com>
2459 * rtinit.c (__gnat_runtime_initialize): Remove dependency on
2462 2019-07-08 Doug Rupp <rupp@adacore.com>
2464 * Makefile.rtl: Handle vxworks7r2 in x86_64 and x86 vxworks7.
2466 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2468 * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
2470 2019-07-08 Yannick Moy <moy@adacore.com>
2472 * expander.adb (Expand): Do not reset Analyzed flag always.
2473 * sem_eval.adb (Fold_Ureal): Mark node as analyzed.
2475 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2477 * exp_ch9.adb (Expand_N_Timed_Entry_Call): Do not insert twice
2478 the assignment statement that computes the delay value, to
2479 prevent improper tree sharing when the value is a type
2480 conversion and Float_Overflow checks are enabled.
2482 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2484 * bindo.adb: Update the section on terminology to include new
2485 concepts. Update the section on switches to include new
2487 * bindo.ads: Add type Precedence_Kind.
2488 * bindo-builders.adb: Add with and use clauses for Debug and
2489 Bindo.Validators. Add use clauses for
2490 Bindo.Validators.Invocation_Graph_Validators and
2491 Bindo.Validators.Library_Graph_Validators.
2492 (Build_Invocation_Graph): Validate the graph immediately after
2494 (Build_Library_Graph): Update the parameter profile. The
2495 creation of the graph is now elaboration model-agnostic.
2496 Validate the graph immediately after it was built.
2497 (Create_With_Edge): Create regular with edges for Elaborate and
2498 Elaborate_All edges when the appropriate debug switches are in
2500 * bindo-builders.ads (Build_Library_Graph): Update the parameter
2502 * bindo-diagnostics.adb (Diagnose_Cycle): Track the presence of
2503 an Elaborate_All edge throughout the inspection of the cycle's
2505 (Output_Dynamic_Model_Suggestions): Output the suggestion only
2506 when the cycle contains at least one weak edge where the
2507 successor was statically elaborated.
2508 (Output_Elaborate_Body_Transition, Output_Forced_Transition,
2509 Output_With_Transition): Update the assertions.
2510 * bindo-elaborators.adb: Remove use clauses for
2511 Bindo.Validators.Invocation_Graph_Validators and
2512 Bindo.Validators.Library_Graph_Validators. Remove strings
2513 Add_To_All_Candidates_Msg and Add_To_Comp_Candidates_Msg.
2514 Remove type String_Ptr.
2515 (Add_Vertex, Add_Vertex_If_Elaborable, Create_All_Candidates_Set
2516 Create_Component_Candidates_Set): Remove.
2517 (Create_Component_Vertex_Sets, Create_Vertex_Sets): New routine.
2518 (Elaborate_Component): Update the parameter profile and the
2519 comment on usage. Reimplement the elaboration of a component.
2520 The algorithm will now attempt to elaborate as many vertices
2521 possible. If this is not possible, and a weakly elaborable
2522 vertex is available use unit was compiled using the dynamic
2523 model, the algorithm will elaborate it.
2524 (Elaborate_Library_Graph): Reimplement the elaboration of the
2525 graph. The algorithm will now attempt to elaborate as many
2526 vertices along with their components as possible. If this is not
2527 possible, and a weakly elaborable vertex is available use unit
2528 was compiled using the dynamic model, the algorithm will
2529 elaborate it along with its component.
2530 (Elaborate_Units): Merge with the functionality of
2531 Elaborate_Units_Common.
2532 (Elaborate_Units_Common, Elaborate_Units_Dynamic,
2533 Elaborate_Units_Static): Remove.
2534 (Elaborate_Vertex): Update the parameter profile and the comment
2535 on usage. Reimplemented.
2536 (Find_Best_Candidate): Remove.
2537 (Find_Best_Elaborable_Vertex, Find_Best_Vertex,
2538 Find_Best_Weakly_Elaborable_Vertex, Has_Elaborable_Body,
2539 Insert_Elaborable_Successor, Insert_Vertex): New routines.
2540 (Is_Better_Candidate): Remove.
2541 (Is_Better_Elaborable_Vertex,
2542 Is_Better_Weakly_Elaborable_Vertex,
2543 Is_Suitable_Elaborable_Vertex,
2544 Is_Suitable_Weakly_Elaborable_Vertex): New routines.
2545 (Trace_Candidate_Vertices): Remove.
2546 (Trace_Component): Output the number of strong and weak
2548 (Trace_Unelaborated_Vertices): Remove.
2549 (Trace_Vertex): Output the number of strong and weak
2551 (Trace_Vertices): New routine.
2552 (Update_Successor, Update_Successors): Update the parameter
2553 profile and the comment on usage.
2554 * bindo-graphs.adb: Remove type Precedence_Kind.
2555 (Add_Edge_With_Return): Update the increment of pending
2557 (Add_Vertex): Provide default values for strong and weak
2559 (Complementary_Vertex): Move the initial declaration to the
2560 spec. Update the parameter profile and the comment on usage.
2561 (Contains_Weak_Static_Successor): New routine.
2562 (Create): Update the parameter profile. The creation of the
2563 graph is now elaboration model-agnostic.
2564 (Decrement_Pending_Predecessors): Update the parameter profile
2565 and the comment on usage. Reimplemented.
2566 (Delete_Edge): Update the decrement of pending predecesors.
2567 (Has_Elaborate_Body): Do not treat a vertex as being subject to
2568 Elaborate_Body when a debug switch is in effect.
2569 (Increment_Pending_Predecessors): Update the parameter profile
2570 and the comment on usage. Reimplemented.
2571 (Is_Elaborable_Component): Reimplemented.
2572 (Is_Elaborable_Vertex): Move the initial declaration to the
2573 spec. Reimplemented.
2574 (Is_Elaborate_Body_Pair): New routine.
2575 (Is_Dynamically_Elaborated): Update the parameter profile.
2577 (Is_Weakly_Elaborable_Vertex): New routine.
2578 (Pending_Predecessors): Removed.
2579 (Pending_Predecessors_For_Elaboration,
2580 Pending_Strong_Predecessors, Pending_Weak_Predecessors,
2581 Update_Pending_Predecessors): New routines.
2582 (Update_Pending_Predecessors_Of_Components): Update the
2583 increment of pending predecessors.
2584 * bindo-graphs.ads: Update the components of type
2585 Component_Attributes. Update the components of type
2586 Library_Graph_Attributes. Update the components of type
2587 Library_Graph_Vertex_Attributes. Update the initialization of
2588 No_Component_Attributes. Update the initialization of
2589 No_Library_Graph_Vertex_Attributes.
2590 (Complementary_Vertex, Contains_Weak_Static_Successor): New
2592 (Create): Update the parameter profile and the comment on usage.
2593 (Decrement_Pending_Predecessors, Is_Dynamically_Elaborated):
2594 Update the parameter profile and the comment on usage.
2595 (Is_Elaborate_Body_Pair, Is_Weakly_Elaborable_Vertex): New
2597 (Pending_Predecessors): Removed.
2598 (Pending_Predecessors_For_Elaboration,
2599 Pending_Strong_Predecessors, Pending_Weak_Predecessors): New
2601 * bindo-writers.adb (Write_Components): Moved from the spec.
2602 (Write_Component): Output the strong and weak predecessors.
2603 (Write_Library_Graph): Output the components as part of the
2605 (Write_Library_Graph_Vertex): Output the strong and weak
2607 * bindo-writers.ads (Write_Components): Moved to the body.
2608 * debug.adb: Add and document new GNATbind switches -d_a, -d_b,
2610 * bindo-validators.adb: Minor reformattings.
2612 2019-07-08 Bob Duff <duff@adacore.com>
2614 * libgnat/g-sercom.ads, libgnat/g-sercom__linux.adb (Data_Rate):
2615 Support additional data rates.
2617 2019-07-08 Olivier Hainque <hainque@adacore.com>
2619 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Don't request
2620 DECL_ARTIFICIAL_P on elab proc declarations.
2622 2019-07-08 Eric Botcazou <ebotcazou@adacore.com>
2624 * repinfo.adb (List_Record_Info): Declare Incomplete_Layout and
2625 Not_In_Extended_Main local exceptions.
2626 (List_Structural_Record_Layout): For an extension, raise the
2627 former if the parent subtype has not been built and the latter
2628 if it is not declared in the main source unit. Fall back to the
2629 flat layout if either exception has been raised.
2631 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2633 * libgnat/a-strfix.adb (Delete): The RM describes the semantics
2634 of Delete as equivalent to that of Replace_String with a null
2635 argument. As a result, deleting a null string that starts past
2636 the end of its argument is a noop and must not raise
2639 2019-07-08 Javier Miranda <miranda@adacore.com>
2641 * exp_disp.adb (Register_Primitive): When registering a
2642 primitive in the secondary dispatch table, handle primitive
2643 inherited through several levels of type derivation (required to
2644 properly handle inherited 'null' primitive).
2646 2019-07-08 Bob Duff <duff@adacore.com>
2648 * doc/gnat_ugn/gnat_utility_programs.rst: Document handling of
2649 preprocessor directives in GNATpp.
2651 2019-07-08 Javier Miranda <miranda@adacore.com>
2653 * gnat1drv.adb (Post_Compilation_Validation_Checks:
2654 Validate_Compile_Time_Warning_Errors is now located in sem_prag
2655 (instead of sem_ch13).
2656 * sem_ch13.ads (Validate_Compile_Time_Warning_Error,
2657 Validate_Compile_Time_Warning_Errors): Move to sem_prag.
2659 (Compile_Time_Warnings_Errors): Move to sem_prag.
2660 (Initialize): Remove initialization of table
2661 Compile_Time_Warning_Errors.
2662 (Validate_Compile_Time_Warning_Error,
2663 Validate_Compile_Time_Warning_Errors): Move to sem_prag.
2664 * sem_prag.ads (Validate_Compile_Time_Warning_Errors): New
2666 * sem_prag.adb (Initialize): Initialize table
2667 Compile_Time_Warning_Errors.
2669 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2671 * sem_ch13.adb (Analyze_Aspect_Specifications): For a
2672 pre/postcondition of a generic subprogram declaration, do not
2673 use Relocate_Node on the aspect expression to construct the
2674 corresponding attribute specification, to prevent tree anomalies
2675 when the expression is a call with named actual parameters.
2677 2019-07-08 Javier Miranda <miranda@adacore.com>
2679 * sem_attr.adb (Analyze_Attribute [Attribute_Size]): For pragmas
2680 used to report user defined compile time warning or errors
2681 handle 'Size for types with known static RM size.
2683 2019-07-08 Justin Squirek <squirek@adacore.com>
2685 * exp_imgv.adb (Build_Enumeration_Image_Tables): Default SSO for
2686 the building of image tables.
2687 (Expand_Image_Attribute): Minor cleanup.
2689 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2691 * libgnat/g-socket.ads, libgnat/g-socket.adb: Improve
2693 (Get_Socket_Option, Set_Socket_Option): Remove default value for
2696 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2698 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): For an
2699 unanalized aspect in a generic context that has not been
2700 analyzed yet, if the aspect applies to a type, place the type on
2701 the scope stack to make its components visible, before checking
2702 conformance with the version of the expression analyzed at the
2705 2019-07-05 Justin Squirek <squirek@adacore.com>
2707 * checks.adb (Apply_Accessibility_Check): Add logic to fetch the
2708 function result accessibility level if one is required within
2709 the generated check.
2710 * exp_ch6.adb (Needs_Result_Accessibility_Level): Modify
2711 controlling elsif block to handle more cases such as anonymous
2712 access results and disable checking for coextensions.
2714 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2716 * sem_ch9.adb (Analyze_Accept_Statement): If this is an illegal
2717 accept statement for an enclosing entry abandon analysis to
2718 prevent scope mismatches and potential infinite loops in
2721 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2723 * ali.adb (For_Each_Invocation_Construct,
2724 For_Each_Invocation_Relation): New version.
2725 (Scan_ALI): Initialize field Invocation_Graph_Encoding.
2726 (Set_Invocation_Graph_Encoding): Update the setting of the
2727 invocation graph encoding.
2728 * ali.ads: Move field Invocation_Graph_Encoding from Unit_Record
2729 to ALI_Record because the encoding applies to the whole ALI,
2730 rather than one of the units (spec or body) for which the ALI
2732 (For_Each_Invocation_Construct, For_Each_Invocation_Relation):
2734 * bindo.adb: Update the section on switches. Complete the
2735 section of debugging elaboration order issues.
2736 (Find_Elaboration_Order): Prepare the routine for the switch
2737 from the old to the new elaboration order mechanism.
2738 * bindo-diagnostics.adb (Find_And_Output_Invocation_Paths):
2739 Manage a visited set used by Visit_Vertex.
2740 (Output_All_Cycles_Suggestions,
2741 Output_Dynamic_Model_Suggestions): Clarify the nature of the
2743 (Output_Elaborate_Body_Transition): Update the diagnostic to
2744 emit a better message.
2745 (Output_Forced_Suggestions, Output_Full_Encoding_Suggestions):
2746 Clarify the nature of the suggested switch.
2747 (Visit_Vertex): Update the parameter profile to add a set of
2748 invokers visited during the transition. This set prevents
2749 infinite exploration of the graph in case the invocations are
2751 * bindo-elaborators.adb: Add a use clause for
2752 Bindo.Writers.Dependency_Writers.
2753 (Elaborate_Units_Common): Output the library graph after it has
2754 been augmented with invocation edges. Output just the components
2755 instead of outputting the whole library graph again.
2756 (Elaborate_Units_Dynamic, Elaborate_Units_Static): Output the
2757 dependencies as expressed in the library graph.
2758 * bindo-units.adb (Invocation_Graph_Encoding): Update the
2759 extraction of the invocation graph encoding.
2760 * bindo-writers.adb: Add with and use clauses for Binderr and
2762 (palgc, plgc): New debug routine.
2763 (Write_Components): Moved to the spec. Add a header for the
2765 (Write_Dependencies, Write_Dependencies_Of_Vertex,
2766 Write_Dependency_Edge): New routine.
2767 (Write_Elaboration_Order): Update the logic to follow the format
2768 of Binde's order output.
2769 (Write_Library_Graph): Do not output the components every time
2770 the graph is written.
2771 (Write_Unit): Output the invocation graph encoding of the unit.
2772 Output the invocation constructs and relations for the unit
2774 * bindo-writers.ads (Write_Components): Moved from the body.
2775 (Write_Dependencies): New routine.
2776 * bindusg.adb: Prepare the routine for the switch from the old
2777 to the new elaboration order mechanism.
2778 * debug.adb: Binder switch -d_O is now not associated with any
2780 * einfo.adb (Is_Elaboration_Target): The attribute applies to
2781 packages, as specified by the comment on the attribute usage.
2782 * opt.ads: Add a global flag which controls the choice between
2783 the new and the legacy elaboration order mechanism.
2784 * sem_elab.adb: Add Package_Target to type Target_Kind.
2785 (Build_Elaborate_Body_Procedure, Build_Elaborate_Procedure,
2786 Build_Elaborate_Spec_Procedure, Check_Elaboration_Scenarios,
2787 Check_SPARK_Model_In_Effect): Use Main_Unit_Entity to obtain the
2788 entity of the main unit.
2789 (Create_Package_Rep): New routine.
2790 (Create_Target_Rep): Add processing for packages.
2791 (Declaration_Placement_Of_Node, Has_Prior_Elaboration): Use
2792 Main_Unit_Entity to obtain the entity of the main
2794 (Invocation_Graph_Recording_OK): Prepare the routine for the
2795 switch from the old to the new elaboration order mechanism.
2796 (Main_Unit_Entity): New routine.
2797 (Meet_Elaboration_Requirement,
2798 Process_Conditional_ABE_Variable_Reference): Use
2799 Main_Unit_Entity to obtain the entity of the main unit.
2800 (Process_Invocation_Instantiation): New routine.
2801 (Process_Invocation_Scenario): Add processing for
2803 * switch-b.adb (Scan_Binder_Switches): Prepare the routine for
2804 the switch from the old to the new elaboration order mechanism.
2806 2019-07-05 Joffrey Huguet <huguet@adacore.com>
2808 * libgnat/a-textio.adb: Add abstract state refinment.
2809 * libgnat/a-textio.ads: Add File_System abstract state. Add
2810 global contracts, contract cases, preconditions and
2811 postconditions to procedures and functions.
2812 (Set_Input, Set_Output, Set_Error, Standard_Input,
2813 Standard_Output, Standard_Error, Current_Input, Current_Output,
2814 Current_Error): Turn SPARK_Mode off.
2815 (Get_Line): Turn SPARK_Mode off on Get_Line functions.
2816 * libgnat/a-tideio.ads, libgnat/a-tienio.ads,
2817 libgnat/a-tifiio.ads, libgnat/a-tiflio.ads,
2818 libgnat/a-tiinio.ads, libgnat/a-timoio.ads: Add global
2819 contracts, contract cases, preconditions and postconditions to
2820 procedures and functions.
2822 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2824 * doc/gnat_ugn/platform_specific_information.rst: Refresh doc on
2825 installing from the command line on Windows. Remove obsolete
2827 * gnat_ugn.texi: Regenerate.
2829 2019-07-05 Vasiliy Fofanov <fofanov@adacore.com>
2831 * libgnat/a-wichha.ads (Is_Alphanumeric): Replace comment with
2832 the correct one. Also capitalize references to False
2835 2019-07-05 Eric Botcazou <ebotcazou@adacore.com>
2837 * exp_ch4.adb (Expand_N_Indexed_Component): Do not expand actual
2838 parameters of function calls here either.
2840 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2842 * bindo-units.adb, checks.adb, exp_attr.adb, exp_ch3.adb,
2843 exp_ch4.adb, exp_pakd.adb, lib-writ.adb, libgnat/g-traceb.adb,
2844 libgnat/g-traceb.ads, libgnat/s-stratt.ads, sem_aux.ads,
2845 sem_util.adb: Minor reformatting.
2847 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2849 * sem_ch13.adb (Build_Predicate_Functions): If a subtype that
2850 carries a static predicate aspect is frozen immediately after
2851 its declaration, ensure that the generated function body created
2852 for predicate checking is inserted after the corresponding
2853 subprogram declaration, which is created at the point the
2854 declaration is elaborated.
2856 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2858 * exp_ch7.adb (Cleanup_Record): Use the underlying type when
2859 checking for components with tasks.
2861 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2863 * libgnarl/s-osinte__linux.ads: Link with -lrt before -lpthread.
2865 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2867 * exp_pakd.adb (Expand_Bit_Packed_Element_Set): Add explicit
2868 range checks when the index type of the bit-packed array is an
2869 enumeration type with a non-standard representation,
2871 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2873 * sem_res.adb (Is_Control_Flow_Statement): Delay statements
2874 contain an expression, which in turn may have side effects and
2875 affect the infinite recursion. As a result, delay statements
2876 should not be treated specially.
2878 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2880 * libgnarl/s-linux.ads, libgnarl/s-linux__alpha.ads,
2881 libgnarl/s-linux__android.ads, libgnarl/s-linux__hppa.ads,
2882 libgnarl/s-linux__mips.ads, libgnarl/s-linux__riscv.ads,
2883 libgnarl/s-linux__sparc.ads: Fix typos in comments.
2885 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2887 * sem_res.adb (Check_Infinite_Recursion): Reimplemented.
2888 (Enclosing_Declaration_Or_Statement,
2889 Invoked_With_Different_Arguments, Is_Conditional_Statement,
2890 Is_Control_Flow_Statement, Is_Immediately_Within_Body,
2891 Is_Raise_Idiom, Is_Raise_Statement, Is_Sole_Statement,
2892 Preceded_By_Control_Flow_Statement,
2893 Within_Conditional_Statement): New routines.
2895 2019-07-05 Javier Miranda <miranda@adacore.com>
2897 * exp_ch4.adb (Expand_N_Type_Conversion): Do not apply an
2898 accessibility check when the conversion is an access to
2899 class-wide interface type and it is an actual parameter.
2900 * exp_ch6.adb (Expand_Call_Helper): Add documentation on the
2901 accessibility level of an anonymous allocator defining the value
2902 of an access parameter.
2903 * sem_util.ads, sem_util.adb (Dynamic_Accessibility_Level): Add
2904 support for an anonymous allocator whose type is that of a
2905 stand-alone object of an anonymous access to object type.
2907 2019-07-05 Piotr Trojanek <trojanek@adacore.com>
2909 * einfo.ads, sem_res.adb: Typo fixes in comments.
2911 2019-07-05 Bob Duff <duff@adacore.com>
2913 * exp_ch6.adb (Is_Build_In_Place_Function): Narrow the check for
2914 Has_Foreign_Convention to the imported case only. If a
2915 build-in-place function is exported, and called from Ada code,
2916 build-in-place protocols should be used.
2918 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2920 * sem_util.adb (Encloing_Subprogram): If Enclosing_Dynamic_Scope
2921 is a loop, continue climbing the scope stack to find the
2922 enclosing subprogram.
2923 (Gather_Components): Handle properly a choice in a record
2924 aggregate that is given by a subtype with a static predicate.
2926 2019-07-05 Javier Miranda <miranda@adacore.com>
2928 * debug.adb (-gnatd.K): Leave available this switch.
2929 * contracts.adb (Build_And_Analyze_Contract_Only_Subprograms):
2931 * scil_ll.ads, scil_ll.adb (Contract_Only_Body_Flag,
2932 Contract_Only_Body_Nodes, Get_Contract_Only_Body,
2933 Is_Contract_Only_Body, Set_Contract_Only_Body): Remove.
2935 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
2937 * libgnat/a-strunb.ads: Import documentation from the RM
2939 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
2941 * libgnat/a-strfix.ads: Import documentation from the RM
2943 2019-07-05 Yannick Moy <moy@adacore.com>
2945 * adabkend.adb (Scan_Back_End_Switches): Accept -Og and -Ofast
2948 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2950 * ali.adb: Relocate types Invocation_Construct_Record,
2951 Invocation_Relation_Record, and Invocation_Signature_Record to
2952 the body of ALI. Relocate tables Invocation_Constructs,
2953 Invocation_Relations, and Invocation_Signatures to the body of
2954 ALI. Remove type Body_Placement_Codes. Add new types
2955 Declaration_Placement_Codes, and
2956 Invocation_Graph_Encoding_Codes. Update the literals of type
2957 Invocation_Graph_Line_Codes.
2958 (Add_Invocation_Construct): Update the parameter profile. Add an
2959 invocation construct built from all attributes provided.
2960 (Add_Invocation_Relation): Update the parameter profile. Add an
2961 invocation relation built from all attributes provided.
2962 (Body_Placement): New routine.
2963 (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
2965 (Code_To_Declaration_Placement_Kind,
2966 Code_To_Invocation_Graph_Encoding_Kind, Column,
2967 Declaration_Placement_Kind_To_Code, Extra,
2968 For_Each_Invocation_Construct, For_Each_Invocation_Relation,
2969 Invocation_Graph_Encoding,
2970 Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
2971 Locations, Name): New routine.
2972 (Scan_Invocation_Construct_Line): Reimplement the scanning
2974 (Scan_Invocation_Graph_Attributes_Line): New routine.
2975 (Scan_Invocation_Graph_Line): Use a case statement to dispatch.
2976 (Scan_Invocation_Relation_Line): Reimplement the scanning
2978 (Scope): New routine.
2979 (Set_Invocation_Graph_Encoding, Signature, Spec_Placement,
2980 Target): New routine.
2981 * ali.ads: Add new type Invocation_Graph_Encoding_Kind. Add
2982 component Invocation_Graph_Encoding to type Unit_Record.
2983 Relocate various types and data structures to the body of ALI.
2984 (Add_Invocation_Construct, Add_Invocation_Relation): Update the
2986 (Body_Placement): New routine.
2987 (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
2989 (Code_To_Declaration_Placement_Kind,
2990 Code_To_Invocation_Graph_Encoding_Kind, Column,
2991 Declaration_Placement_Kind_To_Code, Extra,
2992 For_Each_Invocation_Construct, For_Each_Invocation_Relation,
2993 Invocation_Graph_Encoding,
2994 Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
2995 Locations, Name, Scope, Set_Invocation_Graph_Encoding,
2996 Signature, Spec_Placement, Target): New routine.
2997 * bindo.adb: Add with clause for Binde. Add with and use
2998 clauses for Debug. Update the documentation. Add new switches.
2999 (Find_Elaboration_Order): Dispatch to the proper elaboration
3001 * bindo-augmentors.adb:
3002 Remove with and use clauses for GNAT and GNAT.Sets. Remove
3003 membership set VS. Update the parameter profiles of most
3004 routines to use better parameter names. Update the
3005 implementation of most routine to use the new parameter names.
3006 Remove various redundant assertions.
3007 * bindo-builders.adb: Use better names for instantiated data
3008 structures. Update all references to these names. Update the
3009 parameter profiles of most routines to use better parameter
3010 names. Update the implementation of most routine to use the new
3012 (Build_Library_Graph): Update the parameter profile. Update the
3014 (Create_Vertex): Reimplemented.
3015 (Declaration_Placement_Vertex): New routine.
3016 * bindo-builders.ads (Build_Library_Graph): Update the parameter
3017 profile and comment on usage.
3018 * bindo-diagnostics.adb: Almost a new unit.
3019 * bindo-diagnostics.ads: Add a use clause for
3020 Bindo.Graphs.Invocation_Graphs. Remove package
3022 (Diagnose_Circularities): New routine.
3023 * bindo-elaborators.adb: Remove the with and use clauses for
3024 Binderr and GNAT.Sets. Remove the use clause for
3025 Bindo.Diagnostics.Cycle_Diagnostics. Remove membership set VS.
3026 Update the parameter profiles of most routines to use better
3027 parameter names. Update the implementation of most routine to
3028 use the new parameter names. (Elaborate_Units_Common): Update
3029 the parameter profile. Pass an infication to the library graph
3030 builder whether the dynamic model is in effect.
3031 (Elaborate_Units_Dynamic, Elaborate_Units_Static): Use
3032 Diagnose_Circularities to provide diagnostics.
3033 (Update_Successor): Use routine In_Same_Component to determine
3034 whether the predecessor and successor reside in different
3036 * bindo-graphs.adb: Add with and use clauses for Butil, Debug,
3037 Output, and Bindo.Writers. Remove with and use clauses for
3038 GNAT.Lists. Update the parameter profiles of most routines to
3039 use better parameter names. Update the implementation of most
3040 routine to use the new parameter names. Remove various
3041 redundant assertions. Remove doubly linked list EL. Add new
3042 type Precedence_Kind.
3043 (Add_Cycle): New routine.
3044 (Add_Vertex): Update the parameter profile. Update the creation
3045 of vertex attributes.
3046 (Add_Vertex_And_Complement, Body_Vertex, Column,
3047 Complementary_Vertex, Copy_Cycle_Path, Cycle_Kind_Of): New
3049 (Destroy_Invocation_Graph_Edge, Destroy_Library_Graph_Cycle,
3050 Destroy_Library_Graph_Edge, Extra, File_Name,
3051 Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge,
3052 Find_Cycles, Find_First_Lower_Precedence_Cycle,
3053 Get_LGC_Attributes, Has_Next, Hash_Library_Graph_Cycle,
3054 Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
3055 Highest_Precedence_Edge, In_Same_Component, Insert_And_Sort,
3056 Invocation_Edge_Count, Invocation_Graph_Encoding,
3057 Is_Cycle_Initiating_Edge, Is_Cyclic_Edge,
3058 Is_Cyclic_Elaborate_All_Edge, Is_Cyclic_Elaborate_Body_Edge,
3059 Is_Cyclic_Elaborate_Edge, Is_Cyclic_Forced_Edge,
3060 Is_Cyclic_Invocation_Edge, Is_Cyclic_With_Edge,
3061 Is_Dynamically_Elaborated, Is_Elaborate_All_Edge,
3062 Is_Elaborate_Body_Edge, Is_Elaborate_Edge: New routines.
3063 (Is_Existing_Predecessor_Successor_Relation): Removed.
3064 (Is_Forced_Edge, Is_Invocation_Edge, Is_Recorded_Cycle,
3065 Is_Recorded_Edge, Is_With_Edge, Iterate_Edges_Of_Cycle, Kind,
3066 Length): New routine.
3067 (Lib_Vertex): Removed.
3068 (Line, Links_Vertices_In_Same_Component,
3069 Maximum_Invocation_Edge_Count, Next, Normalize_And_Add_Cycle,
3070 Normalize_Cycle_Path, Number_Of_Cycles, Path, Precedence,
3071 Remove_Vertex_And_Complement, Sequence_Next_Cycle): New routines.
3072 (Sequence_Next_IGE_Id): Renamed to Sequence_Next_Edge.
3073 (Sequence_Next_IGV_Id): Renamed to Sequence_Next_Vertex.
3074 (Sequence_Next_LGE_Id): Renamed to Sequence_Next_Edge.
3075 (Sequence_Next_LGV_Id): Renamed to Sequence_Next_Vertex.
3076 (Set_Is_Existing_Predecessor_Successor_Relation): Removed.
3077 (Set_Is_Recorded_Cycle, Set_Is_Recorded_Edge,
3078 Set_LGC_Attributes, Spec_Vertex, Trace_Cycle, Trace_Edge,
3079 Trace_Eol, Trace_Vertex): New routines.
3080 * bindo-graphs.ads: Add with and use clauses for Types and
3081 GNAT.Lists. Update the parameter profiles of most routines to
3082 use better parameter names. Update the implementation of most
3083 routine to use the new parameter names. Add the new
3084 instantiated data structures IGE_Lists, IGV_Sets, LGC_Lists,
3085 LGE_Lists, LGE_Sets, LGV_Sets, and RC_Sets. Add new type
3086 Library_Graph_Cycle_Id along with an empty and initial value.
3087 Remove component Lib_Vertex and add new components Body_Vertex
3088 and Spec_Vertex to type Invocation_Graph_Vertex_Attributes. Add
3089 new type Library_Graph_Cycle_Kind. Add new iterators
3090 All_Cycle_Iterator and Edges_Of_Cycle_Iterator. Add new type
3091 Library_Graph_Cycle_Attributes. Add new components
3092 Cycle_Attributes, Cycles, and Dynamically_Elaborated to type
3093 Library_Graph_Attributes.
3094 (Body_Vertex, Column, Destroy_Invocation_Graph_Edge,
3095 Destroy_Library_Graph_Cycle_Attributes,
3096 Destroy_Library_Graph_Edge, Extra, File_Name, Find_Cycles,
3097 Has_Elaborate_All_Cycle, Has_Next, Hash_Library_Graph_Cycle,
3098 Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
3099 In_Same_Component, Invocation_Edge_Count,
3100 Invocation_Graph_Encoding, Is_Dynamically_Elaborated,
3101 Is_Elaborate_All_Edge, Is_Elaborate_Body_Edge,
3102 Is_Elaborate_Edge, Is_Forced_Edge, Is_Invocation_Edge,
3103 Is_With_Edge, Iterate_All_Cycles, Iterate_Edges_Of_Cycle, Kind):
3105 (Length, Lib_Vertex, (Line, Next, Number_Of_Cycles, Present,
3106 Same_Library_Graph_Cycle_Attributes, Spec_Vertex): New routines.
3107 * bindo-units.adb (File_Name, Invocation_Graph_Encoding): New
3109 * bindo-units.ads: Add new instantiated data structure
3111 (File_Name, Invocation_Graph_Encoding): New routine.
3112 * bindo-validators.adb: Remove with and use clauses for GNAT and
3113 GNAT.Sets. Remove membership set US. Update the parameter
3114 profiles of most routines to use better parameter names. Update
3115 the implementation of most routine to use the new parameter
3117 (Validate_Cycle, Validate_Cycle_Path, Validate_Cycles,
3118 Validate_Invocation_Graph_Vertex): Remove the validation of
3119 component Lib_Vertex. Add the validation of components
3120 Body_Vertex and Spec_Vertex.
3121 (Write_Error): New routine.
3122 * bindo-validators.ads (Validate_Cycles): New routine.
3123 * bindo-writers.adb: Update the parameter profiles of most
3124 routines to use better parameter names. Update the
3125 implementation of most routine to use the new parameter names.
3126 (Write_Cycle, Write_Cyclic_Edge, Write_Cycles): New routines.
3127 (Write_Invocation_Graph_Vertex): Remove the output of component
3128 Lib_Vertex. Add the output of components Body_Vertex and
3130 * bindo-writers.ads (Write_Cycles): New routine.
3131 * debug.adb: Use binder switches -d_C and -d_P, add
3132 documentation on their usage.
3133 * gnatbind.adb: Remove with and use clauses for Binde. Delegate
3134 the choice of elaboration mechanism to Bindo.
3135 * lib-writ.adb (Column, Extra, Invoker, Kind, Line, Locations,
3136 Name, Placement, Scope, Signature, Target): Removed.
3137 (Write_Invocation_Graph): Moved at the top level.
3138 (Write_Invocation_Graph_Attributes): New routine.
3139 (Write_Invocation_Relation, Write_Invocation_Signature): Moved
3141 * lib-writ.ads: Add a documentation section on invocation graph
3143 * sem_elab.adb (Body_Placement_Of): New routine.
3144 (Declare_Invocation_Construct): Update the call to
3145 Add_Invocation_Construct.
3146 (Declaration_Placement_Of_Node): New routine.
3147 (Get_Invocation_Attributes): Correct the retrieval of the
3148 enclosing subprogram where the postcondition procedure lives.
3149 (Placement_Of, Placement_Of_Node): Removed.
3150 (Record_Invocation_Graph): Record the encoding format used.
3151 (Record_Invocation_Graph_Encoding): New routine.
3152 (Record_Invocation_Relation): Update the call to
3153 Add_Invocation_Relation.
3154 (Spec_Placement_Of): Removed.
3155 * libgnat/g-lists.ads, libgnat/g-lists.adb (Equal): New routine.
3157 2019-07-05 Ed Schonberg <schonberg@adacore.com>
3159 * checks.adb (Apply_Predicate_Check): Except within the
3160 subprogram body that defines the formal, do not apply predicate
3161 check on a formal IN parameter: such a check is redundant and
3162 its expansion can lead to out-of-scope references when it is
3163 originates in a function call in a precondition,
3165 2019-07-05 Yannick Moy <moy@adacore.com>
3167 * sem_res.adb (Resolve_Call): Cannot inline in quantified
3169 * sem_util.adb, sem_util.ads (In_Quantified_Expression): New
3172 2019-07-05 Bob Duff <duff@adacore.com>
3174 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
3176 * gnat_rm.texi: Regenerate.
3178 2019-07-05 Bob Duff <duff@adacore.com>
3180 * exp_attr.adb (Input): Take the No_Stream_Optimizations
3181 restriction into account.
3183 2019-07-05 Claire Dross <dross@adacore.com>
3185 * libgnat/a-cofove.ads, libgnat/a-cofove.adb: Definite formal
3186 vectors are now always bounded so that they do not need to be
3189 2019-07-05 Dmitriy Anisimkov <anisimko@adacore.com>
3191 * libgnat/g-traceb.ads, libgnat/g-traceb.adb (Call_Chain): New
3194 2019-07-04 James Clarke <jrtc27@debian.org>
3196 * libgnarl/s-osinte__kfreebsd-gnu.ads (clockid_t): Make type
3198 (CLOCK_REALTIME): Make value public.
3200 2019-07-04 Javier Miranda <miranda@adacore.com>
3202 * exp_tss.adb (Init_Proc): Adding missing support for access to
3203 subprograms and access to protected subprograms of non-default
3206 2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
3208 * gnat1drv.adb (Adjust_Global_Switches): Use proper interface to
3209 set the validity settings in CodePeer mode.
3210 * par-load.adb (Load): Remove all code dealing with validity
3212 * validsw.ads (Validity_Check_Copies): Alphabetize.
3213 * validsw.adb (Reset_Validity_Check_Options): Set all options to
3215 (Save_Validity_Check_Options): Save all options.
3217 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3219 * exp_ch3.adb, exp_ch4.adb, exp_ch4.ads, exp_ch5.adb,
3220 exp_ch7.adb, exp_ch9.adb, exp_ch11.adb, exp_unst.adb,
3221 rtsfind.ads, sem_attr.adb, sem_ch10.adb, sem_ch12.adb,
3222 sem_ch13.adb, sem_dim.adb, sem_disp.adb, xref_lib.adb: Minor
3225 2019-07-04 Joffrey Huguet <huguet@adacore.com>
3227 * libgnarl/a-taside.ads: Add assertion policy to ignore
3229 (Abort_Task, Is_Terminated, Is_Callable): Add preconditions.
3231 2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
3233 * doc/gnat_rm/implementation_defined_pragmas.rst: Fix
3234 capitalization and parenthesis glitches.
3235 * gnat_rm.texi: Regenerate.
3237 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3239 * sem_ch10.adb (Remove_Context_Clauses): Handle properly the
3240 removal of a limited_with_clause which appears in the library
3241 unit oF the main unit, when some other unit in the context has a
3242 regular with_clause on the same unit, to prevent spurious
3243 visibility errors in the subsequent analysis of pending instance
3246 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3248 * sem_elab.adb: Add new type Elaboration_Phase_Status along with
3249 a global to keep track of the elaboration phase status.
3250 Initialize all internal data structures to Nil for services
3251 Elaborated_Units, Internal_Representation, and Scenario_Storage.
3252 (Build_Call_Marker): Do not create a call marker when the
3253 elaboration phase is not active.
3254 (Build_Variable_Reference_Marker): Do not create a call marker
3255 when the elaboration phase is not active.
3256 (Check_Elaboration_Scenarios): Destroy all internal structures
3257 when the elaboration phase does not have to run. Do not execute
3258 when the elaboration phase is not active.
3259 (Elaboration_Phase_Active): New routine.
3260 (Finalize_All_Data_Structures): New routine.
3261 (Initialize): Initialize all internal data structures and signal
3262 that the elaboration phase has started.
3263 (Initialize_All_Data_Structures): New routine.
3264 (Initialize_Elaborated_Units): Initialize all internal data
3266 (Initialize_Internal_Representation): Initialize all internal
3268 (Initialize_Scenario_Storage): Initialize all internal data
3270 (Kill_Elaboration_Scenario): Do not execute when the elaboration
3271 phase is not active.
3272 (Set_Elaboration_Phase): New routine.
3273 (Update_Elaboration_Scenario): Do not execute when the
3274 elaboration phase is not active.
3276 2019-07-04 Gary Dismukes <dismukes@adacore.com>
3278 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The special
3279 treatment of calling Mask_Unfrozen_Types must also be done in
3280 the case of an Ignored_Ghost_Entity, because Expander_Active is
3283 2019-07-04 Yannick Moy <moy@adacore.com>
3285 * sem_prag.adb (Check_Library_Level_Entity): Update for new rule
3288 2019-07-04 Justin Squirek <squirek@adacore.com>
3290 * sem_disp.adb (Check_Controlling_Formals): Obtain the full view
3291 before type comparison.
3293 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3295 * exp_ch4.ads, exp_ch4.adb (Build_Eq_Call): New visible
3296 subprogram, extracted from Expand_Composite_Equality, to handle
3297 properly the composition of equality for variant record types.
3298 * exp_ch3.adb (MAke_Eq_If): Use Build_Eq_Call for each
3299 component, to handle properly the case of a component with a
3300 user-defined equality. Revert to predefined equality if the
3301 user-defined operation is abstract, to maintain compatibility
3302 with older versions,
3304 2019-07-04 Justin Squirek <squirek@adacore.com>
3306 * exp_ch3.adb (Build_Initialization_Call): Fixup
3307 *_skip_null_excluding_check argument to handle new default.
3308 (Init_Formals): Make *_skip_null_excluding_check formal default
3310 * exp_ch4.adb (Expand_N_Allocator): Add comment to note heavy
3313 2019-07-04 Bob Duff <duff@adacore.com>
3315 * sem_ch3.adb (Access_Definition): Do not create a master unless
3316 Tasking_Allowed. Otherwise, this fails on restricted runtimes.
3318 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3320 * sem_util.adb (Propagate_DIC_Attributes): Do not propagate the
3321 Default_Initial_Condition attributes to an incomplete type.
3323 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3325 * sem_attr.adb (Check_Array_Type): An array type attribute such
3326 as 'First can be applied to an unconstrained array tyope when
3327 the attribute reference appears within an aspect specification
3328 and the prefix is a current instance, given that the prefix of
3329 the attribute will become a formal of the subprogram that
3330 implements the aspect (typically a predicate check).
3332 2019-07-04 Piotr Trojanek <trojanek@adacore.com>
3334 * sem_util.adb (Yields_Synchronized_Object): Fix typos in
3337 2019-07-04 Yannick Moy <moy@adacore.com>
3339 * sem_util.adb (Yields_Synchronized_Object): Adapt to new SPARK
3342 2019-07-04 Yannick Moy <moy@adacore.com>
3344 * sem_spark.adb (Check_Statement): Only check permission of
3345 object in extended return when it is of a deep type.
3347 2019-07-04 Justin Squirek <squirek@adacore.com>
3349 * sem_ch12.adb (Perform_Appropriate_Analysis): Added for
3350 selecting which type of analysis based on wheither the
3351 instantiation is a generic at the library-level. In which case
3352 expansion during analysis.
3353 (Preanalyze_Actuals): Modify calls to Analyze to use the new
3356 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3358 * exp_unst.adb: Handle conditional expressions.
3360 2019-07-04 Yannick Moy <moy@adacore.com>
3362 * sem_spark.adb (Check_Package_Spec, Check_Package_Body): Only
3363 analyze parts of the code marked in SPARK.
3365 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3367 * erroutc.adb, exp_aggr.adb, inline.adb, opt.adb, sem_ch3.adb:
3370 2019-07-04 Yannick Moy <moy@adacore.com>
3372 * sem_spark.adb (Explanation, Get_Expl): New functions to get
3373 the explanation for a permission mismatch.
3374 (Perm_Error, Perm_Mismatch, Perm_Error_Loop_Exit): Take
3375 explanation into account for issuing a more precise error
3377 (Set_Perm_Prefixes, Set_Perm_Extensions,
3378 Set_Perm_Extensions_Move): Pass suitable argument for the
3381 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3383 * exp_aggr.adb (In_Place_Assign_OK): Moved to top level and add
3384 support for record aggregates.
3385 (Component_Check): Use Is_CCG_Supported_Aggregate instead of a
3386 similar local predicate.
3387 (Convert_To_Assignments): Take advantage of In_Place_Assign_OK
3388 predicate when possible.
3389 (Is_CCG_Supported_Aggregate): Return False for records with
3390 representation clauses and fix the logic for dealing with nested
3393 2019-07-04 Piotr Trojanek <trojanek@adacore.com>
3395 * opt.adb (Set_Config_Switches): Keep assertions policy as
3396 enabled when analysing internal units in GNATprove mode.
3398 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3400 * exp_ch4.adb (Expand_Short_Circuit_Operator): Strip
3401 N_Variable_Reference_Marker when checking for the presence of
3404 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3406 * exp_aggr.adb (Check_Component): Take into account type
3409 2019-07-04 Dmitriy Anisimkov <anisimko@adacore.com>
3411 * doc/gnat_ugn/platform_specific_information.rst: Document
3412 Windows socket timeout particularity.
3413 * gnat_ugn.texi: Regenerate.
3414 * gsocket.h: Include versionhelpers.h.
3415 * socket.c (__gnat_minus_500ms): New function.
3416 * libgnat/g-sothco.ads (Minus_500ms_Windows_Timeout): New
3418 * libgnat/g-socket.adb (Set_Socket_Option): Refactor to remove
3419 500ms from the requested timeout only on old Windows version.
3421 2019-07-04 Thomas Quinot <quinot@adacore.com>
3423 * get_scos.adb: Remove bogus, dead code.
3425 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3427 * sem_dim.adb (Analyze_Dimension_Array_Aggregate): If the
3428 component is an entity name, its dimensions are those of its
3431 2019-07-03 Bob Duff <duff@adacore.com>
3433 * doc/gnat_ugn/gnat_utility_programs.rst: Document new flags in
3436 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3438 * binde.adb: Remove with clause for System.OS_Lib.
3439 (Force_Elab_Order): Refactor the majority of the code in Butil.
3440 Use the new forced units iterator to obtain unit names.
3441 * bindo-builders.adb: Add with and use clauses for Binderr,
3442 Butil, Opt, Output, Types, GNAT, and GNAT.Dynamic_HTables. Add
3443 a hash table which maps units to line number in the forced
3444 elaboration order file.
3445 (Add_Unit): New routine.
3446 (Build_Library_Graph): Create forced edges between pairs of
3447 units listed in the forced elaboration order file.
3448 (Create_Forced_Edge, Create_Forced_Edges, Destroy_Line_Number,
3449 Duplicate_Unit_Error, Hash_Unit, Internal_Unit_Info,
3450 Is_Duplicate_Unit, Missing_Unit_Info): New routines.
3451 * bindo-graphs.adb (Is_Internal_Unit, Is_Predefined_Unit):
3452 Refactor some of the behavior to Bindo-Units.
3453 * bindo-graphs.ads: Enable the enumeration literal for forced
3455 * bindo-units.adb, bindo-units.ads (Is_Internal_Unit,
3456 Is_Predefined_Unit): New routines.
3457 * butil.adb: Add with and use clauses for Opt, GNAT, and
3458 System.OS_Lib. Add with clause for Unchecked_Deallocation.
3459 (Has_Next, Iterate_Forced_Units, Next, Parse_Next_Unit_Name,
3460 Read_Forced_Elab_Order_File): New routines.
3461 * butil.ads: Add with and use clauses for Types. Add new
3462 iterator over the units listed in the forced elaboration order
3464 (Has_Next, Iterate_Forced_Units, Next): New routine.
3465 * namet.adb, namet.ads (Present): New routine.
3467 2019-07-03 Bob Duff <duff@adacore.com>
3469 * sem_ch3.adb (Access_Definition): The code was creating a
3470 master in the case where the designated type is a class-wide
3471 interface type. Create a master in the noninterface case as
3472 well. That is, create a master for all limited class-wide types.
3474 2019-07-03 Yannick Moy <moy@adacore.com>
3476 * erroutc.adb (Sloc_In_Range): New function to determine whether
3477 the range of a pragma Warnings covers a location, taking
3478 instantiations into account.
3480 2019-07-03 Johannes Kanig <kanig@adacore.com>
3482 * osint.ads, osint.adb (Get_First_Main_File_Name): New routine
3483 to access the first file provided on the command line.
3485 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3487 * inline.adb (Process_Formals_In_Aspects): New procedure within
3488 Expand_Inlined_Call, to perform a replacement of references to
3489 formals that appear in aspect specifications within the body
3492 2019-07-03 Justin Squirek <squirek@adacore.com>
3494 * sem_ch8.adb (Analyze_Object_Renaming): Add call to search for
3495 the appropriate actual subtype of the object renaming being
3497 (Check_Constrained_Object): Minor cleanup.
3499 2019-07-03 Yannick Moy <moy@adacore.com>
3501 * sem_spark.adb (Get_Observed_Or_Borrowed_Expr): New function to
3502 return go through traversal function call.
3503 (Check_Type): Consistently use underlying type.
3504 (Get_Perm): Adapt for case of elaboration code where variables
3505 are not declared in the environment. Remove incorrect handling
3506 of borrow and observe.
3508 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3510 * inline.adb (Build_Return_Object_Formal): New routine.
3511 (Can_Split_Unconstrained_Function): Code clean up.
3512 (Copy_Formals,Copy_Return_Object): New routines.
3513 (Split_Unconstrained_Function): Code clean up and refactoring.
3515 2019-07-03 Gary Dismukes <dismukes@adacore.com>
3517 * bindo-augmentors.adb, bindo-augmentors.ads,
3518 bindo-builders.ads, bindo-elaborators.adb, sem_ch12.adb,
3519 sem_ch13.adb, sem_spark.adb, sinfo.ads: Minor editorial
3520 corrections and reformatting.
3522 2019-07-03 Bob Duff <duff@adacore.com>
3524 * sem_warn.adb (Check_Infinite_Loop_Warning): Avoid the warning
3525 if an Iterator_Specification is present.
3527 2019-07-03 Bob Duff <duff@adacore.com>
3529 * doc/gnat_ugn/gnat_utility_programs.rst: Document default
3532 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3534 * ali.adb: Add with and use clauses for GNAT,
3535 GNAT.Dynamic_HTables, and Snames. Add a map from invocation
3536 signature records to invocation signature ids. Add various
3537 encodings of invocation-related attributes. Sort and update
3538 table Known_ALI_Lines.
3539 (Add_Invocation_Construct, Add_Invocation_Relation,
3540 Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
3541 Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
3542 Code_To_Invocation_Graph_Line_Kind, Destroy, Hash): New
3544 (Initialize_ALI): Sort the initialization sequence. Add
3545 initialization for all invocation-related tables.
3546 (Invocation_Construct_Kind_To_Code,
3547 Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
3548 Invocation_Signature_Of, Present): New routines.
3549 (Scan_ALI): Add the default values for invocation-related ids.
3550 Scan invocation graph lines.
3551 (Scan_Invocation_Graph_Line): New routine.
3552 * ali.ads: Add with clause for GNAT.Dynamic_Tables. Add types
3553 for invocation constructs, relations, and signatures. Add
3554 tables for invocation constructs, relations, and signatures.
3555 Update Unit_Record to capture invocation-related ids. Relocate
3556 table Unit_Id_Tables and subtypes Unit_Id_Table, Unit_Id_Array
3558 (Add_Invocation_Construct, Add_Invocation_Relation,
3559 Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
3560 Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
3561 Code_To_Invocation_Graph_Line_Kind,
3562 Invocation_Construct_Kind_To_Code,
3563 Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
3564 Invocation_Signature_Of, Present): New routines.
3565 * binde.adb: Add with and use clause for Types. Add use clause
3566 for ALI.Unit_Id_Tables;
3567 * binde.ads: Relocate table Unit_Id_Tables and subtypes
3568 Unit_Id_Table, Unit_Id_Array to ALI.
3569 * bindgen.adb: Remove with and use clause for ALI.
3570 * bindgen.ads: Remove with and use clause for Binde. Add with
3571 and use clause for ALI.
3572 * bindo.adb, bindo.ads, bindo-augmentors.adb,
3573 bindo-augmentors.ads, bindo-builders.adb, bindo-builders.ads,
3574 bindo-diagnostics.adb, bindo-diagnostics.ads,
3575 bindo-elaborators.adb, bindo-elaborators.ads, bindo-graphs.adb,
3576 bindo-graphs.ads, bindo-units.adb, bindo-units.ads,
3577 bindo-validators.adb, bindo-validators.ads, bindo-writers.adb,
3578 bindo-writers.ads: New units.
3579 * debug.adb: Use and describe GNAT debug switches -gnatd_F and
3580 -gnatd_G. Add GNATbind debug switches in the ranges dA .. dZ,
3581 d.a .. d.z, d.A .. d.Z, d.1 .. d.9, d_a .. d_z, d_A .. d_Z, and
3582 d_1 .. d_9. Use and describe GNATbind debug switches -d_A,
3583 -d_I, -d_L, -d_N, -d_O, -d_T, and -d_V.
3584 * exp_util.adb, exp_util.ads (Exceptions_OK): Relocate to
3586 * gnatbind.adb: Add with and use clause for Bindo. Use the new
3587 Bindo elaboration order only when -d_N is in effect.
3589 (Column, Extra, Invoker, Kind, Line, Locations, Name, Placement,
3590 Scope, Signature, Target): New routines.
3591 (Write_ALI): Output all invocation-related data.
3592 (Write_Invocation_Graph): New routine.
3593 * lib-writ.ads: Document the invocation graph ALI line.
3594 * namet.adb, namet.ads (Present): New routines.
3595 * sem_ch8.adb (Find_Direct_Name): Capture the status of
3596 elaboration checks and warnings of an identifier.
3597 (Find_Expanded_Name): Capture the status of elaboration checks
3598 and warnings of an expanded name.
3599 * sem_ch12.adb (Analyze_Generic_Package_Declaration): Ensure
3600 that invocation graph-related data within the body of the main
3601 unit is encoded in the ALI file.
3602 (Analyze_Generic_Subprogram_Declaration): Ensure that invocation
3603 graph-related data within the body of the main unit is encoded
3605 (Analyze_Package_Instantiation): Perform minimal decoration of
3606 the instance entity.
3607 (Analyze_Subprogram_Instantiation): Perform minimal decoration
3608 of the instance entity.
3609 * sem_elab.adb: Perform heavy refactoring of all code. The unit
3610 is now split into "services" which specialize in one area of ABE
3611 checks. Add processing in order to capture invocation-graph
3612 related attributes of the main unit, and encode them in the ALI
3613 file. The Processing phase can now operate in multiple modes,
3614 all described by type Processing_Kind. Scenarios and targets
3615 are now distinct at the higher level, and carry their own
3616 representations. This eliminates the need to constantly
3617 recompute their attributes, and offers the various processors a
3618 uniform interface. The various initial states of the Processing
3619 phase are now encoded using type Processing_In_State, and
3620 xxx_State constants.
3621 * sem_elab.ads: Update the literals of type
3622 Enclosing_Level_Kind. Add Inline pragmas on several routines.
3623 * sem_prag.adb (Process_Inline): Ensure that invocation
3624 graph-related data within the body of the main unit is encoded
3626 * sem_util.adb (Enclosing_Generic_Body, Enclosing_Generic_Unit):
3628 (Exceptions_OK): Relocated from Sem_Util.
3629 (Mark_Save_Invocation_Graph_Of_Body): New routine.
3630 * sem_util.ads (Exceptions_OK): Relocated from Sem_Util.
3631 (Mark_Save_Invocation_Graph_Of_Body): New routine.
3632 * sinfo.adb (Is_Elaboration_Checks_OK_Node): Now applicable to
3633 N_Variable_Reference_Marker.
3634 (Is_Elaboration_Warnings_OK_Node): Now applicable to
3635 N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
3636 (Is_Read): Use Flag4.
3637 (Is_SPARK_Mode_On_Node): New applicable to
3638 N_Variable_Reference_Marker.
3639 (Is_Write): Use Flag5.
3640 (Save_Invocation_Graph_Of_Body): New routine.
3641 (Set_Is_Elaboration_Checks_OK_Node): Now applicable to
3642 N_Variable_Reference_Marker.
3643 (Set_Is_Elaboration_Warnings_OK_Node): Now applicable to
3644 N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
3645 (Set_Is_SPARK_Mode_On_Node): New applicable to
3646 N_Variable_Reference_Marker.
3647 (Set_Save_Invocation_Graph_Of_Body): New routine.
3648 * sinfo.ads: Update the documentation of attributes
3649 Is_Elaboration_Checks_OK_Node, Is_Elaboration_Warnings_OK_Node,
3650 Is_SPARK_Mode_On_Node. Update the flag usage of attributes
3651 Is_Read, Is_Write. Add attribute Save_Invocation_Graph_Of_Body
3652 and update its occurrence in nodes.
3653 (Save_Invocation_Graph_Of_Body): New routine along with pragma
3655 (Set_Save_Invocation_Graph_Of_Body): New routine along with
3657 * switch-b.adb (Scan_Binder_Switches): Refactor the scanning of
3659 (Scan_Debug_Switches): New routine.
3660 * libgnat/g-dynhta.adb, libgnat/g-dynhta.ads (Contains): New routine.
3661 * libgnat/g-graphs.adb (Associate_Vertices): Update the use of
3662 Component_Vertex_Iterator.
3663 (Contains_Component, Contains_Edge, Contains_Vertex, Has_Next):
3665 (Iterate_Component_Vertices): New routine.
3666 (Iterate_Vertices): Removed.
3667 (Next): Update the parameter profile.
3668 (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
3670 * libgnat/g-graphs.ads: Update the initialization of
3671 No_Component. Add type Component_Vertex_Iterator. Remove type
3673 (Has_Next): Add new versions and remove old ones.
3674 (Iterate_Component_Vertices): New routine.
3675 (Iterate_Vertices): Removed.
3676 (Next): Add new versions and remove old ones.
3677 (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
3679 * libgnat/g-sets.adb (Contains): Reimplemented.
3680 * gcc-interface/Make-lang.in (GNATBIND_OBJS): Add
3681 GNAT.Dynamic_HTables, GNAT.Graphs and Bindo units.
3682 * rtsfind.ads: Remove extra space.
3684 2019-07-03 Yannick Moy <moy@adacore.com>
3686 * sem_spark.adb: Add support for locally borrowing and observing
3688 (Get_Root_Object): Add parameter Through_Traversal to denote
3689 when we are interesting in getting to the traversed parameter.
3690 (Is_Prefix_Or_Almost): New function to support detection of
3691 illegal access to borrowed or observed paths.
3692 (Check_Pragma): Add analysis of assertion pragmas.
3694 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3696 * sem_ch13.adb (Build_Predicate_Functions): In a generic context
3697 we do not build the bodies of predicate fuctions, but the
3698 expression in a static predicate must be elaborated to allow
3699 case coverage checking within the generic unit.
3700 (Build_Discrete_Static_Predicate): In a generic context, return
3701 without building function body once the
3702 Static_Discrete_Predicate expression for the type has been
3705 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3707 * bindgen.adb, inline.adb, layout.adb, sem_ch12.adb,
3708 sem_ch13.adb, sem_ch7.adb, styleg.adb: Minor reformatting.
3710 2019-07-03 Bob Duff <duff@adacore.com>
3712 * par-ch3.adb (P_Defining_Identifier): Call
3713 Check_Defining_Identifier_Casing.
3714 * style.ads, styleg.ads, styleg.adb
3715 (Check_Defining_Identifier_Casing): New procedure to check for
3716 mixed-case defining identifiers.
3717 * stylesw.ads, stylesw.adb (Style_Check_Mixed_Case_Decls): New
3718 flag for checking for mixed-case defining identifiers.
3719 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
3720 Document new feature.
3721 * gnat_ugn.texi: Regenerate.
3723 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3725 * doc/gnat_ugn/building_executable_programs_with_gnat.rst
3726 (Warning message control): Document that -gnatw.z/Z apply to
3728 * freeze.adb (Freeze_Entity): Give -gnatw.z warning for array
3729 types as well, but not if the specified alignment is the minimum
3731 * gnat_ugn.texi: Regenerate.
3733 2019-07-03 Bob Duff <duff@adacore.com>
3735 * einfo.ads, exp_util.adb, layout.ads, sinfo.ads: Spell "laid"
3738 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3740 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): No error
3741 message on attribute applied to a renaming when the renamed
3742 object is an aggregate (from code reading).
3743 (Check_Aspect_At_End_Of_Declarations): In a generic context
3744 where freeze nodes are not generated, the original expression
3745 for an aspect may need to be analyzed to precent spurious
3746 conformance errors when compared with the expression that is
3747 anakyzed at the end of the current declarative list.
3749 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3751 * layout.adb (Layout_Type): Do not set the component size of an
3752 array with a scalar component if the component type is
3755 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3757 * inline.adb (Make_Loop_Labels_Unique): New procedure to modify
3758 the source code of subprograms that are inlined by the
3759 front-end, to prevent accidental duplication between loop labels
3760 in the inlined code and the code surrounding the inlined call.
3762 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3764 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
3765 the section on resolving elaboration circularities to eliminate
3766 certain combinations of switches which together do not produce
3767 the desired effect and confuse users.
3768 * gnat_ugn.texi: Regenerate.
3770 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3772 * bindgen.adb (Gen_Main): Disable generation of reference to
3773 Ada_Main_Program_Name for CCG.
3774 * bindusg.adb (Display): Add -G to the command-line usage for
3776 * opt.ads (Generate_C_Code): Update comment.
3777 * switch-b.adb (Scan_Binder_Switches): Add handling for -G.
3779 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3781 * sem_ch7.adb (Has_Referencer): Do not consider inlined
3782 subprograms when generating C code, which allows us to generate
3783 static inline subprograms.
3785 2019-07-03 Justin Squirek <squirek@adacore.com>
3787 * sem_ch6.adb (Check_Conformance): Add expression checking for
3788 constant modifiers in anonymous access types (in addition to
3789 "non-null" types) so that they are considered "matching" for
3790 subsequent conformance tests.
3792 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3794 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
3795 Clarify wording on No_Multiple_Elaboration.
3796 * gnat_rm.texi: Regenerate.
3798 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3800 * sem_ch8.adb (Find_Selected_Component): If the prefix is the
3801 current instance of a type or subtype, complete the resolution
3802 of the name by finding the component of the type denoted by the
3805 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3807 * doc/gnat_rm/interfacing_to_other_languages.rst (Interfacing to C):
3808 Document that boolean types with convention C now map to C99 bool.
3809 * gnat_rm.texi: Regenerate.
3811 2019-07-03 Javier Miranda <miranda@adacore.com>
3813 * exp_attr.adb (Expand_Min_Max_Attribute): Code cleanup:
3814 removing code that it is now never executed in the CCG compiler
3817 2019-07-02 Iain Sandoe <iain@sandoe.co.uk>
3819 * libgnat/system-darwin-ppc.ads: Set Stack_Check_Probes True for
3822 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3824 * sem_ch12.adb (Is_Defaulted): New predicate in
3825 Check_Formal_Package_Intance, to skip the conformance of checks
3826 on parameters of a formal package that are defaulted,
3828 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3830 * checks.adb, exp_ch9.adb, exp_unst.adb, sem_ch4.adb,
3831 sem_prag.adb, sem_spark.adb: Minor reformatting.
3833 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3835 * sem_attr.adb (Analyze_Attribute, case Enum_Rep): Allow prefix
3836 of attribute to be an attribute reference of a discrete type.
3838 2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
3840 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Move up
3841 handling of Has_Pragma_Inline_Always and deal with
3842 Has_Pragma_No_Inline.
3844 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3846 * sem_ch3.adb (Build_Derived_Record_Type): If the parent type is
3847 declared as a subtype of a private type with an inherited
3848 discriminant constraint, its generated full base appears as a
3849 record subtype, so we need to retrieve its oen base type so that
3850 the inherited constraint can be applied to it.
3852 2019-07-01 Yannick Moy <moy@adacore.com>
3854 * sem_spark.adb: Completely rework the algorithm for ownership
3855 checking, as the rules in SPARK RM have changed a lot.
3856 * sem_spark.ads: Update comments.
3858 2019-07-01 Dmitriy Anisimkov <anisimko@adacore.com>
3860 * gsocket.h (Has_Sockaddr_Len): Use the offset of sin_family offset in
3861 the sockaddr_in structure to determine the existence of length field
3862 before the sin_family.
3864 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3866 * sem_prag.adb (Analyze_Pragma, case Weak_External): Pragma only
3867 applies to entities with run-time addresses, not to types.
3869 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3871 * einfo.adb, sem_ch7.adb, sem_prag.adb, sem_util.adb: Update
3872 references to the SPARK RM after the removal of Rule 7.1.4(5).
3874 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3876 * sysdep.c: Cleanup references to LynuxWorks in docs and
3879 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3881 * checks.adb (Insert_Valid_Check): Do not apply validity check
3882 to variable declared within a protected object that uses the
3883 Lock_Free implementation, to prevent unwarranted constant
3884 folding, because entities within such an object msut be treated
3887 2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
3889 * exp_ch9.adb (Check_Inlining): Deal with Has_Pragma_No_Inline.
3891 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3893 * exp_unst.adb (Visit_Node, Check_Static_Type): Improve the
3894 handling of private and incomplete types whose full view is an
3895 access type, to detect additional uplevel references in dynamic
3896 bounds. This is relevant to N_Free_Statement among others that
3897 manipulate types whose full viww may be an access type.
3899 2019-07-01 Pat Rogers <rogers@adacore.com>
3901 * doc/gnat_rm/representation_clauses_and_pragmas.rst: Correct
3902 size indicated for R as a component of an array.
3903 * gnat_rm.texi: Regenerate.
3905 2019-07-01 Justin Squirek <squirek@adacore.com>
3907 * libgnat/s-win32.ads: Add definition for ULONG, modify
3908 OVERLAPPED type, and add appropriate pragmas.
3910 2019-07-01 Bob Duff <duff@adacore.com>
3912 * gnat1drv.adb (gnat1drv): Call Write_ALI if the main unit is
3915 2019-07-01 Yannick Moy <moy@adacore.com>
3917 * sem_ch4.adb (Operator_Check): Refine error message.
3919 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3921 * libgnat/a-calend.ads: Revert "Global => null" contracts on
3924 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3926 * exp_attr.adb, libgnat/g-graphs.ads: Fix typos in comments:
3927 componant -> component.
3929 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3931 * libgnat/g-graphs.adb: Use type Directed_Graph rather than
3932 Instance in various routines.
3933 * libgnat/g-graphs.ads: Change type Instance to Directed_Graph.
3934 Update various routines that mention the type.
3936 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3938 * libgnat/g-sets.adb: Use type Membership_Set rathern than
3939 Instance in various routines.
3940 * libgnat/g-sets.ads: Change type Instance to Membership_Set.
3941 Update various routines that mention the type.
3943 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3945 * libgnat/g-lists.adb: Use type Doubly_Linked_List rather than
3946 Instance in various routines.
3947 * libgnat/g-lists.ads: Change type Instance to
3948 Doubly_Linked_List. Update various routines that mention the
3951 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3953 * libgnat/g-dynhta.adb: Use type Dynamic_Hash_Table rather than
3954 Instance in various routines.
3955 * libgnat/g-dynhta.ads: Change type Instance to
3956 Dynamic_Hash_Table. Update various routines that mention the
3959 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3961 * exp_attr.adb, exp_ch7.adb, exp_unst.adb, sem_ch3.adb,
3962 sem_util.adb, uintp.adb, uintp.ads: Minor reformatting.
3964 2019-07-01 Javier Miranda <miranda@adacore.com>
3966 * exp_attr.adb (Expand_Min_Max_Attribute): Disable expansion of
3967 'Min/'Max on integer, enumeration, fixed point and floating
3968 point types since the CCG backend now provides in file
3969 standard.h routines to support it.
3971 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3973 * impunit.adb: Add GNAT.Graphs to list Non_Imp_File_Names_95.
3974 * Makefile.rtl, gcc-interface/Make-lang.in: Register unit
3976 * libgnat/g-dynhta.adb: Various minor cleanups (use Present
3977 rather than direct comparisons).
3978 (Delete): Reimplement to use Delete_Node.
3979 (Delete_Node): New routine.
3980 (Destroy_Bucket): Invoke the provided destructor.
3981 (Present): New routines.
3982 * libgnat/g-dynhta.ads: Add new generic formal Destroy_Value.
3983 Use better names for the components of iterators.
3984 * libgnat/g-graphs.adb, libgnat/g-graphs.ads: New unit.
3985 * libgnat/g-lists.adb: Various minor cleanups (use Present
3986 rather than direct comparisons).
3987 (Delete_Node): Invoke the provided destructor.
3988 (Present): New routine.
3989 * libgnat/g-lists.ads: Add new generic formal Destroy_Element.
3990 Use better names for the components of iterators.
3991 (Present): New routine.
3992 * libgnat/g-sets.adb, libgnat/g-sets.ads (Destroy, Preset,
3993 Reset): New routines.
3995 2019-07-01 Dmitriy Anisimkov <anisimko@adacore.com>
3997 * libgnat/g-sothco.adb (Get_Address): Fix the case when AF_INET6
4000 2019-07-01 Ed Schonberg <schonberg@adacore.com>
4002 * exp_attr.adb (Expand_Attribute_Reference, case Invalid_Value):
4003 Resolve result of call to Get_Simple_Init_Val, which may be a
4004 conversion of a literal.
4006 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
4008 * freeze.adb (Freeze_Expression): Remove the horrible useless
4009 name hiding of N. Insert the freeze nodes generated by the
4010 expression prior to the expression when the nearest enclosing
4013 2019-07-01 Pierre-Marie de Rodat <derodat@adacore.com>
4015 * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix
4016 formatting issues in the -gnatR section.
4017 * gnat_ugn.texi: Regenerate.
4019 2019-06-30 Iain Sandoe <iain@sandoe.co.uk>
4021 * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches.
4022 Push -shared-libgcc explicitly, when it is the target default (unless
4023 overidden by the static flag).
4024 When the user has put an instance of shared/static-libgcc do not push
4025 a duplicate of this.
4027 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4029 * gcc-interface/decl.c (gnat_to_gnu_entity): Beep up comment on SAVED,
4030 and tweak comment on the assertion about the scopes of Itypes. Do not
4031 skip the regular processing for Itypes that are E_Record_Subtype with
4032 a Cloned_Subtype. Get the Cloned_Subtype for every E_Record_Subtype
4033 if the type is dummy and hasn't got its own freeze node.
4034 <E_Record_Subtype>: Save again the DECL of the Cloned_Subtype, if any.
4035 <E_Access_Subtype>: Save again the DECL of the equivalent type.
4036 (Gigi_Equivalent_Type) <E_Access_Subtype>: New case.
4038 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4040 * gcc-interface/utils.c (unchecked_convert): Tweak comment. Only skip
4041 dereferences when padding to have the same size on both sides. Do it
4042 for destination types with self-referential size too.
4044 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4046 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: If the
4047 type requires strict alignment, then set the RM size to the type size.
4048 Rework handling of alignment and sizes of tagged types in ASIS mode.
4049 (validate_size): Rename local variable and remove special handling for
4050 strict-alignment types.
4051 * gcc-interface/utils.c (finish_record_type): Constify local variables
4052 and use properly typed constants.
4054 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4056 * gcc-interface/decl.c (gnat_to_gnu_field): Rework error messages for
4057 fields requiring strict alignment, add explicit test on Storage_Unit
4058 for position and size, and mention type alignment for position.
4060 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4062 * gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED on
4063 the main variant of a type, if any.
4065 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4067 * gcc-interface/decl.c (set_nonaliased_component_on_array_type): Add
4068 missing guard for the presence of TYPE_CANONICAL.
4069 (set_reverse_storage_order_on_array_type): Likewise.
4071 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4073 * gcc-interface/gigi.h (make_packable_type): Remove default value.
4074 (value_factor_p): Tweak prototype.
4075 * gcc-interface/decl.c (gnat_to_gnu_entity): Add comment.
4076 (gnat_to_gnu_component_type): Likewise.
4077 (gnat_to_gnu_field): Likewise. Fetch the position of the field earlier
4078 and simplify the condition under which the type is packed. Declare
4079 local variable is_bitfield. Pass 1 as max_align to make_packable_type
4080 if it is set to true.
4081 (copy_and_substitute_in_layout): Pass 0 to make_packable_type.
4082 * gcc-interface/utils.c (make_packable_array_type): New function.
4083 (make_packable_type): Use it to rewrite the type of array field.
4084 (maybe_pad_type): Pass align parameter to make_packable_type.
4085 (create_field_decl): Minor tweaks.
4086 (value_factor_p): Assert that FACTOR is a power of 2 and replace the
4087 modulo computation by a masking operation.
4089 2019-06-25 Eric Botcazou <ebotcazou@adacore.com>
4091 * gcc-interface/decl.c (gnat_to_gnu_entity): Remove superfluous test
4093 * gcc-interface/gigi.h (maybe_character_type): Fix formatting.
4094 (maybe_character_value): Likewise.
4096 2019-06-24 Jan Hubicka <jh@suse.cz>
4098 * gcc-interface/decl.c (gnat_to_gnu_entity): Check that
4099 type is array or integer prior checking string flag.
4100 * gcc-interface/gigi.h (maybe_character_type): Likewise.
4101 (maybe_character_value): Likewise.
4103 2019-06-24 Martin Sebor <msebor@redhat.com>
4105 * gcc-interface/utils.c (handle_nonnull_attribute): Quote attribute
4108 2019-06-18 Arnaud Charlet <charlet@adacore.com>
4111 * sem_ch5.adb (Analyze_Loop_Statement): Avoid exception propagation
4112 during normal processing.
4114 2019-06-17 Arnaud Charlet <charlet@adacore.com>
4117 * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Swap the two
4118 conditions to avoid a unnecessary exception propagation in the default
4121 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4123 * gcc-interface/utils.c (handle_stack_protect_attribute): Move around.
4125 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4127 * doc/gnat_rm/implementation_defined_pragmas.rst (Machine_Attribute):
4128 Document additional optional parameters.
4129 * sem_prag.adb (Analyze_Pragma) <Pragma_Machine_Attribute>: Accept
4130 more than one optional parameter.
4131 * gcc-interface/decl.c (prepend_one_attribute_pragma): Alphabetize
4132 the list of supported pragmas. Simplify the handling of parameters
4133 and add support for more than one optional parameter.
4134 * gcc-interface/utils.c (attr_cold_hot_exclusions): New constant.
4135 (gnat_internal_attribute_table): Add entry for no_icf, noipa, flatten,
4136 used, cold, hot, target and target_clones.
4137 (begin_subprog_body): Do not create the RTL for the subprogram here.
4138 (handle_noicf_attribute): New static function.
4139 (handle_noipa_attribute): Likewise.
4140 (handle_flatten_attribute): Likewise.
4141 (handle_used_attribute): Likewise.
4142 (handle_cold_attribute): Likewise.
4143 (handle_hot_attribute): Likewise.
4144 (handle_target_attribute): Likewise.
4145 (handle_target_clones_attribute): Likewise.
4147 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4149 * gcc-interface/trans.c (lvalue_required_for_attribute_p): Return 0
4151 (Identifier_to_gnu): Use the actual subtype for a reference to a
4152 packed array in a return statement.
4153 (Attribute_to_gnu) <Attr_Size>: Do not strip VIEW_CONVERT_EXPRs from
4154 the prefix in every case.
4156 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4158 * gcc-interface/trans.c (gnat_to_gnu): Remove superfluous tests on
4159 Backend_Overflow_Checks_On_Target and rework comments.
4161 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4163 * gcc-interface/trans.c (walk_nesting_tree): New static function.
4164 (finalize_nrv): Use it to walk the entire nesting tree.
4166 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4168 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Remove
4169 obsolete test on Is_For_Access_Subtype.
4171 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4173 * gcc-interface/decl.c (components_to_record): Set a name on the type
4174 created for the REP part, if any.
4175 * gcc-interface/utils.c (finish_record_type): Only take the maximum
4176 when merging sizes for a variant part at offset 0.
4177 (merge_sizes): Rename has_rep parameter into max.
4179 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4181 * gcc-interface/utils.c (gnat_internal_attribute_table): Add support
4182 for stack_protect attribute.
4183 (handle_stack_protect_attribute): New static function.
4185 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4187 * gcc-interface/decl.c (intrin_arglists_compatible_p): Do not return
4188 false if the internal builtin uses a variable list.
4190 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4192 * gcc-interface/trans.c (Call_to_gnu): Do not initialize the temporary
4193 created out of addressability concerns if it's for the _Init parameter
4194 of an initialization procedure.
4196 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4198 * gcc-interface/ada-builtin-types.def: New file.
4199 * gcc-interface/ada-builtins.def: Likewise.
4200 * gcc-interface/ada-tree.h (BUILT_IN_LIKELY): New macro.
4201 (BUILT_IN_UNLIKELY): Likewise.
4202 * gcc-interface/trans.c (independent_iterations_p): Initialize the
4203 auto-vector to 16 elements.
4204 (Call_to_gnu): Remove local variable and change the vector of actual
4205 parameters to an auto-vector. Do not convert actual parameters to
4206 the argument type for front-end built-in functions. Add support for
4207 front-end built-in functions.
4208 (build_noreturn_cond): Use internal instead of built-in function.
4209 * gcc-interface/utils.c (c_builtin_type): Include ada-builtin-types.def
4210 (install_builtin_function_types): Likewise.
4211 (install_builtin_functions): Include ada-builtins.def first.
4213 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4215 * gcc-interface/utils.c (maybe_pad_type): Issue the warning for the
4216 specific case of component types preferably.
4218 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4220 * gcc-interface/trans.c (Identifier_to_gnu): Minor tweaks.
4221 (gnat_to_gnu): Do not convert the result if it is a reference to an
4222 unconstrained array used as the prefix of an attribute reference that
4225 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4227 * gcc-interface/trans.c (Gigi_Types_Compatible): New predicate.
4228 (Identifier_to_gnu): Use it to assert that the type of the identifier
4229 and that of its entity are compatible for gigi. Rename a couple of
4230 local variables and separate the processing of the result type.
4232 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4234 * gcc-interface/trans.c (Call_to_gnu): Use the unpadded type when
4235 putting back an intermediate conversion the type of the actuals.
4237 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4239 * gcc-interface/trans.c (gnat_to_gnu) <Shift operations>: Convert the
4240 count to the unsigned version of its base type before proceeding.
4242 2019-05-16 Martin Sebor <msebor@redhat.com>
4244 * gcc-interface/trans.c (check_inlining_for_nested_subprog): Quote
4247 2019-05-08 Arnaud Charlet <charlet@adacore.com>
4249 * standard.ads.h: New file.
4251 2019-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
4253 * gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
4256 2019-04-29 Michael K. Darling <darlingm@gmail.com>
4258 * gnatvsn.ads: Bump Library_Version to 10.
4260 2019-04-24 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
4261 Bernd Edlinger <bernd.edlinger@hotmail.de>
4262 Jakub Jelinek <jakub@redhat.com>
4265 * raise-gcc.c (TARGET_ATTRIBUTE): Define.
4266 (continue_unwind, personality_body, PERSONALITY_FUNCTION): Add
4269 2019-04-07 Eric Botcazou <ebotcazou@adacore.com>
4271 * libgnat/i-cexten.ads (CFloat_128): New type.
4273 2019-03-22 Dmitriy Anisimkov <anisimko@adacore.com>
4276 * libgnat/g-socket.adb (Bind_Socket, Connect_Socket,
4277 Send_Socket): Fix the computation of structure lengths passed to
4279 (Is_IPv6_Address): Fix the number of expected colons.
4281 2019-03-11 Martin Liska <mliska@suse.cz>
4283 * gcc-interface/misc.c (gnat_post_options): Wrap option name in string
4284 format message and fix GNU coding style.
4286 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4288 * gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak.
4289 * gcc-interface/utils.c (convert): Do not pad when doing an unchecked
4290 conversion here. Use TREE_CONSTANT throughout the function.
4291 (unchecked_convert): Also pad if the source is a CONSTRUCTOR and the
4292 destination is a more aligned array type or a larger aggregate type,
4293 but not between original and packable versions of a type.
4295 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4297 * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an
4298 operand with VOID_TYPE.
4300 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4302 * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the
4303 entities of a package renaming another one.
4305 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4307 * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on
4308 individual flag_unswitch_loops and flag_tree_loop_vectorize switches
4309 with test on global optimize switch.
4310 (Raise_Error_to_gnu): Likewise.
4312 2019-02-07 Eric Botcazou <ebotcazou@adacore.com>
4314 * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.
4316 2019-02-06 Arnaud Charlet <charlet@adacore.com>
4318 * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads
4320 2019-01-27 Eric Botcazou <ebotcazou@adacore.com>
4322 * repinfo.adb (List_Component_Layout): Remove superfluous space for
4324 * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro.
4325 * gcc-interface/gigi.h (create_extra_subtype): Declare.
4326 * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise.
4327 (update_n_elem): New function.
4328 (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes
4329 instead of doing it manually.
4330 <E_Array_Type>: Use update_n_elem to compute the maximum size. Use the
4331 index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE
4332 of the array to the maximum size.
4333 <E_Array_Subtype>: Create an extra subtype using the index type of the
4334 base array type for self-referential bounds. Use update_n_elem to
4335 compute the maximum size. Set TYPE_ARRAY_MAX_SIZE of the array to the
4337 (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants.
4338 * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of
4339 the base type for an extra subtype.
4340 (gnat_type_max_size): Remove obsolete code.
4341 * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak.
4342 (can_be_lower_p): Deal with pathological types.
4343 * gcc-interface/utils.c (create_extra_subtype): New function.
4344 (create_field_decl): Minor tweak.
4345 (max_size) <tcc_reference>: Compute a better value by using the extra
4346 subtypes on the self-referential bounds.
4347 <tcc_binary>: Rewrite. Deal with "negative value" in unsigned types.
4348 <tcc_expression>: Likewise.
4349 * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds
4350 of the arrays upfront. Swap only if the second length is not constant.
4351 Use comparisons on the original bounds consistently for the null tests.
4352 (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro.
4353 (build_allocator): Minor tweak.
4355 2019-01-27 Eric Botcazou <ebotcazou@adacore.com>
4357 * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
4358 the same value for every dimension of a multidimensional array type.
4360 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4362 * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the
4363 iteration scheme, if present, throughout the translation.
4365 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4367 * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use
4368 DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned
4369 by a call to memset if the LHS is a DECL.
4371 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4373 * gcc-interface/trans.c (struct loop_info_d): Remove artificial field.
4374 (Loop_Statement_to_gnu): Do not set it.
4376 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4378 * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting.
4379 (Acc_gnat_to_gnu): Likewise.
4380 (Acc_Data_to_gnu): Likewise.
4381 (Acc_Var_to_gnu): Likewise.
4382 (Acc_Reduc_to_gnu): Likewise.
4383 (Acc_Size_List_to_gnu): Likewise.
4384 (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise.
4385 <Pragma_Acc_Data>): Likewise.
4386 (find_loop_for): Remove default value for parameters.
4387 * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into...
4388 <N_Op_Eq>): ...this.
4390 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4392 * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on
4393 the sign bit instead of on the sign of the value.
4394 <PLUS_EXPR>: Turn addition of negative constant into subtraction.
4395 <MULT_EXPR>: Add test for degenerate case.
4396 <BIT_AND_EXPR>: Simplify.
4398 2019-01-18 Sebastian Huber <sebastian.huber@embedded-brains.de>
4400 * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS.
4402 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
4405 * exp_ch11.adb: Change "can not" to "cannot".
4406 * sem_ch4.adb: Likewise.
4408 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
4411 * exp_ch9.adb: Mechanically replace "can not" with "cannot".
4412 * libgnat/s-regpat.ads: Likewise.
4413 * par-ch4.adb: Likewise.
4414 * set_targ.adb: Likewise.
4415 * types.ads: Likewise.
4417 2019-01-08 Justin Squirek <squirek@adacore.com>
4420 2018-07-31 Justin Squirek <squirek@adacore.com>
4422 * lib-writ.adb (Write_With_Lines): Modfiy the generation
4423 of dependencies within ali files so that source unit
4424 bodies are properly listed even if said bodies are
4425 missing. Perform legacy behavior in GNATprove mode.
4426 * lib-writ.ads: Modify documentation to reflect current
4430 2018-09-26 Justin Squirek <squirek@adacore.com>
4432 * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add
4433 documentation and an extra conditional check for RCI
4434 units so that generated ali files will list the spec
4435 only instead of a body when a body is not found.
4437 2019-01-04 Eric Botcazou <ebotcazou@adacore.com>
4439 * gnatvsn.ads: Bump copyright year.
4441 2019-01-01 Jakub Jelinek <jakub@redhat.com>
4443 Update copyright years.
4445 * gnat_ugn.texi: Bump @copying's copyright year.
4446 * gnat_rm.texi: Likewise.
4448 Copyright (C) 2019 Free Software Foundation, Inc.
4450 Copying and distribution of this file, with or without modification,
4451 are permitted in any medium without royalty provided the copyright
4452 notice and this notice are preserved.