| blob | 86a5491ad34550ae11fd33f06f0d5a063c8fb265 |
1 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
3 * checks.adb (Convert_And_Check_Range): Add Suppress parameter
4 and pass it in the call to Insert_Actions. Rename local
5 variable.
6 (Generate_Range_Check): Minor comment fixes. Pass Range_Check
7 in the first call to Convert_And_Check_Range and All_Checks in
8 the second call.
9 * exp_ch4.adb (Expand_N_Type_Conversion): Reset the
10 Do_Overflow_Check flag in the float-to-float case too if there
11 is also a range check.
13 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
15 * checks.adb (Activate_Overflow_Check): Remove redundant
16 argument.
17 * exp_ch4.adb (Discrete_Range_Check): Reset the overflow flag.
18 (Expand_N_Type_Conversion): Do not reset it here.
20 2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
22 * repinfo.adb (List_Component_Layout): Pass Decimal to UI_Write.
23 (Write_Val): Likewise.
25 2019-07-23 Ed Schonberg <schonberg@adacore.com>
27 * aspects.ads: New table Operational_Aspect, used to distinguish
28 between aspects that are view-specific, such as those related to
29 iterators, and representation aspects that apply to all views of
30 a type.
31 * aspects.adb (Find_Aspect): If the aspect being sought is
32 operational, do not ecamine the full view of a private type to
33 retrieve it.
34 * sem_ch5.adb (Analyze_Iterator_Specification): Improve error
35 message when the intended domain of iteration does not implement
36 the required iterator aspects.
38 2019-07-23 Yannick Moy <moy@adacore.com>
40 * sem_spark.ads (Is_Local_Context): New function.
41 * sem_spark.adb (Check_Declaration): Issue errors on violations
42 of SPARK RM 3.10(4)
43 (Process_Path): Do not issue error on borrow/observe during
44 elaboration, as these are caught by the new rule.
46 2019-07-23 Yannick Moy <moy@adacore.com>
48 * exp_ch7.adb (Create_Finalizer): Force finalizer not to be
49 Ghost enabled.
50 * exp_dbug.adb (Get_External_Name): Explain special case of
51 Ghost finalizer.
53 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
55 * repinfo.adb (List_Entities): Also list compiled-generated
56 types present as Etype of objects.
58 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
60 * sinfo.ads: Update the documentation about the
61 Do_Division_Check, Do_Overflow_Check and Do_Range_Check flags.
63 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
65 * exp_ch4.adb (Expand_N_Type_Conversion): Beef up comment.
66 (Fixup_Universal_Fixed_Operation): Set the base type instead of
67 the type of the enclosing type conversion on the operation.
69 2019-07-22 Ed Schonberg <schonberg@adacore.com>
71 * exp_ch4.adb (Expand_N_In): Do not suggest the use of attribute
72 'Valid as a replacement for a range check on a discrete type
73 when the bounds of the range are given by type conversions,
74 because in such a case there are distinct types involved and the
75 subbested attribute replacement would be misplaced.
77 2019-07-22 Yannick Moy <moy@adacore.com>
79 * sem_spark.adb (Get_Root_Object, Is_Path_Expression,
80 Is_Subpath_Expression): Add parameter Is_Traversal to adapt
81 these functions to the case of paths returned from a traversal
82 function.
83 (Read_Indexes): Handle the case of an if-expression or
84 case-expression.
85 (Check_Statement): Check Emit_Messages only when issuing an
86 error message. This is important as Emit_Messages may store the
87 information that an error was detected.
89 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
91 * checks.adb (Apply_Type_Conversion_Checks): Do not set
92 Do_Range_Check flag on conversions from fixed-point types
93 either.
94 * exp_attr.adb: Add use and with clause for Expander.
95 (Expand_N_Attribute_Reference) <Fixed_Value, Integer_Value>: Set
96 the Conversion_OK flag and do not generate overflow/range checks
97 manually.
98 * exp_ch4.adb (Expand_N_Qualified_Expression): Remove
99 superfluous clearing of Do_Range_Check flag.
100 (Discrete_Range_Check): New procedure to generate a range check
101 for discrete types.
102 (Real_Range_Check): Remove redundant local variable and adjust.
103 Remove useless shortcut. Clear Do_Range_Check flag on all
104 paths.
105 (Expand_N_Type_Conversion): Remove redundant test on
106 Conversion_OK. Call Discrete_Range_Check to generate range
107 checks on discrete types. Remove obsolete code for
108 float-to-integer conversions. Add code to generate range checks
109 for conversions involving fixed-point types.
111 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
113 * sprint.ads: Fix pasto in comment.
115 2019-07-22 Javier Miranda <miranda@adacore.com>
117 * sem_res.adb (Resolve_Actuals): Replace code that displaces the
118 pointer to an allocated object to reference its secondary
119 dispatch table by a type conversion (which takes care of
120 handling all cases).
122 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
124 * sprint.adb (Sprint_Node_Actual)
125 <N_Decimal_Fixed_Point_Definition>: Swap a couple of spaces.
126 (Write_Itype): Minor consistency fixes throughout. Add support
127 for printing ordinary and decimal fixed-point types and
128 subtypes.
130 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
132 * exp_attr.adb (Expand_Loop_Entry_Attribute): Beef up comment.
134 2019-07-22 Ed Schonberg <schonberg@adacore.com>
136 * libgnat/s-valboo.ads, libgnat/s-valcha.ads,
137 libgnat/s-valdec.ads, libgnat/s-valenu.ads,
138 libgnat/s-valint.ads, libgnat/s-vallld.ads,
139 libgnat/s-vallli.ads, libgnat/s-valllu.ads,
140 libgnat/s-valrea.ads, libgnat/s-valuns.ads,
141 libgnat/s-valwch.ads: Change categorization of packages that
142 implement attribute 'Value from Pure to Preelaborate, to prevent
143 undesirable optimizations when the evaluation of the attribute
144 raises Constraint_Error, but subsequent use of the result of
145 this evsaluation is removed by a subsequent optimization.
147 2019-07-22 Ed Schonberg <schonberg@adacore.com>
149 * sem_warn.adb (Check_References): Do not emit s warning on a
150 referenced entity with no explicit assignment if the type of the
151 entity has Preelaborable_Initialixation, such as
152 Exception_Occurrence.
154 2019-07-22 Javier Miranda <miranda@adacore.com>
156 * exp_ch4.adb (Size_In_Storage_Elements): Improve the expansion
157 to handle array indexes that are modular type.
158 (Expand_N_Allocator): For 32-bit targets improve the generation
159 of the runtime check associated with large arrays supporting
160 arrays initialized with a qualified expression.
161 * libgnat/s-imenne.adb (Image_Enumeration_8,
162 Image_Enumeration_16, Image_Enumeration_32): Define the index of
163 Index_Table with range Natural'First .. Names'Length since in
164 the worst case all the literals of the enumeration type would be
165 single letter literals and the Table built by the frontend would
166 have as many components as the length of the names string. As a
167 result of this enhancement, the internal tables declared using
168 Index_Table have a length closer to the real needs, thus
169 avoiding the declaration of large arrays on 32-bit CCG targets.
171 2019-07-22 Yannick Moy <moy@adacore.com>
173 * sem_ch3.adb (Constrain_Access): Issue a message about ignored
174 constraint.
176 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
178 * sem_ch8.adb (End_Use_Type): Reset the In_Use flag on the
179 class-wide type if the type is tagged.
180 (Use_One_Type): Add commentary on the handling of the class-wide
181 type.
183 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
185 * einfo.ads (Is_For_Access_Subtype): Delete.
186 (Set_Is_For_Access_Subtype): Likewise.
187 * einfo.adb (Is_For_Access_Subtype): Likewise.
188 (Set_Is_For_Access_Subtype): Likewise.
189 (Write_Entity_Flags): Do not write Is_For_Access_Subtype.
190 * exp_ch4.adb (Expand_N_Selected_Component): Do not deal with
191 it.
192 * exp_spark.adb (Expand_SPARK_N_Selected_Component): Likewise.
193 * sem_ch4.adb (Analyze_Explicit_Dereference): Likewise.
194 * sem_ch3.adb (Build_Discriminated_Subtype): Do not build a
195 special private subtype for access-to-record subtypes.
197 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
199 * sem_ch3.adb (Complete_Private_Subtype): Rework the setting of
200 the Etype of the full view for full base types that cannot
201 contain any discriminant. Remove code and comment about it in
202 the main path.
204 2019-07-22 Ed Schonberg <schonberg@adacore.com>
206 * sem_ch3.adb (Convert_Bound): Subsidiary of
207 Floating_Point_Type_Declaration, to handle properly range
208 specifications with bounds that may include static constants of
209 a given type rather than real literals.
211 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
213 * sem_aggr.adb (Rewrite_Bound): Be prepared for discriminals
214 too.
215 (Rewrite_Range;): Minor tweak.
216 (Resolve_Record_Aggregate): For a component with default
217 initialization whose expression is an array aggregate, also
218 rewrite the bounds of the component associations, if any.
220 2019-07-22 Gary Dismukes <dismukes@adacore.com>
222 * exp_ch5.adb (Expand_N_Case_Statement): In the case where a
223 case statement is rewritten as an equivalent if statement,
224 inherit the From_Condition_Expression flag from the case
225 statement.
227 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
229 * sem_ch8.adb (Check_Constrained_Object): Further extend the
230 special optimization to all limited types.
232 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
234 * exp_attr.adb (Expand_N_Attribute_Reference)
235 <Attribute_Enum_Val>: Set No_Truncation on the
236 N_Unchecked_Type_Conversion built around the argument passed to
237 the attribute.
239 2019-07-22 Nicolas Roche <roche@adacore.com>
241 * libgnat/s-valrea.adb (Scan_Real): Ignore non significative
242 digits to avoid converging to infinity in some cases.
244 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
246 * libgnat/g-encstr.adb (Encode_Wide_String): Fix oversight.
247 (Encode_Wide_Wide_String): Likewise.
249 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
251 * sem_warn.adb (Find_Var): Bail out for a function call with an
252 Out or In/Out parameter.
254 2019-07-22 Nicolas Roche <roche@adacore.com>
256 * terminals.c (__gnat_tty_waitpid): Support both blocking and
257 not blocking mode.
258 * libgnat/g-exptty.ads (Is_Process_Running): New function.
259 * libgnat/g-exptty.adb (Close): Don't try to interrupt/terminate
260 a process if it is already dead.
262 2019-07-22 Ed Schonberg <schonberg@adacore.com>
264 * freeze.adb (Freeze_Fixed_Point_Type): When freezing a
265 fixed-point subtype, check whether the parent type declarastion
266 includes an aspect specification for the 'Small type attribute,
267 and inherit the specified value.
269 2019-07-22 Javier Miranda <miranda@adacore.com>
271 * freeze.adb (Freeze_Subprogram): Check that C++ constructors
272 must have external or link name.
274 2019-07-22 Ed Schonberg <schonberg@adacore.com>
276 * sem_res.adb (Resolve_Selected_Component): If the prefix has a
277 deferred reference, generate the correct reference now, to
278 indicate that the previous assignment is used. This prevents
279 spurious warnings on useless assignments when compiling with all
280 warnings enabled. when there is a subsequent call in the same
281 stqtement list, in which the prefix of the selected component is
282 the actual for an out parameter.
284 2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
286 * exp_attr.adb (Expand_Loop_Entry_Attribute): Copy the condition
287 of a while loop instead of simply relocating it.
289 2019-07-18 Arnaud Charlet <charlet@adacore.com>
291 * Makefile.rtl, expect.c, env.c, aux-io.c, mkdir.c, initialize.c,
292 cstreams.c, raise.c, tracebak.c, adadecode.c, init.c, raise-gcc.c,
293 argv.c, adaint.c, adaint.h, ctrl_c.c, sysdep.c, rtinit.c, cio.c,
294 seh_init.c, exit.c, targext.c: Introduce a "STANDALONE" mode where C
295 runtime files do not have any dependency on GCC include files.
296 Remove unnecessary includes.
297 Remove remaining references to VMS in runtime C file.
298 * runtime.h: new File.
300 2019-07-13 Andreas Schwab <schwab@linux-m68k.org>
302 * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
304 2019-07-11 Piotr Trojanek <trojanek@adacore.com>
306 * lib-writ.adb (Ensure_System_Dependency,
307 Up_To_Date_ALI_File_Exists, Write_ALI): Replace low-level access
308 to table with a high-level query.
310 2019-07-11 Piotr Trojanek <trojanek@adacore.com>
312 * checks.adb: Fix typo in comment.
313 * sem.adb (Semantics): Avoid repeated calls to
314 In_Extended_Main_Source_Unit by reusing an already-cached
315 result.
316 * sem_util.adb (First_Global): Fix style.
318 2019-07-11 Yannick Moy <moy@adacore.com>
320 * sem_res.adb (Resolve_Call): Do not perform dimensionality
321 checking on inlined bodies.
323 2019-07-11 Yannick Moy <moy@adacore.com>
325 * debug.adb: Flip meaning of debug switch -gnatdF.
327 2019-07-11 Yannick Moy <moy@adacore.com>
329 * sem_eval.adb (Is_Same_Value): Add special case for rewritten
330 Loop_Entry attribute.
332 2019-07-11 Claire Dross <dross@adacore.com>
334 * gnat1drv.adb: SPARK checking rules for pointer aliasing are
335 moved to GNATprove backend.
336 * sem_spark.ads, sem_spark.adb (Sem_SPARK): Is now a generic
337 unit. Takes as parameters:
338 - Retysp which is used to query the most underlying type
339 visible in SPARK. We do not introduce aliasing checks for
340 types which are not visibly deep.
341 - Component_Is_Visible_In_SPARK is used to avoid doing pointer
342 aliasing checks on components which are not visible in SPARK.
343 - Emit_Messages returns True in the second phase of SPARK
344 analysis. Error messages for failed aliasing checks are only
345 output in this case.
346 Additionally, errors on constructs not supported in SPARK are
347 removed as duplicates of marking errors. Components are stored
348 in the permission map using their original component to avoid
349 inconsistencies between components of different views of the
350 same type.
351 (Check_Expression): Handle delta constraints.
352 (Is_Deep): Exported so that we can check for SPARK restrictions
353 on deep types inside SPARK semantic checkings.
354 (Is_Traversal_Function): Exported so that we can check for SPARK
355 restrictions on traversal functions inside SPARK semantic
356 checkings.
357 (Check_Call_Statement, Read_Indexes): Check wether we are
358 dealing with a subprogram pointer type before querying called
359 entity.
360 (Is_Subpath_Expression): Image attribute can appear inside a
361 path.
362 (Check_Loop_Statement): Correct order of statements in the loop.
363 (Check_Node): Ignore raise nodes.
364 (Check_Statement): Use Last_Non_Pragma to get the object
365 declaration in an extended return statement.
367 2019-07-11 Patrick Bernardi <bernardi@adacore.com>
369 * bindgen.adb (Gen_Main): Do not generate a reference to
370 Ada_Main_Program_Name when the Minimal_Binder flag is set.
371 (Gen_Output_File_Ada): Do not output GNAT_Version and
372 Ada_Main_Program_Name info if Minimal_Binder flag is set.
373 * bindusg.adb: Add documentation for new -minimal switch.
374 * gnatbind.adb (Scan_Bind_Arg): Scan -minimal switch.
375 * opt.ads: Add new global flag Minimal_Binder to indicate if the
376 binder should not produce global variables.
377 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
378 Update documentation with new binder -minimal switch.
379 * gnat_ugn.texi: Regenerate.
381 2019-07-11 Eric Botcazou <ebotcazou@adacore.com>
383 * Makefile.rtl: Add warning note about compilation flags and
384 capitalize.
386 2019-07-11 Ed Schonberg <schonberg@adacore.com>
388 * exp_ch9.adb (Expand_N_Protected_Type_Declaaration): New
389 subsidiary routine Replace_Access_Definition, to handle properly
390 a protected type PT one of whose private components is of type
391 access PT.
393 2019-07-11 Dmitriy Anisimkov <anisimko@adacore.com>
395 * libgnat/g-socket.ads (Level_Type): Add enumerators for
396 IP_Protocol_For_ICMP, IP_Protocol_For_IGMP,
397 IP_Protocol_For_RAW_Level.
398 * libgnat/g-socket.adb (Levels): Handle them.
399 * s-oscons-tmplt.c: Import socket protocols defined in
400 netinet/in.h.
402 2019-07-11 Claire Dross <dross@adacore.com>
404 * libgnat/a-cfhama.adb, libgnat/a-cfhase.adb (Free): Do not
405 reset the Has_Element flag if no element is freed.
407 2019-07-11 Arnaud Charlet <charlet@adacore.com>
409 * errno.c: Remove obsolete support for MaRTE OS.
411 2019-07-11 Ed Schonberg <schonberg@adacore.com>
413 * exp_ch4.adb (Expand_N_Type_Conversion): If a predicate check
414 is generated, analyze it with range check suppressed, because
415 that check has been previously applied.
416 * exp_ch5.adb (Expand_N_Assignment_Statement): If the RHS is a
417 type conversion to the type of the LHS, do not apply a predicate
418 check to the RHS because it will have been generated already
419 during its expansion.
420 * exp_ch6.adb (Can_Fold_Predicate_Call): Extend processing to
421 handle a predicate check on a constant entity whose value is
422 static.
424 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
426 * bindo.adb: Remove the documentation of switch -d_N because it
427 is no longer in use.
428 * bindo-graphs.ads, bindo-graphs.adb (Is_Spec_Before_Body_Edge):
429 New routine.
430 * bindo-writers.adb (Write_Dependency_Edge): Add the missing
431 case of a spec-before-body edge.
433 2019-07-11 Dmitriy Anisimkov <anisimko@adacore.com>
435 * libgnat/g-socket.ads (Mode_Type): Add a Socket_Raw enumerator.
436 * libgnat/g-socket.adb (Modes): Handle Socket_Raw.
438 2019-07-11 Justin Squirek <squirek@adacore.com>
440 * exp_ch9.adb (Build_Private_Protected_Declaration): Add
441 exception for the moving of pragmas to internally generated
442 specs for pragma Unreferenced.
444 2019-07-11 Bob Duff <duff@adacore.com>
446 * doc/gnat_ugn/gnat_utility_programs.rst: Fix inconsistent
447 documentation for gnatmetric.
448 * gnat_ugn.texi: Regenerate.
450 2019-07-11 Bob Duff <duff@adacore.com>
452 * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
453 --spaces-only switch.
455 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
457 * sem_util.adb (Null_Status): Assume that an erroneous construct
458 has an undefined null status.
460 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
462 * checks.adb, exp_ch6.adb, gnat1drv.adb, sem_aux.adb,
463 sem_ch2.adb, sem_ch8.adb, sem_res.adb: Minor reformatting.
465 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
467 * sem_ch8.adb (Analyze_Object_Renaming): Obtain the object being
468 renamed using routine Get_Object_Name which takes care of
469 various name forms.
470 (Get_Object_Name): New routine.
472 2019-07-11 Ed Schonberg <schonberg@adacore.com>
474 * exp_ch6.adb (Can_Fold_Predicate_Call): New function,
475 subsidiary of Expand_Call_Helper, to compute statically a
476 predicate check when the argument is a static integer.
478 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
480 * sem_res.adb (Resolve_Op_Not): Do not rewrite an equality
481 operator into a function call when the operator is intrinsic.
483 2019-07-11 Thomas Quinot <quinot@adacore.com>
485 * sem_prag.adb (Analyze_Pragma, case pragma Check): Do not call
486 Set_SCO_Pragma_Enabled for the dynamic predicate case.
488 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
490 * exp_util.ads, exp_util.adb (Needs_Finalization): Move to
491 Sem_Util.
492 * sem_ch9.adb (Analyze_Protected_Definition): Code cleanup. Mark
493 the protected type as having controlled components when it
494 contains at least one such component.
495 * sem_util.ads, sem_util.adb (Needs_Finalization): New
496 function.
498 2019-07-11 Eric Botcazou <ebotcazou@adacore.com>
500 * alloc.ads (Rep_JSON_Table_Initial): New constant.
501 (Rep_JSON_Table_Increment): Likewise.
502 * debug.adb: Document -gnatd_j switch.
503 * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add
504 repinfo-input.o.
505 * gnat1drv.adb: Add with clause for Repinfo.Input.
506 Add with and use clauses for Sinput.
507 (Read_JSON_Files_For_Repinfo): New procedure.
508 (Gnat1drv1): Deal with -gnatd_j switch.
509 * repinfo-input.ad[sb]: New unit.
510 * snames.ads-tmpl (Name_Discriminant): New constant.
511 (Name_Operands): Likewise.
513 2019-07-11 Justin Squirek <squirek@adacore.com>
515 * checks.adb (Apply_Accessibility_Check): Add check for constant
516 folded conditions on accessibility checks.
518 2019-07-11 Arnaud Charlet <charlet@adacore.com>
520 * libgnarl/g-thread.ads, libgnarl/g-thread.adb (Get_Thread):
521 Update comments. Add new version taking a Task_Id.
523 2019-07-11 Hristian Kirtchev <kirtchev@adacore.com>
525 * bindo.adb: Update the section of switches and debugging
526 elaboration issues.
527 * bindo.ads: Add type Elaboration_Phase.
528 * bindo-augmentors.adb: Add use clause for
529 Bindo.Writers.Phase_Writers.
530 (Augment_Library_Graph): Signal the start and end of the
531 aubmentation phase.
532 * bindo-builders.adb: Add with and use clause for Bindo.Writers.
533 Add use clause for Bindo.Writers.Phase_Writers.
534 (Build_Invocation_Graph): Signal the start and end of the
535 invocation graph construction phase.
536 (Build_Library_Graph): Signal the start and end of the library
537 graph construction phase.
538 * bindo-diagnostics.adb: Add use clause for
539 Bindo.Writers.Phase_Writers.
540 (Diagnose_Cycle): Signal the start and end of the cycle
541 diagnostic phase.
542 * bindo-elaborators.adb: Add use clause for
543 Bindo.Writers.Phase_Writers.
544 (Elaborate_Units): Signal the start and end of the unit
545 elaboration phase.
546 * bindo-graphs.adb: Add use clause for
547 Bindo.Writers.Phase_Writers.
548 (Find_Components): Signal the start and end of the component
549 discovery phase.
550 (Find_Cycles): Signal the start and end of the cycle discovery
551 phase.
552 * bindo-units.adb: Add with and use clause for Bindo.Writers.
553 Add use clause for Bindo.Writers.Phase_Writers.
554 (Collect_Elaborable_Units): Signal the start and end of the unit
555 collection phase.
556 * bindo-validators.adb: Add with and use clause for
557 Bindo.Writers. Add use clause for Bindo.Writers.Phase_Writers.
558 (Validate_Cycles, Validate_Elaboration_Order,
559 Validate_Invocation_Graph, Validate_Library_Graph): Signal the
560 start and end of the libray graph validation phase.
561 * bindo-writers.ads, bindo-writers.adb: Add new nested package
562 Phase_Writers.
563 * debug.adb: Update the documentation of switch d_S.
565 2019-07-11 Yannick Moy <moy@adacore.com>
567 * sem_res.adb (Check_Argument_Order): Special case calls to
568 operators.
570 2019-07-10 Dmitriy Anisimkov <anisimko@adacore.com>
572 * libgnat/s-ststop.adb: Remove System.Strings.Stream_Ops
573 dependence on System.Streams.Stream_IO.
575 2019-07-10 Ed Schonberg <schonberg@adacore.com>
577 * sem_ch2.adb (Analyze_Integer_Literal): Preserve the type of
578 the literal if prior analysis determined that its type is a
579 modular integer type.
581 2019-07-10 Doug Rupp <rupp@adacore.com>
583 * init.c: Do not attempt to re-arm guard page on x86_64-vx7(r2).
585 2019-07-10 Ed Schonberg <schonberg@adacore.com>
587 * sem_ch8.adb (Check_Constrained_Object): A record that is
588 limited because of the presence of a limited component is
589 constrained, and no subtype indiciation needs to be created for
590 it, just as is the case for declared limited records.
592 2019-07-10 Yannick Moy <moy@adacore.com>
594 * sem_aux.adb, sem_aux.ads (Is_Protected_Operation): New
595 function to determine if a subprogram is protected.
596 * sem_spark.adb (Setup_Protected_Components): New procedure to
597 add protected components to the environment.
598 (Check_Callable_Body): Call the new Setup_Protected_Components.
599 (Check_Package_Spec): Merge local environment with enclosing one
600 when done.
602 2019-07-10 Claire Dross <dross@adacore.com>
604 * sem_spark.adb (Check_Expression): Allow digits constraints as
605 input.
606 (Illegal_Global_Usage): Pass in the entity.
607 (Is_Subpath_Expression): New function to allow different nodes
608 as inner parts of a path expression.
609 (Read_Indexes): Allow concatenation and aggregates with box
610 expressions. Allow attributes Update and Loop_Entry.
611 (Check_Expression): Allow richer membership test.
612 (Check_Node): Ignore bodies of generics.
613 (Get_Root_Object): Allow concatenation and attributes.
615 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
617 * sem_ch6.adb (Check_Discriminant_Conformance): Use Find_Type to
618 discover the type of a full view discriminant.
620 2019-07-10 Arnaud Charlet <charlet@adacore.com>
622 * doc/gnat_ugn/gnat_and_program_execution.rst: Improve gnatmem's
623 doc for the depth switch.
625 2019-07-10 Bob Duff <duff@adacore.com>
627 * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
628 --source-line-breaks switch.
630 2019-07-10 Justin Squirek <squirek@adacore.com>
632 * doc/gnat_rm/implementation_defined_attributes.rst: Add mention
633 of 'Image attribute with 'Img's entry to mention additional
634 added 2012 usage of Obj'Image.
635 * doc/gnat_rm/implementation_defined_pragmas.rst: Correct
636 mispelling of Async_Writers.
637 * gnat_rm.texi: Regenerate.
638 * sem_prag.adb (Analyze_Pragma): Correct mispelling of
639 Async_Writers.
640 * sem_util.adb (State_Has_Enabled_Property): Correct mispelling
641 of Async_Writers.
643 2019-07-10 Simon Buist <buist@adacore.com>
645 * sem_util.ads (Child_Prefix): New constant.
646 * sem_util.adb (Unique_Name): Add a special prefix to child
647 units that have a nested subprogram or package.
649 2019-07-10 Arnaud Charlet <charlet@adacore.com>
651 * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert.
653 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
655 * sem_ch3.adb (Check_Nonoverridable_Aspects): Correct the
656 spelling in certain error messages.
657 (Check_Pragma_Implemented): Correct the spelling in certain
658 error messages.
660 2019-07-10 Eric Botcazou <ebotcazou@adacore.com>
662 * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add g-brapre.
663 * libgnat/g-brapre.ads: New package specification.
664 * doc/gnat_rm/the_gnat_library.rst: Document it.
665 * gnat_rm.texi: Regenerate.
667 2019-07-10 Yannick Moy <moy@adacore.com>
669 * osint-c.adb (Set_File_Name): Always add extension for multiple
670 units per file mode.
672 2019-07-10 Corentin Gay <gay@adacore.com>
674 * sysdep.c: Put include directive for 'vxWorks.h' before any
675 other VxWorks headers.
677 2019-07-10 Eric Botcazou <ebotcazou@adacore.com>
679 * doc/gnat_rm/implementation_defined_attributes.rst
680 (Scalar_Storage_Order): Minor tweaks. Add note about debuggers.
681 * gnat_rm.texi: Regenerate.
683 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
685 * exp_ch4.adb (Expand_N_Case_Expression): Mark the generated
686 assignments to the temporary result as being OK because the
687 expansion of case expressions is correct by construction.
688 (Is_Copy_Type): Update the predicate to match the comment
689 within.
691 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
693 * bindo-graphs.adb, bindo.adb, debug.adb, exp_ch6.adb,
694 sem_ch10.adb, sem_ch13.adb, sem_ch3.adb, sem_ch4.adb,
695 sem_ch6.adb, sem_ch7.adb, sem_res.adb, sem_spark.adb,
696 sem_util.adb, warnsw.ads: Minor reformatting.
698 2019-07-10 Joffrey Huguet <huguet@adacore.com>
700 * libgnat/a-strbou.ads, libgnat/a-strfix.ads,
701 libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add global
702 contracts, contract cases, preconditions and postconditions to
703 procedures and functions.
705 2019-07-10 Doug Rupp <rupp@adacore.com>
707 * sysdep.c (__gnat_is_file_not_found_error): Reformulate to also
708 work for vxworks7r2 SR0610.
710 2019-07-10 Doug Rupp <rupp@adacore.com>
712 * env.c (__gnat_environ): Reformulate to also work for
713 vxworks7r2 SR0610.
715 2019-07-10 Patrick Bernardi <bernardi@adacore.com>
717 * Makefile.rtl: Handle vxworks7r2 ppc target
719 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
721 * bindo.adb: Update the section on switches.
722 * bindo-graphs.adb
723 (Add_Cycle, Add_Vertex_And_Complement): Remove.
724 (Create): The graph no longer needs a set of recorded cycles
725 because the cycles are not rediscovered in permuted forms.
726 (Cycle_End_Vertices): New routine.
727 (Destroy): The graph no longer needs a set of recorded cycles
728 because the cycles are not rediscovered in permuted forms.
729 (Destroy_Library_Graph_Vertex): Move to the library level.
730 (Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge):
731 Remove.
732 (Find_Cycles_From_Successor, Find_Cycles_From_Vertex,
733 Find_Cycles_In_Component, Has_Elaborate_All_Edge): New routines.
734 (Insert_And_Sort): Remove.
735 (Is_Elaborate_Body_Edge): Use predicate
736 Is_Vertex_With_Elaborate_Body.
737 (Is_Recorded_Cycle): Remove.
738 (Is_Vertex_With_Elaborate_Body): New routine.
739 (Normalize_And_Add_Cycle): Remove.
740 (Precedence): Rename to xxx_Precedence, where xxx relates to the
741 input. These versions better reflect the desired input
742 precedence.
743 (Record_Cycle): New routine.
744 (Remove_Vertex_And_Complement, Set_Is_Recorded_Cycle): Remove.
745 (Trace_xxx): Update all versions to use debug switch -d_t.
746 (Trace_Component): New routine.
747 (Trace_Eol): Removed.
748 (Trace_Vertex): Do not output the component as this information
749 is already available when the component is traced.
750 (Unvisit, Visit): New routine.
751 * bindo-graphs.ads: Add new instance LGV_Lists. Remove instance
752 RC_Sets. Update the structure of type Library_Graph_Attributes
753 to remove the set of recorded cycles.
754 (Destroy_Library_Graph_Vertex): Move to the library level.
755 * bindo-writers.adb (Write_Component_Vertices): Output
756 information about the number of vertices.
757 * debug.adb: Document the use of binder switch -d_t. Update the
758 use of binder switch -d_T.
760 2019-07-10 Yannick Moy <moy@adacore.com>
762 * sem_spark.adb (Get_Root_Object): Replace precondition by error
763 message.
764 (Read_Indexes): Replace precondition by error message.
765 (Check_Callable_Body): Check only traversal function returns an
766 anonymous access type.
767 (Check_Expression): Issue error on unexpected expression as
768 path.
769 * sem_util.adb (First_Global): Fix access to global on
770 entry/task.
772 2019-07-10 Javier Miranda <miranda@adacore.com>
774 * exp_ch6.adb (Is_Class_Wide_Interface_Type): New subprogram.
775 (Expand_Call_Helper): Handle non-limited views when we check if
776 any formal is a class-wide interface type.
777 * exp_disp.adb (Expand_Interface_Actuals): Handle non-limited
778 views when we look for interface type formals to force "this"
779 displacement.
781 2019-07-10 Ed Schonberg <schonberg@adacore.com>
783 * sem_res.adb (Resolve_Equality_Op): Do not replace the resolved
784 operator by its alias if expander is not active, because the
785 operand type may not be frozen yet and its inherited operations
786 have not yet been created.
788 2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
790 * bindo-elaborators.adb (Elaborate_Units): Set attribute
791 Elab_Position of all elaborated units.
792 (Set_Unit_Elaboration_Positions): New routine.
794 2019-07-10 Gary Dismukes <dismukes@adacore.com>
796 * exp_util.adb: Reformatting and a typo fix.
798 2019-07-10 Yannick Moy <moy@adacore.com>
800 * exp_util.adb (Remove_Side_Effects): Prefer renamings for
801 objects of possible owning type in GNATprove mode.
803 2019-07-09 Ed Schonberg <schonberg@adacore.com>
805 * sem_ch3.adb (Analyze_Object_Declaration): If the object type
806 is a composite type that has a dynamic predicate and, the
807 expression in the declaration is an aggregate, the generated
808 predicate check must appear after the expanded code for the
809 aggregate, which will appear after the rewritten object
810 declarastion.
812 2019-07-09 Justin Squirek <squirek@adacore.com>
814 * sem_eval.adb (Expr_Value_E): Add conditional to correctly
815 handle constant enumerated character types.
817 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
819 * libgnarl/s-osinte__mingw.ads (CRITICAL_SECTION): Use proper
820 type for SpinCount component.
822 2019-07-09 Justin Squirek <squirek@adacore.com>
824 * exp_ch4.adb (Expand_N_Allocator): Add conditional to detect
825 the presence of anoymous access type allocators and issue a
826 warning if the appropriate warning flag is enabled.
827 * warnsw.ads: Add new warning flag for anonymous allocators
828 * warnsw.adb (All_Warnings, Restore_Warnings, Save_Warnings,
829 Set_Underscore_Warning_Switch): Register new flags.
830 (WA_Warnings): Register new flag as an "all warnings" switch
831 * usage.adb,
832 doc/gnat_ugn/building_executable_programs_with_gnat.rst:
833 Document new warning switches -gnatw_a and -gnatw_A.
834 * gnat_ugn.texi: Regenerate.
836 2019-07-09 Ed Schonberg <schonberg@adacore.com>
838 * sem_ch4.adb (Diagnose_Call): Improve error recovery when a
839 local subprogram name hides a possible candidate name declared
840 in a child package in the context of the current unit.
841 * sem_ch6.adb (Process_Formals): Protect against malformed
842 formal types when the parameter type does not denote an entity.
844 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
846 * bindo-augmentors.adb (Visit_Elaboration_Root): Do not start a
847 DFS from an elaboration root whose corresponding unit lacks
848 elaboration code. This behavior mimics that of the old
849 elaboration order mechanism.
850 * bindo-graphs.adb (Find_All_Cycles_Through_Vertex): Move the
851 vertex tracing within the functional branches of the routine.
852 This prevents spurious trace output.
853 (Has_No_Elaboration_Code): New routine.
854 (Trace_Cycle, Trace_Edge): Update the various Ids to use the
855 "standard" trace format.
856 * bindo-graphs.ads (Has_No_Elaboration_Code): New routine.
857 * bindo-units.ads, bindo-units.adb (Has_No_Elaboration_Code):
858 New routine.
860 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
862 * ali.ads, bindo-graphs.adb, bindo-validators.adb, clean.adb,
863 doc/gnat_ugn/elaboration_order_handling_in_gnat.rst, einfo.ads,
864 exp_aggr.adb, exp_ch13.adb, exp_ch4.adb, exp_ch5.adb,
865 exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_pakd.adb,
866 fname-uf.ads, gnatlink.adb, inline.adb, lib.ads, make.adb,
867 namet.ads, opt.ads, par-ch4.adb, par-ch6.adb, par-labl.adb,
868 prep.adb, sem_aggr.adb, sem_ch13.adb, sem_ch4.adb, sem_ch5.adb,
869 sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch8.adb, sem_dim.adb,
870 sem_disp.adb, sem_prag.adb, sem_res.adb, sem_warn.adb,
871 sinfo.ads: Replace ". " with ". ". Minor reformatting and typo
872 corrections.
873 * gnat_ugn.texi: Generate.
875 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
877 * bindo.ads: Move type Precedence_Kind from the private to the
878 visible part of the unit.
879 * bindo-augmentors.adb: Remove the use of global data as it is
880 bad practice.
881 (Augment_Library_Graph): Update the parameter profile.
882 (Is_Visited, Set_Is_Visited): Remove.
883 (Visit_Elaboration_Root, Visit_Elaboration_Roots): Update the
884 parameter profile and comment on usage.
885 (Visit_Vertex): Likewise. Also keep track of which invocation
886 edge activates a task.
887 * bindo-augmentors.ads (Augment_Library_Graph): Update the
888 parameter profile and comment on usage.
889 * bindo-builders.adb (Create_Forced_Edge,
890 Create_Spec_And_Body_Edge, Create_With_Edge): Update the call to
891 Add_Edge.
892 * bindo-diagnostics.adb: Add with end use clauses for Restrict
893 and Rident.
894 (Output_Dynamic_Model_Suggestions): Remove.
895 (Output_Invocation_Related_Suggestions): New routine.
896 (Output_Suggestions): Output all invocation-related suggestions
897 together.
898 * bindo-elaborators.adb: Remove types Comparator_Ptr and
899 Predicate_Ptr.
900 (Find_Best_Vertex): Update the parameter profile.
901 * bindo-graphs.adb (Activates_Task): New routine.
902 (Add_Body_Before_Spec_Edge): Update the call to
903 Add_Edge_With_Return.
904 (Add_Edge): Update the parameter profile and the call to
905 Add_Edge_With_Return.
906 (Add_Edge_With_Return): Update the parameter profile and comment
907 on usage.
908 (At_Least_One_Edge_Satisfies): New routine.
909 (Contains_Elaborate_All_Edge): Reimplement.
910 (Contains_Static_Successor_Edge, Contains_Task_Activation): New
911 routine.
912 (Contains_Weak_Static_Successor): Remove.
913 (Is_Static_Successor_Edge): New routine.
914 * bindo-graphs.ads: Add types LGE_Predicate_Ptr,
915 LGV_Comparator_Ptr, and LGV_Predicate_Ptr. Update type
916 Library_Graph_Edge_Attributes to capture whether an invocation
917 edge activates a task. Update the value of
918 No_Library_Graph_Edge_Attributes.
919 (Activates_Task): Update the parameter profile and comment on
920 usage.
921 (Contains_Static_Successor_Edge, Contains_Task_Activation): New
922 routines.
923 (Contains_Weak_Static_Successor): Remove.
924 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst:
925 Update the documentation to reflect the new task-related advice.
926 * gnat_ugn.texi: Regenerate.
928 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
930 * exp_util.adb (Containing_Package_With_Ext_Axioms): Replace
931 low-level Ekind test with a high-level wrapper.
933 2019-07-09 Arnaud Charlet <charlet@adacore.com>
935 * libgnat/s-memory.adb: Disable calls to Abort defer/undefer
936 when ZCX_By_Default.
938 2019-07-09 Javier Miranda <miranda@adacore.com>
940 * sem_ch13.adb (Rep_Item_Too_Early): Representation clauses are
941 not allowed for a derivation of a generic type. Extend the
942 current test to check that none of the parents is a generic
943 type.
945 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
947 * exp_ch9.adb, exp_util.adb, repinfo.adb, sem_ch12.adb,
948 sem_prag.adb, sem_res.adb, sem_spark.adb, sem_util.adb: Minor
949 reformatting.
951 2019-07-09 Ed Schonberg <schonberg@adacore.com>
953 * sem_res.adb (Resolve_Equality_Op): If the node was overloaded,
954 set properly the entity to which the node has been resolved. The
955 original entity is the first one found during analysis, and is
956 not necessarily the resolved one.
957 (Resolve_Op_Not): If the argument of negation is an overloaded
958 equality operation, call its resolution directly given that the
959 context type does not participate in overload resolution.
961 2019-07-09 Hristian Kirtchev <kirtchev@adacore.com>
963 * bindo.adb: Remove with and use clauses for Debug. Add with
964 and use clauses for Opt.
965 (Find_Elaboration_Order): Enable the v4.0 elaboration order. The
966 v3.0 mechanism is now available under binder switch -H.
967 * bindusg.adb (Display): Enable switch -H.
968 * debug.adb: Free compiler switch -gnatd_G. Free binder switch
969 -d_N.
970 * sem_elab.adb: Update the section on switches to remove
971 -gnatd_G.
972 (Invocation_Graph_Recording_OK): The invocation graph is now
973 unconditionally recorded in ALI files.
974 * switch-b.adb (Scan_Binder_Switches): Scan switch -H.
975 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
976 Update the documentation on compiler switches related to
977 elaboration. Update the documentation on binder switches to
978 include switch -H.
979 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
980 the documentation on elaboration order handling in GNAT.
981 * gnat_ugn.texi: Regenerate.
983 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
985 * repinfo.adb (List_Entities): Disregard formals altogether.
986 (List_Name): Properly escape the double quote in the JSON
987 output.
989 2019-07-09 Javier Miranda <miranda@adacore.com>
991 * exp_util.adb (Remove_Side_Effects): Preserve the
992 Do_Range_Check flag.
994 2019-07-09 Yannick Moy <moy@adacore.com>
996 * sinfo.ads: Refine comment for Do_Range_Check.
998 2019-07-09 Yannick Moy <moy@adacore.com>
1000 * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
1001 attribute reference on Enum_Rep.
1003 2019-07-09 Ed Schonberg <schonberg@adacore.com>
1005 * sem_ch12.adb (Instantiate_Formal_Package): Handle properly the
1006 case where the actual for a formal package in an instance is the
1007 current instance of an enclosing generic package.
1008 (Check_Formal_Packages): If the formal package declaration is
1009 box-initialized or lacks associations altogether, no internal
1010 instance was created to verify conformance, and there is no
1011 validating package to remove from tree.
1013 2019-07-09 Yannick Moy <moy@adacore.com>
1015 * freeze.adb (Build_Renamed_Body): Do not set body to inline in
1016 GNATprove mode.
1018 2019-07-09 Yannick Moy <moy@adacore.com>
1020 * exp_util.adb (Expand_Subtype_From_Expr): Still expand the type
1021 of static expressions in GNATprove_Mode.
1022 * sem_ch3.adb (Analyze_Object_Declaration): Remove obsolete
1023 special case for GNATprove_Mode.
1025 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
1027 * doc/gnat_rm/the_gnat_library.rst,
1028 doc/gnat_ugn/building_executable_programs_with_gnat.rst,
1029 erroutc.adb, libgnat/g-comlin.adb, libgnat/g-comlin.ads,
1030 libgnat/g-regexp.ads, libgnat/g-regpat.ads,
1031 libgnat/g-spipat.ads, libgnat/s-os_lib.ads,
1032 libgnat/s-regexp.ads: Reword "wild card" to "wildcard".
1033 * gnat_rm.texi, gnat_ugn.texi: Regenerate.
1035 2019-07-09 Yannick Moy <moy@adacore.com>
1037 * sem_spark.adb (Check_Expression): Handle correctly implicit
1038 assignments as part of allocators and (extension) aggregates.
1039 (Get_Root_Object): Adapt for new path expressions.
1040 (Is_Path_Expression): Return True for (extension) aggregate.
1042 2019-07-09 Piotr Trojanek <trojanek@adacore.com>
1044 * einfo.ads: Fix a typo.
1046 2019-07-09 Ed Schonberg <schonberg@adacore.com>
1048 * sem_util.adb (Scope_Within_Or_Same): Handle properly task
1049 bodies and protected bodies, so that local variables within have
1050 their proper scopes after these constructs have been rewritten
1051 during expansion. This patch resembles but is not identical to
1052 the code in Scope_Within.
1054 2019-07-09 Arnaud Charlet <charlet@adacore.com>
1056 * gnat1drv.adb (Adjust_Global_Switches): Set
1057 Dynamic_Elaboration_Checks to True in CodePeer mode.
1059 2019-07-09 Yannick Moy <moy@adacore.com>
1061 * sem_spark.adb (Get_Perm_Or_Tree): Issue an error when
1062 encountering unknown global variable.
1064 2019-07-09 Yannick Moy <moy@adacore.com>
1066 * sem_spark.adb (Check_Expression): Change signature to take an
1067 Extended_Checking_Mode, for handling read permission checking of
1068 sub-expressions in an assignment.
1069 (Check_Parameter_Or_Global): Adapt to new behavior of
1070 Check_Expression for mode Assign.
1071 (Check_Safe_Pointers): Do not analyze generic bodies.
1072 (Check_Assignment): Separate checking of the target of an
1073 assignment.
1075 2019-07-09 Eric Botcazou <ebotcazou@adacore.com>
1077 * repinfo.ads (JSON format): Adjust.
1078 * repinfo.adb (Need_Blank_Line): Rename to...
1079 (Need_Separator): ...this.
1080 (Blank_Line): Rename to...
1081 (Write_Separator): ...this and add JSON specific handling.
1082 (List_Array_Info): Adjust to above renaming.
1083 (List_Object_Info): Likewise.
1084 (List_Record_Info): Likewise.
1085 (List_Subprogram_Info): Likewise.
1086 (List_Type_Info): Likewise.
1087 (List_Entities): Do not set Need_Blank_Line.
1088 (List_Rep_Info): Set Need_Separator and add JSON specific
1089 handling. Output a single JSON stream in the normal case.
1091 2019-07-09 Arnaud Charlet <charlet@adacore.com>
1093 * doc/gnat_ugn/the_gnat_compilation_model.rst: Update doc on
1094 -fdump-ada-spec now that we generate Ada 2012.
1095 * gnat_ugn.texi: Regenerate.
1097 2019-07-08 Eric Botcazou <ebotcazou@adacore.com>
1099 * repinfo.adb (List_Common_Type_Info): New procedure extracted
1100 from...
1101 (List_Type_Info): ...here. Call it for the common information,
1102 start with a blank line and output the linker section at the
1103 end, if any.
1104 (List_Mechanisms): Rename to...
1105 (List_Subprogram_Info): ...this.
1106 (List_Array_Info): Call List_Common_Type_Info.
1107 (List_Entities): Adjust to above change and renaming.
1108 (List_Record_Info): Call List_Common_Type_Info.
1110 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
1112 * libgnat/g-sercom.ads
1113 (Serial_Port_Descriptor): New type.
1114 (Serial_Port): Add a comment, make it hold a
1115 Serial_Port_Descriptor.
1116 (To_Ada, To_C): New procedures.
1117 (Port_Data, Port_Data_Access): Remove types.
1118 * libgnat/g-sercom.adb (To_Ada): New stub.
1119 * libgnat/g-sercom__linux.adb, libgnat/g-sercom__mingw.adb:
1120 Update implementations accordingly.
1121 * s-oscons-tmplt.c: Bind Serial_Port_Descriptor to
1122 System.Win32.HANDLE on Windows, and to Interfaces.C.int on
1123 Linux. Add "Interfaces.C." prefix for other basic integer type
1124 bindings.
1125 * xoscons.adb (Output_Info): Remove the "Interfaces.C." prefix
1126 for subtypes generation.
1128 2019-07-08 Arnaud Charlet <charlet@adacore.com>
1130 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
1131 Update documentation on No_Exceptions restriction.
1132 * gnat_rm.texi: Regenerate.
1134 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
1136 * libgnat/s-os_lib.adb: Do not call __gnat_kill for Invalid_Pid.
1138 2019-07-08 Piotr Trojanek <trojanek@adacore.com>
1140 * sem_util.adb (Enclosing_Package_Or_Subprogram): Do not expect
1141 package and subprogram bodies.
1143 2019-07-08 Bob Duff <duff@adacore.com>
1145 * doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
1146 of ignored GNATpp switch.
1148 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
1150 * doc/gnat_rm/implementation_defined_pragmas.rst:
1151 Update the documentation of pragma Initialize_Scalars.
1152 * gnat_rm.texi: Regenerate.
1154 2019-07-08 Javier Miranda <miranda@adacore.com>
1156 * exp_ch4.adb (Tagged_Membership): Fix regression silently
1157 introduced in r260738 that erroneouslusy causes the evaluation
1158 to True of the membership test when the left operand of the
1159 membership test is a class-wide interface object and the right
1160 operand is a type that implements such interface type.
1162 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
1164 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not
1165 register an address clause when its prefix denotes a generic
1166 formal object.
1168 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
1170 * bindo-diagnostics.adb (Diagnose_Cycle): Capture the presence
1171 of an Elaborate_All edge before iterating over the edges of the
1172 cycle.
1173 (Output_Elaborate_Body_Transition): Update the parameter profile
1174 and the comment on usage. Add a missing case where the edge is
1175 within the context of an Elaborate_All.
1176 (Output_Transition): Update the call to
1177 Output_Elaborate_Body_Transition.
1178 * bindo-graphs.ads, bindo-graphs.adb
1179 (Contains_Elaborate_All_Edge): New routine.
1181 2019-07-08 Piotr Trojanek <trojanek@adacore.com>
1183 * lib-xref-spark_specific.adb (Create_Heap): Set dummy Etype for
1184 the fake __HEAP entity.
1186 2019-07-08 Daniel Mercier <mercier@adacore.com>
1188 * gnat1drv.adb: Suppress warnings on memory representation in
1189 CodePeer compiler mode.
1191 2019-07-08 Nicolas Roche <roche@adacore.com>
1193 * rtinit.c (__gnat_runtime_initialize): Remove dependency on
1194 CommandLineToArgvW.
1196 2019-07-08 Doug Rupp <rupp@adacore.com>
1198 * Makefile.rtl: Handle vxworks7r2 in x86_64 and x86 vxworks7.
1200 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
1202 * Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
1204 2019-07-08 Yannick Moy <moy@adacore.com>
1206 * expander.adb (Expand): Do not reset Analyzed flag always.
1207 * sem_eval.adb (Fold_Ureal): Mark node as analyzed.
1209 2019-07-08 Ed Schonberg <schonberg@adacore.com>
1211 * exp_ch9.adb (Expand_N_Timed_Entry_Call): Do not insert twice
1212 the assignment statement that computes the delay value, to
1213 prevent improper tree sharing when the value is a type
1214 conversion and Float_Overflow checks are enabled.
1216 2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
1218 * bindo.adb: Update the section on terminology to include new
1219 concepts. Update the section on switches to include new
1220 entries.
1221 * bindo.ads: Add type Precedence_Kind.
1222 * bindo-builders.adb: Add with and use clauses for Debug and
1223 Bindo.Validators. Add use clauses for
1224 Bindo.Validators.Invocation_Graph_Validators and
1225 Bindo.Validators.Library_Graph_Validators.
1226 (Build_Invocation_Graph): Validate the graph immediately after
1227 it was built.
1228 (Build_Library_Graph): Update the parameter profile. The
1229 creation of the graph is now elaboration model-agnostic.
1230 Validate the graph immediately after it was built.
1231 (Create_With_Edge): Create regular with edges for Elaborate and
1232 Elaborate_All edges when the appropriate debug switches are in
1233 effect.
1234 * bindo-builders.ads (Build_Library_Graph): Update the parameter
1235 profile.
1236 * bindo-diagnostics.adb (Diagnose_Cycle): Track the presence of
1237 an Elaborate_All edge throughout the inspection of the cycle's
1238 edges.
1239 (Output_Dynamic_Model_Suggestions): Output the suggestion only
1240 when the cycle contains at least one weak edge where the
1241 successor was statically elaborated.
1242 (Output_Elaborate_Body_Transition, Output_Forced_Transition,
1243 Output_With_Transition): Update the assertions.
1244 * bindo-elaborators.adb: Remove use clauses for
1245 Bindo.Validators.Invocation_Graph_Validators and
1246 Bindo.Validators.Library_Graph_Validators. Remove strings
1247 Add_To_All_Candidates_Msg and Add_To_Comp_Candidates_Msg.
1248 Remove type String_Ptr.
1249 (Add_Vertex, Add_Vertex_If_Elaborable, Create_All_Candidates_Set
1250 Create_Component_Candidates_Set): Remove.
1251 (Create_Component_Vertex_Sets, Create_Vertex_Sets): New routine.
1252 (Elaborate_Component): Update the parameter profile and the
1253 comment on usage. Reimplement the elaboration of a component.
1254 The algorithm will now attempt to elaborate as many vertices
1255 possible. If this is not possible, and a weakly elaborable
1256 vertex is available use unit was compiled using the dynamic
1257 model, the algorithm will elaborate it.
1258 (Elaborate_Library_Graph): Reimplement the elaboration of the
1259 graph. The algorithm will now attempt to elaborate as many
1260 vertices along with their components as possible. If this is not
1261 possible, and a weakly elaborable vertex is available use unit
1262 was compiled using the dynamic model, the algorithm will
1263 elaborate it along with its component.
1264 (Elaborate_Units): Merge with the functionality of
1265 Elaborate_Units_Common.
1266 (Elaborate_Units_Common, Elaborate_Units_Dynamic,
1267 Elaborate_Units_Static): Remove.
1268 (Elaborate_Vertex): Update the parameter profile and the comment
1269 on usage. Reimplemented.
1270 (Find_Best_Candidate): Remove.
1271 (Find_Best_Elaborable_Vertex, Find_Best_Vertex,
1272 Find_Best_Weakly_Elaborable_Vertex, Has_Elaborable_Body,
1273 Insert_Elaborable_Successor, Insert_Vertex): New routines.
1274 (Is_Better_Candidate): Remove.
1275 (Is_Better_Elaborable_Vertex,
1276 Is_Better_Weakly_Elaborable_Vertex,
1277 Is_Suitable_Elaborable_Vertex,
1278 Is_Suitable_Weakly_Elaborable_Vertex): New routines.
1279 (Trace_Candidate_Vertices): Remove.
1280 (Trace_Component): Output the number of strong and weak
1281 predecessors.
1282 (Trace_Unelaborated_Vertices): Remove.
1283 (Trace_Vertex): Output the number of strong and weak
1284 predecessors.
1285 (Trace_Vertices): New routine.
1286 (Update_Successor, Update_Successors): Update the parameter
1287 profile and the comment on usage.
1288 * bindo-graphs.adb: Remove type Precedence_Kind.
1289 (Add_Edge_With_Return): Update the increment of pending
1290 predecessors.
1291 (Add_Vertex): Provide default values for strong and weak
1292 predecessors.
1293 (Complementary_Vertex): Move the initial declaration to the
1294 spec. Update the parameter profile and the comment on usage.
1295 (Contains_Weak_Static_Successor): New routine.
1296 (Create): Update the parameter profile. The creation of the
1297 graph is now elaboration model-agnostic.
1298 (Decrement_Pending_Predecessors): Update the parameter profile
1299 and the comment on usage. Reimplemented.
1300 (Delete_Edge): Update the decrement of pending predecesors.
1301 (Has_Elaborate_Body): Do not treat a vertex as being subject to
1302 Elaborate_Body when a debug switch is in effect.
1303 (Increment_Pending_Predecessors): Update the parameter profile
1304 and the comment on usage. Reimplemented.
1305 (Is_Elaborable_Component): Reimplemented.
1306 (Is_Elaborable_Vertex): Move the initial declaration to the
1307 spec. Reimplemented.
1308 (Is_Elaborate_Body_Pair): New routine.
1309 (Is_Dynamically_Elaborated): Update the parameter profile.
1310 Reimplemented.
1311 (Is_Weakly_Elaborable_Vertex): New routine.
1312 (Pending_Predecessors): Removed.
1313 (Pending_Predecessors_For_Elaboration,
1314 Pending_Strong_Predecessors, Pending_Weak_Predecessors,
1315 Update_Pending_Predecessors): New routines.
1316 (Update_Pending_Predecessors_Of_Components): Update the
1317 increment of pending predecessors.
1318 * bindo-graphs.ads: Update the components of type
1319 Component_Attributes. Update the components of type
1320 Library_Graph_Attributes. Update the components of type
1321 Library_Graph_Vertex_Attributes. Update the initialization of
1322 No_Component_Attributes. Update the initialization of
1323 No_Library_Graph_Vertex_Attributes.
1324 (Complementary_Vertex, Contains_Weak_Static_Successor): New
1325 routines.
1326 (Create): Update the parameter profile and the comment on usage.
1327 (Decrement_Pending_Predecessors, Is_Dynamically_Elaborated):
1328 Update the parameter profile and the comment on usage.
1329 (Is_Elaborate_Body_Pair, Is_Weakly_Elaborable_Vertex): New
1330 routines.
1331 (Pending_Predecessors): Removed.
1332 (Pending_Predecessors_For_Elaboration,
1333 Pending_Strong_Predecessors, Pending_Weak_Predecessors): New
1334 routines.
1335 * bindo-writers.adb (Write_Components): Moved from the spec.
1336 (Write_Component): Output the strong and weak predecessors.
1337 (Write_Library_Graph): Output the components as part of the
1338 graph.
1339 (Write_Library_Graph_Vertex): Output the strong and weak
1340 predecessors.
1341 * bindo-writers.ads (Write_Components): Moved to the body.
1342 * debug.adb: Add and document new GNATbind switches -d_a, -d_b,
1343 -d_e.
1344 * bindo-validators.adb: Minor reformattings.
1346 2019-07-08 Bob Duff <duff@adacore.com>
1348 * libgnat/g-sercom.ads, libgnat/g-sercom__linux.adb (Data_Rate):
1349 Support additional data rates.
1351 2019-07-08 Olivier Hainque <hainque@adacore.com>
1353 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Don't request
1354 DECL_ARTIFICIAL_P on elab proc declarations.
1356 2019-07-08 Eric Botcazou <ebotcazou@adacore.com>
1358 * repinfo.adb (List_Record_Info): Declare Incomplete_Layout and
1359 Not_In_Extended_Main local exceptions.
1360 (List_Structural_Record_Layout): For an extension, raise the
1361 former if the parent subtype has not been built and the latter
1362 if it is not declared in the main source unit. Fall back to the
1363 flat layout if either exception has been raised.
1365 2019-07-08 Ed Schonberg <schonberg@adacore.com>
1367 * libgnat/a-strfix.adb (Delete): The RM describes the semantics
1368 of Delete as equivalent to that of Replace_String with a null
1369 argument. As a result, deleting a null string that starts past
1370 the end of its argument is a noop and must not raise
1371 Index_Error.
1373 2019-07-08 Javier Miranda <miranda@adacore.com>
1375 * exp_disp.adb (Register_Primitive): When registering a
1376 primitive in the secondary dispatch table, handle primitive
1377 inherited through several levels of type derivation (required to
1378 properly handle inherited 'null' primitive).
1380 2019-07-08 Bob Duff <duff@adacore.com>
1382 * doc/gnat_ugn/gnat_utility_programs.rst: Document handling of
1383 preprocessor directives in GNATpp.
1385 2019-07-08 Javier Miranda <miranda@adacore.com>
1387 * gnat1drv.adb (Post_Compilation_Validation_Checks:
1388 Validate_Compile_Time_Warning_Errors is now located in sem_prag
1389 (instead of sem_ch13).
1390 * sem_ch13.ads (Validate_Compile_Time_Warning_Error,
1391 Validate_Compile_Time_Warning_Errors): Move to sem_prag.
1392 * sem_ch13.adb
1393 (Compile_Time_Warnings_Errors): Move to sem_prag.
1394 (Initialize): Remove initialization of table
1395 Compile_Time_Warning_Errors.
1396 (Validate_Compile_Time_Warning_Error,
1397 Validate_Compile_Time_Warning_Errors): Move to sem_prag.
1398 * sem_prag.ads (Validate_Compile_Time_Warning_Errors): New
1399 procedure.
1400 * sem_prag.adb (Initialize): Initialize table
1401 Compile_Time_Warning_Errors.
1403 2019-07-08 Ed Schonberg <schonberg@adacore.com>
1405 * sem_ch13.adb (Analyze_Aspect_Specifications): For a
1406 pre/postcondition of a generic subprogram declaration, do not
1407 use Relocate_Node on the aspect expression to construct the
1408 corresponding attribute specification, to prevent tree anomalies
1409 when the expression is a call with named actual parameters.
1411 2019-07-08 Javier Miranda <miranda@adacore.com>
1413 * sem_attr.adb (Analyze_Attribute [Attribute_Size]): For pragmas
1414 used to report user defined compile time warning or errors
1415 handle 'Size for types with known static RM size.
1417 2019-07-08 Justin Squirek <squirek@adacore.com>
1419 * exp_imgv.adb (Build_Enumeration_Image_Tables): Default SSO for
1420 the building of image tables.
1421 (Expand_Image_Attribute): Minor cleanup.
1423 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com>
1425 * libgnat/g-socket.ads, libgnat/g-socket.adb: Improve
1426 documentation.
1427 (Get_Socket_Option, Set_Socket_Option): Remove default value for
1428 the Level formal.
1430 2019-07-08 Ed Schonberg <schonberg@adacore.com>
1432 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): For an
1433 unanalized aspect in a generic context that has not been
1434 analyzed yet, if the aspect applies to a type, place the type on
1435 the scope stack to make its components visible, before checking
1436 conformance with the version of the expression analyzed at the
1437 freeze point.
1439 2019-07-05 Justin Squirek <squirek@adacore.com>
1441 * checks.adb (Apply_Accessibility_Check): Add logic to fetch the
1442 function result accessibility level if one is required within
1443 the generated check.
1444 * exp_ch6.adb (Needs_Result_Accessibility_Level): Modify
1445 controlling elsif block to handle more cases such as anonymous
1446 access results and disable checking for coextensions.
1448 2019-07-05 Ed Schonberg <schonberg@adacore.com>
1450 * sem_ch9.adb (Analyze_Accept_Statement): If this is an illegal
1451 accept statement for an enclosing entry abandon analysis to
1452 prevent scope mismatches and potential infinite loops in
1453 compiler.
1455 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
1457 * ali.adb (For_Each_Invocation_Construct,
1458 For_Each_Invocation_Relation): New version.
1459 (Scan_ALI): Initialize field Invocation_Graph_Encoding.
1460 (Set_Invocation_Graph_Encoding): Update the setting of the
1461 invocation graph encoding.
1462 * ali.ads: Move field Invocation_Graph_Encoding from Unit_Record
1463 to ALI_Record because the encoding applies to the whole ALI,
1464 rather than one of the units (spec or body) for which the ALI
1465 file was created.
1466 (For_Each_Invocation_Construct, For_Each_Invocation_Relation):
1467 New version.
1468 * bindo.adb: Update the section on switches. Complete the
1469 section of debugging elaboration order issues.
1470 (Find_Elaboration_Order): Prepare the routine for the switch
1471 from the old to the new elaboration order mechanism.
1472 * bindo-diagnostics.adb (Find_And_Output_Invocation_Paths):
1473 Manage a visited set used by Visit_Vertex.
1474 (Output_All_Cycles_Suggestions,
1475 Output_Dynamic_Model_Suggestions): Clarify the nature of the
1476 suggested switch.
1477 (Output_Elaborate_Body_Transition): Update the diagnostic to
1478 emit a better message.
1479 (Output_Forced_Suggestions, Output_Full_Encoding_Suggestions):
1480 Clarify the nature of the suggested switch.
1481 (Visit_Vertex): Update the parameter profile to add a set of
1482 invokers visited during the transition. This set prevents
1483 infinite exploration of the graph in case the invocations are
1484 recursive.
1485 * bindo-elaborators.adb: Add a use clause for
1486 Bindo.Writers.Dependency_Writers.
1487 (Elaborate_Units_Common): Output the library graph after it has
1488 been augmented with invocation edges. Output just the components
1489 instead of outputting the whole library graph again.
1490 (Elaborate_Units_Dynamic, Elaborate_Units_Static): Output the
1491 dependencies as expressed in the library graph.
1492 * bindo-units.adb (Invocation_Graph_Encoding): Update the
1493 extraction of the invocation graph encoding.
1494 * bindo-writers.adb: Add with and use clauses for Binderr and
1495 Butil.
1496 (palgc, plgc): New debug routine.
1497 (Write_Components): Moved to the spec. Add a header for the
1498 output.
1499 (Write_Dependencies, Write_Dependencies_Of_Vertex,
1500 Write_Dependency_Edge): New routine.
1501 (Write_Elaboration_Order): Update the logic to follow the format
1502 of Binde's order output.
1503 (Write_Library_Graph): Do not output the components every time
1504 the graph is written.
1505 (Write_Unit): Output the invocation graph encoding of the unit.
1506 Output the invocation constructs and relations for the unit
1507 only.
1508 * bindo-writers.ads (Write_Components): Moved from the body.
1509 (Write_Dependencies): New routine.
1510 * bindusg.adb: Prepare the routine for the switch from the old
1511 to the new elaboration order mechanism.
1512 * debug.adb: Binder switch -d_O is now not associated with any
1513 functionality.
1514 * einfo.adb (Is_Elaboration_Target): The attribute applies to
1515 packages, as specified by the comment on the attribute usage.
1516 * opt.ads: Add a global flag which controls the choice between
1517 the new and the legacy elaboration order mechanism.
1518 * sem_elab.adb: Add Package_Target to type Target_Kind.
1519 (Build_Elaborate_Body_Procedure, Build_Elaborate_Procedure,
1520 Build_Elaborate_Spec_Procedure, Check_Elaboration_Scenarios,
1521 Check_SPARK_Model_In_Effect): Use Main_Unit_Entity to obtain the
1522 entity of the main unit.
1523 (Create_Package_Rep): New routine.
1524 (Create_Target_Rep): Add processing for packages.
1525 (Declaration_Placement_Of_Node, Has_Prior_Elaboration): Use
1526 Main_Unit_Entity to obtain the entity of the main
1527 unit.
1528 (Invocation_Graph_Recording_OK): Prepare the routine for the
1529 switch from the old to the new elaboration order mechanism.
1530 (Main_Unit_Entity): New routine.
1531 (Meet_Elaboration_Requirement,
1532 Process_Conditional_ABE_Variable_Reference): Use
1533 Main_Unit_Entity to obtain the entity of the main unit.
1534 (Process_Invocation_Instantiation): New routine.
1535 (Process_Invocation_Scenario): Add processing for
1536 instantiations.
1537 * switch-b.adb (Scan_Binder_Switches): Prepare the routine for
1538 the switch from the old to the new elaboration order mechanism.
1540 2019-07-05 Joffrey Huguet <huguet@adacore.com>
1542 * libgnat/a-textio.adb: Add abstract state refinment.
1543 * libgnat/a-textio.ads: Add File_System abstract state. Add
1544 global contracts, contract cases, preconditions and
1545 postconditions to procedures and functions.
1546 (Set_Input, Set_Output, Set_Error, Standard_Input,
1547 Standard_Output, Standard_Error, Current_Input, Current_Output,
1548 Current_Error): Turn SPARK_Mode off.
1549 (Get_Line): Turn SPARK_Mode off on Get_Line functions.
1550 * libgnat/a-tideio.ads, libgnat/a-tienio.ads,
1551 libgnat/a-tifiio.ads, libgnat/a-tiflio.ads,
1552 libgnat/a-tiinio.ads, libgnat/a-timoio.ads: Add global
1553 contracts, contract cases, preconditions and postconditions to
1554 procedures and functions.
1556 2019-07-05 Arnaud Charlet <charlet@adacore.com>
1558 * doc/gnat_ugn/platform_specific_information.rst: Refresh doc on
1559 installing from the command line on Windows. Remove obsolete
1560 part.
1561 * gnat_ugn.texi: Regenerate.
1563 2019-07-05 Vasiliy Fofanov <fofanov@adacore.com>
1565 * libgnat/a-wichha.ads (Is_Alphanumeric): Replace comment with
1566 the correct one. Also capitalize references to False
1567 throughout.
1569 2019-07-05 Eric Botcazou <ebotcazou@adacore.com>
1571 * exp_ch4.adb (Expand_N_Indexed_Component): Do not expand actual
1572 parameters of function calls here either.
1574 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
1576 * bindo-units.adb, checks.adb, exp_attr.adb, exp_ch3.adb,
1577 exp_ch4.adb, exp_pakd.adb, lib-writ.adb, libgnat/g-traceb.adb,
1578 libgnat/g-traceb.ads, libgnat/s-stratt.ads, sem_aux.ads,
1579 sem_util.adb: Minor reformatting.
1581 2019-07-05 Ed Schonberg <schonberg@adacore.com>
1583 * sem_ch13.adb (Build_Predicate_Functions): If a subtype that
1584 carries a static predicate aspect is frozen immediately after
1585 its declaration, ensure that the generated function body created
1586 for predicate checking is inserted after the corresponding
1587 subprogram declaration, which is created at the point the
1588 declaration is elaborated.
1590 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
1592 * exp_ch7.adb (Cleanup_Record): Use the underlying type when
1593 checking for components with tasks.
1595 2019-07-05 Arnaud Charlet <charlet@adacore.com>
1597 * libgnarl/s-osinte__linux.ads: Link with -lrt before -lpthread.
1599 2019-07-05 Ed Schonberg <schonberg@adacore.com>
1601 * exp_pakd.adb (Expand_Bit_Packed_Element_Set): Add explicit
1602 range checks when the index type of the bit-packed array is an
1603 enumeration type with a non-standard representation,
1605 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
1607 * sem_res.adb (Is_Control_Flow_Statement): Delay statements
1608 contain an expression, which in turn may have side effects and
1609 affect the infinite recursion. As a result, delay statements
1610 should not be treated specially.
1612 2019-07-05 Arnaud Charlet <charlet@adacore.com>
1614 * libgnarl/s-linux.ads, libgnarl/s-linux__alpha.ads,
1615 libgnarl/s-linux__android.ads, libgnarl/s-linux__hppa.ads,
1616 libgnarl/s-linux__mips.ads, libgnarl/s-linux__riscv.ads,
1617 libgnarl/s-linux__sparc.ads: Fix typos in comments.
1619 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
1621 * sem_res.adb (Check_Infinite_Recursion): Reimplemented.
1622 (Enclosing_Declaration_Or_Statement,
1623 Invoked_With_Different_Arguments, Is_Conditional_Statement,
1624 Is_Control_Flow_Statement, Is_Immediately_Within_Body,
1625 Is_Raise_Idiom, Is_Raise_Statement, Is_Sole_Statement,
1626 Preceded_By_Control_Flow_Statement,
1627 Within_Conditional_Statement): New routines.
1629 2019-07-05 Javier Miranda <miranda@adacore.com>
1631 * exp_ch4.adb (Expand_N_Type_Conversion): Do not apply an
1632 accessibility check when the conversion is an access to
1633 class-wide interface type and it is an actual parameter.
1634 * exp_ch6.adb (Expand_Call_Helper): Add documentation on the
1635 accessibility level of an anonymous allocator defining the value
1636 of an access parameter.
1637 * sem_util.ads, sem_util.adb (Dynamic_Accessibility_Level): Add
1638 support for an anonymous allocator whose type is that of a
1639 stand-alone object of an anonymous access to object type.
1641 2019-07-05 Piotr Trojanek <trojanek@adacore.com>
1643 * einfo.ads, sem_res.adb: Typo fixes in comments.
1645 2019-07-05 Bob Duff <duff@adacore.com>
1647 * exp_ch6.adb (Is_Build_In_Place_Function): Narrow the check for
1648 Has_Foreign_Convention to the imported case only. If a
1649 build-in-place function is exported, and called from Ada code,
1650 build-in-place protocols should be used.
1652 2019-07-05 Ed Schonberg <schonberg@adacore.com>
1654 * sem_util.adb (Encloing_Subprogram): If Enclosing_Dynamic_Scope
1655 is a loop, continue climbing the scope stack to find the
1656 enclosing subprogram.
1657 (Gather_Components): Handle properly a choice in a record
1658 aggregate that is given by a subtype with a static predicate.
1660 2019-07-05 Javier Miranda <miranda@adacore.com>
1662 * debug.adb (-gnatd.K): Leave available this switch.
1663 * contracts.adb (Build_And_Analyze_Contract_Only_Subprograms):
1664 Remove.
1665 * scil_ll.ads, scil_ll.adb (Contract_Only_Body_Flag,
1666 Contract_Only_Body_Nodes, Get_Contract_Only_Body,
1667 Is_Contract_Only_Body, Set_Contract_Only_Body): Remove.
1669 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
1671 * libgnat/a-strunb.ads: Import documentation from the RM
1673 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>
1675 * libgnat/a-strfix.ads: Import documentation from the RM
1677 2019-07-05 Yannick Moy <moy@adacore.com>
1679 * adabkend.adb (Scan_Back_End_Switches): Accept -Og and -Ofast
1680 switches.
1682 2019-07-05 Hristian Kirtchev <kirtchev@adacore.com>
1684 * ali.adb: Relocate types Invocation_Construct_Record,
1685 Invocation_Relation_Record, and Invocation_Signature_Record to
1686 the body of ALI. Relocate tables Invocation_Constructs,
1687 Invocation_Relations, and Invocation_Signatures to the body of
1688 ALI. Remove type Body_Placement_Codes. Add new types
1689 Declaration_Placement_Codes, and
1690 Invocation_Graph_Encoding_Codes. Update the literals of type
1691 Invocation_Graph_Line_Codes.
1692 (Add_Invocation_Construct): Update the parameter profile. Add an
1693 invocation construct built from all attributes provided.
1694 (Add_Invocation_Relation): Update the parameter profile. Add an
1695 invocation relation built from all attributes provided.
1696 (Body_Placement): New routine.
1697 (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
1698 Removed.
1699 (Code_To_Declaration_Placement_Kind,
1700 Code_To_Invocation_Graph_Encoding_Kind, Column,
1701 Declaration_Placement_Kind_To_Code, Extra,
1702 For_Each_Invocation_Construct, For_Each_Invocation_Relation,
1703 Invocation_Graph_Encoding,
1704 Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
1705 Locations, Name): New routine.
1706 (Scan_Invocation_Construct_Line): Reimplement the scanning
1707 mechanism.
1708 (Scan_Invocation_Graph_Attributes_Line): New routine.
1709 (Scan_Invocation_Graph_Line): Use a case statement to dispatch.
1710 (Scan_Invocation_Relation_Line): Reimplement the scanning
1711 mechanism.
1712 (Scope): New routine.
1713 (Set_Invocation_Graph_Encoding, Signature, Spec_Placement,
1714 Target): New routine.
1715 * ali.ads: Add new type Invocation_Graph_Encoding_Kind. Add
1716 component Invocation_Graph_Encoding to type Unit_Record.
1717 Relocate various types and data structures to the body of ALI.
1718 (Add_Invocation_Construct, Add_Invocation_Relation): Update the
1719 parameter profile.
1720 (Body_Placement): New routine.
1721 (Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind):
1722 Removed.
1723 (Code_To_Declaration_Placement_Kind,
1724 Code_To_Invocation_Graph_Encoding_Kind, Column,
1725 Declaration_Placement_Kind_To_Code, Extra,
1726 For_Each_Invocation_Construct, For_Each_Invocation_Relation,
1727 Invocation_Graph_Encoding,
1728 Invocation_Graph_Encoding_Kind_To_Code, Invoker, Kind, Line,
1729 Locations, Name, Scope, Set_Invocation_Graph_Encoding,
1730 Signature, Spec_Placement, Target): New routine.
1731 * bindo.adb: Add with clause for Binde. Add with and use
1732 clauses for Debug. Update the documentation. Add new switches.
1733 (Find_Elaboration_Order): Dispatch to the proper elaboration
1734 mechanism.
1735 * bindo-augmentors.adb:
1736 Remove with and use clauses for GNAT and GNAT.Sets. Remove
1737 membership set VS. Update the parameter profiles of most
1738 routines to use better parameter names. Update the
1739 implementation of most routine to use the new parameter names.
1740 Remove various redundant assertions.
1741 * bindo-builders.adb: Use better names for instantiated data
1742 structures. Update all references to these names. Update the
1743 parameter profiles of most routines to use better parameter
1744 names. Update the implementation of most routine to use the new
1745 parameter names.
1746 (Build_Library_Graph): Update the parameter profile. Update the
1747 call to Create.
1748 (Create_Vertex): Reimplemented.
1749 (Declaration_Placement_Vertex): New routine.
1750 * bindo-builders.ads (Build_Library_Graph): Update the parameter
1751 profile and comment on usage.
1752 * bindo-diagnostics.adb: Almost a new unit.
1753 * bindo-diagnostics.ads: Add a use clause for
1754 Bindo.Graphs.Invocation_Graphs. Remove package
1755 Cycle_Diagnostics.
1756 (Diagnose_Circularities): New routine.
1757 * bindo-elaborators.adb: Remove the with and use clauses for
1758 Binderr and GNAT.Sets. Remove the use clause for
1759 Bindo.Diagnostics.Cycle_Diagnostics. Remove membership set VS.
1760 Update the parameter profiles of most routines to use better
1761 parameter names. Update the implementation of most routine to
1762 use the new parameter names. (Elaborate_Units_Common): Update
1763 the parameter profile. Pass an infication to the library graph
1764 builder whether the dynamic model is in effect.
1765 (Elaborate_Units_Dynamic, Elaborate_Units_Static): Use
1766 Diagnose_Circularities to provide diagnostics.
1767 (Update_Successor): Use routine In_Same_Component to determine
1768 whether the predecessor and successor reside in different
1769 components.
1770 * bindo-graphs.adb: Add with and use clauses for Butil, Debug,
1771 Output, and Bindo.Writers. Remove with and use clauses for
1772 GNAT.Lists. Update the parameter profiles of most routines to
1773 use better parameter names. Update the implementation of most
1774 routine to use the new parameter names. Remove various
1775 redundant assertions. Remove doubly linked list EL. Add new
1776 type Precedence_Kind.
1777 (Add_Cycle): New routine.
1778 (Add_Vertex): Update the parameter profile. Update the creation
1779 of vertex attributes.
1780 (Add_Vertex_And_Complement, Body_Vertex, Column,
1781 Complementary_Vertex, Copy_Cycle_Path, Cycle_Kind_Of): New
1782 routines.
1783 (Destroy_Invocation_Graph_Edge, Destroy_Library_Graph_Cycle,
1784 Destroy_Library_Graph_Edge, Extra, File_Name,
1785 Find_All_Cycles_Through_Vertex, Find_All_Cycles_With_Edge,
1786 Find_Cycles, Find_First_Lower_Precedence_Cycle,
1787 Get_LGC_Attributes, Has_Next, Hash_Library_Graph_Cycle,
1788 Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
1789 Highest_Precedence_Edge, In_Same_Component, Insert_And_Sort,
1790 Invocation_Edge_Count, Invocation_Graph_Encoding,
1791 Is_Cycle_Initiating_Edge, Is_Cyclic_Edge,
1792 Is_Cyclic_Elaborate_All_Edge, Is_Cyclic_Elaborate_Body_Edge,
1793 Is_Cyclic_Elaborate_Edge, Is_Cyclic_Forced_Edge,
1794 Is_Cyclic_Invocation_Edge, Is_Cyclic_With_Edge,
1795 Is_Dynamically_Elaborated, Is_Elaborate_All_Edge,
1796 Is_Elaborate_Body_Edge, Is_Elaborate_Edge: New routines.
1797 (Is_Existing_Predecessor_Successor_Relation): Removed.
1798 (Is_Forced_Edge, Is_Invocation_Edge, Is_Recorded_Cycle,
1799 Is_Recorded_Edge, Is_With_Edge, Iterate_Edges_Of_Cycle, Kind,
1800 Length): New routine.
1801 (Lib_Vertex): Removed.
1802 (Line, Links_Vertices_In_Same_Component,
1803 Maximum_Invocation_Edge_Count, Next, Normalize_And_Add_Cycle,
1804 Normalize_Cycle_Path, Number_Of_Cycles, Path, Precedence,
1805 Remove_Vertex_And_Complement, Sequence_Next_Cycle): New routines.
1806 (Sequence_Next_IGE_Id): Renamed to Sequence_Next_Edge.
1807 (Sequence_Next_IGV_Id): Renamed to Sequence_Next_Vertex.
1808 (Sequence_Next_LGE_Id): Renamed to Sequence_Next_Edge.
1809 (Sequence_Next_LGV_Id): Renamed to Sequence_Next_Vertex.
1810 (Set_Is_Existing_Predecessor_Successor_Relation): Removed.
1811 (Set_Is_Recorded_Cycle, Set_Is_Recorded_Edge,
1812 Set_LGC_Attributes, Spec_Vertex, Trace_Cycle, Trace_Edge,
1813 Trace_Eol, Trace_Vertex): New routines.
1814 * bindo-graphs.ads: Add with and use clauses for Types and
1815 GNAT.Lists. Update the parameter profiles of most routines to
1816 use better parameter names. Update the implementation of most
1817 routine to use the new parameter names. Add the new
1818 instantiated data structures IGE_Lists, IGV_Sets, LGC_Lists,
1819 LGE_Lists, LGE_Sets, LGV_Sets, and RC_Sets. Add new type
1820 Library_Graph_Cycle_Id along with an empty and initial value.
1821 Remove component Lib_Vertex and add new components Body_Vertex
1822 and Spec_Vertex to type Invocation_Graph_Vertex_Attributes. Add
1823 new type Library_Graph_Cycle_Kind. Add new iterators
1824 All_Cycle_Iterator and Edges_Of_Cycle_Iterator. Add new type
1825 Library_Graph_Cycle_Attributes. Add new components
1826 Cycle_Attributes, Cycles, and Dynamically_Elaborated to type
1827 Library_Graph_Attributes.
1828 (Body_Vertex, Column, Destroy_Invocation_Graph_Edge,
1829 Destroy_Library_Graph_Cycle_Attributes,
1830 Destroy_Library_Graph_Edge, Extra, File_Name, Find_Cycles,
1831 Has_Elaborate_All_Cycle, Has_Next, Hash_Library_Graph_Cycle,
1832 Hash_Library_Graph_Cycle_Attributes, Highest_Precedence_Cycle,
1833 In_Same_Component, Invocation_Edge_Count,
1834 Invocation_Graph_Encoding, Is_Dynamically_Elaborated,
1835 Is_Elaborate_All_Edge, Is_Elaborate_Body_Edge,
1836 Is_Elaborate_Edge, Is_Forced_Edge, Is_Invocation_Edge,
1837 Is_With_Edge, Iterate_All_Cycles, Iterate_Edges_Of_Cycle, Kind):
1838 New routines.
1839 (Length, Lib_Vertex, (Line, Next, Number_Of_Cycles, Present,
1840 Same_Library_Graph_Cycle_Attributes, Spec_Vertex): New routines.
1841 * bindo-units.adb (File_Name, Invocation_Graph_Encoding): New
1842 routines.
1843 * bindo-units.ads: Add new instantiated data structure
1844 Unit_Sets.
1845 (File_Name, Invocation_Graph_Encoding): New routine.
1846 * bindo-validators.adb: Remove with and use clauses for GNAT and
1847 GNAT.Sets. Remove membership set US. Update the parameter
1848 profiles of most routines to use better parameter names. Update
1849 the implementation of most routine to use the new parameter
1850 names.
1851 (Validate_Cycle, Validate_Cycle_Path, Validate_Cycles,
1852 Validate_Invocation_Graph_Vertex): Remove the validation of
1853 component Lib_Vertex. Add the validation of components
1854 Body_Vertex and Spec_Vertex.
1855 (Write_Error): New routine.
1856 * bindo-validators.ads (Validate_Cycles): New routine.
1857 * bindo-writers.adb: Update the parameter profiles of most
1858 routines to use better parameter names. Update the
1859 implementation of most routine to use the new parameter names.
1860 (Write_Cycle, Write_Cyclic_Edge, Write_Cycles): New routines.
1861 (Write_Invocation_Graph_Vertex): Remove the output of component
1862 Lib_Vertex. Add the output of components Body_Vertex and
1863 Spec_Vertex.
1864 * bindo-writers.ads (Write_Cycles): New routine.
1865 * debug.adb: Use binder switches -d_C and -d_P, add
1866 documentation on their usage.
1867 * gnatbind.adb: Remove with and use clauses for Binde. Delegate
1868 the choice of elaboration mechanism to Bindo.
1869 * lib-writ.adb (Column, Extra, Invoker, Kind, Line, Locations,
1870 Name, Placement, Scope, Signature, Target): Removed.
1871 (Write_Invocation_Graph): Moved at the top level.
1872 (Write_Invocation_Graph_Attributes): New routine.
1873 (Write_Invocation_Relation, Write_Invocation_Signature): Moved
1874 at the top level.
1875 * lib-writ.ads: Add a documentation section on invocation graph
1876 attributes.
1877 * sem_elab.adb (Body_Placement_Of): New routine.
1878 (Declare_Invocation_Construct): Update the call to
1879 Add_Invocation_Construct.
1880 (Declaration_Placement_Of_Node): New routine.
1881 (Get_Invocation_Attributes): Correct the retrieval of the
1882 enclosing subprogram where the postcondition procedure lives.
1883 (Placement_Of, Placement_Of_Node): Removed.
1884 (Record_Invocation_Graph): Record the encoding format used.
1885 (Record_Invocation_Graph_Encoding): New routine.
1886 (Record_Invocation_Relation): Update the call to
1887 Add_Invocation_Relation.
1888 (Spec_Placement_Of): Removed.
1889 * libgnat/g-lists.ads, libgnat/g-lists.adb (Equal): New routine.
1891 2019-07-05 Ed Schonberg <schonberg@adacore.com>
1893 * checks.adb (Apply_Predicate_Check): Except within the
1894 subprogram body that defines the formal, do not apply predicate
1895 check on a formal IN parameter: such a check is redundant and
1896 its expansion can lead to out-of-scope references when it is
1897 originates in a function call in a precondition,
1899 2019-07-05 Yannick Moy <moy@adacore.com>
1901 * sem_res.adb (Resolve_Call): Cannot inline in quantified
1902 expressions.
1903 * sem_util.adb, sem_util.ads (In_Quantified_Expression): New
1904 function.
1906 2019-07-05 Bob Duff <duff@adacore.com>
1908 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
1909 Fix typo.
1910 * gnat_rm.texi: Regenerate.
1912 2019-07-05 Bob Duff <duff@adacore.com>
1914 * exp_attr.adb (Input): Take the No_Stream_Optimizations
1915 restriction into account.
1917 2019-07-05 Claire Dross <dross@adacore.com>
1919 * libgnat/a-cofove.ads, libgnat/a-cofove.adb: Definite formal
1920 vectors are now always bounded so that they do not need to be
1921 limited anymore.
1923 2019-07-05 Dmitriy Anisimkov <anisimko@adacore.com>
1925 * libgnat/g-traceb.ads, libgnat/g-traceb.adb (Call_Chain): New
1926 function.
1928 2019-07-04 James Clarke <jrtc27@debian.org>
1930 * libgnarl/s-osinte__kfreebsd-gnu.ads (clockid_t): Make type
1931 definition public.
1932 (CLOCK_REALTIME): Make value public.
1934 2019-07-04 Javier Miranda <miranda@adacore.com>
1936 * exp_tss.adb (Init_Proc): Adding missing support for access to
1937 subprograms and access to protected subprograms of non-default
1938 C++ constructors.
1940 2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
1942 * gnat1drv.adb (Adjust_Global_Switches): Use proper interface to
1943 set the validity settings in CodePeer mode.
1944 * par-load.adb (Load): Remove all code dealing with validity
1945 settings.
1946 * validsw.ads (Validity_Check_Copies): Alphabetize.
1947 * validsw.adb (Reset_Validity_Check_Options): Set all options to
1948 off.
1949 (Save_Validity_Check_Options): Save all options.
1951 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
1953 * exp_ch3.adb, exp_ch4.adb, exp_ch4.ads, exp_ch5.adb,
1954 exp_ch7.adb, exp_ch9.adb, exp_ch11.adb, exp_unst.adb,
1955 rtsfind.ads, sem_attr.adb, sem_ch10.adb, sem_ch12.adb,
1956 sem_ch13.adb, sem_dim.adb, sem_disp.adb, xref_lib.adb: Minor
1957 reformatting.
1959 2019-07-04 Joffrey Huguet <huguet@adacore.com>
1961 * libgnarl/a-taside.ads: Add assertion policy to ignore
1962 preconditions.
1963 (Abort_Task, Is_Terminated, Is_Callable): Add preconditions.
1965 2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
1967 * doc/gnat_rm/implementation_defined_pragmas.rst: Fix
1968 capitalization and parenthesis glitches.
1969 * gnat_rm.texi: Regenerate.
1971 2019-07-04 Ed Schonberg <schonberg@adacore.com>
1973 * sem_ch10.adb (Remove_Context_Clauses): Handle properly the
1974 removal of a limited_with_clause which appears in the library
1975 unit oF the main unit, when some other unit in the context has a
1976 regular with_clause on the same unit, to prevent spurious
1977 visibility errors in the subsequent analysis of pending instance
1978 bodies.
1980 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
1982 * sem_elab.adb: Add new type Elaboration_Phase_Status along with
1983 a global to keep track of the elaboration phase status.
1984 Initialize all internal data structures to Nil for services
1985 Elaborated_Units, Internal_Representation, and Scenario_Storage.
1986 (Build_Call_Marker): Do not create a call marker when the
1987 elaboration phase is not active.
1988 (Build_Variable_Reference_Marker): Do not create a call marker
1989 when the elaboration phase is not active.
1990 (Check_Elaboration_Scenarios): Destroy all internal structures
1991 when the elaboration phase does not have to run. Do not execute
1992 when the elaboration phase is not active.
1993 (Elaboration_Phase_Active): New routine.
1994 (Finalize_All_Data_Structures): New routine.
1995 (Initialize): Initialize all internal data structures and signal
1996 that the elaboration phase has started.
1997 (Initialize_All_Data_Structures): New routine.
1998 (Initialize_Elaborated_Units): Initialize all internal data
1999 structures.
2000 (Initialize_Internal_Representation): Initialize all internal
2001 data structures.
2002 (Initialize_Scenario_Storage): Initialize all internal data
2003 structures.
2004 (Kill_Elaboration_Scenario): Do not execute when the elaboration
2005 phase is not active.
2006 (Set_Elaboration_Phase): New routine.
2007 (Update_Elaboration_Scenario): Do not execute when the
2008 elaboration phase is not active.
2010 2019-07-04 Gary Dismukes <dismukes@adacore.com>
2012 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The special
2013 treatment of calling Mask_Unfrozen_Types must also be done in
2014 the case of an Ignored_Ghost_Entity, because Expander_Active is
2015 False in that case.
2017 2019-07-04 Yannick Moy <moy@adacore.com>
2019 * sem_prag.adb (Check_Library_Level_Entity): Update for new rule
2020 on SPARK_Mode.
2022 2019-07-04 Justin Squirek <squirek@adacore.com>
2024 * sem_disp.adb (Check_Controlling_Formals): Obtain the full view
2025 before type comparison.
2027 2019-07-04 Ed Schonberg <schonberg@adacore.com>
2029 * exp_ch4.ads, exp_ch4.adb (Build_Eq_Call): New visible
2030 subprogram, extracted from Expand_Composite_Equality, to handle
2031 properly the composition of equality for variant record types.
2032 * exp_ch3.adb (MAke_Eq_If): Use Build_Eq_Call for each
2033 component, to handle properly the case of a component with a
2034 user-defined equality. Revert to predefined equality if the
2035 user-defined operation is abstract, to maintain compatibility
2036 with older versions,
2038 2019-07-04 Justin Squirek <squirek@adacore.com>
2040 * exp_ch3.adb (Build_Initialization_Call): Fixup
2041 *_skip_null_excluding_check argument to handle new default.
2042 (Init_Formals): Make *_skip_null_excluding_check formal default
2043 to False
2044 * exp_ch4.adb (Expand_N_Allocator): Add comment to note heavy
2045 code duplication
2047 2019-07-04 Bob Duff <duff@adacore.com>
2049 * sem_ch3.adb (Access_Definition): Do not create a master unless
2050 Tasking_Allowed. Otherwise, this fails on restricted runtimes.
2052 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
2054 * sem_util.adb (Propagate_DIC_Attributes): Do not propagate the
2055 Default_Initial_Condition attributes to an incomplete type.
2057 2019-07-04 Ed Schonberg <schonberg@adacore.com>
2059 * sem_attr.adb (Check_Array_Type): An array type attribute such
2060 as 'First can be applied to an unconstrained array tyope when
2061 the attribute reference appears within an aspect specification
2062 and the prefix is a current instance, given that the prefix of
2063 the attribute will become a formal of the subprogram that
2064 implements the aspect (typically a predicate check).
2066 2019-07-04 Piotr Trojanek <trojanek@adacore.com>
2068 * sem_util.adb (Yields_Synchronized_Object): Fix typos in
2069 comments.
2071 2019-07-04 Yannick Moy <moy@adacore.com>
2073 * sem_util.adb (Yields_Synchronized_Object): Adapt to new SPARK
2074 rule.
2076 2019-07-04 Yannick Moy <moy@adacore.com>
2078 * sem_spark.adb (Check_Statement): Only check permission of
2079 object in extended return when it is of a deep type.
2081 2019-07-04 Justin Squirek <squirek@adacore.com>
2083 * sem_ch12.adb (Perform_Appropriate_Analysis): Added for
2084 selecting which type of analysis based on wheither the
2085 instantiation is a generic at the library-level. In which case
2086 expansion during analysis.
2087 (Preanalyze_Actuals): Modify calls to Analyze to use the new
2088 routine.
2090 2019-07-04 Ed Schonberg <schonberg@adacore.com>
2092 * exp_unst.adb: Handle conditional expressions.
2094 2019-07-04 Yannick Moy <moy@adacore.com>
2096 * sem_spark.adb (Check_Package_Spec, Check_Package_Body): Only
2097 analyze parts of the code marked in SPARK.
2099 2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
2101 * erroutc.adb, exp_aggr.adb, inline.adb, opt.adb, sem_ch3.adb:
2102 Minor reformatting.
2104 2019-07-04 Yannick Moy <moy@adacore.com>
2106 * sem_spark.adb (Explanation, Get_Expl): New functions to get
2107 the explanation for a permission mismatch.
2108 (Perm_Error, Perm_Mismatch, Perm_Error_Loop_Exit): Take
2109 explanation into account for issuing a more precise error
2110 message.
2111 (Set_Perm_Prefixes, Set_Perm_Extensions,
2112 Set_Perm_Extensions_Move): Pass suitable argument for the
2113 explanation node.
2115 2019-07-04 Arnaud Charlet <charlet@adacore.com>
2117 * exp_aggr.adb (In_Place_Assign_OK): Moved to top level and add
2118 support for record aggregates.
2119 (Component_Check): Use Is_CCG_Supported_Aggregate instead of a
2120 similar local predicate.
2121 (Convert_To_Assignments): Take advantage of In_Place_Assign_OK
2122 predicate when possible.
2123 (Is_CCG_Supported_Aggregate): Return False for records with
2124 representation clauses and fix the logic for dealing with nested
2125 aggregates.
2127 2019-07-04 Piotr Trojanek <trojanek@adacore.com>
2129 * opt.adb (Set_Config_Switches): Keep assertions policy as
2130 enabled when analysing internal units in GNATprove mode.
2132 2019-07-04 Arnaud Charlet <charlet@adacore.com>
2134 * exp_ch4.adb (Expand_Short_Circuit_Operator): Strip
2135 N_Variable_Reference_Marker when checking for the presence of
2136 actions.
2138 2019-07-04 Arnaud Charlet <charlet@adacore.com>
2140 * exp_aggr.adb (Check_Component): Take into account type
2141 conversions.
2143 2019-07-04 Dmitriy Anisimkov <anisimko@adacore.com>
2145 * doc/gnat_ugn/platform_specific_information.rst: Document
2146 Windows socket timeout particularity.
2147 * gnat_ugn.texi: Regenerate.
2148 * gsocket.h: Include versionhelpers.h.
2149 * socket.c (__gnat_minus_500ms): New function.
2150 * libgnat/g-sothco.ads (Minus_500ms_Windows_Timeout): New
2151 imported function.
2152 * libgnat/g-socket.adb (Set_Socket_Option): Refactor to remove
2153 500ms from the requested timeout only on old Windows version.
2155 2019-07-04 Thomas Quinot <quinot@adacore.com>
2157 * get_scos.adb: Remove bogus, dead code.
2159 2019-07-04 Ed Schonberg <schonberg@adacore.com>
2161 * sem_dim.adb (Analyze_Dimension_Array_Aggregate): If the
2162 component is an entity name, its dimensions are those of its
2163 type.
2165 2019-07-03 Bob Duff <duff@adacore.com>
2167 * doc/gnat_ugn/gnat_utility_programs.rst: Document new flags in
2168 GNATpp.
2170 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
2172 * binde.adb: Remove with clause for System.OS_Lib.
2173 (Force_Elab_Order): Refactor the majority of the code in Butil.
2174 Use the new forced units iterator to obtain unit names.
2175 * bindo-builders.adb: Add with and use clauses for Binderr,
2176 Butil, Opt, Output, Types, GNAT, and GNAT.Dynamic_HTables. Add
2177 a hash table which maps units to line number in the forced
2178 elaboration order file.
2179 (Add_Unit): New routine.
2180 (Build_Library_Graph): Create forced edges between pairs of
2181 units listed in the forced elaboration order file.
2182 (Create_Forced_Edge, Create_Forced_Edges, Destroy_Line_Number,
2183 Duplicate_Unit_Error, Hash_Unit, Internal_Unit_Info,
2184 Is_Duplicate_Unit, Missing_Unit_Info): New routines.
2185 * bindo-graphs.adb (Is_Internal_Unit, Is_Predefined_Unit):
2186 Refactor some of the behavior to Bindo-Units.
2187 * bindo-graphs.ads: Enable the enumeration literal for forced
2188 edges.
2189 * bindo-units.adb, bindo-units.ads (Is_Internal_Unit,
2190 Is_Predefined_Unit): New routines.
2191 * butil.adb: Add with and use clauses for Opt, GNAT, and
2192 System.OS_Lib. Add with clause for Unchecked_Deallocation.
2193 (Has_Next, Iterate_Forced_Units, Next, Parse_Next_Unit_Name,
2194 Read_Forced_Elab_Order_File): New routines.
2195 * butil.ads: Add with and use clauses for Types. Add new
2196 iterator over the units listed in the forced elaboration order
2197 file.
2198 (Has_Next, Iterate_Forced_Units, Next): New routine.
2199 * namet.adb, namet.ads (Present): New routine.
2201 2019-07-03 Bob Duff <duff@adacore.com>
2203 * sem_ch3.adb (Access_Definition): The code was creating a
2204 master in the case where the designated type is a class-wide
2205 interface type. Create a master in the noninterface case as
2206 well. That is, create a master for all limited class-wide types.
2208 2019-07-03 Yannick Moy <moy@adacore.com>
2210 * erroutc.adb (Sloc_In_Range): New function to determine whether
2211 the range of a pragma Warnings covers a location, taking
2212 instantiations into account.
2214 2019-07-03 Johannes Kanig <kanig@adacore.com>
2216 * osint.ads, osint.adb (Get_First_Main_File_Name): New routine
2217 to access the first file provided on the command line.
2219 2019-07-03 Ed Schonberg <schonberg@adacore.com>
2221 * inline.adb (Process_Formals_In_Aspects): New procedure within
2222 Expand_Inlined_Call, to perform a replacement of references to
2223 formals that appear in aspect specifications within the body
2224 being inlined.
2226 2019-07-03 Justin Squirek <squirek@adacore.com>
2228 * sem_ch8.adb (Analyze_Object_Renaming): Add call to search for
2229 the appropriate actual subtype of the object renaming being
2230 analyzed.
2231 (Check_Constrained_Object): Minor cleanup.
2233 2019-07-03 Yannick Moy <moy@adacore.com>
2235 * sem_spark.adb (Get_Observed_Or_Borrowed_Expr): New function to
2236 return go through traversal function call.
2237 (Check_Type): Consistently use underlying type.
2238 (Get_Perm): Adapt for case of elaboration code where variables
2239 are not declared in the environment. Remove incorrect handling
2240 of borrow and observe.
2242 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
2244 * inline.adb (Build_Return_Object_Formal): New routine.
2245 (Can_Split_Unconstrained_Function): Code clean up.
2246 (Copy_Formals,Copy_Return_Object): New routines.
2247 (Split_Unconstrained_Function): Code clean up and refactoring.
2249 2019-07-03 Gary Dismukes <dismukes@adacore.com>
2251 * bindo-augmentors.adb, bindo-augmentors.ads,
2252 bindo-builders.ads, bindo-elaborators.adb, sem_ch12.adb,
2253 sem_ch13.adb, sem_spark.adb, sinfo.ads: Minor editorial
2254 corrections and reformatting.
2256 2019-07-03 Bob Duff <duff@adacore.com>
2258 * sem_warn.adb (Check_Infinite_Loop_Warning): Avoid the warning
2259 if an Iterator_Specification is present.
2261 2019-07-03 Bob Duff <duff@adacore.com>
2263 * doc/gnat_ugn/gnat_utility_programs.rst: Document default
2264 new-line behavior.
2266 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
2268 * ali.adb: Add with and use clauses for GNAT,
2269 GNAT.Dynamic_HTables, and Snames. Add a map from invocation
2270 signature records to invocation signature ids. Add various
2271 encodings of invocation-related attributes. Sort and update
2272 table Known_ALI_Lines.
2273 (Add_Invocation_Construct, Add_Invocation_Relation,
2274 Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
2275 Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
2276 Code_To_Invocation_Graph_Line_Kind, Destroy, Hash): New
2277 routines.
2278 (Initialize_ALI): Sort the initialization sequence. Add
2279 initialization for all invocation-related tables.
2280 (Invocation_Construct_Kind_To_Code,
2281 Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
2282 Invocation_Signature_Of, Present): New routines.
2283 (Scan_ALI): Add the default values for invocation-related ids.
2284 Scan invocation graph lines.
2285 (Scan_Invocation_Graph_Line): New routine.
2286 * ali.ads: Add with clause for GNAT.Dynamic_Tables. Add types
2287 for invocation constructs, relations, and signatures. Add
2288 tables for invocation constructs, relations, and signatures.
2289 Update Unit_Record to capture invocation-related ids. Relocate
2290 table Unit_Id_Tables and subtypes Unit_Id_Table, Unit_Id_Array
2291 from Binde.
2292 (Add_Invocation_Construct, Add_Invocation_Relation,
2293 Body_Placement_Kind_To_Code, Code_To_Body_Placement_Kind,
2294 Code_To_Invocation_Construct_Kind, Code_To_Invocation_Kind,
2295 Code_To_Invocation_Graph_Line_Kind,
2296 Invocation_Construct_Kind_To_Code,
2297 Invocation_Graph_Line_Kind_To_Code, Invocation_Kind_To_Code,
2298 Invocation_Signature_Of, Present): New routines.
2299 * binde.adb: Add with and use clause for Types. Add use clause
2300 for ALI.Unit_Id_Tables;
2301 * binde.ads: Relocate table Unit_Id_Tables and subtypes
2302 Unit_Id_Table, Unit_Id_Array to ALI.
2303 * bindgen.adb: Remove with and use clause for ALI.
2304 * bindgen.ads: Remove with and use clause for Binde. Add with
2305 and use clause for ALI.
2306 * bindo.adb, bindo.ads, bindo-augmentors.adb,
2307 bindo-augmentors.ads, bindo-builders.adb, bindo-builders.ads,
2308 bindo-diagnostics.adb, bindo-diagnostics.ads,
2309 bindo-elaborators.adb, bindo-elaborators.ads, bindo-graphs.adb,
2310 bindo-graphs.ads, bindo-units.adb, bindo-units.ads,
2311 bindo-validators.adb, bindo-validators.ads, bindo-writers.adb,
2312 bindo-writers.ads: New units.
2313 * debug.adb: Use and describe GNAT debug switches -gnatd_F and
2314 -gnatd_G. Add GNATbind debug switches in the ranges dA .. dZ,
2315 d.a .. d.z, d.A .. d.Z, d.1 .. d.9, d_a .. d_z, d_A .. d_Z, and
2316 d_1 .. d_9. Use and describe GNATbind debug switches -d_A,
2317 -d_I, -d_L, -d_N, -d_O, -d_T, and -d_V.
2318 * exp_util.adb, exp_util.ads (Exceptions_OK): Relocate to
2319 Sem_Util.
2320 * gnatbind.adb: Add with and use clause for Bindo. Use the new
2321 Bindo elaboration order only when -d_N is in effect.
2322 * lib-writ.adb
2323 (Column, Extra, Invoker, Kind, Line, Locations, Name, Placement,
2324 Scope, Signature, Target): New routines.
2325 (Write_ALI): Output all invocation-related data.
2326 (Write_Invocation_Graph): New routine.
2327 * lib-writ.ads: Document the invocation graph ALI line.
2328 * namet.adb, namet.ads (Present): New routines.
2329 * sem_ch8.adb (Find_Direct_Name): Capture the status of
2330 elaboration checks and warnings of an identifier.
2331 (Find_Expanded_Name): Capture the status of elaboration checks
2332 and warnings of an expanded name.
2333 * sem_ch12.adb (Analyze_Generic_Package_Declaration): Ensure
2334 that invocation graph-related data within the body of the main
2335 unit is encoded in the ALI file.
2336 (Analyze_Generic_Subprogram_Declaration): Ensure that invocation
2337 graph-related data within the body of the main unit is encoded
2338 in the ALI file.
2339 (Analyze_Package_Instantiation): Perform minimal decoration of
2340 the instance entity.
2341 (Analyze_Subprogram_Instantiation): Perform minimal decoration
2342 of the instance entity.
2343 * sem_elab.adb: Perform heavy refactoring of all code. The unit
2344 is now split into "services" which specialize in one area of ABE
2345 checks. Add processing in order to capture invocation-graph
2346 related attributes of the main unit, and encode them in the ALI
2347 file. The Processing phase can now operate in multiple modes,
2348 all described by type Processing_Kind. Scenarios and targets
2349 are now distinct at the higher level, and carry their own
2350 representations. This eliminates the need to constantly
2351 recompute their attributes, and offers the various processors a
2352 uniform interface. The various initial states of the Processing
2353 phase are now encoded using type Processing_In_State, and
2354 xxx_State constants.
2355 * sem_elab.ads: Update the literals of type
2356 Enclosing_Level_Kind. Add Inline pragmas on several routines.
2357 * sem_prag.adb (Process_Inline): Ensure that invocation
2358 graph-related data within the body of the main unit is encoded
2359 in the ALI file.
2360 * sem_util.adb (Enclosing_Generic_Body, Enclosing_Generic_Unit):
2361 Code clean up.
2362 (Exceptions_OK): Relocated from Sem_Util.
2363 (Mark_Save_Invocation_Graph_Of_Body): New routine.
2364 * sem_util.ads (Exceptions_OK): Relocated from Sem_Util.
2365 (Mark_Save_Invocation_Graph_Of_Body): New routine.
2366 * sinfo.adb (Is_Elaboration_Checks_OK_Node): Now applicable to
2367 N_Variable_Reference_Marker.
2368 (Is_Elaboration_Warnings_OK_Node): Now applicable to
2369 N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
2370 (Is_Read): Use Flag4.
2371 (Is_SPARK_Mode_On_Node): New applicable to
2372 N_Variable_Reference_Marker.
2373 (Is_Write): Use Flag5.
2374 (Save_Invocation_Graph_Of_Body): New routine.
2375 (Set_Is_Elaboration_Checks_OK_Node): Now applicable to
2376 N_Variable_Reference_Marker.
2377 (Set_Is_Elaboration_Warnings_OK_Node): Now applicable to
2378 N_Expanded_Name, N_Identifier, N_Variable_Reference_Marker.
2379 (Set_Is_SPARK_Mode_On_Node): New applicable to
2380 N_Variable_Reference_Marker.
2381 (Set_Save_Invocation_Graph_Of_Body): New routine.
2382 * sinfo.ads: Update the documentation of attributes
2383 Is_Elaboration_Checks_OK_Node, Is_Elaboration_Warnings_OK_Node,
2384 Is_SPARK_Mode_On_Node. Update the flag usage of attributes
2385 Is_Read, Is_Write. Add attribute Save_Invocation_Graph_Of_Body
2386 and update its occurrence in nodes.
2387 (Save_Invocation_Graph_Of_Body): New routine along with pragma
2388 Inline.
2389 (Set_Save_Invocation_Graph_Of_Body): New routine along with
2390 pragma Inline.
2391 * switch-b.adb (Scan_Binder_Switches): Refactor the scanning of
2392 debug switches.
2393 (Scan_Debug_Switches): New routine.
2394 * libgnat/g-dynhta.adb, libgnat/g-dynhta.ads (Contains): New routine.
2395 * libgnat/g-graphs.adb (Associate_Vertices): Update the use of
2396 Component_Vertex_Iterator.
2397 (Contains_Component, Contains_Edge, Contains_Vertex, Has_Next):
2398 Reimplemented.
2399 (Iterate_Component_Vertices): New routine.
2400 (Iterate_Vertices): Removed.
2401 (Next): Update the parameter profile.
2402 (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
2403 routines.
2404 * libgnat/g-graphs.ads: Update the initialization of
2405 No_Component. Add type Component_Vertex_Iterator. Remove type
2406 Vertex_Iterator.
2407 (Has_Next): Add new versions and remove old ones.
2408 (Iterate_Component_Vertices): New routine.
2409 (Iterate_Vertices): Removed.
2410 (Next): Add new versions and remove old ones.
2411 (Number_Of_Component_Vertices, Number_Of_Outgoing_Edges): New
2412 routines.
2413 * libgnat/g-sets.adb (Contains): Reimplemented.
2414 * gcc-interface/Make-lang.in (GNATBIND_OBJS): Add
2415 GNAT.Dynamic_HTables, GNAT.Graphs and Bindo units.
2416 * rtsfind.ads: Remove extra space.
2418 2019-07-03 Yannick Moy <moy@adacore.com>
2420 * sem_spark.adb: Add support for locally borrowing and observing
2421 a path.
2422 (Get_Root_Object): Add parameter Through_Traversal to denote
2423 when we are interesting in getting to the traversed parameter.
2424 (Is_Prefix_Or_Almost): New function to support detection of
2425 illegal access to borrowed or observed paths.
2426 (Check_Pragma): Add analysis of assertion pragmas.
2428 2019-07-03 Ed Schonberg <schonberg@adacore.com>
2430 * sem_ch13.adb (Build_Predicate_Functions): In a generic context
2431 we do not build the bodies of predicate fuctions, but the
2432 expression in a static predicate must be elaborated to allow
2433 case coverage checking within the generic unit.
2434 (Build_Discrete_Static_Predicate): In a generic context, return
2435 without building function body once the
2436 Static_Discrete_Predicate expression for the type has been
2437 constructed.
2439 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
2441 * bindgen.adb, inline.adb, layout.adb, sem_ch12.adb,
2442 sem_ch13.adb, sem_ch7.adb, styleg.adb: Minor reformatting.
2444 2019-07-03 Bob Duff <duff@adacore.com>
2446 * par-ch3.adb (P_Defining_Identifier): Call
2447 Check_Defining_Identifier_Casing.
2448 * style.ads, styleg.ads, styleg.adb
2449 (Check_Defining_Identifier_Casing): New procedure to check for
2450 mixed-case defining identifiers.
2451 * stylesw.ads, stylesw.adb (Style_Check_Mixed_Case_Decls): New
2452 flag for checking for mixed-case defining identifiers.
2453 * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
2454 Document new feature.
2455 * gnat_ugn.texi: Regenerate.
2457 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
2459 * doc/gnat_ugn/building_executable_programs_with_gnat.rst
2460 (Warning message control): Document that -gnatw.z/Z apply to
2461 array types.
2462 * freeze.adb (Freeze_Entity): Give -gnatw.z warning for array
2463 types as well, but not if the specified alignment is the minimum
2464 one.
2465 * gnat_ugn.texi: Regenerate.
2467 2019-07-03 Bob Duff <duff@adacore.com>
2469 * einfo.ads, exp_util.adb, layout.ads, sinfo.ads: Spell "laid"
2470 correctly.
2472 2019-07-03 Ed Schonberg <schonberg@adacore.com>
2474 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): No error
2475 message on attribute applied to a renaming when the renamed
2476 object is an aggregate (from code reading).
2477 (Check_Aspect_At_End_Of_Declarations): In a generic context
2478 where freeze nodes are not generated, the original expression
2479 for an aspect may need to be analyzed to precent spurious
2480 conformance errors when compared with the expression that is
2481 anakyzed at the end of the current declarative list.
2483 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
2485 * layout.adb (Layout_Type): Do not set the component size of an
2486 array with a scalar component if the component type is
2487 overaligned.
2489 2019-07-03 Ed Schonberg <schonberg@adacore.com>
2491 * inline.adb (Make_Loop_Labels_Unique): New procedure to modify
2492 the source code of subprograms that are inlined by the
2493 front-end, to prevent accidental duplication between loop labels
2494 in the inlined code and the code surrounding the inlined call.
2496 2019-07-03 Hristian Kirtchev <kirtchev@adacore.com>
2498 * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
2499 the section on resolving elaboration circularities to eliminate
2500 certain combinations of switches which together do not produce
2501 the desired effect and confuse users.
2502 * gnat_ugn.texi: Regenerate.
2504 2019-07-03 Arnaud Charlet <charlet@adacore.com>
2506 * bindgen.adb (Gen_Main): Disable generation of reference to
2507 Ada_Main_Program_Name for CCG.
2508 * bindusg.adb (Display): Add -G to the command-line usage for
2509 gnatbind.
2510 * opt.ads (Generate_C_Code): Update comment.
2511 * switch-b.adb (Scan_Binder_Switches): Add handling for -G.
2513 2019-07-03 Arnaud Charlet <charlet@adacore.com>
2515 * sem_ch7.adb (Has_Referencer): Do not consider inlined
2516 subprograms when generating C code, which allows us to generate
2517 static inline subprograms.
2519 2019-07-03 Justin Squirek <squirek@adacore.com>
2521 * sem_ch6.adb (Check_Conformance): Add expression checking for
2522 constant modifiers in anonymous access types (in addition to
2523 "non-null" types) so that they are considered "matching" for
2524 subsequent conformance tests.
2526 2019-07-03 Arnaud Charlet <charlet@adacore.com>
2528 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
2529 Clarify wording on No_Multiple_Elaboration.
2530 * gnat_rm.texi: Regenerate.
2532 2019-07-03 Ed Schonberg <schonberg@adacore.com>
2534 * sem_ch8.adb (Find_Selected_Component): If the prefix is the
2535 current instance of a type or subtype, complete the resolution
2536 of the name by finding the component of the type denoted by the
2537 selector name.
2539 2019-07-03 Eric Botcazou <ebotcazou@adacore.com>
2541 * doc/gnat_rm/interfacing_to_other_languages.rst (Interfacing to C):
2542 Document that boolean types with convention C now map to C99 bool.
2543 * gnat_rm.texi: Regenerate.
2545 2019-07-03 Javier Miranda <miranda@adacore.com>
2547 * exp_attr.adb (Expand_Min_Max_Attribute): Code cleanup:
2548 removing code that it is now never executed in the CCG compiler
2549 (dead code).
2551 2019-07-02 Iain Sandoe <iain@sandoe.co.uk>
2553 * libgnat/system-darwin-ppc.ads: Set Stack_Check_Probes True for
2554 PPC Darwin.
2556 2019-07-01 Ed Schonberg <schonberg@adacore.com>
2558 * sem_ch12.adb (Is_Defaulted): New predicate in
2559 Check_Formal_Package_Intance, to skip the conformance of checks
2560 on parameters of a formal package that are defaulted,
2562 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
2564 * checks.adb, exp_ch9.adb, exp_unst.adb, sem_ch4.adb,
2565 sem_prag.adb, sem_spark.adb: Minor reformatting.
2567 2019-07-01 Ed Schonberg <schonberg@adacore.com>
2569 * sem_attr.adb (Analyze_Attribute, case Enum_Rep): Allow prefix
2570 of attribute to be an attribute reference of a discrete type.
2572 2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
2574 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Move up
2575 handling of Has_Pragma_Inline_Always and deal with
2576 Has_Pragma_No_Inline.
2578 2019-07-01 Ed Schonberg <schonberg@adacore.com>
2580 * sem_ch3.adb (Build_Derived_Record_Type): If the parent type is
2581 declared as a subtype of a private type with an inherited
2582 discriminant constraint, its generated full base appears as a
2583 record subtype, so we need to retrieve its oen base type so that
2584 the inherited constraint can be applied to it.
2586 2019-07-01 Yannick Moy <moy@adacore.com>
2588 * sem_spark.adb: Completely rework the algorithm for ownership
2589 checking, as the rules in SPARK RM have changed a lot.
2590 * sem_spark.ads: Update comments.
2592 2019-07-01 Dmitriy Anisimkov <anisimko@adacore.com>
2594 * gsocket.h (Has_Sockaddr_Len): Use the offset of sin_family offset in
2595 the sockaddr_in structure to determine the existence of length field
2596 before the sin_family.
2598 2019-07-01 Ed Schonberg <schonberg@adacore.com>
2600 * sem_prag.adb (Analyze_Pragma, case Weak_External): Pragma only
2601 applies to entities with run-time addresses, not to types.
2603 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
2605 * einfo.adb, sem_ch7.adb, sem_prag.adb, sem_util.adb: Update
2606 references to the SPARK RM after the removal of Rule 7.1.4(5).
2608 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
2610 * sysdep.c: Cleanup references to LynuxWorks in docs and
2611 comments.
2613 2019-07-01 Ed Schonberg <schonberg@adacore.com>
2615 * checks.adb (Insert_Valid_Check): Do not apply validity check
2616 to variable declared within a protected object that uses the
2617 Lock_Free implementation, to prevent unwarranted constant
2618 folding, because entities within such an object msut be treated
2619 as volatile.
2621 2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
2623 * exp_ch9.adb (Check_Inlining): Deal with Has_Pragma_No_Inline.
2625 2019-07-01 Ed Schonberg <schonberg@adacore.com>
2627 * exp_unst.adb (Visit_Node, Check_Static_Type): Improve the
2628 handling of private and incomplete types whose full view is an
2629 access type, to detect additional uplevel references in dynamic
2630 bounds. This is relevant to N_Free_Statement among others that
2631 manipulate types whose full viww may be an access type.
2633 2019-07-01 Pat Rogers <rogers@adacore.com>
2635 * doc/gnat_rm/representation_clauses_and_pragmas.rst: Correct
2636 size indicated for R as a component of an array.
2637 * gnat_rm.texi: Regenerate.
2639 2019-07-01 Justin Squirek <squirek@adacore.com>
2641 * libgnat/s-win32.ads: Add definition for ULONG, modify
2642 OVERLAPPED type, and add appropriate pragmas.
2644 2019-07-01 Bob Duff <duff@adacore.com>
2646 * gnat1drv.adb (gnat1drv): Call Write_ALI if the main unit is
2647 ignored-ghost.
2649 2019-07-01 Yannick Moy <moy@adacore.com>
2651 * sem_ch4.adb (Operator_Check): Refine error message.
2653 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
2655 * libgnat/a-calend.ads: Revert "Global => null" contracts on
2656 non-pure routines.
2658 2019-07-01 Piotr Trojanek <trojanek@adacore.com>
2660 * exp_attr.adb, libgnat/g-graphs.ads: Fix typos in comments:
2661 componant -> component.
2663 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
2665 * libgnat/g-graphs.adb: Use type Directed_Graph rather than
2666 Instance in various routines.
2667 * libgnat/g-graphs.ads: Change type Instance to Directed_Graph.
2668 Update various routines that mention the type.
2670 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
2672 * libgnat/g-sets.adb: Use type Membership_Set rathern than
2673 Instance in various routines.
2674 * libgnat/g-sets.ads: Change type Instance to Membership_Set.
2675 Update various routines that mention the type.
2677 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
2679 * libgnat/g-lists.adb: Use type Doubly_Linked_List rather than
2680 Instance in various routines.
2681 * libgnat/g-lists.ads: Change type Instance to
2682 Doubly_Linked_List. Update various routines that mention the
2683 type.
2685 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
2687 * libgnat/g-dynhta.adb: Use type Dynamic_Hash_Table rather than
2688 Instance in various routines.
2689 * libgnat/g-dynhta.ads: Change type Instance to
2690 Dynamic_Hash_Table. Update various routines that mention the
2691 type.
2693 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
2695 * exp_attr.adb, exp_ch7.adb, exp_unst.adb, sem_ch3.adb,
2696 sem_util.adb, uintp.adb, uintp.ads: Minor reformatting.
2698 2019-07-01 Javier Miranda <miranda@adacore.com>
2700 * exp_attr.adb (Expand_Min_Max_Attribute): Disable expansion of
2701 'Min/'Max on integer, enumeration, fixed point and floating
2702 point types since the CCG backend now provides in file
2703 standard.h routines to support it.
2705 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
2707 * impunit.adb: Add GNAT.Graphs to list Non_Imp_File_Names_95.
2708 * Makefile.rtl, gcc-interface/Make-lang.in: Register unit
2709 GNAT.Graphs.
2710 * libgnat/g-dynhta.adb: Various minor cleanups (use Present
2711 rather than direct comparisons).
2712 (Delete): Reimplement to use Delete_Node.
2713 (Delete_Node): New routine.
2714 (Destroy_Bucket): Invoke the provided destructor.
2715 (Present): New routines.
2716 * libgnat/g-dynhta.ads: Add new generic formal Destroy_Value.
2717 Use better names for the components of iterators.
2718 * libgnat/g-graphs.adb, libgnat/g-graphs.ads: New unit.
2719 * libgnat/g-lists.adb: Various minor cleanups (use Present
2720 rather than direct comparisons).
2721 (Delete_Node): Invoke the provided destructor.
2722 (Present): New routine.
2723 * libgnat/g-lists.ads: Add new generic formal Destroy_Element.
2724 Use better names for the components of iterators.
2725 (Present): New routine.
2726 * libgnat/g-sets.adb, libgnat/g-sets.ads (Destroy, Preset,
2727 Reset): New routines.
2729 2019-07-01 Dmitriy Anisimkov <anisimko@adacore.com>
2731 * libgnat/g-sothco.adb (Get_Address): Fix the case when AF_INET6
2732 is not defined.
2734 2019-07-01 Ed Schonberg <schonberg@adacore.com>
2736 * exp_attr.adb (Expand_Attribute_Reference, case Invalid_Value):
2737 Resolve result of call to Get_Simple_Init_Val, which may be a
2738 conversion of a literal.
2740 2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
2742 * freeze.adb (Freeze_Expression): Remove the horrible useless
2743 name hiding of N. Insert the freeze nodes generated by the
2744 expression prior to the expression when the nearest enclosing
2745 scope is transient.
2747 2019-07-01 Pierre-Marie de Rodat <derodat@adacore.com>
2749 * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix
2750 formatting issues in the -gnatR section.
2751 * gnat_ugn.texi: Regenerate.
2753 2019-06-30 Iain Sandoe <iain@sandoe.co.uk>
2755 * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches.
2756 Push -shared-libgcc explicitly, when it is the target default (unless
2757 overidden by the static flag).
2758 When the user has put an instance of shared/static-libgcc do not push
2759 a duplicate of this.
2761 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
2763 * gcc-interface/decl.c (gnat_to_gnu_entity): Beep up comment on SAVED,
2764 and tweak comment on the assertion about the scopes of Itypes. Do not
2765 skip the regular processing for Itypes that are E_Record_Subtype with
2766 a Cloned_Subtype. Get the Cloned_Subtype for every E_Record_Subtype
2767 if the type is dummy and hasn't got its own freeze node.
2768 <E_Record_Subtype>: Save again the DECL of the Cloned_Subtype, if any.
2769 <E_Access_Subtype>: Save again the DECL of the equivalent type.
2770 (Gigi_Equivalent_Type) <E_Access_Subtype>: New case.
2772 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
2774 * gcc-interface/utils.c (unchecked_convert): Tweak comment. Only skip
2775 dereferences when padding to have the same size on both sides. Do it
2776 for destination types with self-referential size too.
2778 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
2780 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: If the
2781 type requires strict alignment, then set the RM size to the type size.
2782 Rework handling of alignment and sizes of tagged types in ASIS mode.
2783 (validate_size): Rename local variable and remove special handling for
2784 strict-alignment types.
2785 * gcc-interface/utils.c (finish_record_type): Constify local variables
2786 and use properly typed constants.
2788 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
2790 * gcc-interface/decl.c (gnat_to_gnu_field): Rework error messages for
2791 fields requiring strict alignment, add explicit test on Storage_Unit
2792 for position and size, and mention type alignment for position.
2794 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
2796 * gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED on
2797 the main variant of a type, if any.
2799 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
2801 * gcc-interface/decl.c (set_nonaliased_component_on_array_type): Add
2802 missing guard for the presence of TYPE_CANONICAL.
2803 (set_reverse_storage_order_on_array_type): Likewise.
2805 2019-06-29 Eric Botcazou <ebotcazou@adacore.com>
2807 * gcc-interface/gigi.h (make_packable_type): Remove default value.
2808 (value_factor_p): Tweak prototype.
2809 * gcc-interface/decl.c (gnat_to_gnu_entity): Add comment.
2810 (gnat_to_gnu_component_type): Likewise.
2811 (gnat_to_gnu_field): Likewise. Fetch the position of the field earlier
2812 and simplify the condition under which the type is packed. Declare
2813 local variable is_bitfield. Pass 1 as max_align to make_packable_type
2814 if it is set to true.
2815 (copy_and_substitute_in_layout): Pass 0 to make_packable_type.
2816 * gcc-interface/utils.c (make_packable_array_type): New function.
2817 (make_packable_type): Use it to rewrite the type of array field.
2818 (maybe_pad_type): Pass align parameter to make_packable_type.
2819 (create_field_decl): Minor tweaks.
2820 (value_factor_p): Assert that FACTOR is a power of 2 and replace the
2821 modulo computation by a masking operation.
2823 2019-06-25 Eric Botcazou <ebotcazou@adacore.com>
2825 * gcc-interface/decl.c (gnat_to_gnu_entity): Remove superfluous test
2826 in previous change.
2827 * gcc-interface/gigi.h (maybe_character_type): Fix formatting.
2828 (maybe_character_value): Likewise.
2830 2019-06-24 Jan Hubicka <jh@suse.cz>
2832 * gcc-interface/decl.c (gnat_to_gnu_entity): Check that
2833 type is array or integer prior checking string flag.
2834 * gcc-interface/gigi.h (maybe_character_type): Likewise.
2835 (maybe_character_value): Likewise.
2837 2019-06-24 Martin Sebor <msebor@redhat.com>
2839 * gcc-interface/utils.c (handle_nonnull_attribute): Quote attribute
2840 name.
2842 2019-06-18 Arnaud Charlet <charlet@adacore.com>
2844 PR ada/80590
2845 * sem_ch5.adb (Analyze_Loop_Statement): Avoid exception propagation
2846 during normal processing.
2848 2019-06-17 Arnaud Charlet <charlet@adacore.com>
2850 PR ada/80590
2851 * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Swap the two
2852 conditions to avoid a unnecessary exception propagation in the default
2853 case.
2855 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2857 * gcc-interface/utils.c (handle_stack_protect_attribute): Move around.
2859 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2861 * doc/gnat_rm/implementation_defined_pragmas.rst (Machine_Attribute):
2862 Document additional optional parameters.
2863 * sem_prag.adb (Analyze_Pragma) <Pragma_Machine_Attribute>: Accept
2864 more than one optional parameter.
2865 * gcc-interface/decl.c (prepend_one_attribute_pragma): Alphabetize
2866 the list of supported pragmas. Simplify the handling of parameters
2867 and add support for more than one optional parameter.
2868 * gcc-interface/utils.c (attr_cold_hot_exclusions): New constant.
2869 (gnat_internal_attribute_table): Add entry for no_icf, noipa, flatten,
2870 used, cold, hot, target and target_clones.
2871 (begin_subprog_body): Do not create the RTL for the subprogram here.
2872 (handle_noicf_attribute): New static function.
2873 (handle_noipa_attribute): Likewise.
2874 (handle_flatten_attribute): Likewise.
2875 (handle_used_attribute): Likewise.
2876 (handle_cold_attribute): Likewise.
2877 (handle_hot_attribute): Likewise.
2878 (handle_target_attribute): Likewise.
2879 (handle_target_clones_attribute): Likewise.
2881 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2883 * gcc-interface/trans.c (lvalue_required_for_attribute_p): Return 0
2884 for 'Size too.
2885 (Identifier_to_gnu): Use the actual subtype for a reference to a
2886 packed array in a return statement.
2887 (Attribute_to_gnu) <Attr_Size>: Do not strip VIEW_CONVERT_EXPRs from
2888 the prefix in every case.
2890 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2892 * gcc-interface/trans.c (gnat_to_gnu): Remove superfluous tests on
2893 Backend_Overflow_Checks_On_Target and rework comments.
2895 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2897 * gcc-interface/trans.c (walk_nesting_tree): New static function.
2898 (finalize_nrv): Use it to walk the entire nesting tree.
2900 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2902 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Remove
2903 obsolete test on Is_For_Access_Subtype.
2905 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2907 * gcc-interface/decl.c (components_to_record): Set a name on the type
2908 created for the REP part, if any.
2909 * gcc-interface/utils.c (finish_record_type): Only take the maximum
2910 when merging sizes for a variant part at offset 0.
2911 (merge_sizes): Rename has_rep parameter into max.
2913 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2915 * gcc-interface/utils.c (gnat_internal_attribute_table): Add support
2916 for stack_protect attribute.
2917 (handle_stack_protect_attribute): New static function.
2919 2019-05-28 Eric Botcazou <ebotcazou@adacore.com>
2921 * gcc-interface/decl.c (intrin_arglists_compatible_p): Do not return
2922 false if the internal builtin uses a variable list.
2924 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
2926 * gcc-interface/trans.c (Call_to_gnu): Do not initialize the temporary
2927 created out of addressability concerns if it's for the _Init parameter
2928 of an initialization procedure.
2930 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
2932 * gcc-interface/ada-builtin-types.def: New file.
2933 * gcc-interface/ada-builtins.def: Likewise.
2934 * gcc-interface/ada-tree.h (BUILT_IN_LIKELY): New macro.
2935 (BUILT_IN_UNLIKELY): Likewise.
2936 * gcc-interface/trans.c (independent_iterations_p): Initialize the
2937 auto-vector to 16 elements.
2938 (Call_to_gnu): Remove local variable and change the vector of actual
2939 parameters to an auto-vector. Do not convert actual parameters to
2940 the argument type for front-end built-in functions. Add support for
2941 front-end built-in functions.
2942 (build_noreturn_cond): Use internal instead of built-in function.
2943 * gcc-interface/utils.c (c_builtin_type): Include ada-builtin-types.def
2944 (install_builtin_function_types): Likewise.
2945 (install_builtin_functions): Include ada-builtins.def first.
2947 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
2949 * gcc-interface/utils.c (maybe_pad_type): Issue the warning for the
2950 specific case of component types preferably.
2952 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
2954 * gcc-interface/trans.c (Identifier_to_gnu): Minor tweaks.
2955 (gnat_to_gnu): Do not convert the result if it is a reference to an
2956 unconstrained array used as the prefix of an attribute reference that
2957 requires an lvalue.
2959 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
2961 * gcc-interface/trans.c (Gigi_Types_Compatible): New predicate.
2962 (Identifier_to_gnu): Use it to assert that the type of the identifier
2963 and that of its entity are compatible for gigi. Rename a couple of
2964 local variables and separate the processing of the result type.
2966 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
2968 * gcc-interface/trans.c (Call_to_gnu): Use the unpadded type when
2969 putting back an intermediate conversion the type of the actuals.
2971 2019-05-27 Eric Botcazou <ebotcazou@adacore.com>
2973 * gcc-interface/trans.c (gnat_to_gnu) <Shift operations>: Convert the
2974 count to the unsigned version of its base type before proceeding.
2976 2019-05-16 Martin Sebor <msebor@redhat.com>
2978 * gcc-interface/trans.c (check_inlining_for_nested_subprog): Quote
2979 reserved names.
2981 2019-05-08 Arnaud Charlet <charlet@adacore.com>
2983 * standard.ads.h: New file.
2985 2019-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2987 * gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
2988 Honor DESTDIR.
2990 2019-04-29 Michael K. Darling <darlingm@gmail.com>
2992 * gnatvsn.ads: Bump Library_Version to 10.
2994 2019-04-24 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
2995 Bernd Edlinger <bernd.edlinger@hotmail.de>
2996 Jakub Jelinek <jakub@redhat.com>
2998 PR target/89093
2999 * raise-gcc.c (TARGET_ATTRIBUTE): Define.
3000 (continue_unwind, personality_body, PERSONALITY_FUNCTION): Add
3001 TARGET_ATTRIBUTE.
3003 2019-04-07 Eric Botcazou <ebotcazou@adacore.com>
3005 * libgnat/i-cexten.ads (CFloat_128): New type.
3007 2019-03-22 Dmitriy Anisimkov <anisimko@adacore.com>
3009 PR ada/89583
3010 * libgnat/g-socket.adb (Bind_Socket, Connect_Socket,
3011 Send_Socket): Fix the computation of structure lengths passed to
3012 low level routines.
3013 (Is_IPv6_Address): Fix the number of expected colons.
3015 2019-03-11 Martin Liska <mliska@suse.cz>
3017 * gcc-interface/misc.c (gnat_post_options): Wrap option name in string
3018 format message and fix GNU coding style.
3020 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
3022 * gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak.
3023 * gcc-interface/utils.c (convert): Do not pad when doing an unchecked
3024 conversion here. Use TREE_CONSTANT throughout the function.
3025 (unchecked_convert): Also pad if the source is a CONSTRUCTOR and the
3026 destination is a more aligned array type or a larger aggregate type,
3027 but not between original and packable versions of a type.
3029 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
3031 * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an
3032 operand with VOID_TYPE.
3034 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
3036 * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the
3037 entities of a package renaming another one.
3039 2019-02-08 Eric Botcazou <ebotcazou@adacore.com>
3041 * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on
3042 individual flag_unswitch_loops and flag_tree_loop_vectorize switches
3043 with test on global optimize switch.
3044 (Raise_Error_to_gnu): Likewise.
3046 2019-02-07 Eric Botcazou <ebotcazou@adacore.com>
3048 * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.
3050 2019-02-06 Arnaud Charlet <charlet@adacore.com>
3052 * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads
3054 2019-01-27 Eric Botcazou <ebotcazou@adacore.com>
3056 * repinfo.adb (List_Component_Layout): Remove superfluous space for
3057 zero-sized field.
3058 * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro.
3059 * gcc-interface/gigi.h (create_extra_subtype): Declare.
3060 * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise.
3061 (update_n_elem): New function.
3062 (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes
3063 instead of doing it manually.
3064 <E_Array_Type>: Use update_n_elem to compute the maximum size. Use the
3065 index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE
3066 of the array to the maximum size.
3067 <E_Array_Subtype>: Create an extra subtype using the index type of the
3068 base array type for self-referential bounds. Use update_n_elem to
3069 compute the maximum size. Set TYPE_ARRAY_MAX_SIZE of the array to the
3070 maximum size.
3071 (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants.
3072 * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of
3073 the base type for an extra subtype.
3074 (gnat_type_max_size): Remove obsolete code.
3075 * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak.
3076 (can_be_lower_p): Deal with pathological types.
3077 * gcc-interface/utils.c (create_extra_subtype): New function.
3078 (create_field_decl): Minor tweak.
3079 (max_size) <tcc_reference>: Compute a better value by using the extra
3080 subtypes on the self-referential bounds.
3081 <tcc_binary>: Rewrite. Deal with "negative value" in unsigned types.
3082 <tcc_expression>: Likewise.
3083 * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds
3084 of the arrays upfront. Swap only if the second length is not constant.
3085 Use comparisons on the original bounds consistently for the null tests.
3086 (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro.
3087 (build_allocator): Minor tweak.
3089 2019-01-27 Eric Botcazou <ebotcazou@adacore.com>
3091 * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
3092 the same value for every dimension of a multidimensional array type.
3094 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
3096 * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the
3097 iteration scheme, if present, throughout the translation.
3099 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
3101 * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use
3102 DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned
3103 by a call to memset if the LHS is a DECL.
3105 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
3107 * gcc-interface/trans.c (struct loop_info_d): Remove artificial field.
3108 (Loop_Statement_to_gnu): Do not set it.
3110 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
3112 * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting.
3113 (Acc_gnat_to_gnu): Likewise.
3114 (Acc_Data_to_gnu): Likewise.
3115 (Acc_Var_to_gnu): Likewise.
3116 (Acc_Reduc_to_gnu): Likewise.
3117 (Acc_Size_List_to_gnu): Likewise.
3118 (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise.
3119 <Pragma_Acc_Data>): Likewise.
3120 (find_loop_for): Remove default value for parameters.
3121 * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into...
3122 <N_Op_Eq>): ...this.
3124 2019-01-26 Eric Botcazou <ebotcazou@adacore.com>
3126 * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on
3127 the sign bit instead of on the sign of the value.
3128 <PLUS_EXPR>: Turn addition of negative constant into subtraction.
3129 <MULT_EXPR>: Add test for degenerate case.
3130 <BIT_AND_EXPR>: Simplify.
3132 2019-01-18 Sebastian Huber <sebastian.huber@embedded-brains.de>
3134 * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS.
3136 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
3138 PR other/16615
3139 * exp_ch11.adb: Change "can not" to "cannot".
3140 * sem_ch4.adb: Likewise.
3142 2019-01-09 Sandra Loosemore <sandra@codesourcery.com>
3144 PR other/16615
3145 * exp_ch9.adb: Mechanically replace "can not" with "cannot".
3146 * libgnat/s-regpat.ads: Likewise.
3147 * par-ch4.adb: Likewise.
3148 * set_targ.adb: Likewise.
3149 * types.ads: Likewise.
3151 2019-01-08 Justin Squirek <squirek@adacore.com>
3153 Revert:
3154 2018-07-31 Justin Squirek <squirek@adacore.com>
3156 * lib-writ.adb (Write_With_Lines): Modfiy the generation
3157 of dependencies within ali files so that source unit
3158 bodies are properly listed even if said bodies are
3159 missing. Perform legacy behavior in GNATprove mode.
3160 * lib-writ.ads: Modify documentation to reflect current
3161 behavior.
3163 and:
3164 2018-09-26 Justin Squirek <squirek@adacore.com>
3166 * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add
3167 documentation and an extra conditional check for RCI
3168 units so that generated ali files will list the spec
3169 only instead of a body when a body is not found.
3171 2019-01-04 Eric Botcazou <ebotcazou@adacore.com>
3173 * gnatvsn.ads: Bump copyright year.
3175 2019-01-01 Jakub Jelinek <jakub@redhat.com>
3177 Update copyright years.
3179 * gnat_ugn.texi: Bump @copying's copyright year.
3180 * gnat_rm.texi: Likewise.
3181 \f
3182 Copyright (C) 2019 Free Software Foundation, Inc.
3184 Copying and distribution of this file, with or without modification,
3185 are permitted in any medium without royalty provided the copyright
3186 notice and this notice are preserved.