1 2015-01-06 Pascal Obry <obry@adacore.com>
3 * bindgen.adb: Minor style fix.
5 2015-01-06 Robert Dewar <dewar@adacore.com>
7 * sem_util.ads, sem_util.adb: Minor reformatting.
9 2015-01-06 Vincent Celier <celier@adacore.com>
11 * prj-conf.adb (Parse_Project_And_Apply_Config): Reset incomplete
12 with flags before parsing the projects.
13 * prj-err.adb (Error_Msg): Do nothing if there are incomplete withs.
14 * prj-part.adb (Post_Parse_Context_Clause): Set Incomplete_Withs
15 to True in the flags, when Ignore_Missing_With is True and an
16 imported project cannot be found.
17 * prj-proc.adb (Expression): When there are incomplete withs and
18 a variable or attribute is not found, set the variable/attribute
20 * prj.ads (Processing_Flags): New flag Incomplete_Withs,
23 2015-01-06 Vasiliy Fofanov <fofanov@adacore.com>
25 * prj-proc.adb, prj-part.adb, prj.adb, prj.ads, prj-conf.adb,
26 prj-err.adb: Add new switch --no-command-line.
28 2015-01-06 Ed Schonberg <schonberg@adacore.com>
30 * sem_ch12.adb: Sloc of wrapper is that of instantiation.
32 2015-01-06 Robert Dewar <dewar@adacore.com>
34 * sem_ch11.adb: Minor reformatting.
36 2015-01-06 Ed Schonberg <schonberg@adacore.com>
38 * exp_aggr.adb (Get_Assoc_Expr): New routine internal to
39 Build_Array_Aggr_Code, used to initialized components covered
40 by a box association. If the component type is scalar and has
41 a default aspect, use it to initialize such components.
43 2015-01-06 Pascal Obry <obry@adacore.com>
45 * rtinit.c (__gnat_runtime_initialize): Add a parameter to
46 control the setup of the exception handler.
47 * initialize.c: Remove unused declaration.
48 * bindgen.adb: Always call __gnat_runtime_initialize and pass
49 whether the exeception handler must be set or not.
51 2015-01-06 Thomas Quinot <quinot@adacore.com>
53 * freeze.adb (Set_SSO_From_Defaults): When setting scalar storage
54 order to native from default, make sure to also adjust bit order.
55 * exp_aggr.adb: Minor reformatting.
57 2015-01-06 Robert Dewar <dewar@adacore.com>
59 * s-valllu.adb, s-valllu.ads, s-valuti.ads, s-valuns.adb, s-valuns.ads,
60 s-valrea.adb, s-valrea.ads: Add some additional guards for
61 Str'Last = Positive'Last.
63 2015-01-06 Ed Schonberg <schonberg@adacore.com>
65 * sem_ch12.adb, sem_ch8.adb: Ongoing work for wrappers for actual
68 2015-01-06 Javier Miranda <miranda@adacore.com>
70 * exp_disp.adb (Expand_Interface_Conversion): Reapply patch.
72 2015-01-06 Thomas Quinot <quinot@adacore.com>
74 * sem_util.ads: Minor reformatting.
75 * sem_cat.adb (In_RCI_Visible_Declarations): Change back to...
76 (In_RCI_Declaration) Return to old name, as proper checking of
77 entity being in the visible part depends on entity kind and must
78 be done by the caller.
80 2015-01-06 Ed Schonberg <schonberg@adacore.com>
82 * sem_ch12.adb, sem_ch12.ads, sem_ch8.adb: Ongoing work for wrappers
83 for operators in SPARK.
85 2015-01-06 Ed Schonberg <schonberg@adacore.com>
87 * sem_aggr.adb (Get_Value): In ASIS mode, preanalyze the
88 expression in an others association before making copies for
89 separate resolution and accessibility checks. This ensures that
90 the type of the expression is available to ASIS in all cases,
91 in particular if the expression is itself an aggregate.
93 2015-01-06 Eric Botcazou <ebotcazou@adacore.com>
95 * einfo.ads (Has_Independent_Components): Document extended
97 * einfo.adb (Has_Independent_Components): Remove obsolete assertion.
98 (Set_Has_Independent_Components): Adjust assertion.
99 * sem_prag.adb (Analyze_Pragma): Also set Has_Independent_Components
100 for pragma Atomic_Components. Set Has_Independent_Components
101 on the object instead of the type for an object declaration with
102 pragma Independent_Components.
104 2015-01-06 Olivier Hainque <hainque@adacore.com>
106 * set_targ.adb (Read_Target_Dependent_Values): Set
107 Long_Double_Index when "long double" is read.
108 (elaboration code): Register_Back_End_Types only when not reading from
109 config files. Doing otherwise is pointless and error prone.
111 2015-01-06 Robert Dewar <dewar@adacore.com>
113 * s-valrea.adb (Value_Real): Check for Str'Last = Positive'Last
115 2015-01-06 Robert Dewar <dewar@adacore.com>
117 * a-wtgeau.adb, a-ztgeau.adb, a-tigeau.adb (String_Skip): Raise PE if
118 Str'Last = Positive'Last.
120 2015-01-06 Ed Schonberg <schonberg@adacore.com>
122 * sem_ch6.adb (Matches_Limited_View): Handle properly the case
123 where the non-limited type is a generic actual and appears as
124 a subtype of the non-limited view of the other.
125 * freeze.adb (Build_Renamed_Body): If the return type of the
126 declaration that is being completed is a limited view and the
127 non-limited view is available, use it in the specification of
130 2015-01-06 Ed Schonberg <schonberg@adacore.com>
132 * sem_ch3.adb (Find_Type_Name): If there is a previous tagged
133 incomplete view, the type of the classwide type common to both
134 views is the type being declared.
136 2015-01-06 Eric Botcazou <ebotcazou@adacore.com>
138 * einfo.ads (Is_Independent): Further document extended usage.
140 2015-01-06 Eric Botcazou <ebotcazou@adacore.com>
142 * einfo.ads (Is_Independent): Document extended usage.
143 * einfo.adb (Is_Independent): Remove obsolete assertion.
144 (Set_Is_Independent): Likewise.
145 * sem_prag.adb (Process_Atomic_Shared_Volatile): Rename into...
146 (Process_Atomic_Independent_Shared_Volatile): ...this.
147 Deal with pragma Independent here.
148 (Analyze_Pragma): Adjust
149 to above renaming and also invoke it for pragma Independent.
150 Adjust comment for Independent_Components.
152 2015-01-06 Robert Dewar <dewar@adacore.com>
154 * snames.ads-tmpl: Remove entries for attribute Enum_Image.
155 * exp_attr.adb: Remove reference to Attribute_Enum_Image.
157 2015-01-06 Robert Dewar <dewar@adacore.com>
159 * s-vallli.adb (Value_Long_Long_Integer): Handle case of Str'Last
161 * s-valllu.adb (Value_Long_Long_Unsigned): Handle case of
162 Str'Last = Positive'Last.
164 2015-01-06 Robert Dewar <dewar@adacore.com>
166 * sem_prag.adb (Process_Inline): Remove redundant construct
167 warning (-gnatw.r) for an ineffective pragma Inline.
169 2015-01-06 Robert Dewar <dewar@adacore.com>
171 * s-valint.adb: Fix typo in last checkin.
172 * s-valuns.adb (Value_Unsigned): More efficient fix for
174 * sem_attr.adb (Analyze_Attribute): Minor reformatting
175 (Eval_Attribute): Static ervaluation of 'Img for enumeration types.
177 2015-01-06 Robert Dewar <dewar@adacore.com>
179 * s-valint.adb, s-valuns.adb (Value_Integer): Deal with case where
180 Str'Last = Positive'Last
182 2015-01-06 Thomas Quinot <quinot@adacore.com>
184 * xoscons.adb: Display exception information and return non-zero
185 exit status in top level exception handler.
187 2015-01-06 Ed Schonberg <schonberg@adacore.com>
189 * sem_ch8.adb: Code clean up.
191 2015-01-06 Tristan Gingold <gingold@adacore.com>
193 * targparm.ads: Remove obsolete comment.
195 2015-01-06 Olivier Hainque <hainque@adacore.com>
197 * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Variable): When
198 constructing a ref to variable, update inner_const_flag from the
199 variable TREE_READONLY attribute.
200 * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Remove default
202 (get_target_float_size): Remove.
203 (get_target_double_size): Remove.
204 (get_target_long_double_size): Remove.
206 2015-01-06 Pascal Obry <obry@adacore.com>
208 * adaint.c (ProcListEvt): Set to NULL.
209 * rtinit.c: New file.
210 (__gnat_rt_init_count): New reference counter set to 0.
211 (__gnat_runtime_initialize): Move code here from __gnat_initialize when
212 this code is actually needed for the runtime initialization. This
213 routine returns immediately if the initialization has already been done.
214 * final.c: Revert previous change.
215 * rtfinal.c: New file.
216 (__gnat_runtime_finalize)[Win32]: Add finalization of the critical
217 section and event. The default version of this routine is empty (except
218 for the reference counting code). This routine returns immediately if
219 some others libraries are referencing the runtime.
220 * bindgen.adb (Gen_Adainit): Generate call to Runtime_Initialize
221 remove circuitry to initialize the signal handler as this is
222 now done by the runtime initialization routine.
223 (Gen_Adafinal): Generate call to Runtime_Finalize.
224 * gnat_ugn.texi: Update documentation about concurrency and
225 initialization/finalization of the run-time.
226 * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Add
227 references to rtfinal.o and rtinit.o
229 2015-01-06 Robert Dewar <dewar@adacore.com>
231 * exp_attr.adb (Expand_N_Attribute_Reference): Add dummy entry
233 * sem_attr.adb: Implement Enum_Image attribute.
234 * snames.ads-tmpl: Add entries for Enum_Image attribute.
236 2015-01-06 Robert Dewar <dewar@adacore.com>
238 * namet.ads: Document use of Boolean2 for No_Use_Of_Entity.
239 * restrict.ads (No_Use_Of_Entity): New table.
240 * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
241 Ignore No_Use_Of_Entity (will be processed in parser).
242 * snames.ads-tmpl: Add entry for Name_No_Use_Of_Entity.
244 2015-01-06 Vincent Celier <celier@adacore.com>
246 * prj-tree.adb (Imported_Or_Extended_Project_Of): Do not try
247 to check for an extended project, if a project does not have
248 yet a project declaration.
250 2015-01-06 Pierre-Marie Derodat <derodat@adacore.com>
252 * scos.ads: Update documentation about the SCO table build
253 process and about table records format.
254 * par_sco.ads (SCO_Record): Rename to SCO_Record_Raw.
255 (SCO_Record_Filtered): New procedure.
256 (Set_SCO_Logical_Operator): New procedure.
257 (dsco): Update documentation.
258 * par_sco.adb: Update library-level comments.
259 (SCO_Generation_State_Type): New type.
260 (SCO_Generation_State): New variable.
261 (SCO_Raw_Table): New package instanciation.
262 (Condition_Pragma_Hash_Table): Rename to SCO_Raw_Hash_Table.
264 (Tristate): New type.
265 (Is_Logical_Operator): Return Tristate and update documentation.
266 (Has_Decision): Update call to Is_Logical_Operator and complete
268 (Set_Table_Entry): Rename to Set_Raw_Table_Entry, update
269 comment, add an assertion for state checking and change
270 references to SCO_Table into SCO_Raw_Table.
271 (dsco): Refactor to dump the raw and the filtered tables.
272 (Process_Decisions.Output_Decision_Operand): Handle putative
273 short-circuit operators.
274 (Process_Decisions.Output_Element): Update references
275 to Set_Table_Entry and to Condition_Pragma_Hash_Table.
276 (Process_Decisions.Process_Decision_Operand): Update call
277 to Is_Logical_Operator.
278 (Process_Decisions.Process_Node): Handle putative short-circuit
279 operators and change references to
280 SCO_Table into SCO_Raw_Table.
281 (SCO_Output): Add an assertion
282 for state checking and remove code that used to stamp out SCO entries.
283 (SCO_Pragma_Disabled): Change reference to SCO_Table
285 (SCO_Record): Rename to SCO_Record_Raw,
286 add an assertion for state checking and change references
287 to SCO_Table into SCO_Raw_Table.
288 (Set_SCO_Condition): Add an assertion for state checking, update
289 references to Condition_Pragma_Hash_Table and change references to
290 SCO_Table into SCO_Raw_Table.
291 (Set_SCO_Pragma_Enabled): Add an assertion for state checking and
292 change references to SCO_Table into SCO_Raw_Table.
293 (Set_SCO_Logical_Operator): New procedure.
294 (Traverse_Declarations_Or_Statements.Set_Statement_Entry): Update
295 references to Set_Table_Entry and to Condition_Pragma_Hash_Table.
296 (SCO_Record_Fildered): New procedure.
297 * gnat1drv.adb (Gnat1drv): Invoke the SCO filtering pass.
298 * lib-writ.adb (Write_ALI): Invoke the SCO filtering pass and
300 * par-load.adb (Load): Update reference to SCO_Record.
301 * par.adb (Par): Update reference to SCO_Record.
302 * put_scos.adb (Put_SCOs): Add an assertion to check that no
303 putative SCO condition reaches this end.
304 * sem_ch10.adb (Analyze_Proper_Body): Update reference to SCO_Record.
305 * sem_res.adb (Resolve_Logical_Op): Validate putative SCOs
306 when corresponding to an "and"/"or" operator affected by the
307 Short_Circuit_And_Or pragma.
309 2015-01-06 Robert Dewar <dewar@adacore.com>
311 * sem_ch8.adb (Analyze_Use_Package): Give more specific error
312 msg for attempted USE of generic subprogram or subprogram.
314 2015-01-06 Robert Dewar <dewar@adacore.com>
316 * s-valllu.adb, a-tiinau.adb, a-timoau.adb, a-ztinau.adb, a-ztmoau.adb,
317 s-valuns.adb, s-valrea.adb, a-wtflau.adb, a-tiflau.adb, a-ztflau.adb,
318 a-wtinau.adb, a-wtmoau.adb: Document recognition of : in place of #.
320 2015-01-06 Ed Schonberg <schonberg@adacore.com>
322 * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
323 that specify stream subprograms, if the prefix is a class-wide
324 type then the generated attribute definition clause must apply
325 to the same class-wide type.
326 (Default_Iterator): An iterator defined by an aspect of some
327 container type T must have a first parameter of type T, T'class,
328 or an access to such (from code reading RM 5.5.1 (2/3)).
330 2015-01-06 Arnaud Charlet <charlet@adacore.com>
332 * gnat1drv.adb: Minor: complete previous change.
334 2015-01-06 Olivier Hainque <hainque@adacore.com>
336 * set_targ.ads (C_Type_For): New function. Return the name of
337 a C type supported by the back-end and suitable as a basis to
338 construct the standard Ada floating point type identified by
339 the T parameter. This is used as a common ground to feed both
340 ttypes values and the GNAT tree nodes for the standard floating
342 * set_targ.adb (Long_Double_Index): The index at which "long
343 double" gets registered in the FPT_Mode_Table. This is useful to
344 know whether we have a "long double" available at all and get at
345 it's characteristics without having to search the FPT_Mode_Table
346 when we need to decide which C type should be used as the
347 basis for Long_Long_Float in Ada.
348 (Register_Float_Type): Fill Long_Double_Index.
349 (FPT_Mode_Index_For): New function. Return the index in
350 FPT_Mode_Table that designates the entry corresponding to the
351 provided C type name.
352 (FPT_Mode_Index_For): New function. Return the index in
353 FPT_Mode_Table that designates the entry for a back-end type
354 suitable as a basis to construct the standard Ada floating point
355 type identified by the input T parameter.
356 (elaboration code): Register_Back_End_Types unconditionally,
357 so C_Type_For can operate regardless of -gnateT. Do it
358 early so we can query it for the floating point sizes, via
359 FPT_Mode_Index_For. Initialize Float_Size, Double_Size and
360 Long_Double_Size from the FPT_Mode_Table, as cstand will do.
361 * cstand.adb (Create_Float_Types): Use C_Type_For to determine
362 which C type should be used as the basis for the construction
363 of the Standard Ada floating point types.
364 * get_targ.ads (Get_Float_Size, Get_Double_Size,
365 Get_Long_Double_Size): Remove.
366 * get_targ.adb: Likewise.
368 2015-01-06 Thomas Quinot <quinot@adacore.com>
370 * sem_cat.adb (In_RCI_Declaration): Remove unnecessary
371 parameter and rename to...
372 (In_RCI_Visible_Declarations): Fix handling of private part of nested
374 (Validate_RCI_Subprogram_Declaration): Reject illegal function
375 returning anonymous access in RCI unit.
377 2015-01-06 Ed Schonberg <schonberg@adacore.com>
379 * sem_ch6.adb (New_Overloaded_Entity): In GNATprove mode, a
380 function wrapper may be a homonym of another local declaration.
381 * sem_ch8.adb (Analyze_Subprogram_Renaming): In GNATprove mode,
382 build function and operator wrappers after the actual subprogram
383 has been resolved, and replace the standard renaming declaration
384 with the declaration of wrapper.
385 * sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wraooer):
386 make public for use elsewhere.
387 * sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wraooer):
388 rewrite, now that actual is fully resolved when wrapper is
391 2015-01-06 Javier Miranda <miranda@adacore.com>
393 * exp_disp.adb: Revert previous change.
395 2015-01-06 Robert Dewar <dewar@adacore.com>
397 * exp_util.adb: Change name Name_Table_Boolean to
399 * namet.adb: Change name Name_Table_Boolean to Name_Table_Boolean1
400 Introduce Name_Table_Boolean2/3.
401 * namet.ads: Change name Name_Table_Boolean to Name_Table_Boolean1
402 Introduce Name_Table_Boolean2/3.
403 * par-ch13.adb: Change name Name_Table_Boolean to
406 2015-01-06 Bob Duff <duff@adacore.com>
408 * gnat_rm.texi: Improve documentation regarding No_Task_Termination.
410 2015-01-06 Ed Schonberg <schonberg@adacore.com>
412 * sem_aggr.adb (Resolve_Record_Aggregte, Get_Value): For an
413 others choice that covers multiple components, analyze each
414 copy with the type of the component even in compile-only mode,
415 to detect potential accessibility errors.
417 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com>
419 * sem_res.adb (Is_Assignment_Or_Object_Expression): New routine.
420 (Resolve_Actuals): An effectively volatile out
421 parameter cannot act as an in or in out actual in a call.
422 (Resolve_Entity_Name): An effectively volatile out parameter
425 2015-01-06 Ed Schonberg <schonberg@adacore.com>
427 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the body is
428 the expansion of an expression function it may be pre-analyzed
429 if a 'access attribute is applied to the function, in which case
430 last_entity may have been assigned already.
432 2015-01-06 Ed Schonberg <schonberg@adacore.com>
434 * sem_ch4.adb (Analyze_One_Call): If formal has an incomplete
435 type and actual has the corresponding full view, there is no
436 error, but a case of use of incomplete type in a predicate or
437 invariant expression.
439 2015-01-06 Vincent Celier <celier@adacore.com>
441 * makeutl.adb (Insert_No_Roots): Make sure that the same source
442 in two different project tree is checked in both trees, if they
443 are sources of two different projects, extended or not.
445 2015-01-06 Arnaud Charlet <charlet@adacore.com>
447 * gnat1drv.adb: Minor code clean up.
448 (Adjust_Global_Switches): Ignore gnatprove_mode in codepeer_mode.
450 2015-01-06 Bob Duff <duff@adacore.com>
452 * osint.adb (Read_Source_File): Don't print out
453 file name unless T = Source.
455 2015-01-06 Ed Schonberg <schonberg@adacore.com>
457 * sem_util.adb (Is_Variable, Is_OK_Variable_For_Out_Formal):
458 recognize improper uses of constant_reference types as actuals
459 for in-out parameters.
460 (Check_Function_Call): Do not collect identifiers if function
461 name is missing because of previous error.
463 2015-01-06 Robert Dewar <dewar@adacore.com>
465 * ali-util.adb, sem_prag.adb, rtsfind.adb, sem_util.adb, sem_res.adb,
466 ali.adb, binde.adb, namet.adb, namet.ads, gnatls.adb, bcheck.adb:
467 Minor change of name Name_Table_Info => Name_Table_Int.
469 2015-01-06 Robert Dewar <dewar@adacore.com>
471 * exp_strm.adb (Build_Elementary_Input_Call): Clarify comments
473 * freeze.adb (Freeze_Fixed_Point_Type): Add warning for shaving
475 * sem_prag.adb, sem_ch10.adb, sem_ch6.adb: Minor reformatting.
477 2015-01-06 Vincent Celier <celier@adacore.com>
479 * a-strsup.adb (Times (Natural;String;Positive)): Raise
480 Length_Error, not Index_Error, when the result is too long.
482 2015-01-06 Thomas Quinot <quinot@adacore.com>
484 * a-direct.adb (Create_Path): Minor error handling and
485 performance improvement.
487 2015-01-06 Robert Dewar <dewar@adacore.com>
489 * checks.ads, sem_ch12.adb: Minor reformatting.
490 * exp_ch4.adb (Expand_N_Op_Divide): Generate explicit divide by
491 zero check for fixed-point case if Backend_Divide_Checks_On_Target
494 2015-01-06 Robert Dewar <dewar@adacore.com>
496 * sem_prag.adb (Analyze_Pragma, case No_Elaboration_Code_All):
497 Do not set restriction No_Elaboration_Code unless the pragma
498 appears in the main unit).
500 2015-01-06 Ed Schonberg <schonberg@adacore.com>
502 * sem_ch10.adb (Is_Regular_With_Clause): Add guard to verify
503 that with clause has already been analyzed before checking kind
506 2015-01-06 Robert Dewar <dewar@adacore.com>
508 * exp_strm.adb (Build_Elementary_Input_Call): Return base type
511 2015-01-06 Arnaud Charlet <charlet@adacore.com>
513 * a-reatim.adb ("/"): Add explicit pragma Unsuppress (Division_Check).
515 2015-01-06 Robert Dewar <dewar@adacore.com>
517 * sem_prag.adb (Process_Suppress_Unsuppress): Add extra warning
518 for ignoring pragma Suppress (Elaboration_Check) in SPARK mode.
520 2015-01-06 Javier Miranda <miranda@adacore.com>
522 * exp_disp.adb (Expand_Interface_Conversion): No displacement
523 of the pointer to the object needed when the type of the operand
524 is not an interface type and the interface is one of its parent
525 types (since they share the primary dispatch table).
527 2015-01-06 Vincent Celier <celier@adacore.com>
529 * prj-env.adb: Minor comment update.
531 2015-01-06 Javier Miranda <miranda@adacore.com>
533 * sem_res.adb (Valid_Conversion): Restrict the checks on anonymous
534 access types whose target type is an interface type to operands
535 that are access types; required to report an error when the
536 operand is not an access type.
538 2015-01-06 Bob Duff <duff@adacore.com>
540 * a-cfinve.adb (Copy): Set the discriminant to the Length when
542 * a-cofove.ads (Capacity): Add a postcondition.
543 * a-cfinve.ads (Capacity): Add a postcondition.
544 (Reserve_Capacity): Correct the postcondition in the case where
545 Capacity = 0; that means "Capacity => Length (Container)".
546 * a-cofove.adb (Elems[c]): Add a comment
547 explaining the dangers and how to avoid them.
549 2015-01-06 Ed Schonberg <schonberg@adacore.com>
551 * sem_ch12.adb: Code clean up.
553 2015-01-06 Arnaud Charlet <charlet@adacore.com>
555 * gnatvsn.ads: Bump copyright year.
557 2015-01-06 Robert Dewar <dewar@adacore.com>
559 * s-taskin.ads, s-traces.ads: Minor reformatting.
560 * exp_util.adb: Minor typo fix.
562 2015-01-06 Vincent Celier <celier@adacore.com>
564 * gnatls.adb (Search_RTS): Invoke Initialize_Default_Project_Path
565 with the runtime name.
566 * prj-env.adb (Initialize_Default_Project_Path): When both
567 Target_Name and Runtime_Name are not empty string, add to the
568 project path the two directories .../lib/gnat and .../share/gpr
569 related to the runtime.
570 * prj-env.ads (Initialize_Default_Project_Path): New String
571 parameter Runtime_Name, defaulted to the empty string.
573 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com>
575 * frontend.adb: Guard against the case where a configuration
576 pragma may be split into multiple pragmas and the original
577 rewritten as a null statement.
578 * sem_prag.adb (Analyze_Pragma): Insert a brand new Check_Policy
579 pragma using Insert_Before rather than Insert_Action. This
580 takes care of the configuration pragma case where Insert_Action
583 2015-01-06 Bob Duff <duff@adacore.com>
585 * a-coboho.ads (Element_Access): Add "pragma
586 No_Strict_Aliasing (Element_Access);". This is needed because
587 we are unchecked-converting from Address to Element_Access.
588 * a-cofove.ads, a-cofove.adb (Elems,Elemsc): Fix bounds of the
591 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com>
593 * sem_res.adb (Resolve_Actuals): Remove the
594 restriction which prohibits volatile actual parameters with
595 enabled external propery Async_Writers to act appear in procedure
596 calls where the corresponding formal is of mode OUT.
598 2015-01-05 Jakub Jelinek <jakub@redhat.com>
600 * gnat_ugn.texi: Bump @copying's copyright year.
602 2015-01-05 Eric Botcazou <ebotcazou@adacore.com>
605 * gcc-interface/Makefile.in (../stamp-tools): Reinstate dropped code.
607 2015-01-04 Uros Bizjak <ubizjak@gmail.com>
609 * gcc-interface/misc.c (internal_error_function): Use xasprintf instead
610 of unchecked asprintf.
613 Copyright (C) 2015 Free Software Foundation, Inc.
615 Copying and distribution of this file, with or without modification,
616 are permitted in any medium without royalty provided the copyright
617 notice and this notice are preserved.