1 2019-08-20 Ed Schonberg <schonberg@adacore.com>
3 * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
4 Storage_Size): If the expression for Storage_Size is not static
5 it may depend on characterstics of another type that may bot be
6 frozen yet, so the elaboration of the expression for the aspect
7 must be attached directly to the freeze actions of the type to
10 2019-08-20 Piotr Trojanek <trojanek@adacore.com>
12 * exp_util.adb (Build_DIC_Procedure_Declaration): Set the last
13 entity of the generated Default_Initial_Condition procedure in
14 order to construct a proper entity chain.
16 2019-08-20 Yannick Moy <moy@adacore.com>
18 * exp_spark.adb (Expand_SPARK_N_Slice_Or_Indexed_Component):
19 Renaming of function to apply to slices as well.
20 (Expand_SPARK): Expand prefix of slices of access type.
22 2019-08-20 Bob Duff <duff@adacore.com>
24 * exp_aggr.adb (Expand_Array_Aggregate): Use build-in-place in
25 the nonlimited case in STEP 4. This improves the efficiency of
26 things like (1 .. 1000 => <>). We still generate some code for
27 that, unfortunately, but it is much improved.
28 (Aggr_Assignment_OK_For_Backend): Return false if <> components
31 2019-08-20 Bob Duff <duff@adacore.com>
33 * exp_ch6.adb (Needs_BIP_Alloc_Form): Call
34 Requires_Transient_Scope rather than checking constrainedness
35 and so forth. We have previously improved
36 Requires_Transient_Scope to return False in various cases,
37 notably a limited record with an access discriminant. This
38 change takes advantage of that to avoid using the secondary
39 stack for functions returning such types.
40 (Make_Build_In_Place_Call_In_Allocator): Be consistent by
41 calling Needs_BIP_Alloc_Form rather than Is_Constrained and so
43 * sem_ch4.adb (Analyze_Allocator): The above change causes the
44 compiler to generate code that is not legal Ada, in particular
45 an uninitialized allocator for indefinite subtype. This is
46 harmless, so we suppress the error message in this case.
48 2019-08-20 Gary Dismukes <dismukes@adacore.com>
50 * ali.adb, ali.ads, aspects.adb, checks.ads, checks.adb,
51 doc/gnat_rm/implementation_defined_pragmas.rst,
52 doc/gnat_ugn/building_executable_programs_with_gnat.rst,
53 einfo.ads, exp_aggr.adb, exp_ch11.adb, exp_ch3.ads, exp_ch4.adb,
54 exp_disp.adb, inline.adb, libgnat/a-locale.ads,
55 libgnat/s-soflin.ads, par_sco.adb, repinfo.adb, sem_ch5.adb,
56 sem_disp.adb, sem_elab.adb, sem_eval.adb, sem_spark.adb,
57 sem_spark.ads, sinfo.ads: Minor reformattings, typo fixes and
60 2019-08-20 Dmitriy Anisimkov <anisimko@adacore.com>
62 * adaint.c (__gnat_to_gm_time): On _WIN32, don't round time up
65 2019-08-20 Ed Schonberg <schonberg@adacore.com>
67 * sem_ch3.adb (Analyze_Object_Declaration): If actual type is
68 private and distinct from nominal type in declaration, propagate
69 flags Is_Constr_Subt_For_U_Nominal and _UN_Aliased to full view
72 2019-08-20 Ed Schonberg <schonberg@adacore.com>
74 * exp_attr.adb (Expand_Loop_Entry_Attribute): When expanding a
75 loop entry attribute for a while_loop we construct a function
76 that incorporates the expanded condition of the loop. The itypes
77 that may be generated in that expansion must carry the scope of
78 the constructed function for proper handling in gigi.
80 2019-08-20 Ed Schonberg <schonberg@adacore.com>
82 * exp_disp.adb (Build_Class_Wide_Check, Replace_Formals): When a
83 dispatching call tp a subprogram with a class-wide precondition
84 occurrs in the same declarative part as the ancestor subprogram
85 being called, the`expression for the precondition has not been
86 analyzed yet. Such a call may appear, e.g. in an expression
87 function. In that case, the replacement of formals by actuals in
88 the call cannot use the formal entities of the subprogram being
89 called, and the occurrence of the formals in the expression must
90 be located by name (Chars fields) as would be done at a later
91 freeze point, when the expression is resolved in the context of
92 the subprogram itself.
94 2019-08-20 Bob Duff <duff@adacore.com>
96 * sem_prag.adb (Persistent_BSS): If an initialization is present
97 because of Initialize_Scalars or Normalize_Scalars, generate an
98 implicit pragma Suppress_Initialization to remove that, because
99 initialization is not allowed for these variables. Other
100 initializations remain illegal.
102 2019-08-20 Gary Dismukes <dismukes@adacore.com>
104 * sem_ch3.adb (OK_For_Limited_Init_In_05): In the case of type
105 conversions, apply the recursive call to the Original_Node of
106 the expression Exp rather than the Expression of the
107 Original_Node, in the case where Exp has been rewritten;
108 otherwise, when Original_Node is the same as Exp, apply the
109 recursive call to the Expression.
110 (Check_Initialization): Revise condition for special check on
111 type conversions of limited function calls to test Original_Node
112 (avoiding spurious errors on expanded unchecked conversions
113 applied to build-in-place dispatching calls).
115 2019-08-20 Patrick Bernardi <bernardi@adacore.com>
117 * exp_aggr.adb (Expand_Record_Aggregate): Always convert a
118 record Aggregate to assignment statements if the option
119 Aggregate_Individually_Assign is set.
120 * opt.ads (Aggregate_Individually_Assign): New option.
121 * par-prag.adb (Prag): Add Pragma_Aggregate_Individually_Assign.
122 * sem_prag.adb (Analyze_Pragma): Likewise.
123 * snames.ads-tmpl: Add Pragma_Aggregate_Individually_Assign and
124 Name_Aggregate_Individually_Assign.
125 * doc/gnat_rm/implementation_defined_pragmas.rst: Document
126 pragma Aggregate_Individually_Assign.
127 * gnat_rm.texi: Regenerate.
129 2019-08-20 Bob Duff <duff@adacore.com>
131 * par-ch4.adb: Minor wording change in error messages.
132 * sem_aggr.adb (Resolve_Delta_Aggregate): Emit an error for Ada
133 versions prior to Ada 2020.
135 2019-08-20 Bob Duff <duff@adacore.com>
137 * freeze.adb (Is_Atomic_VFA_Aggregate): Make the temp for
138 initialization of the atomic variable be constant. This is
139 cleaner, and might improve efficiency.
141 2019-08-20 Eric Botcazou <ebotcazou@adacore.com>
143 * repinfo.adb (List_Record_Info): In -gnatR4 mode, set the
144 relevant flag on the implicit base type of a record subtype.
146 2019-08-20 Bob Duff <duff@adacore.com>
148 * sem_eval.adb (Expr_Value): Implement the case of an unchecked
149 conversion of a static expression.
151 2019-08-20 Bob Duff <duff@adacore.com>
153 * sem_ch13.adb (Is_Null_Array): New function, used to detect the
154 null array case; used to warn about uncheckedly converting to a
155 zero-sized array. It is unfortunate that we can't just check
156 the size, and warn on all cases of converting from a
157 nonzero-sized type to a zero-sized one. That's because "0" means
158 two different things: "size is zero" and "size is unknown".
159 Until we fix that design flaw, we need this more targeted fix.
161 2019-08-20 Bob Duff <duff@adacore.com>
163 * libgnat/a-cborma.adb, libgnat/a-cborse.adb (Clear): Repeatedly
164 call Delete. This avoids clearing the free list, which
165 substantially speeds up future Delete operations.
167 2019-08-20 Bob Duff <duff@adacore.com>
169 * sem_ch13.adb (Component_Order_Check): New procedure to check
170 for out-of-order clauses.
171 * warnsw.ads, warnsw.adb: New -gnatw_r switch.
172 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
174 * gnat_ugn.texi: Regenerate.
176 2019-08-20 Bob Duff <duff@adacore.com>
178 * sem_ch13.adb (Object_Size): Give an error for zero. It really
179 rubs me the wrong way that we don't honor "for T'Object_Size use
180 0;", but it's not important enough to fix. In any case, if we're
181 not going to obey the clause, we should give an error.
183 2019-08-20 Bob Duff <duff@adacore.com>
185 * errout.adb (Error_Msg_Internal): Set Warn_Err in case of
187 * erroutc.adb (Output_Msg_Text): Do Warnings_Treated_As_Errors
188 processing and [warning-as-error] modification for style
189 messages. Clean up code, simplify, remove unnecessary block
190 statement, add renaming of table entry.
191 * erroutc.ads (Warning_Treated_As_Error): Fix comment: no such
192 thing as Set_Warning_As_Error.
193 * opt.ads: Clean up comments and move related declarations near
195 * par-prag.adb: Process Warning_As_Error. This is necessary
196 because many style warning happen during parsing.
197 * sem_prag.adb: Use new Acquire_Warning_Match_String.
198 * sem_util.ads, sem_util.adb (Acquire_Warning_Match_String): New
199 function shared by par-prag.adb and sem_prag.adb. Replaces the
200 procedure in sem_prag.adb. Avoid use of global variables.
201 * stringt.ads, stringt.adb (To_String): New function to convert
203 * doc/gnat_rm/implementation_defined_pragmas.rst: Document the
205 * gnat_rm.texi: Regenerate.
207 2019-08-20 Eric Botcazou <ebotcazou@adacore.com>
209 * lib.ads: Add with clause for GNAT.HTable.
210 Add pragma Inline for Is_Loaded and alphabetize the list.
211 (Unit_Name_Table_Size): New constant.
212 (Unit_Name_Header_Num): New subtype.
213 (Unit_Name_Hash): New function declaration.
214 (Unit_Names): New simple hash table.
215 (Init_Unit_Name): New procedure declaration.
216 * lib.adb (Set_Unit_Name): Unregister the old name in the table,
217 if any, and then register the new name.
218 (Init_Unit_Name): New procedure.
219 (Is_Loaded): Reimplement using a lookup in the names table.
220 (Remove_Unit): Unregister the name.
221 (Unit_Name_Hash): New function.
222 * lib-load.adb (Create_Dummy_Package_Unit): Call Init_Unit_Name.
223 (Load_Unit): Use a lookup in the names table to find out whether
224 the unit has already been loaded. Call Init_Unit_Name and then
225 Remove_Unit if the loading has failed.
226 (Make_Child_Decl_Unit): Call Init_Unit_Name.
227 (Make_Instance_Unit): Likewise.
228 * lib-writ.adb (Ensure_System_Dependency): Likewise.
230 2019-08-20 Bob Duff <duff@adacore.com>
232 * sem_ch13.adb (Record_Hole_Check): Initialize After_Last.
234 2019-08-20 Piotr Trojanek <trojanek@adacore.com>
236 * impunit.adb (Get_Kind_Of_Unit): Revert change for adapting
237 this routine for gnatprove.
239 2019-08-20 Arnaud Charlet <charlet@adacore.com>
241 * doc/gnat_rm/implementation_defined_pragmas.rst: Document
242 requirements for Pragma Lock_Free.
243 * gnat_rm.texi: Regenerate.
245 2019-08-20 Philippe Gil <gil@adacore.com>
247 * bindgen.adb (Gen_Main): Set gnat_argc/gnat_argv to argc/argv
248 only when still uninitialized.
250 2019-08-20 Bob Duff <duff@adacore.com>
252 * libgnat/g-comlin.ads (Exit_From_Command_Line): Fix
253 documentation for GNAT.Command_Line.
255 2019-08-20 Pierre-Marie de Rodat <derodat@adacore.com>
258 * gcc-interface/lang.opt (-fdump-scos): Add missing dot at the
259 end of the documentation.
261 2019-08-20 Richard Sandiford <richard.sandiford@arm.com>
263 * gcc-interface/misc.c (default_pass_by_ref): Update call to
266 2019-08-19 Bob Duff <duff@adacore.com>
268 * doc/gnat_rm/implementation_advice.rst: Fix documentation for
269 stream oriented attributes.
270 * gnat_rm.texi: Regenerate.
272 2019-08-19 Gary Dismukes <dismukes@adacore.com>
274 * einfo.ads (E_Function, E_Procedure): Update comments to
275 reflect that Renamed_Entity is also used for nongeneric
278 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
280 * sem_prag.adb (Is_Before_First_Decl): Deal with rewritten
283 2019-08-19 Bob Duff <duff@adacore.com>
285 * sem_warn.adb (Warn_On_Unreferenced_Entity): Suppress warning
286 on formal parameters of dispatching operations.
288 2019-08-19 Ed Schonberg <schonberg@adacore.com>
290 * sem_res.adb (Resolve_Call): A call to an expression function
291 freezes when expander is active, unless the call appears within
292 the body of another expression function,
294 2019-08-19 Dmitriy Anisimkov <anisimko@adacore.com>
296 * libgnat/s-os_lib.ads, libgnat/s-os_lib.adb (To_Ada, To_C): New
299 2019-08-19 Bob Duff <duff@adacore.com>
301 * exp_attr.adb (Attribute_Valid): Correct the handling of
302 private types where the full type is modular. System.Address is
303 an example. Otherwise, we convert uncheckedly to a signed type,
304 so we get an incorrect range 0 .. -1, for which all values will
305 fail. The 'Valid attribute is illegal for such types, but we
306 generate such illegal attribute_references for 'Valid_Scalars,
307 and we generate 'Valid_Scalars when the -gnateV switch is used.
308 Rename Btyp --> PBtyp to avoid hiding the outer Btyp, which was
310 * libgnat/a-except.adb: Set the Exception_Raised component.
311 Otherwise, we have incorrect reads of invalid data.
313 2019-08-19 Pierre-Marie de Rodat <derodat@adacore.com>
315 * libgnat/a-cgaaso.ads, libgnat/a-cgarso.ads,
316 libgnat/a-cogeso.ads, libgnat/a-contai.ads,
317 libgnat/a-locale.ads: Import documentation from the RM.
319 2019-08-19 Jerome Guitton <guitton@adacore.com>
321 * Makefile.rtl (system.o): New target to add generation of
323 * gcc-interface/Makefile.in (install-gnatlib): Install
324 ada_target_properties.
326 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
328 * inline.adb (Add_Inlined_Body): Do not special-case instances
329 that are compilation units.
330 (Add_Pending_Instantiation): Likewise.
331 (Instantiate_Body): Skip instantiations that are compilation
332 units and have already been performed.
333 * sem_ch12.adb (Needs_Body_Instantiated): Do not special-case
334 instances that are compilation units.
335 (Load_Parent_Of_Generic): Be prepared for parent that is a
336 compilation unit but whose instantiation node has not been
339 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
341 * inline.adb (Initialize, Lock): Deal with
342 Called_Pending_Instantiations.
344 2019-08-19 Ed Schonberg <schonberg@adacore.com>
346 * sem_ch6.adb (Check_Synchronized_Overriding): Complete
347 predicate that applies legality check in 9.4 (11.9/2): if an
348 inherited subprogram is implemented by a protected procedure or
349 entry, its first paarameter must be out, in_out or
352 2019-08-19 Javier Miranda <miranda@adacore.com>
355 * exp_atag.ads, exp_atag.adb (Build_Inherit_Predefined_Prims):
356 Adding formal to specify how many predefined primitives are
357 inherited from the parent type.
358 * exp_disp.adb (Number_Of_Predefined_Prims): New subprogram.
359 (Make_Secondary_DT): Compute the number of predefined primitives
360 of all tagged types (including tagged types not defined at
361 library level). Previously we unconditionally relied on the
362 Max_Predef_Prims constant value when building the dispatch
363 tables of tagged types not defined at library level (thus
364 consuming more memory for their dispatch tables than required).
365 (Make_DT): Compute the number of predefined primitives that must
366 be inherited from their parent type when building the dispatch
367 tables of tagged types not defined at library level. Previously
368 we unconditionally relied on the Max_Predef_Prims constant value
369 when building the dispatch tables of tagged types not defined at
370 library level (thus copying more data than required from the
373 2019-08-19 Bob Duff <duff@adacore.com>
375 * sem_ch13.adb (Record_Hole_Check): Procedure to check for holes
376 that incudes processing type extensions. A type extension is
377 processed by first calling Record_Hole_Check recursively on the
378 parent type to compute the bit number after the last component
381 2019-08-19 Gary Dismukes <dismukes@adacore.com>
383 * checks.adb (Length_Mismatch_Info_Message): New function in
384 Selected_Length_Checks to return a message indicating the
385 element counts for the mismatched lengths for a failed
386 compile-time length check.
387 (Plural_Or_Singular_Ending): Support function in
388 Length_Mismatch_Info_Message to return either "" or "s", for
389 concatenating to the end of words.
390 (Selected_Length_Checks): Pass the result of
391 Length_Mismatch_Info_Message as an extra warning message to
392 Compile_Time_Constraint_Error to indicate the mismatched lengths
393 for a failed compile-time length check.
394 * sem_util.ads (Compile_Time_Constraint_Error): Add an optional
395 message formal (Extra_Msg), defaulted to the empty string.
396 * sem_util.adb (Compile_Time_Constraint_Error): Output an extra
397 message following the main warning message (when Extra_Msg is
398 not the empty string).
400 2019-08-19 Patrick Bernardi <bernardi@adacore.com>
402 * socket.c: Removed the redefinition of getaddrinfo, getnameinfo
403 and freeaddrinfo to internal VxWorks kernel calls because they
404 are, well, internal kernel calls and cannot be called from RTPs.
405 VxWorks provides the necessary components to call these routines
408 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
410 * exp_dist.adb (Is_Generic_Actual_Subtype): New predicate.
411 (Build_From_Any_Call, Build_To_Any_Call, Build_TypeCode_Call):
412 Use it instead of Is_Generic_Actual_Type flag to detect subtypes
413 representing generic actual types.
415 2019-08-19 Ed Schonberg <schonberg@adacore.com>
417 * sem_warn.adb (Check_References, Generic_Body_Formal): When a
418 formal parameter of a generic subprogram is not referenced in
419 the body, place the corresponding warning on the corresponding
420 entity in the specification of the generic body, as is done for
421 non-generic subprograms.
423 2019-08-19 Bob Duff <duff@adacore.com>
425 * errout.ads (Size_Too_Small_Message): New constant.
426 * errout.adb, freeze.adb, sem_ch13.adb: Use it.
428 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
430 * exp_dist.adb (Build_Package_Stubs): Do not specifically visit
431 the declarations of an N_Subprogram_Instantiation node.
433 2019-08-19 Bob Duff <duff@adacore.com>
435 * doc/gnat_ugn/gnat_utility_programs.rst: Document missing
438 2019-08-19 Piotr Trojanek <trojanek@adacore.com>
440 * sem_ch12.adb (Get_Unit_Instantiation_Node): Simplify Nkind_In
442 * sem.adb (Depends_On_Main): Whitespace cleanup; only assign a
443 local variable if needed.
445 2019-08-19 Claire Dross <dross@adacore.com>
447 * sem_spark.ads, sem_spark.adb (Is_Pledge_Function): New
448 parameter of the generic. Function used to decide whether a
449 function is a pledge function.
450 (Check_Not_Borrowed): Disable check inside the second parameter
451 of a pledge function for the path borrowed by the first
452 parameter. Also disable checks for entities inside a Global
455 2019-08-19 Joffrey Huguet <huguet@adacore.com>
457 * libgnat/a-cfdlli.ads, libgnat/a-cfhama.ads,
458 libgnat/a-cfinve.ads, libgnat/a-cforma.ads,
459 libgnat/a-cofove.ads, libgnat/a-cofuma.ads,
460 libgnat/a-cofuve.ads: Add formal function parameter "=" (L, R :
461 Element_Type) to the generic packages.
463 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
465 * opt.ads: Clean up left-overs of earlier implementation in
468 2019-08-19 Ed Schonberg <schonberg@adacore.com>
470 * sem_ch3.adb (Derived_Enumeration_Type): Do no freeze anonymous
471 base type if the bounds in the derived type declaration are
472 literals of the type.
474 2019-08-19 Yannick Moy <moy@adacore.com>
476 * sem_res.adb (Resolve_Call): Check non-aliasing rules before
479 2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
481 * inline.adb (Add_Inlined_Body): Do not add pending
483 * sem_ch12.adb (Needs_Body_Instantiated): New predicate.
484 (Analyze_Package_Instantiation): Use it to decide whether to add
485 a pending instantiation for the body of the package.
487 2019-08-19 Olivier Hainque <hainque@adacore.com>
489 * gcc-interface/trans.c (Acc_Loop_to_gnu): Return the openacc
490 BIND_EXPR node we have constructed on purpose. Remove unused
493 2019-08-19 Pierre-Marie de Rodat <derodat@adacore.com>
495 * gcc-interface/lang.opt (fdump-scos): Define.
496 * gcc-interface/misc.c (gnat_handle_option): Handle
499 2019-08-14 Joffrey Huguet <huguet@adacore.com>
501 * libgnat/a-cofuba.ads: Add a Length attribute to type
502 Container. Add a type Array_Base which replaces the previous
503 Elements attribute of Container.
504 (Content_Init): New subprogram. It is used to initialize the
505 Base attribute of Container.
506 * libgnat/a-cofuba.adb (Resize): New subprogram. It is used to
507 resize the underlying array of a container if necessary.
508 (=, <=, Find, Get, Intersection, Length, Num_Overlaps, Set,
509 Union): Update to match changes in type declarations.
510 (Add): Modify body to damp the time and space cost in a specific
512 (Content_Init): New subprogram. It is used to initialize the
513 Base attribute of Container.
514 (Remove): Modify body to damp the time and space cost in a
517 2019-08-14 Bob Duff <duff@adacore.com>
519 * sem_ch13.adb (Get_Alignment_Value): Return 1 for Alignment 0,
520 and do not give an error.
521 * doc/gnat_rm/representation_clauses_and_pragmas.rst: Update the
522 corresponding documentation.
523 * gnat_rm.texi: Regenerate.
525 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
527 * inline.adb (Add_Pending_Instantiation): Fix off-by-one error
528 in the comparison against the maximum number of instantiations.
530 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
532 * inline.adb (Add_Pending_Instantiation): Use greater-or-equal
533 in the comparison against the maximum number of instantiations.
535 2019-08-14 Ed Schonberg <schonberg@adacore.com>
537 * sem_aux.adb (Next_Rep_Item): If a node in the rep chain
538 involves a Ghost aspect it may have been replaced by a null
539 statement; use the original node to find next Rep_Item.
540 * repinfo.adb (List_Entities): Do not list an Ignored
541 Ghost_Entity, for which information may have been deleted.
543 2019-08-14 Bob Duff <duff@adacore.com>
545 * sem_prag.ads, sem_prag.adb
546 (Process_Compile_Time_Warning_Or_Error): In parameterless
547 version, improve detection of whether we are in a generic unit
548 to cover the case of an instance within a generic unit.
549 (Process_Compile_Time_Warning_Or_Error): Rename the
550 two-parameter version to be
551 Validate_Compile_Time_Warning_Or_Error, and do not export it.
552 Issue a warning if the condition is not known at compile time.
553 The key point is that the warning must be given only for pragmas
554 deferred to the back end, because the back end discovers
555 additional values that are known at compile time. Previous
556 changes in this ticket have enabled this by deferring to the
557 back end without checking for special cases such as 'Size.
558 (Validate_Compile_Time_Warning_Or_Error): Rename to be
559 Defer_Compile_Time_Warning_Error_To_BE.
560 * warnsw.ads, warnsw.adb (Warn_On_Unknown_Compile_Time_Warning):
561 Add new switches -gnatw_c and -gnatw_C to control the above
563 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
564 Document new switches.
565 * gnat_ugn.texi: Regenerate.
567 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
569 * sem_ch12.adb (Might_Inline_Subp): Rework comment and restrict
570 the shortcut based on Is_Inlined to the back-end inlining case.
572 2019-08-14 Bob Duff <duff@adacore.com>
574 * inline.adb (Check_And_Split_Unconstrained_Function): Ignore
575 protected functions to get rid of spurious error. The
576 transformation done by this procedure triggers legality errors
577 in the generated code in this case.
579 2019-08-14 Bob Duff <duff@adacore.com>
581 * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Defer
582 processing to the back end in all cases where the pragma's
583 condition is not known at compile time during the front end
584 (except in generics), as opposed to detecting 'Size attributes
585 and the like. This ensures that we take advantage of whatever
586 can be compile-time known after running the back end, as opposed
587 to having the front end guess what the back end can do. Remove
588 a little duplicated code at the call site.
589 * gnat1drv.adb (Post_Compilation_Validation_Checks): Unlock the
590 Elists while in Validate_Compile_Time_Warning_Errors, because it
591 does analysis and name resolution, which sometimes involves
594 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
596 * einfo.ads (Is_Called): Document new usage on E_Package
598 * einfo.adb (Is_Called): Accept E_Package entities.
599 (Set_Is_Called): Likewise.
600 * exp_ch6.adb (Expand_Call_Helper): Move code dealing with
601 instances for back-end inlining to Add_Inlined_Body.
602 * inline.ads: Remove with clauses for Alloc and Table.
603 (Pending_Instantiations): Move to...
604 * inline.adb: Add with clauses for Alloc, Uintp, Table and
606 (Backend_Instances): New variable.
607 (Pending_Instantiations): ...here.
608 (Called_Pending_Instantiations): New table.
609 (Node_Table_Size): New constant.
610 (Node_Header_Num): New subtype.
611 (Node_Hash): New function.
612 (To_Pending_Instantiations): New hash table.
613 (Add_Inlined_Body): Bail out early for subprograms in the main
614 unit or subunit. Likewise if the Is_Called flag is set. If the
615 subprogram is an instance, invoke Add_Inlined_Instance. Call
616 Set_Is_Called earlier. If the subrogram is within an instance,
617 invoke Add_Inlined_Instance. Also deal with the case where the
618 call itself is within an instance.
619 (Add_Inlined_Instance): New procedure.
620 (Add_Inlined_Subprogram): Remove conditions always fulfilled.
621 (Add_Pending_Instantiation): Move the defence against ludicruous
622 number of instantiations to here. When back-end inlining is
623 enabled, associate an instantiation with its index in table and
624 mark a few selected kinds of instantiations as always needed.
625 (Initialize): Set Backend_Instances to No_Elist.
626 (Instantiate_Body): New procedure doing the work extracted
628 (Instantiate_Bodies): ...here. When back-end inlining is
629 enabled, loop over Called_Pending_Instantiations instead of
630 Pending_Instantiations.
631 (Is_Nested): Minor tweak.
632 (List_Inlining_Info): Also list the contents of
634 * sem_ch12.adb (Might_Inline_Subp): Return early if Is_Inlined
635 is set and otherwise set it before returning true.
636 (Analyze_Package_Instantiation): Remove the defence against
637 ludicruous number of instantiations. Invoke
638 Remove_Dead_Instance instead of doing the removal manually if
639 there is a guaranteed ABE.
641 2019-08-14 Gary Dismukes <dismukes@adacore.com>
643 * exp_ch3.adb (Predef_Spec_Or_Body): For an equality operation
644 of an interface type, create an expression function (that
645 returns False) rather than declaring an abstract function.
646 * freeze.adb (Check_Inherited_Conditions): Set Needs_Wrapper to
647 False unconditionally at the start of the loop creating wrappers
648 for inherited operations.
650 2019-08-14 Bob Duff <duff@adacore.com>
652 * table.adb: Assert that the table is not locked when increasing
653 Last, even if it doesn't cause reallocation. In other words,
654 assert that on operations that MIGHT cause reallocation.
655 * table.ads: Fix comment accordingly.
657 2019-08-14 Arnaud Charlet <charlet@adacore.com>
659 * doc/gnat_ugn/gnat_and_program_execution.rst: Remove
660 documentation of gnatelim.
662 2019-08-14 Bob Duff <duff@adacore.com>
664 * sem_prag.adb (Validate_Compile_Time_Warning_Error): Attach the
665 warning to the Sloc of the first pragma argument, rather than to
666 the pragma itself. This is to make pragmas processed after the
667 back end use the same Sloc as pragmas processed earlier, in the
668 front end. There's no reason for this discrepancy, and it
669 hinders further work on this ticket.
671 2019-08-14 Bob Duff <duff@adacore.com>
673 * sem.ads (Inside_A_Generic): Remove the ??? comment.
675 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
677 * inline.ads (Pending_Descriptor): Delete.
678 * inline.adb (Initialize): Do not initialize it.
679 * sem_ch12.adb (Delay_Descriptors): Delete.
680 (Analyze_Package_Instantiation): Call
681 Set_Delay_Subprogram_Descriptors instead of Delay_Descriptors
684 2019-08-14 Bob Duff <duff@adacore.com>
686 * exp_aggr.adb (Init_Hidden_Discriminants): Avoid processing the
687 wrong discriminant, which could be of the wrong type.
689 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
691 * sem_ch12.adb (Analyze_Instance_And_Renamings): Do not reset
692 the Is_Generic_Instance flag previously set on the package
693 generated for the instantiation of a generic subprogram.
695 2019-08-14 Ed Schonberg <schonberg@adacore.com>
697 * exp_ch4.adb (Expand_N_Quantified_Expression): Freeze
698 explicitly the type of the loop parameter.
700 2019-08-14 Javier Miranda <miranda@adacore.com>
702 * sem_util.adb (New_Copy_Tree.Copy_Node_With_Replacement):
703 Update the Chars attribute of identifiers.
705 2019-08-14 Yannick Moy <moy@adacore.com>
707 * sem_spark.adb, sem_spark.ads (Is_Legal): New function exposed
708 for use in GNATprove, to test legality rules not related to
710 (Check_Declaration_Legality): Extract the part of
711 Check_Declaration that checks rules not related to permissions.
712 (Check_Declaration): Call the new Check_Declaration_Legality.
713 (Check_Type_Legality): Rename of Check_Type. Introduce
714 parameters to force or not checking, and update a flag detecting
716 (Check_Node): Ignore attribute references in statement position.
718 2019-08-14 Yannick Moy <moy@adacore.com>
720 * sem_spark.adb (Check_Old_Loop_Entry): New procedure to check
721 correct use of Old and Loop_Entry.
722 (Check_Node): Check subprogram contracts.
723 (Check_Pragma): Check Loop_Variant.
724 (Check_Safe_Pointers): Apply checking to library-level
725 subprogram declarations as well, in order to check their
728 2019-08-14 Yannick Moy <moy@adacore.com>
730 * sem_spark.adb (Is_Subpath_Expression): Take into account
731 conversion and qualification.
733 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
735 * sem_ch7.adb (Install_Private_Declarations)
736 <Swap_Private_Dependents>: Do not rely solely on the
737 Is_Child_Unit flag on the unit to recurse.
738 (Uninstall_Declarations) <Swap_Private_Dependents>: New
739 function. Use it to recurse on the private dependent entities
742 2019-08-14 Javier Miranda <miranda@adacore.com>
744 * exp_aggr.adb (Is_CCG_Supported_Aggregate): Return False for
745 arrays with bounds not known at compile time.
747 2019-08-14 Ed Schonberg <schonberg@adacore.com>
749 * sem_util.adb (New_Copy_Tree, Visit_Entity): A quantified
750 expression includes the implicit declaration of the loop
751 parameter. When a quantified expression is copied during
752 expansion, for example when building the precondition code from
753 the generated pragma, a new loop parameter must be created for
754 the new tree, to prevent duplicate declarations for the same
757 2019-08-14 Yannick Moy <moy@adacore.com>
759 * sem_disp.adb (Check_Dispatching_Operation): Update assertion
760 for the separate declarations created in GNATprove mode.
761 * sem_disp.ads (Is_Overriding_Subprogram): Update comment.
762 * sem_elab.adb (SPARK_Processor): Fix test for checking of
763 overriding primitives.
765 2019-08-14 Eric Botcazou <ebotcazou@adacore.com>
767 * inline.adb (Add_Inlined_Body): Tweak comments.
768 (List_Inlining_Info): Also list information about non-main
771 2019-08-14 Gary Dismukes <dismukes@adacore.com>
773 * sem_ch4.adb (Analyze_Selected_Component): In the case where
774 the prefix is of a concurrent type, and the selected entity
775 matching the selector is the first private declaration of the
776 type (such as the first local variable in a task's body), set
779 2019-08-14 Piotr Trojanek <trojanek@adacore.com>
781 * einfo.adb (Is_Generic_Actual_Subprogram): Replace repeated
782 calls to Ekind with Ekind_In.
784 2019-08-13 Richard Sandiford <richard.sandiford@arm.com>
787 * gcc-interface/trans.c (gigi): Call set_decl_buillt_in_function.
788 (Call_to_gnu): Use DECL_FE_FUNCTION_CODE instead of DECL_FUNCTION_CODE.
790 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
792 * ali.ads (Linker_Option_Record): Remove Original_Pos component.
793 * ali.adb (Scan_ALI): Do not set it.
795 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
797 * sem_ch3.adb (Build_Derived_Concurrent_Type): Add a couple of
798 local variables and use them. When the derived type fully
799 constrains the parent type, rewrite it as a subtype of an
800 implicit (unconstrained) derived type instead of the other way
802 (Copy_And_Build): Deal with concurrent types and use predicates.
803 (Build_Derived_Private_Type): Build the full derivation if
804 needed for concurrent types too.
805 (Build_Derived_Record_Type): Add marker comment.
806 (Complete_Private_Subtype): Use predicates.
808 2019-08-13 Ed Schonberg <schonberg@adacore.com>
810 * sem_ch3.adb (Check_Generic_Ancestor): New subprogram,
811 aubsidiary to Build_Derived_Record_Type. to enforce the rule
812 that a type extension declared in a generic body cznnot have an
813 ancestor that is a generic formal (RM 3.9.1 (4/2)). The rule
814 applies to all ancestors of the type, including interface
817 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
819 * sem_ch3.adb (Build_Underlying_Full_View): Delete.
820 (Complete_Private_Subtype): Do not set the full view on the
821 private subtype here. If the full base is itself derived from
822 private, do not re-derive the parent type but instead constrain
823 an existing underlying full view.
824 (Prepare_Private_Subtype_Completion): Do not get to the
825 underlying full view, if any. Set the full view on the private
827 (Process_Full_View): Likewise.
828 * sem_ch12.adb (Check_Generic_Actuals): Also set
829 Is_Generic_Actual_Type on the full view if the type of the
831 (Restore_Private_Views): Also reset Is_Generic_Actual_Type on
832 the full view if the type of the actual is private.
833 * sem_eval.adb (Subtypes_Statically_Match): Remove bypass for
834 generic actual types.
836 2019-08-13 Javier Miranda <miranda@adacore.com>
838 * sem_res.adb (Resolve_Selected_Component): When the type of the
839 component is an access to a class-wide type and the type of the
840 context is an access to a tagged type the relevant type is that
841 of the component (since in such case we may need to generate
842 implicit type conversions or dispatching calls).
844 2019-08-13 Ed Schonberg <schonberg@adacore.com>
846 * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Preanalyze
847 expression, rather do a full analysis, to prevent unwanted
848 removal of side effects which mask the intent of the expression.
850 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
852 * impunit.adb (Non_Imp_File_Names_95): Add
853 GNAT.Branch_Prediction.
855 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
857 * exp_ch6.adb: Remove with and use clauses for Sem_Ch12.
858 (Expand_Call_Helper): Swap the back-end inlining case and the
859 special front-end expansion case. In back-end inlining mode, do
860 not invoke Add_Inlined_Body unless the call may be inlined.
861 * inline.ads (Add_Pending_Instantiation): New function moved
863 * inline.adb (Add_Inlined_Body): Simplify comment. Turn test on
864 the enclosing unit into assertion.
865 (Add_Pending_Instantiation): New function moved from...
866 * sem_ch12.ads (Add_Pending_Instantiation): ...here.
867 * sem_ch12.adb (Add_Pending_Instantiation): ...here.
869 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
871 * sem.adb (Do_Analyze): Recompute Style_Check_Max_Line_Length
872 after restoring Style_Max_Line_Length.
874 2019-08-13 Arnaud Charlet <charlet@adacore.com>
876 * sem_ch13.adb (Check_Iterator_Functions): Protect against
879 2019-08-13 Ed Schonberg <schonberg@adacore.com>
881 * sem_ch8.adb (Analyze_Subprogram_Renaming): Do no suppress mode
882 conformance checks on child unit instance that is a compilation
885 2019-08-13 Gary Dismukes <dismukes@adacore.com>
887 * exp_dbug.adb (Fully_Qualify_Name): Add full name qualification
888 for the E_Exception case.
890 2019-08-13 Gary Dismukes <dismukes@adacore.com>
892 * exp_aggr.adb (Aggr_Size_OK): Compute the aggregate size using
893 universal arithmetic, to avoid situations where the size
894 computation overflows.
896 2019-08-13 Justin Squirek <squirek@adacore.com>
898 * repinfo.adb (List_Scalar_Storage_Order): Modify conditionals
899 for displaying ordering to always be triggered when -gnatR4 is
902 2019-08-13 Justin Squirek <squirek@adacore.com>
904 * aspects.adb, aspects.ads: Register new aspect.
905 * par-prag.adb (Prag): Register new pragma
906 * sem_ch13.adb (Analyze_Aspect_Specifications): Add processing
907 for new aspect similar to Aspect_Max_Entry_Queue_Length.
908 * sem_prag.adb, sem_prag.ads (Analyze_Pragma): Register new
909 pragma and set it to use the same processing as
910 Pragma_Max_Queue_Length.
911 * snames.ads-tmpl: Move definition of
912 Name_Max_Entry_Queue_Length so that it can be processed as a
913 pragma in addition to a restriction and add an entry for the
916 2019-08-13 Yannick Moy <moy@adacore.com>
918 * sem_ch4.adb (Analyze_Allocator): Do not insert subtype
919 declaration for allocator inside a spec expression.
921 2019-08-13 Yannick Moy <moy@adacore.com>
923 * sem_res.adb (Resolve_Call): Do not inline calls inside record
926 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
928 * sem_ch4.adb (Analyze_One_Call): Remove bypass for type
929 mismatch in nested instantiations.
930 * sem_ch8.adb (Find_Nearer_Entity): New function.
931 (Find_Renamed_Entity): Use it to disambiguate the candidates for
932 the renaming generated for an instantiation when it is
935 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
937 * gnat1drv.adb (Adjust_Global_Switches): Do not set
938 Back_End_Inlining in ASIS mode either.
940 2019-08-13 Olivier Hainque <hainque@adacore.com>
942 * libgnat/s-win32.ads: Define size_t and fix the MapViewOfFile
943 binding to use it instead of DWORD for the dwNumberOfBytesToMap
945 * libgnat/g-sercom__mingw.adb (Read): State which definition of
946 size_t to fetch in call to Last_Index.
948 2019-08-13 Arnaud Charlet <charlet@adacore.com>
950 * gcc-interface/Make-lang.in: Remove unused TRACE variable. Pass
951 LN_S to relevant gnatlib targets.
952 * gcc-interface/Makefile.in: Systematically pass LN_S to
953 relevant gnatlib targets.
955 2019-08-13 Yannick Moy <moy@adacore.com>
957 * sem_dim.adb (Analyze_Dimension,
958 Analyze_Dimension_Array_Aggregate, Analyze_Dimension_Call,
959 Analyze_Dimension_Extension_Or_Record_Aggregate): Return
960 immediately when inside an inlined body.
961 * sem_res.adb (Resolve_Call): Remove special checking now done
962 inside Analyze_Dimension_Call.
964 2019-08-13 Justin Squirek <squirek@adacore.com>
966 * exp_ch4.adb (Expand_N_Allocator): Add condition to detect
967 library-level object declarations
969 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
971 * doc/gnat_ugn/building_executable_programs_with_gnat.rst
972 (-gnateT): Document Double_Float_Alignment parameter and fix
973 description of Double_Scalar_Alignment parameter.
974 * gnat_ugn.texi: Regenerate.
976 2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
978 * exp_ch6.adb (Expand_Call_Helper): If back-end inlining is
979 enabled, also instantiate the body of a generic unit containing
980 a subprogram subject to aspect/pragma Inline_Always at
981 optimization level zero.
982 * sem_ch12.adb (Might_Inline_Subp): Minor tweak.
983 (Analyze_Package_Instantiation): Do not instantiate the package
984 body because of inlining considerations if the instantiation is
985 done in a generic unit. Move around similar condition involving
986 the main unit. Add test on Back_End_Inlining to processing for
989 2019-08-13 Javier Miranda <miranda@adacore.com>
991 * exp_disp.adb (Make_Secondary_DT): Handle record type
992 derivations that have interface components located at fixed
993 positions and interface components located at variable offset.
994 The offset of components located at fixed positions is computed
995 using the dummy object (similar to the case where all the
996 interface components are located at fixed positions).
997 (Make_DT): Build the dummy object for all tagged types that
998 implement interface types (that is, build it also for types with
999 variable size components), and use the dummy object to compute
1000 the offset of all tag components located at fixed positions when
1001 initializing the Interface_Table object.
1003 2019-08-13 Justin Squirek <squirek@adacore.com>
1005 * gnatcmd.adb (GNATCmd): Add constant for new compiler switch
1006 --help-ada, and include usage subprogram. Add line to usage help
1007 explaining the new flag.
1008 (GNATCmd_Usage): Rename from locally declared Usage so as not to
1009 confuse with the newly imported version. Add new argument case
1010 for --help-ada and add bug report email to implicit display of
1011 help without the --help flag so as to unify output between the
1014 2019-08-13 Dmitriy Anisimkov <anisimko@adacore.com>
1016 * libgnat/g-comlin.adb (Getopt): Quote unrecognized switch in
1017 Invalid_Switch exception message.
1019 2019-08-13 Yannick Moy <moy@adacore.com>
1021 * sem_util.adb (Traverse_More_Func): Take into account
1022 Loop_Actions inside N_Iterated_Component_Association nodes.
1023 * sinfo.ads: Document correctly Loop_Actions as a field of nodes
1024 of kind N_Iterated_Component_Association.
1026 2019-08-13 Claire Dross <dross@adacore.com>
1028 * libgnat/a-cfinve.adb, libgnat/a-cofove.adb (Find_Index,
1029 Reverse_Find_Index): Use bigger type to avoid range check
1030 failure at the last loop iteration.
1032 2019-08-12 Dmitriy Anisimkov <anisimko@adacore.com>
1034 * libgnat/g-socket.adb (Is_IPv6_Address): Check that no less
1035 then 2 colons in IPv6 numeric address.
1037 2019-08-12 Dmitriy Anisimkov <anisimko@adacore.com>
1039 * libgnat/g-comlin.ads, libgnat/g-comlin.adb (Getopt): Add
1040 parameter Quiet. Need to do not output error messages to
1041 console. Invalid_Switch exception generation surrounded by an
1044 2019-08-12 Ed Schonberg <schonberg@adacore.com>
1046 * exp_ch6.adb (Expand_Actuals. Add_Call_By_Copy_Code): Add code
1047 to generate proper checks when an actual for an in-out or out
1048 parameter has a non-null access type. No constraints are
1049 applied to an inbound access parameter, but on exit a not-null
1050 check must be performed if the type of the actual requires it.
1052 2019-08-12 Ed Schonberg <schonberg@adacore.com>
1054 * sem_util.adb (Is_Expaned_Priority_Attribute): Check whether
1055 call comes from a rewritten attribute before comparing name with
1056 Get_Ceiling run-time subprogram.
1058 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1060 * exp_util.ads (Component_May_Be_Bit_Aligned): Small comment
1062 (Possible_Bit_Aligned_Component): Likewise.
1063 (Type_May_Have_Bit_Aligned_Components): Likewise.
1064 * exp_util.adb (Component_May_Be_Bit_Aligned): Likewise.
1065 (Possible_Bit_Aligned_Component): Likewise.
1066 (Type_May_Have_Bit_Aligned_Components): Likewise.
1068 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1070 * exp_ch4.adb (Expand_N_Op_Eq): Expand the array equality if
1071 either operand is a possibly unaligned slice.
1072 * exp_ch6.adb (Expand_Simple_Function_Return): Do not generate a
1073 copy for a possibly unaligned object if it is represented as a
1075 * exp_util.adb (Is_Possibly_Unaligned_Slice): Do not always
1076 return false if the target doesn't have strict alignment.
1078 2019-08-12 Bob Duff <duff@adacore.com>
1080 * sem_ch12.adb (Instantiate_Package_Body): Remove suppression of
1081 checks in instances of internal units.
1082 * sem_ch6.adb (Analyze_Function_Return): Do not generate a
1083 constraint check on an extended_return_statement if the subtype
1084 of the return object in the statement is identical to the return
1085 subtype of the function.
1087 2019-08-12 Bob Duff <duff@adacore.com>
1089 * libgnat/a-cbmutr.adb (Is_Reachable): Declare Idx to be of the
1090 base subtype. Clearly it makes no sense to loop "while Idx >=
1091 0", if Idx is of a nonnegative subtype.
1093 2019-08-12 Bob Duff <duff@adacore.com>
1095 * libgnat/a-tifiio.adb (Put_Scaled): Prevent AA from being
1096 negative, since Field is range 0 .. something.
1098 2019-08-12 Bob Duff <duff@adacore.com>
1100 * doc/gnat_ugn/gnat_utility_programs.rst (gnatmetric, gnatpp,
1101 gnatstub): Remove documentation for Ada language version
1102 switches, and note that they are no longer needed.
1104 2019-08-12 Gary Dismukes <dismukes@adacore.com>
1106 * sem_ch5.adb (Prepare_Param_Spec_Loop): Set the parents of the
1107 copied low and high bounds in the case where the loop range is
1108 given by a discrete_subtype_indication, to prevent hanging (or
1109 Assert_Failure) in Insert_Actions.
1111 2019-08-12 Ed Schonberg <schonberg@adacore.com>
1113 * sem_ch6.adb (heck_Untagged_Equality): Verify that user-defined
1114 equality has the same profile as the predefined equality before
1115 applying legality rule in RM 4.5.2 (9.8).
1117 2019-08-12 Bob Duff <duff@adacore.com>
1119 * libgnat/a-except.ads: Update obsolete comment, still making
1120 clear that this is a variant. Add explicit default for Id
1121 component of Exception_Occurrence, because that value is used.
1122 Define Null_Occurrence less redundantly.
1123 * libgnat/a-einuoc.adb: Minor simplification of code.
1125 2019-08-12 Justin Squirek <squirek@adacore.com>
1127 * libgnat/a-dhfina.adb, libgnat/a-dhfina.ads (Is_Simple_Name,
1128 Is_Root_Directory, Is_Parent_Directory,
1129 Is_Current_Directory_Name, Is_Relative_Name, Initial_Directory,
1130 Relative_Name, Compose): Add implementation and documentation.
1131 * libgnat/a-direct.adb (Containing_Directory): Modify routine to
1132 use routines from Ada.Directories.Hierarchical_File_Names and
1133 remove incorrect special case for parent directories.
1134 (Fetch_Next_Entry): Add check for current directory and parent
1135 directory and ignore them under certain circumstances.
1136 (Simple_Nmae): Add check for null result from
1137 Simple_Name_Internal and raise Name_Error.
1138 (Simple_Name_Internal): Add explicit check for root directories,
1139 sanitize trailing directory separators, and modify behavior so
1140 that current and parent directories are considered valid
1142 * Makefile.rtl: Add entry to GNATRTL_NONTASKING_OBJS.
1144 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1146 * freeze.adb (Freeze_Entity): Give the same error for an
1147 Object_Size clause on a variable-sized type as for a Size
1150 2019-08-12 Gary Dismukes <dismukes@adacore.com>
1152 * sem_prag.adb (Analyze_Pragma, Pragma_Suppress_Initialization):
1153 For private types, set the Suppress_Initialization flag on the
1154 Full_View of the entity rather than the entity's base type.
1156 2019-08-12 Yannick Moy <moy@adacore.com>
1158 * aspects.adb, aspects.ads (Aspect_No_Caching): New aspect.
1159 * contracts.adb, contracts.ads (Add_Contract_Item): Add handling
1161 (Analyze_Object_Contract): Add handling of No_Caching.
1162 * einfo.adb, einfo.ads
1163 (Get_Pragma): Add handling of No_Caching.
1164 * doc/gnat_rm/implementation_defined_aspects.rst,
1165 doc/gnat_rm/implementation_defined_pragmas.rst: Document new
1167 * gnat_rm.texi: Regenerate.
1168 * par-prag.adb (Prag): New pragma Pragma_No_Caching.
1169 * sem_ch13.adb (Analyze_Aspect_Specifications,
1170 Check_Aspect_At_Freeze_Point): Add handling of No_Caching.
1171 * sem_prag.adb (Analyze_Pragma): Deal with pragma No_Caching.
1172 * sem_prag.ads (Analyze_External_Property_In_Decl_Part): Now
1173 applies to No_Caching.
1174 * sem_util.adb, sem_util.ads (Is_Effectively_Volatile): Add
1175 handling of No_Caching.
1176 (No_Caching_Enabled): New query function.
1177 * snames.ads-tmpl: New names for pragma.
1179 2019-08-12 Yannick Moy <moy@adacore.com>
1181 * sem_util.adb, sem_util.ads (Traverse_More_Func,
1182 Traverse_More_Proc): Add formal parameter for Itypes traversal.
1184 2019-08-12 Yannick Moy <moy@adacore.com>
1186 * exp_attr.adb, exp_attr.ads (Expand_Size_Attribute): New
1187 procedure to share part of the attribute expansion with
1189 (Expand_N_Attribute_Reference): Extract part of the
1190 Size/Object_Size expansion in the new procedure
1191 Expand_Size_Attribute.
1192 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
1193 Size/Object_Size attributes using the new procedure
1194 Expand_Size_Attribute.
1196 2019-08-12 Yannick Moy <moy@adacore.com>
1198 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Only
1199 expand Enum_Rep attribute when its parameter is a literal.
1201 2019-08-12 Justin Squirek <squirek@adacore.com>
1203 * sem_eval.adb (Check_Non_Static_Context): Add a condition to
1204 determine if a range violation constitues a warning or an error.
1205 (Out_Of_Range): Add a condition to determine if a range
1206 violation constitues a warning or an error.
1208 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1210 * exp_ch4.adb (Real_Range_Check): Do not rewrite the conversion
1211 node but its expression instead, after having fetched its
1212 current value. Clear the Do_Range_Check flag on entry. Return
1213 early for a rewritten float-to-float conversion. Remove
1214 redundant local variable. Suppress all checks when inserting
1215 the temporary and do not reanalyze the node.
1217 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1219 * sprint.ads: Minor comment tweak.
1221 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1223 * checks.adb (Insert_Valid_Check): Do not retrieve the
1224 Do_Range_Check flag from the Original_Node but from the
1225 Validated_Object. Remove useless bypass for floating-point
1228 2019-08-12 Yannick Moy <moy@adacore.com>
1230 * sem_util.adb, sem_util.ads (Traverse_More_Func,
1231 Traverse_More_Proc): New traversal subprograms.
1233 2019-08-12 Jerome Lambourg <lambourg@adacore.com>
1235 * libgnarl/s-taprop__vxworks.adb (Abort_Handler): Only call
1236 s-tpopsp.Self when actually needed.
1238 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1240 * exp_ch4.adb (Discrete_Range_Check): Return if checks are
1243 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1245 * sem_res.adb: Add with & use clause for Sem_Mech and
1247 (Resolve_Actuals): Do not apply a scalar range check for the
1248 source of a conversion whose result is passed by reference to a
1251 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1253 * checks.adb (Insert_Valid_Check): Reset the Do_Range_Check flag
1254 on the validated object.
1255 * exp_ch6.adb (Add_Call_By_Copy_Code): Reset the Do_Range_Check
1256 flag on the actual here, as well as on the Expression if the
1257 actual is a N_Type_Conversion node.
1258 (Add_Validation_Call_By_Copy_Code): Generate the incoming range
1259 check if needed and reset the Do_Range_Check flag on the
1260 Expression if the actual is a N_Type_Conversion node.
1261 (Expand_Actuals): Do not reset the Do_Range_Check flag here.
1262 Generate the incoming range check for In parameters here instead
1264 (Expand_Call_Helper): ...here. Remove redudant condition.
1265 * sem_res.adb (Resolve_Actuals): Use local variable A_Typ and
1266 remove obsolete comments.
1267 (Resolve_Type_Conversion): Do not force the Do_Range_Check flag
1268 on the operand if range checks are suppressed.
1270 2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
1272 * checks.adb (Activate_Range_Check): Remove redundant argument.
1273 (Generate_Range_Check): Likewise.
1274 (Apply_Float_Conversion_Check): Reset the Do_Range_Check flag on
1275 entry and remove redundant condition.
1277 2019-08-02 Alexandre Oliva <oliva@adacore.com>
1279 * libgnat/a-exexpr.adb (Begin_Handler_v1, End_Handler_v1): New.
1280 (Claimed_Cleanup): New.
1281 (Begin_Handler, End_Handler): Document.
1282 * gcc-interface/trans.c (gigi): Switch to exception handler
1284 (Exception_Handler_to_gnu_gcc): Save the original cleanup
1285 returned by begin handler, pass it to end handler, and use
1286 EH_ELSE_EXPR to pass a propagating exception to end handler.
1287 (gnat_to_gnu): Leave the exception pointer alone for reraise.
1288 (add_cleanup): Handle EH_ELSE_EXPR, require it by itself.
1290 2019-07-23 Ed Schonberg <schonberg@adacore.com>
1292 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations,
1293 Freeze_Entity_Checks): Include Aspect_CPU with other aspects
1294 whose expresssion may depend on a discriminant, and thus require
1295 that components of the type be made visible.
1297 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1299 * checks.adb (Convert_And_Check_Range): Add Suppress parameter
1300 and pass it in the call to Insert_Actions. Rename local
1302 (Generate_Range_Check): Minor comment fixes. Pass Range_Check
1303 in the first call to Convert_And_Check_Range and All_Checks in
1305 * exp_ch4.adb (Expand_N_Type_Conversion): Reset the
1306 Do_Overflow_Check flag in the float-to-float case too if there
1307 is also a range check.
1309 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1311 * checks.adb (Activate_Overflow_Check): Remove redundant
1313 * exp_ch4.adb (Discrete_Range_Check): Reset the overflow flag.
1314 (Expand_N_Type_Conversion): Do not reset it here.
1316 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
1318 * repinfo.adb (List_Component_Layout): Pass Decimal to UI_Write.
1319 (Write_Val): Likewise.
1321 2019-07-23 Ed Schonberg <schonberg@adacore.com>
1323 * aspects.ads: New table Operational_Aspect, used to distinguish
1324 between aspects that are view-specific, such as those related to
1325 iterators, and representation aspects that apply to all views of
1327 * aspects.adb (Find_Aspect): If the aspect being sought is
1328 operational, do not ecamine the full view of a private type to
1330 * sem_ch5.adb (Analyze_Iterator_Specification): Improve error
1331 message when the intended domain of iteration does not implement
1332 the required iterator aspects.
1334 2019-07-23 Yannick Moy <moy@adacore.com>
1336 * sem_spark.ads (Is_Local_Context): New function.
1337 * sem_spark.adb (Check_Declaration): Issue errors on violations
1339 (Process_Path): Do not issue error on borrow/observe during
1340 elaboration, as these are caught by the new rule.
1342 2019-07-23 Yannick Moy <moy@adacore.com>
1344 * exp_ch7.adb (Create_Finalizer): Force finalizer not to be
1346 * exp_dbug.adb (Get_External_Name): Explain special case of
1349 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1351 * repinfo.adb (List_Entities): Also list compiled-generated
1352 types present as Etype of objects.
1354 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1356 * sinfo.ads: Update the documentation about the
1357 Do_Division_Check, Do_Overflow_Check and Do_Range_Check flags.
1359 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1361 * exp_ch4.adb (Expand_N_Type_Conversion): Beef up comment.
1362 (Fixup_Universal_Fixed_Operation): Set the base type instead of
1363 the type of the enclosing type conversion on the operation.
1365 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1367 * exp_ch4.adb (Expand_N_In): Do not suggest the use of attribute
1368 'Valid as a replacement for a range check on a discrete type
1369 when the bounds of the range are given by type conversions,
1370 because in such a case there are distinct types involved and the
1371 subbested attribute replacement would be misplaced.
1373 2019-07-22 Yannick Moy <moy@adacore.com>
1375 * sem_spark.adb (Get_Root_Object, Is_Path_Expression,
1376 Is_Subpath_Expression): Add parameter Is_Traversal to adapt
1377 these functions to the case of paths returned from a traversal
1379 (Read_Indexes): Handle the case of an if-expression or
1381 (Check_Statement): Check Emit_Messages only when issuing an
1382 error message. This is important as Emit_Messages may store the
1383 information that an error was detected.
1385 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1387 * checks.adb (Apply_Type_Conversion_Checks): Do not set
1388 Do_Range_Check flag on conversions from fixed-point types
1390 * exp_attr.adb: Add use and with clause for Expander.
1391 (Expand_N_Attribute_Reference) <Fixed_Value, Integer_Value>: Set
1392 the Conversion_OK flag and do not generate overflow/range checks
1394 * exp_ch4.adb (Expand_N_Qualified_Expression): Remove
1395 superfluous clearing of Do_Range_Check flag.
1396 (Discrete_Range_Check): New procedure to generate a range check
1398 (Real_Range_Check): Remove redundant local variable and adjust.
1399 Remove useless shortcut. Clear Do_Range_Check flag on all
1401 (Expand_N_Type_Conversion): Remove redundant test on
1402 Conversion_OK. Call Discrete_Range_Check to generate range
1403 checks on discrete types. Remove obsolete code for
1404 float-to-integer conversions. Add code to generate range checks
1405 for conversions involving fixed-point types.
1407 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1409 * sprint.ads: Fix pasto in comment.
1411 2019-07-22 Javier Miranda <miranda@adacore.com>
1413 * sem_res.adb (Resolve_Actuals): Replace code that displaces the
1414 pointer to an allocated object to reference its secondary
1415 dispatch table by a type conversion (which takes care of
1416 handling all cases).
1418 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1420 * sprint.adb (Sprint_Node_Actual)
1421 <N_Decimal_Fixed_Point_Definition>: Swap a couple of spaces.
1422 (Write_Itype): Minor consistency fixes throughout. Add support
1423 for printing ordinary and decimal fixed-point types and
1426 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1428 * exp_attr.adb (Expand_Loop_Entry_Attribute): Beef up comment.
1430 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1432 * libgnat/s-valboo.ads, libgnat/s-valcha.ads,
1433 libgnat/s-valdec.ads, libgnat/s-valenu.ads,
1434 libgnat/s-valint.ads, libgnat/s-vallld.ads,
1435 libgnat/s-vallli.ads, libgnat/s-valllu.ads,
1436 libgnat/s-valrea.ads, libgnat/s-valuns.ads,
1437 libgnat/s-valwch.ads: Change categorization of packages that
1438 implement attribute 'Value from Pure to Preelaborate, to prevent
1439 undesirable optimizations when the evaluation of the attribute
1440 raises Constraint_Error, but subsequent use of the result of
1441 this evsaluation is removed by a subsequent optimization.
1443 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1445 * sem_warn.adb (Check_References): Do not emit s warning on a
1446 referenced entity with no explicit assignment if the type of the
1447 entity has Preelaborable_Initialixation, such as
1448 Exception_Occurrence.
1450 2019-07-22 Javier Miranda <miranda@adacore.com>
1452 * exp_ch4.adb (Size_In_Storage_Elements): Improve the expansion
1453 to handle array indexes that are modular type.
1454 (Expand_N_Allocator): For 32-bit targets improve the generation
1455 of the runtime check associated with large arrays supporting
1456 arrays initialized with a qualified expression.
1457 * libgnat/s-imenne.adb (Image_Enumeration_8,
1458 Image_Enumeration_16, Image_Enumeration_32): Define the index of
1459 Index_Table with range Natural'First .. Names'Length since in
1460 the worst case all the literals of the enumeration type would be
1461 single letter literals and the Table built by the frontend would
1462 have as many components as the length of the names string. As a
1463 result of this enhancement, the internal tables declared using
1464 Index_Table have a length closer to the real needs, thus
1465 avoiding the declaration of large arrays on 32-bit CCG targets.
1467 2019-07-22 Yannick Moy <moy@adacore.com>
1469 * sem_ch3.adb (Constrain_Access): Issue a message about ignored
1472 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1474 * sem_ch8.adb (End_Use_Type): Reset the In_Use flag on the
1475 class-wide type if the type is tagged.
1476 (Use_One_Type): Add commentary on the handling of the class-wide
1479 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1481 * einfo.ads (Is_For_Access_Subtype): Delete.
1482 (Set_Is_For_Access_Subtype): Likewise.
1483 * einfo.adb (Is_For_Access_Subtype): Likewise.
1484 (Set_Is_For_Access_Subtype): Likewise.
1485 (Write_Entity_Flags): Do not write Is_For_Access_Subtype.
1486 * exp_ch4.adb (Expand_N_Selected_Component): Do not deal with
1488 * exp_spark.adb (Expand_SPARK_N_Selected_Component): Likewise.
1489 * sem_ch4.adb (Analyze_Explicit_Dereference): Likewise.
1490 * sem_ch3.adb (Build_Discriminated_Subtype): Do not build a
1491 special private subtype for access-to-record subtypes.
1493 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1495 * sem_ch3.adb (Complete_Private_Subtype): Rework the setting of
1496 the Etype of the full view for full base types that cannot
1497 contain any discriminant. Remove code and comment about it in
1500 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1502 * sem_ch3.adb (Convert_Bound): Subsidiary of
1503 Floating_Point_Type_Declaration, to handle properly range
1504 specifications with bounds that may include static constants of
1505 a given type rather than real literals.
1507 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1509 * sem_aggr.adb (Rewrite_Bound): Be prepared for discriminals
1511 (Rewrite_Range;): Minor tweak.
1512 (Resolve_Record_Aggregate): For a component with default
1513 initialization whose expression is an array aggregate, also
1514 rewrite the bounds of the component associations, if any.
1516 2019-07-22 Gary Dismukes <dismukes@adacore.com>
1518 * exp_ch5.adb (Expand_N_Case_Statement): In the case where a
1519 case statement is rewritten as an equivalent if statement,
1520 inherit the From_Condition_Expression flag from the case
1523 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1525 * sem_ch8.adb (Check_Constrained_Object): Further extend the
1526 special optimization to all limited types.
1528 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1530 * exp_attr.adb (Expand_N_Attribute_Reference)
1531 <Attribute_Enum_Val>: Set No_Truncation on the
1532 N_Unchecked_Type_Conversion built around the argument passed to
1535 2019-07-22 Nicolas Roche <roche@adacore.com>
1537 * libgnat/s-valrea.adb (Scan_Real): Ignore non significative
1538 digits to avoid converging to infinity in some cases.
1540 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1542 * libgnat/g-encstr.adb (Encode_Wide_String): Fix oversight.
1543 (Encode_Wide_Wide_String): Likewise.
1545 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1547 * sem_warn.adb (Find_Var): Bail out for a function call with an
1548 Out or In/Out parameter.
1550 2019-07-22 Nicolas Roche <roche@adacore.com>
1552 * terminals.c (__gnat_tty_waitpid): Support both blocking and
1554 * libgnat/g-exptty.ads (Is_Process_Running): New function.
1555 * libgnat/g-exptty.adb (Close): Don't try to interrupt/terminate
1556 a process if it is already dead.
1558 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1560 * freeze.adb (Freeze_Fixed_Point_Type): When freezing a
1561 fixed-point subtype, check whether the parent type declarastion
1562 includes an aspect specification for the 'Small type attribute,
1563 and inherit the specified value.
1565 2019-07-22 Javier Miranda <miranda@adacore.com>
1567 * freeze.adb (Freeze_Subprogram): Check that C++ constructors
1568 must have external or link name.
1570 2019-07-22 Ed Schonberg <schonberg@adacore.com>
1572 * sem_res.adb (Resolve_Selected_Component): If the prefix has a
1573 deferred reference, generate the correct reference now, to
1574 indicate that the previous assignment is used. This prevents
1575 spurious warnings on useless assignments when compiling with all
1576 warnings enabled. when there is a subsequent call in the same
1577 stqtement list, in which the prefix of the selected component is
1578 the actual for an out parameter.
1580 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
1582 * exp_attr.adb (Expand_Loop_Entry_Attribute): Copy the condition
1583 of a while loop instead of simply relocating it.
1585 2019-07-18 Arnaud Charlet <charlet@adacore.com>
1587 * Makefile.rtl, expect.c, env.c, aux-io.c, mkdir.c, initialize.c,
1588 cstreams.c, raise.c, tracebak.c, adadecode.c, init.c, raise-gcc.c,
1589 argv.c, adaint.c, adaint.h, ctrl_c.c, sysdep.c, rtinit.c, cio.c,
1590 seh_init.c, exit.c, targext.c: Introduce a "STANDALONE" mode where C
1591 runtime files do not have any dependency on GCC include files.
1592 Remove unnecessary includes.
1593 Remove remaining references to VMS in runtime C file.
1594 * runtime.h: new File.
1596 2019-07-13 Andreas Schwab <schwab@linux-m68k.org>
1598 * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
1600 2019-07-11 Piotr Trojanek <trojanek@adacore.com>
1602 * lib-writ.adb (Ensure_System_Dependency,
1603 Up_To_Date_ALI_File_Exists, Write_ALI): Replace low-level access
1604 to table with a high-level query.
1606 2019-07-11 Piotr Trojanek <trojanek@adacore.com>
1608 * checks.adb: Fix typo in comment.
1609 * sem.adb (Semantics): Avoid repeated calls to
1610 In_Extended_Main_Source_Unit by reusing an already-cached
1612 * sem_util.adb (First_Global): Fix style.
1614 2019-07-11 Yannick Moy <moy@adacore.com>
1616 * sem_res.adb (Resolve_Call): Do not perform dimensionality
1617 checking on inlined bodies.
1619 2019-07-11 Yannick Moy <moy@adacore.com>
1621 * debug.adb: Flip meaning of debug switch -gnatdF.
1623 2019-07-11 Yannick Moy <moy@adacore.com>
1625 * sem_eval.adb (Is_Same_Value): Add special case for rewritten
1626 Loop_Entry attribute.
1628 2019-07-11 Claire Dross <dross@adacore.com>
1630 * gnat1drv.adb: SPARK checking rules for pointer aliasing are
1631 moved to GNATprove backend.
1632 * sem_spark.ads, sem_spark.adb (Sem_SPARK): Is now a generic
1633 unit. Takes as parameters:
1634 - Retysp which is used to query the most underlying type
1635 visible in SPARK. We do not introduce aliasing checks for
1636 types which are not visibly deep.
1637 - Component_Is_Visible_In_SPARK is used to avoid doing pointer
1638 aliasing checks on components which are not visible in SPARK.
1639 - Emit_Messages returns True in the second phase of SPARK
1640 analysis. Error messages for failed aliasing checks are only
1641 output in this case.
1642 Additionally, errors on constructs not supported in SPARK are
1643 removed as duplicates of marking errors. Components are stored
1644 in the permission map using their original component to avoid
1645 inconsistencies between components of different views of the
1647 (Check_Expression): Handle delta constraints.
1648 (Is_Deep): Exported so that we can check for SPARK restrictions
1649 on deep types inside SPARK semantic checkings.
1650 (Is_Traversal_Function): Exported so that we can check for SPARK
1651 restrictions on traversal functions inside SPARK semantic
1653 (Check_Call_Statement, Read_Indexes): Check wether we are
1654 dealing with a subprogram pointer type before querying called
1656 (Is_Subpath_Expression): Image attribute can appear inside a
1658 (Check_Loop_Statement): Correct order of statements in the loop.
1659 (Check_Node): Ignore raise nodes.
1660 (Check_Statement): Use Last_Non_Pragma to get the object
1661 declaration in an extended return statement.
1663 2019-07-11 Patrick Bernardi <bernardi@adacore.com>
1665 * bindgen.adb (Gen_Main): Do not generate a reference to
1666 Ada_Main_Program_Name when the Minimal_Binder flag is set.
1667 (Gen_Output_File_Ada): Do not output GNAT_Version and
1668 Ada_Main_Program_Name info if Minimal_Binder flag is set.
1669 * bindusg.adb: Add documentation for new -minimal switch.
1670 * gnatbind.adb (Scan_Bind_Arg): Scan -minimal switch.
1671 * opt.ads: Add new global flag Minimal_Binder to indicate if the
1672 binder should not produce global variables.
1673 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
1674 Update documentation with new binder -minimal switch.
1675 * gnat_ugn.texi: Regenerate.
1677 2019-07-11 Eric Botcazou <ebotcazou@adacore.com>
1679 * Makefile.rtl: Add warning note about compilation flags and
1682 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1684 * exp_ch9.adb (Expand_N_Protected_Type_Declaaration): New
1685 subsidiary routine Replace_Access_Definition, to handle properly
1686 a protected type PT one of whose private components is of type
1689 2019-07-11 Dmitriy Anisimkov <anisimko@adacore.com>
1691 * libgnat/g-socket.ads (Level_Type): Add enumerators for
1692 IP_Protocol_For_ICMP, IP_Protocol_For_IGMP,
1693 IP_Protocol_For_RAW_Level.
1694 * libgnat/g-socket.adb (Levels): Handle them.
1695 * s-oscons-tmplt.c: Import socket protocols defined in
1698 2019-07-11 Claire Dross <dross@adacore.com>
1700 * libgnat/a-cfhama.adb, libgnat/a-cfhase.adb (Free): Do not
1701 reset the Has_Element flag if no element is freed.
1703 2019-07-11 Arnaud Charlet <charlet@adacore.com>
1705 * errno.c: Remove obsolete support for MaRTE OS.
1707 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1709 * exp_ch4.adb (Expand_N_Type_Conversion): If a predicate check
1710 is generated, analyze it with range check suppressed, because
1711 that check has been previously applied.
1712 * exp_ch5.adb (Expand_N_Assignment_Statement): If the RHS is a
1713 type conversion to the type of the LHS, do not apply a predicate
1714 check to the RHS because it will have been generated already
1715 during its expansion.
1716 * exp_ch6.adb (Can_Fold_Predicate_Call): Extend processing to
1717 handle a predicate check on a constant entity whose value is
1720 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1722 * bindo.adb: Remove the documentation of switch -d_N because it
1723 is no longer in use.
1724 * bindo-graphs.ads, bindo-graphs.adb (Is_Spec_Before_Body_Edge):
1726 * bindo-writers.adb (Write_Dependency_Edge): Add the missing
1727 case of a spec-before-body edge.
1729 2019-07-11 Dmitriy Anisimkov <anisimko@adacore.com>
1731 * libgnat/g-socket.ads (Mode_Type): Add a Socket_Raw enumerator.
1732 * libgnat/g-socket.adb (Modes): Handle Socket_Raw.
1734 2019-07-11 Justin Squirek <squirek@adacore.com>
1736 * exp_ch9.adb (Build_Private_Protected_Declaration): Add
1737 exception for the moving of pragmas to internally generated
1738 specs for pragma Unreferenced.
1740 2019-07-11 Bob Duff <duff@adacore.com>
1742 * doc/gnat_ugn/gnat_utility_programs.rst: Fix inconsistent
1743 documentation for gnatmetric.
1744 * gnat_ugn.texi: Regenerate.
1746 2019-07-11 Bob Duff <duff@adacore.com>
1748 * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
1749 --spaces-only switch.
1751 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1753 * sem_util.adb (Null_Status): Assume that an erroneous construct
1754 has an undefined null status.
1756 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1758 * checks.adb, exp_ch6.adb, gnat1drv.adb, sem_aux.adb,
1759 sem_ch2.adb, sem_ch8.adb, sem_res.adb: Minor reformatting.
1761 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1763 * sem_ch8.adb (Analyze_Object_Renaming): Obtain the object being
1764 renamed using routine Get_Object_Name which takes care of
1766 (Get_Object_Name): New routine.
1768 2019-07-11 Ed Schonberg <schonberg@adacore.com>
1770 * exp_ch6.adb (Can_Fold_Predicate_Call): New function,
1771 subsidiary of Expand_Call_Helper, to compute statically a
1772 predicate check when the argument is a static integer.
1774 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1776 * sem_res.adb (Resolve_Op_Not): Do not rewrite an equality
1777 operator into a function call when the operator is intrinsic.
1779 2019-07-11 Thomas Quinot <quinot@adacore.com>
1781 * sem_prag.adb (Analyze_Pragma, case pragma Check): Do not call
1782 Set_SCO_Pragma_Enabled for the dynamic predicate case.
1784 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1786 * exp_util.ads, exp_util.adb (Needs_Finalization): Move to
1788 * sem_ch9.adb (Analyze_Protected_Definition): Code cleanup. Mark
1789 the protected type as having controlled components when it
1790 contains at least one such component.
1791 * sem_util.ads, sem_util.adb (Needs_Finalization): New
1794 2019-07-11 Eric Botcazou <ebotcazou@adacore.com>
1796 * alloc.ads (Rep_JSON_Table_Initial): New constant.
1797 (Rep_JSON_Table_Increment): Likewise.
1798 * debug.adb: Document -gnatd_j switch.
1799 * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add
1801 * gnat1drv.adb: Add with clause for Repinfo.Input.
1802 Add with and use clauses for Sinput.
1803 (Read_JSON_Files_For_Repinfo): New procedure.
1804 (Gnat1drv1): Deal with -gnatd_j switch.
1805 * repinfo-input.ad[sb]: New unit.
1806 * snames.ads-tmpl (Name_Discriminant): New constant.
1807 (Name_Operands): Likewise.
1809 2019-07-11 Justin Squirek <squirek@adacore.com>
1811 * checks.adb (Apply_Accessibility_Check): Add check for constant
1812 folded conditions on accessibility checks.
1814 2019-07-11 Arnaud Charlet <charlet@adacore.com>
1816 * libgnarl/g-thread.ads, libgnarl/g-thread.adb (Get_Thread):
1817 Update comments. Add new version taking a Task_Id.
1819 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
1821 * bindo.adb: Update the section of switches and debugging
1823 * bindo.ads: Add type Elaboration_Phase.
1824 * bindo-augmentors.adb: Add use clause for
1825 Bindo.Writers.Phase_Writers.
1826 (Augment_Library_Graph): Signal the start and end of the
1828 * bindo-builders.adb: Add with and use clause for Bindo.Writers.
1829 Add use clause for Bindo.Writers.Phase_Writers.
1830 (Build_Invocation_Graph): Signal the start and end of the
1831 invocation graph construction phase.
1832 (Build_Library_Graph): Signal the start and end of the library
1833 graph construction phase.
1834 * bindo-diagnostics.adb: Add use clause for
1835 Bindo.Writers.Phase_Writers.
1836 (Diagnose_Cycle): Signal the start and end of the cycle
1838 * bindo-elaborators.adb: Add use clause for
1839 Bindo.Writers.Phase_Writers.
1840 (Elaborate_Units): Signal the start and end of the unit
1842 * bindo-graphs.adb: Add use clause for
1843 Bindo.Writers.Phase_Writers.
1844 (Find_Components): Signal the start and end of the component
1846 (Find_Cycles): Signal the start and end of the cycle discovery
1848 * bindo-units.adb: Add with and use clause for Bindo.Writers.
1849 Add use clause for Bindo.Writers.Phase_Writers.
1850 (Collect_Elaborable_Units): Signal the start and end of the unit
1852 * bindo-validators.adb: Add with and use clause for
1853 Bindo.Writers. Add use clause for Bindo.Writers.Phase_Writers.
1854 (Validate_Cycles, Validate_Elaboration_Order,
1855 Validate_Invocation_Graph, Validate_Library_Graph): Signal the
1856 start and end of the libray graph validation phase.
1857 * bindo-writers.ads, bindo-writers.adb: Add new nested package
1859 * debug.adb: Update the documentation of switch d_S.
1861 2019-07-11 Yannick Moy <moy@adacore.com>
1863 * sem_res.adb (Check_Argument_Order): Special case calls to
1866 2019-07-10 Dmitriy Anisimkov <anisimko@adacore.com>
1868 * libgnat/s-ststop.adb: Remove System.Strings.Stream_Ops
1869 dependence on System.Streams.Stream_IO.
1871 2019-07-10 Ed Schonberg <schonberg@adacore.com>
1873 * sem_ch2.adb (Analyze_Integer_Literal): Preserve the type of
1874 the literal if prior analysis determined that its type is a
1875 modular integer type.
1877 2019-07-10 Doug Rupp <rupp@adacore.com>
1879 * init.c: Do not attempt to re-arm guard page on x86_64-vx7(r2).
1881 2019-07-10 Ed Schonberg <schonberg@adacore.com>
1883 * sem_ch8.adb (Check_Constrained_Object): A record that is
1884 limited because of the presence of a limited component is
1885 constrained, and no subtype indiciation needs to be created for
1886 it, just as is the case for declared limited records.
1888 2019-07-10 Yannick Moy <moy@adacore.com>
1890 * sem_aux.adb, sem_aux.ads (Is_Protected_Operation): New
1891 function to determine if a subprogram is protected.
1892 * sem_spark.adb (Setup_Protected_Components): New procedure to
1893 add protected components to the environment.
1894 (Check_Callable_Body): Call the new Setup_Protected_Components.
1895 (Check_Package_Spec): Merge local environment with enclosing one
1898 2019-07-10 Claire Dross <dross@adacore.com>
1900 * sem_spark.adb (Check_Expression): Allow digits constraints as
1902 (Illegal_Global_Usage): Pass in the entity.
1903 (Is_Subpath_Expression): New function to allow different nodes
1904 as inner parts of a path expression.
1905 (Read_Indexes): Allow concatenation and aggregates with box
1906 expressions. Allow attributes Update and Loop_Entry.
1907 (Check_Expression): Allow richer membership test.
1908 (Check_Node): Ignore bodies of generics.
1909 (Get_Root_Object): Allow concatenation and attributes.
1911 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1913 * sem_ch6.adb (Check_Discriminant_Conformance): Use Find_Type to
1914 discover the type of a full view discriminant.
1916 2019-07-10 Arnaud Charlet <charlet@adacore.com>
1918 * doc/gnat_ugn/gnat_and_program_execution.rst: Improve gnatmem's
1919 doc for the depth switch.
1921 2019-07-10 Bob Duff <duff@adacore.com>
1923 * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
1924 --source-line-breaks switch.
1926 2019-07-10 Justin Squirek <squirek@adacore.com>
1928 * doc/gnat_rm/implementation_defined_attributes.rst: Add mention
1929 of 'Image attribute with 'Img's entry to mention additional
1930 added 2012 usage of Obj'Image.
1931 * doc/gnat_rm/implementation_defined_pragmas.rst: Correct
1932 mispelling of Async_Writers.
1933 * gnat_rm.texi: Regenerate.
1934 * sem_prag.adb (Analyze_Pragma): Correct mispelling of
1936 * sem_util.adb (State_Has_Enabled_Property): Correct mispelling
1939 2019-07-10 Simon Buist <buist@adacore.com>
1941 * sem_util.ads (Child_Prefix): New constant.
1942 * sem_util.adb (Unique_Name): Add a special prefix to child
1943 units that have a nested subprogram or package.
1945 2019-07-10 Arnaud Charlet <charlet@adacore.com>
1947 * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert.
1949 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1951 * sem_ch3.adb (Check_Nonoverridable_Aspects): Correct the
1952 spelling in certain error messages.
1953 (Check_Pragma_Implemented): Correct the spelling in certain
1956 2019-07-10 Eric Botcazou <ebotcazou@adacore.com>
1958 * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add g-brapre.
1959 * libgnat/g-brapre.ads: New package specification.
1960 * doc/gnat_rm/the_gnat_library.rst: Document it.
1961 * gnat_rm.texi: Regenerate.
1963 2019-07-10 Yannick Moy <moy@adacore.com>
1965 * osint-c.adb (Set_File_Name): Always add extension for multiple
1966 units per file mode.
1968 2019-07-10 Corentin Gay <gay@adacore.com>
1970 * sysdep.c: Put include directive for 'vxWorks.h' before any
1971 other VxWorks headers.
1973 2019-07-10 Eric Botcazou <ebotcazou@adacore.com>
1975 * doc/gnat_rm/implementation_defined_attributes.rst
1976 (Scalar_Storage_Order): Minor tweaks. Add note about debuggers.
1977 * gnat_rm.texi: Regenerate.
1979 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1981 * exp_ch4.adb (Expand_N_Case_Expression): Mark the generated
1982 assignments to the temporary result as being OK because the
1983 expansion of case expressions is correct by construction.
1984 (Is_Copy_Type): Update the predicate to match the comment
1987 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
1989 * bindo-graphs.adb, bindo.adb, debug.adb, exp_ch6.adb,
1990 sem_ch10.adb, sem_ch13.adb, sem_ch3.adb, sem_ch4.adb,
1991 sem_ch6.adb, sem_ch7.adb, sem_res.adb, sem_spark.adb,
1992 sem_util.adb, warnsw.ads: Minor reformatting.
1994 2019-07-10 Joffrey Huguet <huguet@adacore.com>
1996 * libgnat/a-strbou.ads, libgnat/a-strfix.ads,
1997 libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add global
1998 contracts, contract cases, preconditions and postconditions to
1999 procedures and functions.
2001 2019-07-10 Doug Rupp <rupp@adacore.com>
2003 * sysdep.c (__gnat_is_file_not_found_error): Reformulate to also
2004 work for vxworks7r2 SR0610.
2006 2019-07-10 Doug Rupp <rupp@adacore.com>
2008 * env.c (__gnat_environ): Reformulate to also work for
2011 2019-07-10 Patrick Bernardi <bernardi@adacore.com>
2013 * Makefile.rtl: Handle vxworks7r2 ppc target
2015 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
2017 * bindo.adb: Update the section on switches.
2019 (Add_Cycle, Add_Vertex_And_Complement): Remove.
2020 (Create): The graph no longer needs a set of recorded cycles
2021 because the cycles are not rediscovered in permuted forms.
2022 (Cycle_End_Vertices): New routine.
2023 (Destroy): The graph no longer needs a set of recorded cycles
2024 because the cycles are not rediscovered in permuted forms.
2025 (Destroy_Library_Graph_Vertex): Move to the library level.
2026 (Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge):
2028 (Find_Cycles_From_Successor, Find_Cycles_From_Vertex,
2029 Find_Cycles_In_Component, Has_Elaborate_All_Edge): New routines.
2030 (Insert_And_Sort): Remove.
2031 (Is_Elaborate_Body_Edge): Use predicate
2032 Is_Vertex_With_Elaborate_Body.
2033 (Is_Recorded_Cycle): Remove.
2034 (Is_Vertex_With_Elaborate_Body): New routine.
2035 (Normalize_And_Add_Cycle): Remove.
2036 (Precedence): Rename to xxx_Precedence, where xxx relates to the
2037 input. These versions better reflect the desired input
2039 (Record_Cycle): New routine.
2040 (Remove_Vertex_And_Complement, Set_Is_Recorded_Cycle): Remove.
2041 (Trace_xxx): Update all versions to use debug switch -d_t.
2042 (Trace_Component): New routine.
2043 (Trace_Eol): Removed.
2044 (Trace_Vertex): Do not output the component as this information
2045 is already available when the component is traced.
2046 (Unvisit, Visit): New routine.
2047 * bindo-graphs.ads: Add new instance LGV_Lists. Remove instance
2048 RC_Sets. Update the structure of type Library_Graph_Attributes
2049 to remove the set of recorded cycles.
2050 (Destroy_Library_Graph_Vertex): Move to the library level.
2051 * bindo-writers.adb (Write_Component_Vertices): Output
2052 information about the number of vertices.
2053 * debug.adb: Document the use of binder switch -d_t. Update the
2054 use of binder switch -d_T.
2056 2019-07-10 Yannick Moy <moy@adacore.com>
2058 * sem_spark.adb (Get_Root_Object): Replace precondition by error
2060 (Read_Indexes): Replace precondition by error message.
2061 (Check_Callable_Body): Check only traversal function returns an
2062 anonymous access type.
2063 (Check_Expression): Issue error on unexpected expression as
2065 * sem_util.adb (First_Global): Fix access to global on
2068 2019-07-10 Javier Miranda <miranda@adacore.com>
2070 * exp_ch6.adb (Is_Class_Wide_Interface_Type): New subprogram.
2071 (Expand_Call_Helper): Handle non-limited views when we check if
2072 any formal is a class-wide interface type.
2073 * exp_disp.adb (Expand_Interface_Actuals): Handle non-limited
2074 views when we look for interface type formals to force "this"
2077 2019-07-10 Ed Schonberg <schonberg@adacore.com>
2079 * sem_res.adb (Resolve_Equality_Op): Do not replace the resolved
2080 operator by its alias if expander is not active, because the
2081 operand type may not be frozen yet and its inherited operations
2082 have not yet been created.
2084 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
2086 * bindo-elaborators.adb (Elaborate_Units): Set attribute
2087 Elab_Position of all elaborated units.
2088 (Set_Unit_Elaboration_Positions): New routine.
2090 2019-07-10 Gary Dismukes <dismukes@adacore.com>
2092 * exp_util.adb: Reformatting and a typo fix.
2094 2019-07-10 Yannick Moy <moy@adacore.com>
2096 * exp_util.adb (Remove_Side_Effects): Prefer renamings for
2097 objects of possible owning type in GNATprove mode.
2099 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2101 * sem_ch3.adb (Analyze_Object_Declaration): If the object type
2102 is a composite type that has a dynamic predicate and, the
2103 expression in the declaration is an aggregate, the generated
2104 predicate check must appear after the expanded code for the
2105 aggregate, which will appear after the rewritten object
2108 2019-07-09 Justin Squirek <squirek@adacore.com>
2110 * sem_eval.adb (Expr_Value_E): Add conditional to correctly
2111 handle constant enumerated character types.
2113 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
2115 * libgnarl/s-osinte__mingw.ads (CRITICAL_SECTION): Use proper
2116 type for SpinCount component.
2118 2019-07-09 Justin Squirek <squirek@adacore.com>
2120 * exp_ch4.adb (Expand_N_Allocator): Add conditional to detect
2121 the presence of anoymous access type allocators and issue a
2122 warning if the appropriate warning flag is enabled.
2123 * warnsw.ads: Add new warning flag for anonymous allocators
2124 * warnsw.adb (All_Warnings, Restore_Warnings, Save_Warnings,
2125 Set_Underscore_Warning_Switch): Register new flags.
2126 (WA_Warnings): Register new flag as an "all warnings" switch
2128 doc/gnat_ugn/building_executable_programs_with_gnat.rst:
2129 Document new warning switches -gnatw_a and -gnatw_A.
2130 * gnat_ugn.texi: Regenerate.
2132 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2134 * sem_ch4.adb (Diagnose_Call): Improve error recovery when a
2135 local subprogram name hides a possible candidate name declared
2136 in a child package in the context of the current unit.
2137 * sem_ch6.adb (Process_Formals): Protect against malformed
2138 formal types when the parameter type does not denote an entity.
2140 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2142 * bindo-augmentors.adb (Visit_Elaboration_Root): Do not start a
2143 DFS from an elaboration root whose corresponding unit lacks
2144 elaboration code. This behavior mimics that of the old
2145 elaboration order mechanism.
2146 * bindo-graphs.adb (Find_All_Cycles_Through_Vertex): Move the
2147 vertex tracing within the functional branches of the routine.
2148 This prevents spurious trace output.
2149 (Has_No_Elaboration_Code): New routine.
2150 (Trace_Cycle, Trace_Edge): Update the various Ids to use the
2151 "standard" trace format.
2152 * bindo-graphs.ads (Has_No_Elaboration_Code): New routine.
2153 * bindo-units.ads, bindo-units.adb (Has_No_Elaboration_Code):
2156 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2158 * ali.ads, bindo-graphs.adb, bindo-validators.adb, clean.adb,
2159 doc/gnat_ugn/elaboration_order_handling_in_gnat.rst, einfo.ads,
2160 exp_aggr.adb, exp_ch13.adb, exp_ch4.adb, exp_ch5.adb,
2161 exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_pakd.adb,
2162 fname-uf.ads, gnatlink.adb, inline.adb, lib.ads, make.adb,
2163 namet.ads, opt.ads, par-ch4.adb, par-ch6.adb, par-labl.adb,
2164 prep.adb, sem_aggr.adb, sem_ch13.adb, sem_ch4.adb, sem_ch5.adb,
2165 sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch8.adb, sem_dim.adb,
2166 sem_disp.adb, sem_prag.adb, sem_res.adb, sem_warn.adb,
2167 sinfo.ads: Replace ". " with ". ". Minor reformatting and typo
2169 * gnat_ugn.texi: Generate.
2171 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2173 * bindo.ads: Move type Precedence_Kind from the private to the
2174 visible part of the unit.
2175 * bindo-augmentors.adb: Remove the use of global data as it is
2177 (Augment_Library_Graph): Update the parameter profile.
2178 (Is_Visited, Set_Is_Visited): Remove.
2179 (Visit_Elaboration_Root, Visit_Elaboration_Roots): Update the
2180 parameter profile and comment on usage.
2181 (Visit_Vertex): Likewise. Also keep track of which invocation
2182 edge activates a task.
2183 * bindo-augmentors.ads (Augment_Library_Graph): Update the
2184 parameter profile and comment on usage.
2185 * bindo-builders.adb (Create_Forced_Edge,
2186 Create_Spec_And_Body_Edge, Create_With_Edge): Update the call to
2188 * bindo-diagnostics.adb: Add with end use clauses for Restrict
2190 (Output_Dynamic_Model_Suggestions): Remove.
2191 (Output_Invocation_Related_Suggestions): New routine.
2192 (Output_Suggestions): Output all invocation-related suggestions
2194 * bindo-elaborators.adb: Remove types Comparator_Ptr and
2196 (Find_Best_Vertex): Update the parameter profile.
2197 * bindo-graphs.adb (Activates_Task): New routine.
2198 (Add_Body_Before_Spec_Edge): Update the call to
2199 Add_Edge_With_Return.
2200 (Add_Edge): Update the parameter profile and the call to
2201 Add_Edge_With_Return.
2202 (Add_Edge_With_Return): Update the parameter profile and comment
2204 (At_Least_One_Edge_Satisfies): New routine.
2205 (Contains_Elaborate_All_Edge): Reimplement.
2206 (Contains_Static_Successor_Edge, Contains_Task_Activation): New
2208 (Contains_Weak_Static_Successor): Remove.
2209 (Is_Static_Successor_Edge): New routine.
2210 * bindo-graphs.ads: Add types LGE_Predicate_Ptr,
2211 LGV_Comparator_Ptr, and LGV_Predicate_Ptr. Update type
2212 Library_Graph_Edge_Attributes to capture whether an invocation
2213 edge activates a task. Update the value of
2214 No_Library_Graph_Edge_Attributes.
2215 (Activates_Task): Update the parameter profile and comment on
2217 (Contains_Static_Successor_Edge, Contains_Task_Activation): New
2219 (Contains_Weak_Static_Successor): Remove.
2220 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst:
2221 Update the documentation to reflect the new task-related advice.
2222 * gnat_ugn.texi: Regenerate.
2224 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2226 * exp_util.adb (Containing_Package_With_Ext_Axioms): Replace
2227 low-level Ekind test with a high-level wrapper.
2229 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2231 * libgnat/s-memory.adb: Disable calls to Abort defer/undefer
2232 when ZCX_By_Default.
2234 2019-07-09 Javier Miranda <miranda@adacore.com>
2236 * sem_ch13.adb (Rep_Item_Too_Early): Representation clauses are
2237 not allowed for a derivation of a generic type. Extend the
2238 current test to check that none of the parents is a generic
2241 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2243 * exp_ch9.adb, exp_util.adb, repinfo.adb, sem_ch12.adb,
2244 sem_prag.adb, sem_res.adb, sem_spark.adb, sem_util.adb: Minor
2247 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2249 * sem_res.adb (Resolve_Equality_Op): If the node was overloaded,
2250 set properly the entity to which the node has been resolved. The
2251 original entity is the first one found during analysis, and is
2252 not necessarily the resolved one.
2253 (Resolve_Op_Not): If the argument of negation is an overloaded
2254 equality operation, call its resolution directly given that the
2255 context type does not participate in overload resolution.
2257 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
2259 * bindo.adb: Remove with and use clauses for Debug. Add with
2260 and use clauses for Opt.
2261 (Find_Elaboration_Order): Enable the v4.0 elaboration order. The
2262 v3.0 mechanism is now available under binder switch -H.
2263 * bindusg.adb (Display): Enable switch -H.
2264 * debug.adb: Free compiler switch -gnatd_G. Free binder switch
2266 * sem_elab.adb: Update the section on switches to remove
2268 (Invocation_Graph_Recording_OK): The invocation graph is now
2269 unconditionally recorded in ALI files.
2270 * switch-b.adb (Scan_Binder_Switches): Scan switch -H.
2271 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
2272 Update the documentation on compiler switches related to
2273 elaboration. Update the documentation on binder switches to
2275 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
2276 the documentation on elaboration order handling in GNAT.
2277 * gnat_ugn.texi: Regenerate.
2279 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
2281 * repinfo.adb (List_Entities): Disregard formals altogether.
2282 (List_Name): Properly escape the double quote in the JSON
2285 2019-07-09 Javier Miranda <miranda@adacore.com>
2287 * exp_util.adb (Remove_Side_Effects): Preserve the
2288 Do_Range_Check flag.
2290 2019-07-09 Yannick Moy <moy@adacore.com>
2292 * sinfo.ads: Refine comment for Do_Range_Check.
2294 2019-07-09 Yannick Moy <moy@adacore.com>
2296 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
2297 attribute reference on Enum_Rep.
2299 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2301 * sem_ch12.adb (Instantiate_Formal_Package): Handle properly the
2302 case where the actual for a formal package in an instance is the
2303 current instance of an enclosing generic package.
2304 (Check_Formal_Packages): If the formal package declaration is
2305 box-initialized or lacks associations altogether, no internal
2306 instance was created to verify conformance, and there is no
2307 validating package to remove from tree.
2309 2019-07-09 Yannick Moy <moy@adacore.com>
2311 * freeze.adb (Build_Renamed_Body): Do not set body to inline in
2314 2019-07-09 Yannick Moy <moy@adacore.com>
2316 * exp_util.adb (Expand_Subtype_From_Expr): Still expand the type
2317 of static expressions in GNATprove_Mode.
2318 * sem_ch3.adb (Analyze_Object_Declaration): Remove obsolete
2319 special case for GNATprove_Mode.
2321 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2323 * doc/gnat_rm/the_gnat_library.rst,
2324 doc/gnat_ugn/building_executable_programs_with_gnat.rst,
2325 erroutc.adb, libgnat/g-comlin.adb, libgnat/g-comlin.ads,
2326 libgnat/g-regexp.ads, libgnat/g-regpat.ads,
2327 libgnat/g-spipat.ads, libgnat/s-os_lib.ads,
2328 libgnat/s-regexp.ads: Reword "wild card" to "wildcard".
2329 * gnat_rm.texi, gnat_ugn.texi: Regenerate.
2331 2019-07-09 Yannick Moy <moy@adacore.com>
2333 * sem_spark.adb (Check_Expression): Handle correctly implicit
2334 assignments as part of allocators and (extension) aggregates.
2335 (Get_Root_Object): Adapt for new path expressions.
2336 (Is_Path_Expression): Return True for (extension) aggregate.
2338 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
2340 * einfo.ads: Fix a typo.
2342 2019-07-09 Ed Schonberg <schonberg@adacore.com>
2344 * sem_util.adb (Scope_Within_Or_Same): Handle properly task
2345 bodies and protected bodies, so that local variables within have
2346 their proper scopes after these constructs have been rewritten
2347 during expansion. This patch resembles but is not identical to
2348 the code in Scope_Within.
2350 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2352 * gnat1drv.adb (Adjust_Global_Switches): Set
2353 Dynamic_Elaboration_Checks to True in CodePeer mode.
2355 2019-07-09 Yannick Moy <moy@adacore.com>
2357 * sem_spark.adb (Get_Perm_Or_Tree): Issue an error when
2358 encountering unknown global variable.
2360 2019-07-09 Yannick Moy <moy@adacore.com>
2362 * sem_spark.adb (Check_Expression): Change signature to take an
2363 Extended_Checking_Mode, for handling read permission checking of
2364 sub-expressions in an assignment.
2365 (Check_Parameter_Or_Global): Adapt to new behavior of
2366 Check_Expression for mode Assign.
2367 (Check_Safe_Pointers): Do not analyze generic bodies.
2368 (Check_Assignment): Separate checking of the target of an
2371 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
2373 * repinfo.ads (JSON format): Adjust.
2374 * repinfo.adb (Need_Blank_Line): Rename to...
2375 (Need_Separator): ...this.
2376 (Blank_Line): Rename to...
2377 (Write_Separator): ...this and add JSON specific handling.
2378 (List_Array_Info): Adjust to above renaming.
2379 (List_Object_Info): Likewise.
2380 (List_Record_Info): Likewise.
2381 (List_Subprogram_Info): Likewise.
2382 (List_Type_Info): Likewise.
2383 (List_Entities): Do not set Need_Blank_Line.
2384 (List_Rep_Info): Set Need_Separator and add JSON specific
2385 handling. Output a single JSON stream in the normal case.
2387 2019-07-09 Arnaud Charlet <charlet@adacore.com>
2389 * doc/gnat_ugn/the_gnat_compilation_model.rst: Update doc on
2390 -fdump-ada-spec now that we generate Ada 2012.
2391 * gnat_ugn.texi: Regenerate.
2393 2019-07-08 Eric Botcazou <ebotcazou@adacore.com>
2395 * repinfo.adb (List_Common_Type_Info): New procedure extracted
2397 (List_Type_Info): ...here. Call it for the common information,
2398 start with a blank line and output the linker section at the
2400 (List_Mechanisms): Rename to...
2401 (List_Subprogram_Info): ...this.
2402 (List_Array_Info): Call List_Common_Type_Info.
2403 (List_Entities): Adjust to above change and renaming.
2404 (List_Record_Info): Call List_Common_Type_Info.
2406 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2408 * libgnat/g-sercom.ads
2409 (Serial_Port_Descriptor): New type.
2410 (Serial_Port): Add a comment, make it hold a
2411 Serial_Port_Descriptor.
2412 (To_Ada, To_C): New procedures.
2413 (Port_Data, Port_Data_Access): Remove types.
2414 * libgnat/g-sercom.adb (To_Ada): New stub.
2415 * libgnat/g-sercom__linux.adb, libgnat/g-sercom__mingw.adb:
2416 Update implementations accordingly.
2417 * s-oscons-tmplt.c: Bind Serial_Port_Descriptor to
2418 System.Win32.HANDLE on Windows, and to Interfaces.C.int on
2419 Linux. Add "Interfaces.C." prefix for other basic integer type
2421 * xoscons.adb (Output_Info): Remove the "Interfaces.C." prefix
2422 for subtypes generation.
2424 2019-07-08 Arnaud Charlet <charlet@adacore.com>
2426 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
2427 Update documentation on No_Exceptions restriction.
2428 * gnat_rm.texi: Regenerate.
2430 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2432 * libgnat/s-os_lib.adb: Do not call __gnat_kill for Invalid_Pid.
2434 2019-07-08 Piotr Trojanek <trojanek@adacore.com>
2436 * sem_util.adb (Enclosing_Package_Or_Subprogram): Do not expect
2437 package and subprogram bodies.
2439 2019-07-08 Bob Duff <duff@adacore.com>
2441 * doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
2442 of ignored GNATpp switch.
2444 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2446 * doc/gnat_rm/implementation_defined_pragmas.rst:
2447 Update the documentation of pragma Initialize_Scalars.
2448 * gnat_rm.texi: Regenerate.
2450 2019-07-08 Javier Miranda <miranda@adacore.com>
2452 * exp_ch4.adb (Tagged_Membership): Fix regression silently
2453 introduced in r260738 that erroneouslusy causes the evaluation
2454 to True of the membership test when the left operand of the
2455 membership test is a class-wide interface object and the right
2456 operand is a type that implements such interface type.
2458 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2460 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not
2461 register an address clause when its prefix denotes a generic
2464 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2466 * bindo-diagnostics.adb (Diagnose_Cycle): Capture the presence
2467 of an Elaborate_All edge before iterating over the edges of the
2469 (Output_Elaborate_Body_Transition): Update the parameter profile
2470 and the comment on usage. Add a missing case where the edge is
2471 within the context of an Elaborate_All.
2472 (Output_Transition): Update the call to
2473 Output_Elaborate_Body_Transition.
2474 * bindo-graphs.ads, bindo-graphs.adb
2475 (Contains_Elaborate_All_Edge): New routine.
2477 2019-07-08 Piotr Trojanek <trojanek@adacore.com>
2479 * lib-xref-spark_specific.adb (Create_Heap): Set dummy Etype for
2480 the fake __HEAP entity.
2482 2019-07-08 Daniel Mercier <mercier@adacore.com>
2484 * gnat1drv.adb: Suppress warnings on memory representation in
2485 CodePeer compiler mode.
2487 2019-07-08 Nicolas Roche <roche@adacore.com>
2489 * rtinit.c (__gnat_runtime_initialize): Remove dependency on
2492 2019-07-08 Doug Rupp <rupp@adacore.com>
2494 * Makefile.rtl: Handle vxworks7r2 in x86_64 and x86 vxworks7.
2496 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2498 * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
2500 2019-07-08 Yannick Moy <moy@adacore.com>
2502 * expander.adb (Expand): Do not reset Analyzed flag always.
2503 * sem_eval.adb (Fold_Ureal): Mark node as analyzed.
2505 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2507 * exp_ch9.adb (Expand_N_Timed_Entry_Call): Do not insert twice
2508 the assignment statement that computes the delay value, to
2509 prevent improper tree sharing when the value is a type
2510 conversion and Float_Overflow checks are enabled.
2512 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
2514 * bindo.adb: Update the section on terminology to include new
2515 concepts. Update the section on switches to include new
2517 * bindo.ads: Add type Precedence_Kind.
2518 * bindo-builders.adb: Add with and use clauses for Debug and
2519 Bindo.Validators. Add use clauses for
2520 Bindo.Validators.Invocation_Graph_Validators and
2521 Bindo.Validators.Library_Graph_Validators.
2522 (Build_Invocation_Graph): Validate the graph immediately after
2524 (Build_Library_Graph): Update the parameter profile. The
2525 creation of the graph is now elaboration model-agnostic.
2526 Validate the graph immediately after it was built.
2527 (Create_With_Edge): Create regular with edges for Elaborate and
2528 Elaborate_All edges when the appropriate debug switches are in
2530 * bindo-builders.ads (Build_Library_Graph): Update the parameter
2532 * bindo-diagnostics.adb (Diagnose_Cycle): Track the presence of
2533 an Elaborate_All edge throughout the inspection of the cycle's
2535 (Output_Dynamic_Model_Suggestions): Output the suggestion only
2536 when the cycle contains at least one weak edge where the
2537 successor was statically elaborated.
2538 (Output_Elaborate_Body_Transition, Output_Forced_Transition,
2539 Output_With_Transition): Update the assertions.
2540 * bindo-elaborators.adb: Remove use clauses for
2541 Bindo.Validators.Invocation_Graph_Validators and
2542 Bindo.Validators.Library_Graph_Validators. Remove strings
2543 Add_To_All_Candidates_Msg and Add_To_Comp_Candidates_Msg.
2544 Remove type String_Ptr.
2545 (Add_Vertex, Add_Vertex_If_Elaborable, Create_All_Candidates_Set
2546 Create_Component_Candidates_Set): Remove.
2547 (Create_Component_Vertex_Sets, Create_Vertex_Sets): New routine.
2548 (Elaborate_Component): Update the parameter profile and the
2549 comment on usage. Reimplement the elaboration of a component.
2550 The algorithm will now attempt to elaborate as many vertices
2551 possible. If this is not possible, and a weakly elaborable
2552 vertex is available use unit was compiled using the dynamic
2553 model, the algorithm will elaborate it.
2554 (Elaborate_Library_Graph): Reimplement the elaboration of the
2555 graph. The algorithm will now attempt to elaborate as many
2556 vertices along with their components as possible. If this is not
2557 possible, and a weakly elaborable vertex is available use unit
2558 was compiled using the dynamic model, the algorithm will
2559 elaborate it along with its component.
2560 (Elaborate_Units): Merge with the functionality of
2561 Elaborate_Units_Common.
2562 (Elaborate_Units_Common, Elaborate_Units_Dynamic,
2563 Elaborate_Units_Static): Remove.
2564 (Elaborate_Vertex): Update the parameter profile and the comment
2565 on usage. Reimplemented.
2566 (Find_Best_Candidate): Remove.
2567 (Find_Best_Elaborable_Vertex, Find_Best_Vertex,
2568 Find_Best_Weakly_Elaborable_Vertex, Has_Elaborable_Body,
2569 Insert_Elaborable_Successor, Insert_Vertex): New routines.
2570 (Is_Better_Candidate): Remove.
2571 (Is_Better_Elaborable_Vertex,
2572 Is_Better_Weakly_Elaborable_Vertex,
2573 Is_Suitable_Elaborable_Vertex,
2574 Is_Suitable_Weakly_Elaborable_Vertex): New routines.
2575 (Trace_Candidate_Vertices): Remove.
2576 (Trace_Component): Output the number of strong and weak
2578 (Trace_Unelaborated_Vertices): Remove.
2579 (Trace_Vertex): Output the number of strong and weak
2581 (Trace_Vertices): New routine.
2582 (Update_Successor, Update_Successors): Update the parameter
2583 profile and the comment on usage.
2584 * bindo-graphs.adb: Remove type Precedence_Kind.
2585 (Add_Edge_With_Return): Update the increment of pending
2587 (Add_Vertex): Provide default values for strong and weak
2589 (Complementary_Vertex): Move the initial declaration to the
2590 spec. Update the parameter profile and the comment on usage.
2591 (Contains_Weak_Static_Successor): New routine.
2592 (Create): Update the parameter profile. The creation of the
2593 graph is now elaboration model-agnostic.
2594 (Decrement_Pending_Predecessors): Update the parameter profile
2595 and the comment on usage. Reimplemented.
2596 (Delete_Edge): Update the decrement of pending predecesors.
2597 (Has_Elaborate_Body): Do not treat a vertex as being subject to
2598 Elaborate_Body when a debug switch is in effect.
2599 (Increment_Pending_Predecessors): Update the parameter profile
2600 and the comment on usage. Reimplemented.
2601 (Is_Elaborable_Component): Reimplemented.
2602 (Is_Elaborable_Vertex): Move the initial declaration to the
2603 spec. Reimplemented.
2604 (Is_Elaborate_Body_Pair): New routine.
2605 (Is_Dynamically_Elaborated): Update the parameter profile.
2607 (Is_Weakly_Elaborable_Vertex): New routine.
2608 (Pending_Predecessors): Removed.
2609 (Pending_Predecessors_For_Elaboration,
2610 Pending_Strong_Predecessors, Pending_Weak_Predecessors,
2611 Update_Pending_Predecessors): New routines.
2612 (Update_Pending_Predecessors_Of_Components): Update the
2613 increment of pending predecessors.
2614 * bindo-graphs.ads: Update the components of type
2615 Component_Attributes. Update the components of type
2616 Library_Graph_Attributes. Update the components of type
2617 Library_Graph_Vertex_Attributes. Update the initialization of
2618 No_Component_Attributes. Update the initialization of
2619 No_Library_Graph_Vertex_Attributes.
2620 (Complementary_Vertex, Contains_Weak_Static_Successor): New
2622 (Create): Update the parameter profile and the comment on usage.
2623 (Decrement_Pending_Predecessors, Is_Dynamically_Elaborated):
2624 Update the parameter profile and the comment on usage.
2625 (Is_Elaborate_Body_Pair, Is_Weakly_Elaborable_Vertex): New
2627 (Pending_Predecessors): Removed.
2628 (Pending_Predecessors_For_Elaboration,
2629 Pending_Strong_Predecessors, Pending_Weak_Predecessors): New
2631 * bindo-writers.adb (Write_Components): Moved from the spec.
2632 (Write_Component): Output the strong and weak predecessors.
2633 (Write_Library_Graph): Output the components as part of the
2635 (Write_Library_Graph_Vertex): Output the strong and weak
2637 * bindo-writers.ads (Write_Components): Moved to the body.
2638 * debug.adb: Add and document new GNATbind switches -d_a, -d_b,
2640 * bindo-validators.adb: Minor reformattings.
2642 2019-07-08 Bob Duff <duff@adacore.com>
2644 * libgnat/g-sercom.ads, libgnat/g-sercom__linux.adb (Data_Rate):
2645 Support additional data rates.
2647 2019-07-08 Olivier Hainque <hainque@adacore.com>
2649 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Don't request
2650 DECL_ARTIFICIAL_P on elab proc declarations.
2652 2019-07-08 Eric Botcazou <ebotcazou@adacore.com>
2654 * repinfo.adb (List_Record_Info): Declare Incomplete_Layout and
2655 Not_In_Extended_Main local exceptions.
2656 (List_Structural_Record_Layout): For an extension, raise the
2657 former if the parent subtype has not been built and the latter
2658 if it is not declared in the main source unit. Fall back to the
2659 flat layout if either exception has been raised.
2661 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2663 * libgnat/a-strfix.adb (Delete): The RM describes the semantics
2664 of Delete as equivalent to that of Replace_String with a null
2665 argument. As a result, deleting a null string that starts past
2666 the end of its argument is a noop and must not raise
2669 2019-07-08 Javier Miranda <miranda@adacore.com>
2671 * exp_disp.adb (Register_Primitive): When registering a
2672 primitive in the secondary dispatch table, handle primitive
2673 inherited through several levels of type derivation (required to
2674 properly handle inherited 'null' primitive).
2676 2019-07-08 Bob Duff <duff@adacore.com>
2678 * doc/gnat_ugn/gnat_utility_programs.rst: Document handling of
2679 preprocessor directives in GNATpp.
2681 2019-07-08 Javier Miranda <miranda@adacore.com>
2683 * gnat1drv.adb (Post_Compilation_Validation_Checks:
2684 Validate_Compile_Time_Warning_Errors is now located in sem_prag
2685 (instead of sem_ch13).
2686 * sem_ch13.ads (Validate_Compile_Time_Warning_Error,
2687 Validate_Compile_Time_Warning_Errors): Move to sem_prag.
2689 (Compile_Time_Warnings_Errors): Move to sem_prag.
2690 (Initialize): Remove initialization of table
2691 Compile_Time_Warning_Errors.
2692 (Validate_Compile_Time_Warning_Error,
2693 Validate_Compile_Time_Warning_Errors): Move to sem_prag.
2694 * sem_prag.ads (Validate_Compile_Time_Warning_Errors): New
2696 * sem_prag.adb (Initialize): Initialize table
2697 Compile_Time_Warning_Errors.
2699 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2701 * sem_ch13.adb (Analyze_Aspect_Specifications): For a
2702 pre/postcondition of a generic subprogram declaration, do not
2703 use Relocate_Node on the aspect expression to construct the
2704 corresponding attribute specification, to prevent tree anomalies
2705 when the expression is a call with named actual parameters.
2707 2019-07-08 Javier Miranda <miranda@adacore.com>
2709 * sem_attr.adb (Analyze_Attribute [Attribute_Size]): For pragmas
2710 used to report user defined compile time warning or errors
2711 handle 'Size for types with known static RM size.
2713 2019-07-08 Justin Squirek <squirek@adacore.com>
2715 * exp_imgv.adb (Build_Enumeration_Image_Tables): Default SSO for
2716 the building of image tables.
2717 (Expand_Image_Attribute): Minor cleanup.
2719 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
2721 * libgnat/g-socket.ads, libgnat/g-socket.adb: Improve
2723 (Get_Socket_Option, Set_Socket_Option): Remove default value for
2726 2019-07-08 Ed Schonberg <schonberg@adacore.com>
2728 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): For an
2729 unanalized aspect in a generic context that has not been
2730 analyzed yet, if the aspect applies to a type, place the type on
2731 the scope stack to make its components visible, before checking
2732 conformance with the version of the expression analyzed at the
2735 2019-07-05 Justin Squirek <squirek@adacore.com>
2737 * checks.adb (Apply_Accessibility_Check): Add logic to fetch the
2738 function result accessibility level if one is required within
2739 the generated check.
2740 * exp_ch6.adb (Needs_Result_Accessibility_Level): Modify
2741 controlling elsif block to handle more cases such as anonymous
2742 access results and disable checking for coextensions.
2744 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2746 * sem_ch9.adb (Analyze_Accept_Statement): If this is an illegal
2747 accept statement for an enclosing entry abandon analysis to
2748 prevent scope mismatches and potential infinite loops in
2751 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2753 * ali.adb (For_Each_Invocation_Construct,
2754 For_Each_Invocation_Relation): New version.
2755 (Scan_ALI): Initialize field Invocation_Graph_Encoding.
2756 (Set_Invocation_Graph_Encoding): Update the setting of the
2757 invocation graph encoding.
2758 * ali.ads: Move field Invocation_Graph_Encoding from Unit_Record
2759 to ALI_Record because the encoding applies to the whole ALI,
2760 rather than one of the units (spec or body) for which the ALI
2762 (For_Each_Invocation_Construct, For_Each_Invocation_Relation):
2764 * bindo.adb: Update the section on switches. Complete the
2765 section of debugging elaboration order issues.
2766 (Find_Elaboration_Order): Prepare the routine for the switch
2767 from the old to the new elaboration order mechanism.
2768 * bindo-diagnostics.adb (Find_And_Output_Invocation_Paths):
2769 Manage a visited set used by Visit_Vertex.
2770 (Output_All_Cycles_Suggestions,
2771 Output_Dynamic_Model_Suggestions): Clarify the nature of the
2773 (Output_Elaborate_Body_Transition): Update the diagnostic to
2774 emit a better message.
2775 (Output_Forced_Suggestions, Output_Full_Encoding_Suggestions):
2776 Clarify the nature of the suggested switch.
2777 (Visit_Vertex): Update the parameter profile to add a set of
2778 invokers visited during the transition. This set prevents
2779 infinite exploration of the graph in case the invocations are
2781 * bindo-elaborators.adb: Add a use clause for
2782 Bindo.Writers.Dependency_Writers.
2783 (Elaborate_Units_Common): Output the library graph after it has
2784 been augmented with invocation edges. Output just the components
2785 instead of outputting the whole library graph again.
2786 (Elaborate_Units_Dynamic, Elaborate_Units_Static): Output the
2787 dependencies as expressed in the library graph.
2788 * bindo-units.adb (Invocation_Graph_Encoding): Update the
2789 extraction of the invocation graph encoding.
2790 * bindo-writers.adb: Add with and use clauses for Binderr and
2792 (palgc, plgc): New debug routine.
2793 (Write_Components): Moved to the spec. Add a header for the
2795 (Write_Dependencies, Write_Dependencies_Of_Vertex,
2796 Write_Dependency_Edge): New routine.
2797 (Write_Elaboration_Order): Update the logic to follow the format
2798 of Binde's order output.
2799 (Write_Library_Graph): Do not output the components every time
2800 the graph is written.
2801 (Write_Unit): Output the invocation graph encoding of the unit.
2802 Output the invocation constructs and relations for the unit
2804 * bindo-writers.ads (Write_Components): Moved from the body.
2805 (Write_Dependencies): New routine.
2806 * bindusg.adb: Prepare the routine for the switch from the old
2807 to the new elaboration order mechanism.
2808 * debug.adb: Binder switch -d_O is now not associated with any
2810 * einfo.adb (Is_Elaboration_Target): The attribute applies to
2811 packages, as specified by the comment on the attribute usage.
2812 * opt.ads: Add a global flag which controls the choice between
2813 the new and the legacy elaboration order mechanism.
2814 * sem_elab.adb: Add Package_Target to type Target_Kind.
2815 (Build_Elaborate_Body_Procedure, Build_Elaborate_Procedure,
2816 Build_Elaborate_Spec_Procedure, Check_Elaboration_Scenarios,
2817 Check_SPARK_Model_In_Effect): Use Main_Unit_Entity to obtain the
2818 entity of the main unit.
2819 (Create_Package_Rep): New routine.
2820 (Create_Target_Rep): Add processing for packages.
2821 (Declaration_Placement_Of_Node, Has_Prior_Elaboration): Use
2822 Main_Unit_Entity to obtain the entity of the main
2824 (Invocation_Graph_Recording_OK): Prepare the routine for the
2825 switch from the old to the new elaboration order mechanism.
2826 (Main_Unit_Entity): New routine.
2827 (Meet_Elaboration_Requirement,
2828 Process_Conditional_ABE_Variable_Reference): Use
2829 Main_Unit_Entity to obtain the entity of the main unit.
2830 (Process_Invocation_Instantiation): New routine.
2831 (Process_Invocation_Scenario): Add processing for
2833 * switch-b.adb (Scan_Binder_Switches): Prepare the routine for
2834 the switch from the old to the new elaboration order mechanism.
2836 2019-07-05 Joffrey Huguet <huguet@adacore.com>
2838 * libgnat/a-textio.adb: Add abstract state refinment.
2839 * libgnat/a-textio.ads: Add File_System abstract state. Add
2840 global contracts, contract cases, preconditions and
2841 postconditions to procedures and functions.
2842 (Set_Input, Set_Output, Set_Error, Standard_Input,
2843 Standard_Output, Standard_Error, Current_Input, Current_Output,
2844 Current_Error): Turn SPARK_Mode off.
2845 (Get_Line): Turn SPARK_Mode off on Get_Line functions.
2846 * libgnat/a-tideio.ads, libgnat/a-tienio.ads,
2847 libgnat/a-tifiio.ads, libgnat/a-tiflio.ads,
2848 libgnat/a-tiinio.ads, libgnat/a-timoio.ads: Add global
2849 contracts, contract cases, preconditions and postconditions to
2850 procedures and functions.
2852 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2854 * doc/gnat_ugn/platform_specific_information.rst: Refresh doc on
2855 installing from the command line on Windows. Remove obsolete
2857 * gnat_ugn.texi: Regenerate.
2859 2019-07-05 Vasiliy Fofanov <fofanov@adacore.com>
2861 * libgnat/a-wichha.ads (Is_Alphanumeric): Replace comment with
2862 the correct one. Also capitalize references to False
2865 2019-07-05 Eric Botcazou <ebotcazou@adacore.com>
2867 * exp_ch4.adb (Expand_N_Indexed_Component): Do not expand actual
2868 parameters of function calls here either.
2870 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2872 * bindo-units.adb, checks.adb, exp_attr.adb, exp_ch3.adb,
2873 exp_ch4.adb, exp_pakd.adb, lib-writ.adb, libgnat/g-traceb.adb,
2874 libgnat/g-traceb.ads, libgnat/s-stratt.ads, sem_aux.ads,
2875 sem_util.adb: Minor reformatting.
2877 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2879 * sem_ch13.adb (Build_Predicate_Functions): If a subtype that
2880 carries a static predicate aspect is frozen immediately after
2881 its declaration, ensure that the generated function body created
2882 for predicate checking is inserted after the corresponding
2883 subprogram declaration, which is created at the point the
2884 declaration is elaborated.
2886 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2888 * exp_ch7.adb (Cleanup_Record): Use the underlying type when
2889 checking for components with tasks.
2891 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2893 * libgnarl/s-osinte__linux.ads: Link with -lrt before -lpthread.
2895 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2897 * exp_pakd.adb (Expand_Bit_Packed_Element_Set): Add explicit
2898 range checks when the index type of the bit-packed array is an
2899 enumeration type with a non-standard representation,
2901 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2903 * sem_res.adb (Is_Control_Flow_Statement): Delay statements
2904 contain an expression, which in turn may have side effects and
2905 affect the infinite recursion. As a result, delay statements
2906 should not be treated specially.
2908 2019-07-05 Arnaud Charlet <charlet@adacore.com>
2910 * libgnarl/s-linux.ads, libgnarl/s-linux__alpha.ads,
2911 libgnarl/s-linux__android.ads, libgnarl/s-linux__hppa.ads,
2912 libgnarl/s-linux__mips.ads, libgnarl/s-linux__riscv.ads,
2913 libgnarl/s-linux__sparc.ads: Fix typos in comments.
2915 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2917 * sem_res.adb (Check_Infinite_Recursion): Reimplemented.
2918 (Enclosing_Declaration_Or_Statement,
2919 Invoked_With_Different_Arguments, Is_Conditional_Statement,
2920 Is_Control_Flow_Statement, Is_Immediately_Within_Body,
2921 Is_Raise_Idiom, Is_Raise_Statement, Is_Sole_Statement,
2922 Preceded_By_Control_Flow_Statement,
2923 Within_Conditional_Statement): New routines.
2925 2019-07-05 Javier Miranda <miranda@adacore.com>
2927 * exp_ch4.adb (Expand_N_Type_Conversion): Do not apply an
2928 accessibility check when the conversion is an access to
2929 class-wide interface type and it is an actual parameter.
2930 * exp_ch6.adb (Expand_Call_Helper): Add documentation on the
2931 accessibility level of an anonymous allocator defining the value
2932 of an access parameter.
2933 * sem_util.ads, sem_util.adb (Dynamic_Accessibility_Level): Add
2934 support for an anonymous allocator whose type is that of a
2935 stand-alone object of an anonymous access to object type.
2937 2019-07-05 Piotr Trojanek <trojanek@adacore.com>
2939 * einfo.ads, sem_res.adb: Typo fixes in comments.
2941 2019-07-05 Bob Duff <duff@adacore.com>
2943 * exp_ch6.adb (Is_Build_In_Place_Function): Narrow the check for
2944 Has_Foreign_Convention to the imported case only. If a
2945 build-in-place function is exported, and called from Ada code,
2946 build-in-place protocols should be used.
2948 2019-07-05 Ed Schonberg <schonberg@adacore.com>
2950 * sem_util.adb (Encloing_Subprogram): If Enclosing_Dynamic_Scope
2951 is a loop, continue climbing the scope stack to find the
2952 enclosing subprogram.
2953 (Gather_Components): Handle properly a choice in a record
2954 aggregate that is given by a subtype with a static predicate.
2956 2019-07-05 Javier Miranda <miranda@adacore.com>
2958 * debug.adb (-gnatd.K): Leave available this switch.
2959 * contracts.adb (Build_And_Analyze_Contract_Only_Subprograms):
2961 * scil_ll.ads, scil_ll.adb (Contract_Only_Body_Flag,
2962 Contract_Only_Body_Nodes, Get_Contract_Only_Body,
2963 Is_Contract_Only_Body, Set_Contract_Only_Body): Remove.
2965 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
2967 * libgnat/a-strunb.ads: Import documentation from the RM
2969 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
2971 * libgnat/a-strfix.ads: Import documentation from the RM
2973 2019-07-05 Yannick Moy <moy@adacore.com>
2975 * adabkend.adb (Scan_Back_End_Switches): Accept -Og and -Ofast
2978 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
2980 * ali.adb: Relocate types Invocation_Construct_Record,
2981 Invocation_Relation_Record, and Invocation_Signature_Record to
2982 the body of ALI. Relocate tables Invocation_Constructs,
2983 Invocation_Relations, and Invocation_Signatures to the body of
2984 ALI. Remove type Body_Placement_Codes. Add new types
2985 Declaration_Placement_Codes, and
2986 Invocation_Graph_Encoding_Codes. Update the literals of type
2987 Invocation_Graph_Line_Codes.
2988 (Add_Invocation_Construct): Update the parameter profile. Add an
2989 invocation construct built from all attributes provided.
2990 (Add_Invocation_Relation): Update the parameter profile. Add an
2991 invocation relation built from all attributes provided.
2992 (Body_Placement): New routine.
2993 (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
2995 (Code_To_Declaration_Placement_Kind,
2996 Code_To_Invocation_Graph_Encoding_Kind, Column,
2997 Declaration_Placement_Kind_To_Code, Extra,
2998 For_Each_Invocation_Construct, For_Each_Invocation_Relation,
2999 Invocation_Graph_Encoding,
3000 Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
3001 Locations, Name): New routine.
3002 (Scan_Invocation_Construct_Line): Reimplement the scanning
3004 (Scan_Invocation_Graph_Attributes_Line): New routine.
3005 (Scan_Invocation_Graph_Line): Use a case statement to dispatch.
3006 (Scan_Invocation_Relation_Line): Reimplement the scanning
3008 (Scope): New routine.
3009 (Set_Invocation_Graph_Encoding, Signature, Spec_Placement,
3010 Target): New routine.
3011 * ali.ads: Add new type Invocation_Graph_Encoding_Kind. Add
3012 component Invocation_Graph_Encoding to type Unit_Record.
3013 Relocate various types and data structures to the body of ALI.
3014 (Add_Invocation_Construct, Add_Invocation_Relation): Update the
3016 (Body_Placement): New routine.
3017 (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
3019 (Code_To_Declaration_Placement_Kind,
3020 Code_To_Invocation_Graph_Encoding_Kind, Column,
3021 Declaration_Placement_Kind_To_Code, Extra,
3022 For_Each_Invocation_Construct, For_Each_Invocation_Relation,
3023 Invocation_Graph_Encoding,
3024 Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
3025 Locations, Name, Scope, Set_Invocation_Graph_Encoding,
3026 Signature, Spec_Placement, Target): New routine.
3027 * bindo.adb: Add with clause for Binde. Add with and use
3028 clauses for Debug. Update the documentation. Add new switches.
3029 (Find_Elaboration_Order): Dispatch to the proper elaboration
3031 * bindo-augmentors.adb:
3032 Remove with and use clauses for GNAT and GNAT.Sets. Remove
3033 membership set VS. Update the parameter profiles of most
3034 routines to use better parameter names. Update the
3035 implementation of most routine to use the new parameter names.
3036 Remove various redundant assertions.
3037 * bindo-builders.adb: Use better names for instantiated data
3038 structures. Update all references to these names. Update the
3039 parameter profiles of most routines to use better parameter
3040 names. Update the implementation of most routine to use the new
3042 (Build_Library_Graph): Update the parameter profile. Update the
3044 (Create_Vertex): Reimplemented.
3045 (Declaration_Placement_Vertex): New routine.
3046 * bindo-builders.ads (Build_Library_Graph): Update the parameter
3047 profile and comment on usage.
3048 * bindo-diagnostics.adb: Almost a new unit.
3049 * bindo-diagnostics.ads: Add a use clause for
3050 Bindo.Graphs.Invocation_Graphs. Remove package
3052 (Diagnose_Circularities): New routine.
3053 * bindo-elaborators.adb: Remove the with and use clauses for
3054 Binderr and GNAT.Sets. Remove the use clause for
3055 Bindo.Diagnostics.Cycle_Diagnostics. Remove membership set VS.
3056 Update the parameter profiles of most routines to use better
3057 parameter names. Update the implementation of most routine to
3058 use the new parameter names. (Elaborate_Units_Common): Update
3059 the parameter profile. Pass an infication to the library graph
3060 builder whether the dynamic model is in effect.
3061 (Elaborate_Units_Dynamic, Elaborate_Units_Static): Use
3062 Diagnose_Circularities to provide diagnostics.
3063 (Update_Successor): Use routine In_Same_Component to determine
3064 whether the predecessor and successor reside in different
3066 * bindo-graphs.adb: Add with and use clauses for Butil, Debug,
3067 Output, and Bindo.Writers. Remove with and use clauses for
3068 GNAT.Lists. Update the parameter profiles of most routines to
3069 use better parameter names. Update the implementation of most
3070 routine to use the new parameter names. Remove various
3071 redundant assertions. Remove doubly linked list EL. Add new
3072 type Precedence_Kind.
3073 (Add_Cycle): New routine.
3074 (Add_Vertex): Update the parameter profile. Update the creation
3075 of vertex attributes.
3076 (Add_Vertex_And_Complement, Body_Vertex, Column,
3077 Complementary_Vertex, Copy_Cycle_Path, Cycle_Kind_Of): New
3079 (Destroy_Invocation_Graph_Edge, Destroy_Library_Graph_Cycle,
3080 Destroy_Library_Graph_Edge, Extra, File_Name,
3081 Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge,
3082 Find_Cycles, Find_First_Lower_Precedence_Cycle,
3083 Get_LGC_Attributes, Has_Next, Hash_Library_Graph_Cycle,
3084 Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
3085 Highest_Precedence_Edge, In_Same_Component, Insert_And_Sort,
3086 Invocation_Edge_Count, Invocation_Graph_Encoding,
3087 Is_Cycle_Initiating_Edge, Is_Cyclic_Edge,
3088 Is_Cyclic_Elaborate_All_Edge, Is_Cyclic_Elaborate_Body_Edge,
3089 Is_Cyclic_Elaborate_Edge, Is_Cyclic_Forced_Edge,
3090 Is_Cyclic_Invocation_Edge, Is_Cyclic_With_Edge,
3091 Is_Dynamically_Elaborated, Is_Elaborate_All_Edge,
3092 Is_Elaborate_Body_Edge, Is_Elaborate_Edge: New routines.
3093 (Is_Existing_Predecessor_Successor_Relation): Removed.
3094 (Is_Forced_Edge, Is_Invocation_Edge, Is_Recorded_Cycle,
3095 Is_Recorded_Edge, Is_With_Edge, Iterate_Edges_Of_Cycle, Kind,
3096 Length): New routine.
3097 (Lib_Vertex): Removed.
3098 (Line, Links_Vertices_In_Same_Component,
3099 Maximum_Invocation_Edge_Count, Next, Normalize_And_Add_Cycle,
3100 Normalize_Cycle_Path, Number_Of_Cycles, Path, Precedence,
3101 Remove_Vertex_And_Complement, Sequence_Next_Cycle): New routines.
3102 (Sequence_Next_IGE_Id): Renamed to Sequence_Next_Edge.
3103 (Sequence_Next_IGV_Id): Renamed to Sequence_Next_Vertex.
3104 (Sequence_Next_LGE_Id): Renamed to Sequence_Next_Edge.
3105 (Sequence_Next_LGV_Id): Renamed to Sequence_Next_Vertex.
3106 (Set_Is_Existing_Predecessor_Successor_Relation): Removed.
3107 (Set_Is_Recorded_Cycle, Set_Is_Recorded_Edge,
3108 Set_LGC_Attributes, Spec_Vertex, Trace_Cycle, Trace_Edge,
3109 Trace_Eol, Trace_Vertex): New routines.
3110 * bindo-graphs.ads: Add with and use clauses for Types and
3111 GNAT.Lists. Update the parameter profiles of most routines to
3112 use better parameter names. Update the implementation of most
3113 routine to use the new parameter names. Add the new
3114 instantiated data structures IGE_Lists, IGV_Sets, LGC_Lists,
3115 LGE_Lists, LGE_Sets, LGV_Sets, and RC_Sets. Add new type
3116 Library_Graph_Cycle_Id along with an empty and initial value.
3117 Remove component Lib_Vertex and add new components Body_Vertex
3118 and Spec_Vertex to type Invocation_Graph_Vertex_Attributes. Add
3119 new type Library_Graph_Cycle_Kind. Add new iterators
3120 All_Cycle_Iterator and Edges_Of_Cycle_Iterator. Add new type
3121 Library_Graph_Cycle_Attributes. Add new components
3122 Cycle_Attributes, Cycles, and Dynamically_Elaborated to type
3123 Library_Graph_Attributes.
3124 (Body_Vertex, Column, Destroy_Invocation_Graph_Edge,
3125 Destroy_Library_Graph_Cycle_Attributes,
3126 Destroy_Library_Graph_Edge, Extra, File_Name, Find_Cycles,
3127 Has_Elaborate_All_Cycle, Has_Next, Hash_Library_Graph_Cycle,
3128 Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
3129 In_Same_Component, Invocation_Edge_Count,
3130 Invocation_Graph_Encoding, Is_Dynamically_Elaborated,
3131 Is_Elaborate_All_Edge, Is_Elaborate_Body_Edge,
3132 Is_Elaborate_Edge, Is_Forced_Edge, Is_Invocation_Edge,
3133 Is_With_Edge, Iterate_All_Cycles, Iterate_Edges_Of_Cycle, Kind):
3135 (Length, Lib_Vertex, (Line, Next, Number_Of_Cycles, Present,
3136 Same_Library_Graph_Cycle_Attributes, Spec_Vertex): New routines.
3137 * bindo-units.adb (File_Name, Invocation_Graph_Encoding): New
3139 * bindo-units.ads: Add new instantiated data structure
3141 (File_Name, Invocation_Graph_Encoding): New routine.
3142 * bindo-validators.adb: Remove with and use clauses for GNAT and
3143 GNAT.Sets. Remove membership set US. Update the parameter
3144 profiles of most routines to use better parameter names. Update
3145 the implementation of most routine to use the new parameter
3147 (Validate_Cycle, Validate_Cycle_Path, Validate_Cycles,
3148 Validate_Invocation_Graph_Vertex): Remove the validation of
3149 component Lib_Vertex. Add the validation of components
3150 Body_Vertex and Spec_Vertex.
3151 (Write_Error): New routine.
3152 * bindo-validators.ads (Validate_Cycles): New routine.
3153 * bindo-writers.adb: Update the parameter profiles of most
3154 routines to use better parameter names. Update the
3155 implementation of most routine to use the new parameter names.
3156 (Write_Cycle, Write_Cyclic_Edge, Write_Cycles): New routines.
3157 (Write_Invocation_Graph_Vertex): Remove the output of component
3158 Lib_Vertex. Add the output of components Body_Vertex and
3160 * bindo-writers.ads (Write_Cycles): New routine.
3161 * debug.adb: Use binder switches -d_C and -d_P, add
3162 documentation on their usage.
3163 * gnatbind.adb: Remove with and use clauses for Binde. Delegate
3164 the choice of elaboration mechanism to Bindo.
3165 * lib-writ.adb (Column, Extra, Invoker, Kind, Line, Locations,
3166 Name, Placement, Scope, Signature, Target): Removed.
3167 (Write_Invocation_Graph): Moved at the top level.
3168 (Write_Invocation_Graph_Attributes): New routine.
3169 (Write_Invocation_Relation, Write_Invocation_Signature): Moved
3171 * lib-writ.ads: Add a documentation section on invocation graph
3173 * sem_elab.adb (Body_Placement_Of): New routine.
3174 (Declare_Invocation_Construct): Update the call to
3175 Add_Invocation_Construct.
3176 (Declaration_Placement_Of_Node): New routine.
3177 (Get_Invocation_Attributes): Correct the retrieval of the
3178 enclosing subprogram where the postcondition procedure lives.
3179 (Placement_Of, Placement_Of_Node): Removed.
3180 (Record_Invocation_Graph): Record the encoding format used.
3181 (Record_Invocation_Graph_Encoding): New routine.
3182 (Record_Invocation_Relation): Update the call to
3183 Add_Invocation_Relation.
3184 (Spec_Placement_Of): Removed.
3185 * libgnat/g-lists.ads, libgnat/g-lists.adb (Equal): New routine.
3187 2019-07-05 Ed Schonberg <schonberg@adacore.com>
3189 * checks.adb (Apply_Predicate_Check): Except within the
3190 subprogram body that defines the formal, do not apply predicate
3191 check on a formal IN parameter: such a check is redundant and
3192 its expansion can lead to out-of-scope references when it is
3193 originates in a function call in a precondition,
3195 2019-07-05 Yannick Moy <moy@adacore.com>
3197 * sem_res.adb (Resolve_Call): Cannot inline in quantified
3199 * sem_util.adb, sem_util.ads (In_Quantified_Expression): New
3202 2019-07-05 Bob Duff <duff@adacore.com>
3204 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
3206 * gnat_rm.texi: Regenerate.
3208 2019-07-05 Bob Duff <duff@adacore.com>
3210 * exp_attr.adb (Input): Take the No_Stream_Optimizations
3211 restriction into account.
3213 2019-07-05 Claire Dross <dross@adacore.com>
3215 * libgnat/a-cofove.ads, libgnat/a-cofove.adb: Definite formal
3216 vectors are now always bounded so that they do not need to be
3219 2019-07-05 Dmitriy Anisimkov <anisimko@adacore.com>
3221 * libgnat/g-traceb.ads, libgnat/g-traceb.adb (Call_Chain): New
3224 2019-07-04 James Clarke <jrtc27@debian.org>
3226 * libgnarl/s-osinte__kfreebsd-gnu.ads (clockid_t): Make type
3228 (CLOCK_REALTIME): Make value public.
3230 2019-07-04 Javier Miranda <miranda@adacore.com>
3232 * exp_tss.adb (Init_Proc): Adding missing support for access to
3233 subprograms and access to protected subprograms of non-default
3236 2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
3238 * gnat1drv.adb (Adjust_Global_Switches): Use proper interface to
3239 set the validity settings in CodePeer mode.
3240 * par-load.adb (Load): Remove all code dealing with validity
3242 * validsw.ads (Validity_Check_Copies): Alphabetize.
3243 * validsw.adb (Reset_Validity_Check_Options): Set all options to
3245 (Save_Validity_Check_Options): Save all options.
3247 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3249 * exp_ch3.adb, exp_ch4.adb, exp_ch4.ads, exp_ch5.adb,
3250 exp_ch7.adb, exp_ch9.adb, exp_ch11.adb, exp_unst.adb,
3251 rtsfind.ads, sem_attr.adb, sem_ch10.adb, sem_ch12.adb,
3252 sem_ch13.adb, sem_dim.adb, sem_disp.adb, xref_lib.adb: Minor
3255 2019-07-04 Joffrey Huguet <huguet@adacore.com>
3257 * libgnarl/a-taside.ads: Add assertion policy to ignore
3259 (Abort_Task, Is_Terminated, Is_Callable): Add preconditions.
3261 2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
3263 * doc/gnat_rm/implementation_defined_pragmas.rst: Fix
3264 capitalization and parenthesis glitches.
3265 * gnat_rm.texi: Regenerate.
3267 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3269 * sem_ch10.adb (Remove_Context_Clauses): Handle properly the
3270 removal of a limited_with_clause which appears in the library
3271 unit oF the main unit, when some other unit in the context has a
3272 regular with_clause on the same unit, to prevent spurious
3273 visibility errors in the subsequent analysis of pending instance
3276 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3278 * sem_elab.adb: Add new type Elaboration_Phase_Status along with
3279 a global to keep track of the elaboration phase status.
3280 Initialize all internal data structures to Nil for services
3281 Elaborated_Units, Internal_Representation, and Scenario_Storage.
3282 (Build_Call_Marker): Do not create a call marker when the
3283 elaboration phase is not active.
3284 (Build_Variable_Reference_Marker): Do not create a call marker
3285 when the elaboration phase is not active.
3286 (Check_Elaboration_Scenarios): Destroy all internal structures
3287 when the elaboration phase does not have to run. Do not execute
3288 when the elaboration phase is not active.
3289 (Elaboration_Phase_Active): New routine.
3290 (Finalize_All_Data_Structures): New routine.
3291 (Initialize): Initialize all internal data structures and signal
3292 that the elaboration phase has started.
3293 (Initialize_All_Data_Structures): New routine.
3294 (Initialize_Elaborated_Units): Initialize all internal data
3296 (Initialize_Internal_Representation): Initialize all internal
3298 (Initialize_Scenario_Storage): Initialize all internal data
3300 (Kill_Elaboration_Scenario): Do not execute when the elaboration
3301 phase is not active.
3302 (Set_Elaboration_Phase): New routine.
3303 (Update_Elaboration_Scenario): Do not execute when the
3304 elaboration phase is not active.
3306 2019-07-04 Gary Dismukes <dismukes@adacore.com>
3308 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The special
3309 treatment of calling Mask_Unfrozen_Types must also be done in
3310 the case of an Ignored_Ghost_Entity, because Expander_Active is
3313 2019-07-04 Yannick Moy <moy@adacore.com>
3315 * sem_prag.adb (Check_Library_Level_Entity): Update for new rule
3318 2019-07-04 Justin Squirek <squirek@adacore.com>
3320 * sem_disp.adb (Check_Controlling_Formals): Obtain the full view
3321 before type comparison.
3323 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3325 * exp_ch4.ads, exp_ch4.adb (Build_Eq_Call): New visible
3326 subprogram, extracted from Expand_Composite_Equality, to handle
3327 properly the composition of equality for variant record types.
3328 * exp_ch3.adb (MAke_Eq_If): Use Build_Eq_Call for each
3329 component, to handle properly the case of a component with a
3330 user-defined equality. Revert to predefined equality if the
3331 user-defined operation is abstract, to maintain compatibility
3332 with older versions,
3334 2019-07-04 Justin Squirek <squirek@adacore.com>
3336 * exp_ch3.adb (Build_Initialization_Call): Fixup
3337 *_skip_null_excluding_check argument to handle new default.
3338 (Init_Formals): Make *_skip_null_excluding_check formal default
3340 * exp_ch4.adb (Expand_N_Allocator): Add comment to note heavy
3343 2019-07-04 Bob Duff <duff@adacore.com>
3345 * sem_ch3.adb (Access_Definition): Do not create a master unless
3346 Tasking_Allowed. Otherwise, this fails on restricted runtimes.
3348 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3350 * sem_util.adb (Propagate_DIC_Attributes): Do not propagate the
3351 Default_Initial_Condition attributes to an incomplete type.
3353 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3355 * sem_attr.adb (Check_Array_Type): An array type attribute such
3356 as 'First can be applied to an unconstrained array tyope when
3357 the attribute reference appears within an aspect specification
3358 and the prefix is a current instance, given that the prefix of
3359 the attribute will become a formal of the subprogram that
3360 implements the aspect (typically a predicate check).
3362 2019-07-04 Piotr Trojanek <trojanek@adacore.com>
3364 * sem_util.adb (Yields_Synchronized_Object): Fix typos in
3367 2019-07-04 Yannick Moy <moy@adacore.com>
3369 * sem_util.adb (Yields_Synchronized_Object): Adapt to new SPARK
3372 2019-07-04 Yannick Moy <moy@adacore.com>
3374 * sem_spark.adb (Check_Statement): Only check permission of
3375 object in extended return when it is of a deep type.
3377 2019-07-04 Justin Squirek <squirek@adacore.com>
3379 * sem_ch12.adb (Perform_Appropriate_Analysis): Added for
3380 selecting which type of analysis based on wheither the
3381 instantiation is a generic at the library-level. In which case
3382 expansion during analysis.
3383 (Preanalyze_Actuals): Modify calls to Analyze to use the new
3386 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3388 * exp_unst.adb: Handle conditional expressions.
3390 2019-07-04 Yannick Moy <moy@adacore.com>
3392 * sem_spark.adb (Check_Package_Spec, Check_Package_Body): Only
3393 analyze parts of the code marked in SPARK.
3395 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
3397 * erroutc.adb, exp_aggr.adb, inline.adb, opt.adb, sem_ch3.adb:
3400 2019-07-04 Yannick Moy <moy@adacore.com>
3402 * sem_spark.adb (Explanation, Get_Expl): New functions to get
3403 the explanation for a permission mismatch.
3404 (Perm_Error, Perm_Mismatch, Perm_Error_Loop_Exit): Take
3405 explanation into account for issuing a more precise error
3407 (Set_Perm_Prefixes, Set_Perm_Extensions,
3408 Set_Perm_Extensions_Move): Pass suitable argument for the
3411 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3413 * exp_aggr.adb (In_Place_Assign_OK): Moved to top level and add
3414 support for record aggregates.
3415 (Component_Check): Use Is_CCG_Supported_Aggregate instead of a
3416 similar local predicate.
3417 (Convert_To_Assignments): Take advantage of In_Place_Assign_OK
3418 predicate when possible.
3419 (Is_CCG_Supported_Aggregate): Return False for records with
3420 representation clauses and fix the logic for dealing with nested
3423 2019-07-04 Piotr Trojanek <trojanek@adacore.com>
3425 * opt.adb (Set_Config_Switches): Keep assertions policy as
3426 enabled when analysing internal units in GNATprove mode.
3428 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3430 * exp_ch4.adb (Expand_Short_Circuit_Operator): Strip
3431 N_Variable_Reference_Marker when checking for the presence of
3434 2019-07-04 Arnaud Charlet <charlet@adacore.com>
3436 * exp_aggr.adb (Check_Component): Take into account type
3439 2019-07-04 Dmitriy Anisimkov <anisimko@adacore.com>
3441 * doc/gnat_ugn/platform_specific_information.rst: Document
3442 Windows socket timeout particularity.
3443 * gnat_ugn.texi: Regenerate.
3444 * gsocket.h: Include versionhelpers.h.
3445 * socket.c (__gnat_minus_500ms): New function.
3446 * libgnat/g-sothco.ads (Minus_500ms_Windows_Timeout): New
3448 * libgnat/g-socket.adb (Set_Socket_Option): Refactor to remove
3449 500ms from the requested timeout only on old Windows version.
3451 2019-07-04 Thomas Quinot <quinot@adacore.com>
3453 * get_scos.adb: Remove bogus, dead code.
3455 2019-07-04 Ed Schonberg <schonberg@adacore.com>
3457 * sem_dim.adb (Analyze_Dimension_Array_Aggregate): If the
3458 component is an entity name, its dimensions are those of its
3461 2019-07-03 Bob Duff <duff@adacore.com>
3463 * doc/gnat_ugn/gnat_utility_programs.rst: Document new flags in
3466 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3468 * binde.adb: Remove with clause for System.OS_Lib.
3469 (Force_Elab_Order): Refactor the majority of the code in Butil.
3470 Use the new forced units iterator to obtain unit names.
3471 * bindo-builders.adb: Add with and use clauses for Binderr,
3472 Butil, Opt, Output, Types, GNAT, and GNAT.Dynamic_HTables. Add
3473 a hash table which maps units to line number in the forced
3474 elaboration order file.
3475 (Add_Unit): New routine.
3476 (Build_Library_Graph): Create forced edges between pairs of
3477 units listed in the forced elaboration order file.
3478 (Create_Forced_Edge, Create_Forced_Edges, Destroy_Line_Number,
3479 Duplicate_Unit_Error, Hash_Unit, Internal_Unit_Info,
3480 Is_Duplicate_Unit, Missing_Unit_Info): New routines.
3481 * bindo-graphs.adb (Is_Internal_Unit, Is_Predefined_Unit):
3482 Refactor some of the behavior to Bindo-Units.
3483 * bindo-graphs.ads: Enable the enumeration literal for forced
3485 * bindo-units.adb, bindo-units.ads (Is_Internal_Unit,
3486 Is_Predefined_Unit): New routines.
3487 * butil.adb: Add with and use clauses for Opt, GNAT, and
3488 System.OS_Lib. Add with clause for Unchecked_Deallocation.
3489 (Has_Next, Iterate_Forced_Units, Next, Parse_Next_Unit_Name,
3490 Read_Forced_Elab_Order_File): New routines.
3491 * butil.ads: Add with and use clauses for Types. Add new
3492 iterator over the units listed in the forced elaboration order
3494 (Has_Next, Iterate_Forced_Units, Next): New routine.
3495 * namet.adb, namet.ads (Present): New routine.
3497 2019-07-03 Bob Duff <duff@adacore.com>
3499 * sem_ch3.adb (Access_Definition): The code was creating a
3500 master in the case where the designated type is a class-wide
3501 interface type. Create a master in the noninterface case as
3502 well. That is, create a master for all limited class-wide types.
3504 2019-07-03 Yannick Moy <moy@adacore.com>
3506 * erroutc.adb (Sloc_In_Range): New function to determine whether
3507 the range of a pragma Warnings covers a location, taking
3508 instantiations into account.
3510 2019-07-03 Johannes Kanig <kanig@adacore.com>
3512 * osint.ads, osint.adb (Get_First_Main_File_Name): New routine
3513 to access the first file provided on the command line.
3515 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3517 * inline.adb (Process_Formals_In_Aspects): New procedure within
3518 Expand_Inlined_Call, to perform a replacement of references to
3519 formals that appear in aspect specifications within the body
3522 2019-07-03 Justin Squirek <squirek@adacore.com>
3524 * sem_ch8.adb (Analyze_Object_Renaming): Add call to search for
3525 the appropriate actual subtype of the object renaming being
3527 (Check_Constrained_Object): Minor cleanup.
3529 2019-07-03 Yannick Moy <moy@adacore.com>
3531 * sem_spark.adb (Get_Observed_Or_Borrowed_Expr): New function to
3532 return go through traversal function call.
3533 (Check_Type): Consistently use underlying type.
3534 (Get_Perm): Adapt for case of elaboration code where variables
3535 are not declared in the environment. Remove incorrect handling
3536 of borrow and observe.
3538 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3540 * inline.adb (Build_Return_Object_Formal): New routine.
3541 (Can_Split_Unconstrained_Function): Code clean up.
3542 (Copy_Formals,Copy_Return_Object): New routines.
3543 (Split_Unconstrained_Function): Code clean up and refactoring.
3545 2019-07-03 Gary Dismukes <dismukes@adacore.com>
3547 * bindo-augmentors.adb, bindo-augmentors.ads,
3548 bindo-builders.ads, bindo-elaborators.adb, sem_ch12.adb,
3549 sem_ch13.adb, sem_spark.adb, sinfo.ads: Minor editorial
3550 corrections and reformatting.
3552 2019-07-03 Bob Duff <duff@adacore.com>
3554 * sem_warn.adb (Check_Infinite_Loop_Warning): Avoid the warning
3555 if an Iterator_Specification is present.
3557 2019-07-03 Bob Duff <duff@adacore.com>
3559 * doc/gnat_ugn/gnat_utility_programs.rst: Document default
3562 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3564 * ali.adb: Add with and use clauses for GNAT,
3565 GNAT.Dynamic_HTables, and Snames. Add a map from invocation
3566 signature records to invocation signature ids. Add various
3567 encodings of invocation-related attributes. Sort and update
3568 table Known_ALI_Lines.
3569 (Add_Invocation_Construct, Add_Invocation_Relation,
3570 Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
3571 Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
3572 Code_To_Invocation_Graph_Line_Kind, Destroy, Hash): New
3574 (Initialize_ALI): Sort the initialization sequence. Add
3575 initialization for all invocation-related tables.
3576 (Invocation_Construct_Kind_To_Code,
3577 Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
3578 Invocation_Signature_Of, Present): New routines.
3579 (Scan_ALI): Add the default values for invocation-related ids.
3580 Scan invocation graph lines.
3581 (Scan_Invocation_Graph_Line): New routine.
3582 * ali.ads: Add with clause for GNAT.Dynamic_Tables. Add types
3583 for invocation constructs, relations, and signatures. Add
3584 tables for invocation constructs, relations, and signatures.
3585 Update Unit_Record to capture invocation-related ids. Relocate
3586 table Unit_Id_Tables and subtypes Unit_Id_Table, Unit_Id_Array
3588 (Add_Invocation_Construct, Add_Invocation_Relation,
3589 Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
3590 Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
3591 Code_To_Invocation_Graph_Line_Kind,
3592 Invocation_Construct_Kind_To_Code,
3593 Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
3594 Invocation_Signature_Of, Present): New routines.
3595 * binde.adb: Add with and use clause for Types. Add use clause
3596 for ALI.Unit_Id_Tables;
3597 * binde.ads: Relocate table Unit_Id_Tables and subtypes
3598 Unit_Id_Table, Unit_Id_Array to ALI.
3599 * bindgen.adb: Remove with and use clause for ALI.
3600 * bindgen.ads: Remove with and use clause for Binde. Add with
3601 and use clause for ALI.
3602 * bindo.adb, bindo.ads, bindo-augmentors.adb,
3603 bindo-augmentors.ads, bindo-builders.adb, bindo-builders.ads,
3604 bindo-diagnostics.adb, bindo-diagnostics.ads,
3605 bindo-elaborators.adb, bindo-elaborators.ads, bindo-graphs.adb,
3606 bindo-graphs.ads, bindo-units.adb, bindo-units.ads,
3607 bindo-validators.adb, bindo-validators.ads, bindo-writers.adb,
3608 bindo-writers.ads: New units.
3609 * debug.adb: Use and describe GNAT debug switches -gnatd_F and
3610 -gnatd_G. Add GNATbind debug switches in the ranges dA .. dZ,
3611 d.a .. d.z, d.A .. d.Z, d.1 .. d.9, d_a .. d_z, d_A .. d_Z, and
3612 d_1 .. d_9. Use and describe GNATbind debug switches -d_A,
3613 -d_I, -d_L, -d_N, -d_O, -d_T, and -d_V.
3614 * exp_util.adb, exp_util.ads (Exceptions_OK): Relocate to
3616 * gnatbind.adb: Add with and use clause for Bindo. Use the new
3617 Bindo elaboration order only when -d_N is in effect.
3619 (Column, Extra, Invoker, Kind, Line, Locations, Name, Placement,
3620 Scope, Signature, Target): New routines.
3621 (Write_ALI): Output all invocation-related data.
3622 (Write_Invocation_Graph): New routine.
3623 * lib-writ.ads: Document the invocation graph ALI line.
3624 * namet.adb, namet.ads (Present): New routines.
3625 * sem_ch8.adb (Find_Direct_Name): Capture the status of
3626 elaboration checks and warnings of an identifier.
3627 (Find_Expanded_Name): Capture the status of elaboration checks
3628 and warnings of an expanded name.
3629 * sem_ch12.adb (Analyze_Generic_Package_Declaration): Ensure
3630 that invocation graph-related data within the body of the main
3631 unit is encoded in the ALI file.
3632 (Analyze_Generic_Subprogram_Declaration): Ensure that invocation
3633 graph-related data within the body of the main unit is encoded
3635 (Analyze_Package_Instantiation): Perform minimal decoration of
3636 the instance entity.
3637 (Analyze_Subprogram_Instantiation): Perform minimal decoration
3638 of the instance entity.
3639 * sem_elab.adb: Perform heavy refactoring of all code. The unit
3640 is now split into "services" which specialize in one area of ABE
3641 checks. Add processing in order to capture invocation-graph
3642 related attributes of the main unit, and encode them in the ALI
3643 file. The Processing phase can now operate in multiple modes,
3644 all described by type Processing_Kind. Scenarios and targets
3645 are now distinct at the higher level, and carry their own
3646 representations. This eliminates the need to constantly
3647 recompute their attributes, and offers the various processors a
3648 uniform interface. The various initial states of the Processing
3649 phase are now encoded using type Processing_In_State, and
3650 xxx_State constants.
3651 * sem_elab.ads: Update the literals of type
3652 Enclosing_Level_Kind. Add Inline pragmas on several routines.
3653 * sem_prag.adb (Process_Inline): Ensure that invocation
3654 graph-related data within the body of the main unit is encoded
3656 * sem_util.adb (Enclosing_Generic_Body, Enclosing_Generic_Unit):
3658 (Exceptions_OK): Relocated from Sem_Util.
3659 (Mark_Save_Invocation_Graph_Of_Body): New routine.
3660 * sem_util.ads (Exceptions_OK): Relocated from Sem_Util.
3661 (Mark_Save_Invocation_Graph_Of_Body): New routine.
3662 * sinfo.adb (Is_Elaboration_Checks_OK_Node): Now applicable to
3663 N_Variable_Reference_Marker.
3664 (Is_Elaboration_Warnings_OK_Node): Now applicable to
3665 N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
3666 (Is_Read): Use Flag4.
3667 (Is_SPARK_Mode_On_Node): New applicable to
3668 N_Variable_Reference_Marker.
3669 (Is_Write): Use Flag5.
3670 (Save_Invocation_Graph_Of_Body): New routine.
3671 (Set_Is_Elaboration_Checks_OK_Node): Now applicable to
3672 N_Variable_Reference_Marker.
3673 (Set_Is_Elaboration_Warnings_OK_Node): Now applicable to
3674 N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
3675 (Set_Is_SPARK_Mode_On_Node): New applicable to
3676 N_Variable_Reference_Marker.
3677 (Set_Save_Invocation_Graph_Of_Body): New routine.
3678 * sinfo.ads: Update the documentation of attributes
3679 Is_Elaboration_Checks_OK_Node, Is_Elaboration_Warnings_OK_Node,
3680 Is_SPARK_Mode_On_Node. Update the flag usage of attributes
3681 Is_Read, Is_Write. Add attribute Save_Invocation_Graph_Of_Body
3682 and update its occurrence in nodes.
3683 (Save_Invocation_Graph_Of_Body): New routine along with pragma
3685 (Set_Save_Invocation_Graph_Of_Body): New routine along with
3687 * switch-b.adb (Scan_Binder_Switches): Refactor the scanning of
3689 (Scan_Debug_Switches): New routine.
3690 * libgnat/g-dynhta.adb, libgnat/g-dynhta.ads (Contains): New routine.
3691 * libgnat/g-graphs.adb (Associate_Vertices): Update the use of
3692 Component_Vertex_Iterator.
3693 (Contains_Component, Contains_Edge, Contains_Vertex, Has_Next):
3695 (Iterate_Component_Vertices): New routine.
3696 (Iterate_Vertices): Removed.
3697 (Next): Update the parameter profile.
3698 (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
3700 * libgnat/g-graphs.ads: Update the initialization of
3701 No_Component. Add type Component_Vertex_Iterator. Remove type
3703 (Has_Next): Add new versions and remove old ones.
3704 (Iterate_Component_Vertices): New routine.
3705 (Iterate_Vertices): Removed.
3706 (Next): Add new versions and remove old ones.
3707 (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
3709 * libgnat/g-sets.adb (Contains): Reimplemented.
3710 * gcc-interface/Make-lang.in (GNATBIND_OBJS): Add
3711 GNAT.Dynamic_HTables, GNAT.Graphs and Bindo units.
3712 * rtsfind.ads: Remove extra space.
3714 2019-07-03 Yannick Moy <moy@adacore.com>
3716 * sem_spark.adb: Add support for locally borrowing and observing
3718 (Get_Root_Object): Add parameter Through_Traversal to denote
3719 when we are interesting in getting to the traversed parameter.
3720 (Is_Prefix_Or_Almost): New function to support detection of
3721 illegal access to borrowed or observed paths.
3722 (Check_Pragma): Add analysis of assertion pragmas.
3724 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3726 * sem_ch13.adb (Build_Predicate_Functions): In a generic context
3727 we do not build the bodies of predicate fuctions, but the
3728 expression in a static predicate must be elaborated to allow
3729 case coverage checking within the generic unit.
3730 (Build_Discrete_Static_Predicate): In a generic context, return
3731 without building function body once the
3732 Static_Discrete_Predicate expression for the type has been
3735 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3737 * bindgen.adb, inline.adb, layout.adb, sem_ch12.adb,
3738 sem_ch13.adb, sem_ch7.adb, styleg.adb: Minor reformatting.
3740 2019-07-03 Bob Duff <duff@adacore.com>
3742 * par-ch3.adb (P_Defining_Identifier): Call
3743 Check_Defining_Identifier_Casing.
3744 * style.ads, styleg.ads, styleg.adb
3745 (Check_Defining_Identifier_Casing): New procedure to check for
3746 mixed-case defining identifiers.
3747 * stylesw.ads, stylesw.adb (Style_Check_Mixed_Case_Decls): New
3748 flag for checking for mixed-case defining identifiers.
3749 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
3750 Document new feature.
3751 * gnat_ugn.texi: Regenerate.
3753 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3755 * doc/gnat_ugn/building_executable_programs_with_gnat.rst
3756 (Warning message control): Document that -gnatw.z/Z apply to
3758 * freeze.adb (Freeze_Entity): Give -gnatw.z warning for array
3759 types as well, but not if the specified alignment is the minimum
3761 * gnat_ugn.texi: Regenerate.
3763 2019-07-03 Bob Duff <duff@adacore.com>
3765 * einfo.ads, exp_util.adb, layout.ads, sinfo.ads: Spell "laid"
3768 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3770 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): No error
3771 message on attribute applied to a renaming when the renamed
3772 object is an aggregate (from code reading).
3773 (Check_Aspect_At_End_Of_Declarations): In a generic context
3774 where freeze nodes are not generated, the original expression
3775 for an aspect may need to be analyzed to precent spurious
3776 conformance errors when compared with the expression that is
3777 anakyzed at the end of the current declarative list.
3779 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3781 * layout.adb (Layout_Type): Do not set the component size of an
3782 array with a scalar component if the component type is
3785 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3787 * inline.adb (Make_Loop_Labels_Unique): New procedure to modify
3788 the source code of subprograms that are inlined by the
3789 front-end, to prevent accidental duplication between loop labels
3790 in the inlined code and the code surrounding the inlined call.
3792 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
3794 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
3795 the section on resolving elaboration circularities to eliminate
3796 certain combinations of switches which together do not produce
3797 the desired effect and confuse users.
3798 * gnat_ugn.texi: Regenerate.
3800 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3802 * bindgen.adb (Gen_Main): Disable generation of reference to
3803 Ada_Main_Program_Name for CCG.
3804 * bindusg.adb (Display): Add -G to the command-line usage for
3806 * opt.ads (Generate_C_Code): Update comment.
3807 * switch-b.adb (Scan_Binder_Switches): Add handling for -G.
3809 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3811 * sem_ch7.adb (Has_Referencer): Do not consider inlined
3812 subprograms when generating C code, which allows us to generate
3813 static inline subprograms.
3815 2019-07-03 Justin Squirek <squirek@adacore.com>
3817 * sem_ch6.adb (Check_Conformance): Add expression checking for
3818 constant modifiers in anonymous access types (in addition to
3819 "non-null" types) so that they are considered "matching" for
3820 subsequent conformance tests.
3822 2019-07-03 Arnaud Charlet <charlet@adacore.com>
3824 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
3825 Clarify wording on No_Multiple_Elaboration.
3826 * gnat_rm.texi: Regenerate.
3828 2019-07-03 Ed Schonberg <schonberg@adacore.com>
3830 * sem_ch8.adb (Find_Selected_Component): If the prefix is the
3831 current instance of a type or subtype, complete the resolution
3832 of the name by finding the component of the type denoted by the
3835 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
3837 * doc/gnat_rm/interfacing_to_other_languages.rst (Interfacing to C):
3838 Document that boolean types with convention C now map to C99 bool.
3839 * gnat_rm.texi: Regenerate.
3841 2019-07-03 Javier Miranda <miranda@adacore.com>
3843 * exp_attr.adb (Expand_Min_Max_Attribute): Code cleanup:
3844 removing code that it is now never executed in the CCG compiler
3847 2019-07-02 Iain Sandoe <iain@sandoe.co.uk>
3849 * libgnat/system-darwin-ppc.ads: Set Stack_Check_Probes True for
3852 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3854 * sem_ch12.adb (Is_Defaulted): New predicate in
3855 Check_Formal_Package_Intance, to skip the conformance of checks
3856 on parameters of a formal package that are defaulted,
3858 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3860 * checks.adb, exp_ch9.adb, exp_unst.adb, sem_ch4.adb,
3861 sem_prag.adb, sem_spark.adb: Minor reformatting.
3863 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3865 * sem_attr.adb (Analyze_Attribute, case Enum_Rep): Allow prefix
3866 of attribute to be an attribute reference of a discrete type.
3868 2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
3870 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Move up
3871 handling of Has_Pragma_Inline_Always and deal with
3872 Has_Pragma_No_Inline.
3874 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3876 * sem_ch3.adb (Build_Derived_Record_Type): If the parent type is
3877 declared as a subtype of a private type with an inherited
3878 discriminant constraint, its generated full base appears as a
3879 record subtype, so we need to retrieve its oen base type so that
3880 the inherited constraint can be applied to it.
3882 2019-07-01 Yannick Moy <moy@adacore.com>
3884 * sem_spark.adb: Completely rework the algorithm for ownership
3885 checking, as the rules in SPARK RM have changed a lot.
3886 * sem_spark.ads: Update comments.
3888 2019-07-01 Dmitriy Anisimkov <anisimko@adacore.com>
3890 * gsocket.h (Has_Sockaddr_Len): Use the offset of sin_family offset in
3891 the sockaddr_in structure to determine the existence of length field
3892 before the sin_family.
3894 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3896 * sem_prag.adb (Analyze_Pragma, case Weak_External): Pragma only
3897 applies to entities with run-time addresses, not to types.
3899 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3901 * einfo.adb, sem_ch7.adb, sem_prag.adb, sem_util.adb: Update
3902 references to the SPARK RM after the removal of Rule 7.1.4(5).
3904 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3906 * sysdep.c: Cleanup references to LynuxWorks in docs and
3909 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3911 * checks.adb (Insert_Valid_Check): Do not apply validity check
3912 to variable declared within a protected object that uses the
3913 Lock_Free implementation, to prevent unwarranted constant
3914 folding, because entities within such an object msut be treated
3917 2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
3919 * exp_ch9.adb (Check_Inlining): Deal with Has_Pragma_No_Inline.
3921 2019-07-01 Ed Schonberg <schonberg@adacore.com>
3923 * exp_unst.adb (Visit_Node, Check_Static_Type): Improve the
3924 handling of private and incomplete types whose full view is an
3925 access type, to detect additional uplevel references in dynamic
3926 bounds. This is relevant to N_Free_Statement among others that
3927 manipulate types whose full viww may be an access type.
3929 2019-07-01 Pat Rogers <rogers@adacore.com>
3931 * doc/gnat_rm/representation_clauses_and_pragmas.rst: Correct
3932 size indicated for R as a component of an array.
3933 * gnat_rm.texi: Regenerate.
3935 2019-07-01 Justin Squirek <squirek@adacore.com>
3937 * libgnat/s-win32.ads: Add definition for ULONG, modify
3938 OVERLAPPED type, and add appropriate pragmas.
3940 2019-07-01 Bob Duff <duff@adacore.com>
3942 * gnat1drv.adb (gnat1drv): Call Write_ALI if the main unit is
3945 2019-07-01 Yannick Moy <moy@adacore.com>
3947 * sem_ch4.adb (Operator_Check): Refine error message.
3949 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3951 * libgnat/a-calend.ads: Revert "Global => null" contracts on
3954 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
3956 * exp_attr.adb, libgnat/g-graphs.ads: Fix typos in comments:
3957 componant -> component.
3959 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3961 * libgnat/g-graphs.adb: Use type Directed_Graph rather than
3962 Instance in various routines.
3963 * libgnat/g-graphs.ads: Change type Instance to Directed_Graph.
3964 Update various routines that mention the type.
3966 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3968 * libgnat/g-sets.adb: Use type Membership_Set rathern than
3969 Instance in various routines.
3970 * libgnat/g-sets.ads: Change type Instance to Membership_Set.
3971 Update various routines that mention the type.
3973 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3975 * libgnat/g-lists.adb: Use type Doubly_Linked_List rather than
3976 Instance in various routines.
3977 * libgnat/g-lists.ads: Change type Instance to
3978 Doubly_Linked_List. Update various routines that mention the
3981 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3983 * libgnat/g-dynhta.adb: Use type Dynamic_Hash_Table rather than
3984 Instance in various routines.
3985 * libgnat/g-dynhta.ads: Change type Instance to
3986 Dynamic_Hash_Table. Update various routines that mention the
3989 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
3991 * exp_attr.adb, exp_ch7.adb, exp_unst.adb, sem_ch3.adb,
3992 sem_util.adb, uintp.adb, uintp.ads: Minor reformatting.
3994 2019-07-01 Javier Miranda <miranda@adacore.com>
3996 * exp_attr.adb (Expand_Min_Max_Attribute): Disable expansion of
3997 'Min/'Max on integer, enumeration, fixed point and floating
3998 point types since the CCG backend now provides in file
3999 standard.h routines to support it.
4001 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
4003 * impunit.adb: Add GNAT.Graphs to list Non_Imp_File_Names_95.
4004 * Makefile.rtl, gcc-interface/Make-lang.in: Register unit
4006 * libgnat/g-dynhta.adb: Various minor cleanups (use Present
4007 rather than direct comparisons).
4008 (Delete): Reimplement to use Delete_Node.
4009 (Delete_Node): New routine.
4010 (Destroy_Bucket): Invoke the provided destructor.
4011 (Present): New routines.
4012 * libgnat/g-dynhta.ads: Add new generic formal Destroy_Value.
4013 Use better names for the components of iterators.
4014 * libgnat/g-graphs.adb, libgnat/g-graphs.ads: New unit.
4015 * libgnat/g-lists.adb: Various minor cleanups (use Present
4016 rather than direct comparisons).
4017 (Delete_Node): Invoke the provided destructor.
4018 (Present): New routine.
4019 * libgnat/g-lists.ads: Add new generic formal Destroy_Element.
4020 Use better names for the components of iterators.
4021 (Present): New routine.
4022 * libgnat/g-sets.adb, libgnat/g-sets.ads (Destroy, Preset,
4023 Reset): New routines.
4025 2019-07-01 Dmitriy Anisimkov <anisimko@adacore.com>
4027 * libgnat/g-sothco.adb (Get_Address): Fix the case when AF_INET6
4030 2019-07-01 Ed Schonberg <schonberg@adacore.com>
4032 * exp_attr.adb (Expand_Attribute_Reference, case Invalid_Value):
4033 Resolve result of call to Get_Simple_Init_Val, which may be a
4034 conversion of a literal.
4036 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
4038 * freeze.adb (Freeze_Expression): Remove the horrible useless
4039 name hiding of N. Insert the freeze nodes generated by the
4040 expression prior to the expression when the nearest enclosing
4043 2019-07-01 Pierre-Marie de Rodat <derodat@adacore.com>
4045 * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix
4046 formatting issues in the -gnatR section.
4047 * gnat_ugn.texi: Regenerate.
4049 2019-06-30 Iain Sandoe <iain@sandoe.co.uk>
4051 * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches.
4052 Push -shared-libgcc explicitly, when it is the target default (unless
4053 overidden by the static flag).
4054 When the user has put an instance of shared/static-libgcc do not push
4055 a duplicate of this.
4057 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4059 * gcc-interface/decl.c (gnat_to_gnu_entity): Beep up comment on SAVED,
4060 and tweak comment on the assertion about the scopes of Itypes. Do not
4061 skip the regular processing for Itypes that are E_Record_Subtype with
4062 a Cloned_Subtype. Get the Cloned_Subtype for every E_Record_Subtype
4063 if the type is dummy and hasn't got its own freeze node.
4064 <E_Record_Subtype>: Save again the DECL of the Cloned_Subtype, if any.
4065 <E_Access_Subtype>: Save again the DECL of the equivalent type.
4066 (Gigi_Equivalent_Type) <E_Access_Subtype>: New case.
4068 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4070 * gcc-interface/utils.c (unchecked_convert): Tweak comment. Only skip
4071 dereferences when padding to have the same size on both sides. Do it
4072 for destination types with self-referential size too.
4074 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4076 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: If the
4077 type requires strict alignment, then set the RM size to the type size.
4078 Rework handling of alignment and sizes of tagged types in ASIS mode.
4079 (validate_size): Rename local variable and remove special handling for
4080 strict-alignment types.
4081 * gcc-interface/utils.c (finish_record_type): Constify local variables
4082 and use properly typed constants.
4084 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4086 * gcc-interface/decl.c (gnat_to_gnu_field): Rework error messages for
4087 fields requiring strict alignment, add explicit test on Storage_Unit
4088 for position and size, and mention type alignment for position.
4090 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4092 * gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED on
4093 the main variant of a type, if any.
4095 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4097 * gcc-interface/decl.c (set_nonaliased_component_on_array_type): Add
4098 missing guard for the presence of TYPE_CANONICAL.
4099 (set_reverse_storage_order_on_array_type): Likewise.
4101 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
4103 * gcc-interface/gigi.h (make_packable_type): Remove default value.
4104 (value_factor_p): Tweak prototype.
4105 * gcc-interface/decl.c (gnat_to_gnu_entity): Add comment.
4106 (gnat_to_gnu_component_type): Likewise.
4107 (gnat_to_gnu_field): Likewise. Fetch the position of the field earlier
4108 and simplify the condition under which the type is packed. Declare
4109 local variable is_bitfield. Pass 1 as max_align to make_packable_type
4110 if it is set to true.
4111 (copy_and_substitute_in_layout): Pass 0 to make_packable_type.
4112 * gcc-interface/utils.c (make_packable_array_type): New function.
4113 (make_packable_type): Use it to rewrite the type of array field.
4114 (maybe_pad_type): Pass align parameter to make_packable_type.
4115 (create_field_decl): Minor tweaks.
4116 (value_factor_p): Assert that FACTOR is a power of 2 and replace the
4117 modulo computation by a masking operation.
4119 2019-06-25 Eric Botcazou <ebotcazou@adacore.com>
4121 * gcc-interface/decl.c (gnat_to_gnu_entity): Remove superfluous test
4123 * gcc-interface/gigi.h (maybe_character_type): Fix formatting.
4124 (maybe_character_value): Likewise.
4126 2019-06-24 Jan Hubicka <jh@suse.cz>
4128 * gcc-interface/decl.c (gnat_to_gnu_entity): Check that
4129 type is array or integer prior checking string flag.
4130 * gcc-interface/gigi.h (maybe_character_type): Likewise.
4131 (maybe_character_value): Likewise.
4133 2019-06-24 Martin Sebor <msebor@redhat.com>
4135 * gcc-interface/utils.c (handle_nonnull_attribute): Quote attribute
4138 2019-06-18 Arnaud Charlet <charlet@adacore.com>
4141 * sem_ch5.adb (Analyze_Loop_Statement): Avoid exception propagation
4142 during normal processing.
4144 2019-06-17 Arnaud Charlet <charlet@adacore.com>
4147 * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Swap the two
4148 conditions to avoid a unnecessary exception propagation in the default
4151 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4153 * gcc-interface/utils.c (handle_stack_protect_attribute): Move around.
4155 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4157 * doc/gnat_rm/implementation_defined_pragmas.rst (Machine_Attribute):
4158 Document additional optional parameters.
4159 * sem_prag.adb (Analyze_Pragma) <Pragma_Machine_Attribute>: Accept
4160 more than one optional parameter.
4161 * gcc-interface/decl.c (prepend_one_attribute_pragma): Alphabetize
4162 the list of supported pragmas. Simplify the handling of parameters
4163 and add support for more than one optional parameter.
4164 * gcc-interface/utils.c (attr_cold_hot_exclusions): New constant.
4165 (gnat_internal_attribute_table): Add entry for no_icf, noipa, flatten,
4166 used, cold, hot, target and target_clones.
4167 (begin_subprog_body): Do not create the RTL for the subprogram here.
4168 (handle_noicf_attribute): New static function.
4169 (handle_noipa_attribute): Likewise.
4170 (handle_flatten_attribute): Likewise.
4171 (handle_used_attribute): Likewise.
4172 (handle_cold_attribute): Likewise.
4173 (handle_hot_attribute): Likewise.
4174 (handle_target_attribute): Likewise.
4175 (handle_target_clones_attribute): Likewise.
4177 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4179 * gcc-interface/trans.c (lvalue_required_for_attribute_p): Return 0
4181 (Identifier_to_gnu): Use the actual subtype for a reference to a
4182 packed array in a return statement.
4183 (Attribute_to_gnu) <Attr_Size>: Do not strip VIEW_CONVERT_EXPRs from
4184 the prefix in every case.
4186 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4188 * gcc-interface/trans.c (gnat_to_gnu): Remove superfluous tests on
4189 Backend_Overflow_Checks_On_Target and rework comments.
4191 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4193 * gcc-interface/trans.c (walk_nesting_tree): New static function.
4194 (finalize_nrv): Use it to walk the entire nesting tree.
4196 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4198 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Remove
4199 obsolete test on Is_For_Access_Subtype.
4201 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4203 * gcc-interface/decl.c (components_to_record): Set a name on the type
4204 created for the REP part, if any.
4205 * gcc-interface/utils.c (finish_record_type): Only take the maximum
4206 when merging sizes for a variant part at offset 0.
4207 (merge_sizes): Rename has_rep parameter into max.
4209 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4211 * gcc-interface/utils.c (gnat_internal_attribute_table): Add support
4212 for stack_protect attribute.
4213 (handle_stack_protect_attribute): New static function.
4215 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
4217 * gcc-interface/decl.c (intrin_arglists_compatible_p): Do not return
4218 false if the internal builtin uses a variable list.
4220 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4222 * gcc-interface/trans.c (Call_to_gnu): Do not initialize the temporary
4223 created out of addressability concerns if it's for the _Init parameter
4224 of an initialization procedure.
4226 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4228 * gcc-interface/ada-builtin-types.def: New file.
4229 * gcc-interface/ada-builtins.def: Likewise.
4230 * gcc-interface/ada-tree.h (BUILT_IN_LIKELY): New macro.
4231 (BUILT_IN_UNLIKELY): Likewise.
4232 * gcc-interface/trans.c (independent_iterations_p): Initialize the
4233 auto-vector to 16 elements.
4234 (Call_to_gnu): Remove local variable and change the vector of actual
4235 parameters to an auto-vector. Do not convert actual parameters to
4236 the argument type for front-end built-in functions. Add support for
4237 front-end built-in functions.
4238 (build_noreturn_cond): Use internal instead of built-in function.
4239 * gcc-interface/utils.c (c_builtin_type): Include ada-builtin-types.def
4240 (install_builtin_function_types): Likewise.
4241 (install_builtin_functions): Include ada-builtins.def first.
4243 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4245 * gcc-interface/utils.c (maybe_pad_type): Issue the warning for the
4246 specific case of component types preferably.
4248 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4250 * gcc-interface/trans.c (Identifier_to_gnu): Minor tweaks.
4251 (gnat_to_gnu): Do not convert the result if it is a reference to an
4252 unconstrained array used as the prefix of an attribute reference that
4255 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4257 * gcc-interface/trans.c (Gigi_Types_Compatible): New predicate.
4258 (Identifier_to_gnu): Use it to assert that the type of the identifier
4259 and that of its entity are compatible for gigi. Rename a couple of
4260 local variables and separate the processing of the result type.
4262 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4264 * gcc-interface/trans.c (Call_to_gnu): Use the unpadded type when
4265 putting back an intermediate conversion the type of the actuals.
4267 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
4269 * gcc-interface/trans.c (gnat_to_gnu) <Shift operations>: Convert the
4270 count to the unsigned version of its base type before proceeding.
4272 2019-05-16 Martin Sebor <msebor@redhat.com>
4274 * gcc-interface/trans.c (check_inlining_for_nested_subprog): Quote
4277 2019-05-08 Arnaud Charlet <charlet@adacore.com>
4279 * standard.ads.h: New file.
4281 2019-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
4283 * gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
4286 2019-04-29 Michael K. Darling <darlingm@gmail.com>
4288 * gnatvsn.ads: Bump Library_Version to 10.
4290 2019-04-24 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
4291 Bernd Edlinger <bernd.edlinger@hotmail.de>
4292 Jakub Jelinek <jakub@redhat.com>
4295 * raise-gcc.c (TARGET_ATTRIBUTE): Define.
4296 (continue_unwind, personality_body, PERSONALITY_FUNCTION): Add
4299 2019-04-07 Eric Botcazou <ebotcazou@adacore.com>
4301 * libgnat/i-cexten.ads (CFloat_128): New type.
4303 2019-03-22 Dmitriy Anisimkov <anisimko@adacore.com>
4306 * libgnat/g-socket.adb (Bind_Socket, Connect_Socket,
4307 Send_Socket): Fix the computation of structure lengths passed to
4309 (Is_IPv6_Address): Fix the number of expected colons.
4311 2019-03-11 Martin Liska <mliska@suse.cz>
4313 * gcc-interface/misc.c (gnat_post_options): Wrap option name in string
4314 format message and fix GNU coding style.
4316 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4318 * gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak.
4319 * gcc-interface/utils.c (convert): Do not pad when doing an unchecked
4320 conversion here. Use TREE_CONSTANT throughout the function.
4321 (unchecked_convert): Also pad if the source is a CONSTRUCTOR and the
4322 destination is a more aligned array type or a larger aggregate type,
4323 but not between original and packable versions of a type.
4325 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4327 * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an
4328 operand with VOID_TYPE.
4330 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4332 * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the
4333 entities of a package renaming another one.
4335 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
4337 * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on
4338 individual flag_unswitch_loops and flag_tree_loop_vectorize switches
4339 with test on global optimize switch.
4340 (Raise_Error_to_gnu): Likewise.
4342 2019-02-07 Eric Botcazou <ebotcazou@adacore.com>
4344 * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.
4346 2019-02-06 Arnaud Charlet <charlet@adacore.com>
4348 * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads
4350 2019-01-27 Eric Botcazou <ebotcazou@adacore.com>
4352 * repinfo.adb (List_Component_Layout): Remove superfluous space for
4354 * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro.
4355 * gcc-interface/gigi.h (create_extra_subtype): Declare.
4356 * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise.
4357 (update_n_elem): New function.
4358 (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes
4359 instead of doing it manually.
4360 <E_Array_Type>: Use update_n_elem to compute the maximum size. Use the
4361 index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE
4362 of the array to the maximum size.
4363 <E_Array_Subtype>: Create an extra subtype using the index type of the
4364 base array type for self-referential bounds. Use update_n_elem to
4365 compute the maximum size. Set TYPE_ARRAY_MAX_SIZE of the array to the
4367 (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants.
4368 * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of
4369 the base type for an extra subtype.
4370 (gnat_type_max_size): Remove obsolete code.
4371 * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak.
4372 (can_be_lower_p): Deal with pathological types.
4373 * gcc-interface/utils.c (create_extra_subtype): New function.
4374 (create_field_decl): Minor tweak.
4375 (max_size) <tcc_reference>: Compute a better value by using the extra
4376 subtypes on the self-referential bounds.
4377 <tcc_binary>: Rewrite. Deal with "negative value" in unsigned types.
4378 <tcc_expression>: Likewise.
4379 * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds
4380 of the arrays upfront. Swap only if the second length is not constant.
4381 Use comparisons on the original bounds consistently for the null tests.
4382 (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro.
4383 (build_allocator): Minor tweak.
4385 2019-01-27 Eric Botcazou <ebotcazou@adacore.com>
4387 * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
4388 the same value for every dimension of a multidimensional array type.
4390 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4392 * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the
4393 iteration scheme, if present, throughout the translation.
4395 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4397 * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use
4398 DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned
4399 by a call to memset if the LHS is a DECL.
4401 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4403 * gcc-interface/trans.c (struct loop_info_d): Remove artificial field.
4404 (Loop_Statement_to_gnu): Do not set it.
4406 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4408 * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting.
4409 (Acc_gnat_to_gnu): Likewise.
4410 (Acc_Data_to_gnu): Likewise.
4411 (Acc_Var_to_gnu): Likewise.
4412 (Acc_Reduc_to_gnu): Likewise.
4413 (Acc_Size_List_to_gnu): Likewise.
4414 (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise.
4415 <Pragma_Acc_Data>): Likewise.
4416 (find_loop_for): Remove default value for parameters.
4417 * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into...
4418 <N_Op_Eq>): ...this.
4420 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
4422 * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on
4423 the sign bit instead of on the sign of the value.
4424 <PLUS_EXPR>: Turn addition of negative constant into subtraction.
4425 <MULT_EXPR>: Add test for degenerate case.
4426 <BIT_AND_EXPR>: Simplify.
4428 2019-01-18 Sebastian Huber <sebastian.huber@embedded-brains.de>
4430 * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS.
4432 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
4435 * exp_ch11.adb: Change "can not" to "cannot".
4436 * sem_ch4.adb: Likewise.
4438 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
4441 * exp_ch9.adb: Mechanically replace "can not" with "cannot".
4442 * libgnat/s-regpat.ads: Likewise.
4443 * par-ch4.adb: Likewise.
4444 * set_targ.adb: Likewise.
4445 * types.ads: Likewise.
4447 2019-01-08 Justin Squirek <squirek@adacore.com>
4450 2018-07-31 Justin Squirek <squirek@adacore.com>
4452 * lib-writ.adb (Write_With_Lines): Modfiy the generation
4453 of dependencies within ali files so that source unit
4454 bodies are properly listed even if said bodies are
4455 missing. Perform legacy behavior in GNATprove mode.
4456 * lib-writ.ads: Modify documentation to reflect current
4460 2018-09-26 Justin Squirek <squirek@adacore.com>
4462 * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add
4463 documentation and an extra conditional check for RCI
4464 units so that generated ali files will list the spec
4465 only instead of a body when a body is not found.
4467 2019-01-04 Eric Botcazou <ebotcazou@adacore.com>
4469 * gnatvsn.ads: Bump copyright year.
4471 2019-01-01 Jakub Jelinek <jakub@redhat.com>
4473 Update copyright years.
4475 * gnat_ugn.texi: Bump @copying's copyright year.
4476 * gnat_rm.texi: Likewise.
4478 Copyright (C) 2019 Free Software Foundation, Inc.
4480 Copying and distribution of this file, with or without modification,
4481 are permitted in any medium without royalty provided the copyright
4482 notice and this notice are preserved.