1 2013-06-13 Eric Botcazou <ebotcazou@adacore.com>
3 * gcc-interface/ada-tree.h (DECL_BY_DOUBLE_REF_P): Delete.
4 * gcc-interface/gigi.h (annotate_object): Adjust prototype.
5 (convert_vms_descriptor): Likewise.
6 * gcc-interface/decl.c (gnat_to_gnu_param): Do not pass fat pointer
7 types by double dereference.
8 (annotate_object): Remove BY_DOUBLE_REF parameter and adjust.
9 (gnat_to_gnu_entity): Adjust calls to annotate_object.
10 * gcc-interface/trans.c (Identifier_to_gnu): Do not deal with double
12 (Call_to_gnu): Likewise.
13 (build_function_stub): Adjust call to convert_vms_descriptor.
14 (Subprogram_Body_to_gnu): Adjust call to annotate_object.
15 * gcc-interface/utils.c (convert_vms_descriptor): Remove BY_REF
18 2013-05-30 Eric Botcazou <ebotcazou@adacore.com>
20 * gcc-interface/Makefile.in (arm% androideabi): Robustify.
22 2013-05-26 Eric Botcazou <ebotcazou@adacore.com>
24 * gcc-interface/decl.c: (gnat_to_gnu_entity): In ASIS mode, do not
25 check that access types have a set size.
27 2013-05-26 Eric Botcazou <ebotcazou@adacore.com>
29 * gcc-interface/decl.c (vinfo_t): New type and associated vector.
30 (components_to_record): Change return type to bool.
31 Lay out the variants in two passes. Do not force a specific layout for
32 the variant part if the variants do not have a representation clause.
33 Take the alignment of the variant part into account when laying out
34 variants without rep clause in a record type with a partial rep clause.
35 (create_rep_part): Do not set the position of the field.
37 2013-05-26 Eric Botcazou <ebotcazou@adacore.com>
39 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Last_Bit>: Add kludge
40 to avoid generating an overflow for -1.
42 2013-05-26 Eric Botcazou <ebotcazou@adacore.com>
44 * gcc-interface/gigi.h (create_type_decl): Adjust prototype.
45 (create_label_decl): Complete prototype.
46 (process_attributes): Declare.
47 * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust multiple calls to
48 create_type_decl throughout.
49 <E_Enumeration_Type>: Do the layout of the type manually and call
50 process_attributes on it. Reindent.
51 <E_Enumeration_Subtype>: Minor tweak.
52 <E_Floating_Point_Subtype>: Reindent.
53 <E_Array_Subtype>: Call process_attributes on the array type built
54 for a packed array type.
55 <E_Record_Type>: Call process_attributes on the type.
56 <E_Record_Subtype>: Likewise.
57 <E_Access_Type>: Likewise.
58 <E_Subprogram_Type>: Likewise.
59 Likewise for all types at the end of the processing.
60 * gcc-interface/utils.c (make_aligning_type): Adjust call to
62 (maybe_pad_type): Likewise.
63 (create_index_type): Likewise.
64 (create_type_decl): Remove attr_list parameter and associated code.
65 (create_var_decl_1): Call process_attributes on the variable.
66 (process_attributes): Take a pointer to the object and add in_place
67 and gnat_node parameters and adjust throughout.
68 <ATTR_MACHINE_ATTRIBUTE>: Pass ATTR_FLAG_TYPE_IN_PLACE only on demand
69 and set the input location.
70 Zap the attribute list at the end.
71 (create_subprog_decl): Call process_attributes on the subprogram.
72 (build_unc_object_type): Adjust call to create_type_decl.
73 (handle_vector_type_attribute): Remove dead code.
75 2013-05-26 Eric Botcazou <ebotcazou@adacore.com>
77 * gcc-interface/gigi.h (make_aligning_type): Adjust prototype.
78 * gcc-interface/utils.c (make_aligning_type): Take GNAT_NODE parameter
79 for the position of the associated TYPE_DECL.
80 * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust call to above.
81 * gcc-interface/utils2.c (maybe_wrap_malloc): Likewise.
83 2013-05-26 Eric Botcazou <ebotcazou@adacore.com>
85 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not prematurely
86 elaborate the full view of a type with a freeze node.
87 * gcc-interface/trans.c (process_type): Add explicit predicate.
89 2013-05-26 Eric Botcazou <ebotcazou@adacore.com>
91 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Always build the
92 UNC variable for aliased objects with unconstrained nominal subtype.
94 2013-05-24 Eric Botcazou <ebotcazou@adacore.com>
96 * gcc-interface/gigi.h (gnat_init_gcc_fp): Declare.
97 * gcc-interface/trans.c (gigi): Call it.
98 * gcc-interface/misc.c (gnat_init_gcc_fp): New function.
100 2013-05-24 Eric Botcazou <ebotcazou@adacore.com>
102 * gcc-interface/gigi.h (enum inline_status_t): New type.
103 (create_subprog_decl): Adjust prototype.
104 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Adjust
105 calls to create_subprog_decl.
106 (get_minimal_subprog_decl): Likewise.
107 * gcc-interface/trans.c (gigi): Likewise.
108 (build_raise_check): Likewise.
109 (establish_gnat_vms_condition_handler): Likewise.
110 (Compilation_Unit_to_gnu): Likewise.
111 (gnat_to_gnu): Likewise.
112 * gcc-interface/utils.c (create_subprog_decl): Change inline_flag
113 parameter to inline_status and implement for suppressed inlining.
115 2013-05-24 Eric Botcazou <ebotcazou@adacore.com>
117 * gcc-interface/ada-tree.h (LOOP_STMT_NO_UNROLL): New define.
118 (LOOP_STMT_UNROLL): Likewise.
119 (LOOP_STMT_NO_VECTOR): Likewise.
120 (LOOP_STMT_VECTOR): Likewise.
121 * gcc-interface/trans.c (struct loop_info_d): Replace label field
123 (Pragma_to_gnu) <Pragma_Loop_Optimize>: New case.
124 (Loop_Statement_to_gnu): Save the loop statement onto the stack
125 instead of the label.
126 (gnat_to_gnu) <N_Exit_Statement>: Retrieve the loop label.
128 2013-05-24 Eric Botcazou <ebotcazou@adacore.com>
130 * gcc-interface/trans.c: Include diagnostic.h and opts.h.
131 (Pragma_to_gnu) <Pragma_Warnings>: New case.
133 2013-05-24 Eric Botcazou <ebotcazou@adacore.com>
135 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Constify
136 a handful of local variables.
137 For a derived untagged type that renames discriminants, change the type
138 of the stored discriminants to a subtype with the bounds of the type
139 of the visible discriminants.
140 (build_subst_list): Rename local variable.
142 2013-05-16 Jason Merrill <jason@redhat.com>
144 * gcc-interface/Make-lang.in (gnat1$(exeext)): Use link mutex.
146 2013-05-13 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
149 * gcc-interface/Makefile.in: Allow for amd64 solaris2.
151 2013-05-07 Eric Botcazou <ebotcazou@adacore.com>
154 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Use
155 int_const_binop to shift bounds by 1 when they are integer constants.
157 2013-04-25 Arnaud Charlet <charlet@adacore.com>>
159 * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Exclude s-init.ad{s,b}
161 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
163 * checks.adb (Apply_Predicate_Check): Update the comment associated
164 with the call to Check_Expression_Against_Static_Predicate.
165 * sem_ch3.adb (Analyze_Object_Declaration): Update the comment
166 associated with the call to Check_Expression_Against_Static_Predicate.
167 * sem_util.adb (Check_Expression_Against_Static_Predicate):
168 Broaden the check from a static expression to an expression with
169 a known value at compile time.
170 * sem_util.ads (Check_Expression_Against_Static_Predicate): Update
173 2013-04-25 Thomas Quinot <quinot@adacore.com>
175 * exp_attr.adb (Expand_N_Attribute_Reference, cases Position,
176 First_Bit, and Last_Bit): Fix incorrect test in implementation of
179 2013-04-25 Claire Dross <dross@adacore.com>
181 * a-cfhase.adb, a-cfhase.ads, a-cforma.adb, a-cforma.ads, a-cfhama.adb,
182 a-cfhama.ads, a-cforse.adb, a-cforse.ads, a-cofove.adb, a-cofove.ads
183 (Query_Element): Removed.
184 (Update_Element): Removed.
185 (Insert): The version with no New_Item specified is removed.
189 Every check of fields Busy and Lock has been removed.
191 2013-04-25 Robert Dewar <dewar@adacore.com>
193 * sem_prag.adb (Analyze_Pragma, case Contract_Cases): Remove
194 call to S14_Pragma (Find_Related_Subprogram): Require proper
195 placement in subprogram body (Find_Related_Subprogram): Detect
196 duplicates for all cases (Find_Related_Subprogram): Handle case
197 of spec nested inside body.
199 2013-04-25 Arnaud Charlet <charlet@adacore.com>
201 * par-prag.adb: Fix typo.
203 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
205 * checks.adb (Apply_Predicate_Check): If the type has a static
206 predicate and the expression is also static, check whether the
207 expression satisfies the predicate.
208 * sem_ch3.adb (Analyze_Object_Declaration): If the type has a
209 static predicate and the expression is also static, see if the
210 expression satisfies the predicate.
211 * sem_util.adb: Alphabetize several routines.
212 (Check_Expression_Against_Static_Predicate): New routine.
213 * sem_util.ads (Check_Expression_Against_Static_Predicate): New routine.
215 2013-04-25 Robert Dewar <dewar@adacore.com>
217 * gnat_rm.texi: Document Reason argument for pragma Warnings.
218 * par-prag.adb: Handle Reason parameter for pragma Warnings.
219 * sem_prag.adb (Analyze_Pragma, case Warnings): Allow Reason argument.
220 * snames.ads-tmpl (Name_Reason): New name entry.
222 2013-04-25 Yannick Moy <moy@adacore.com>
224 * exp_spark.adb (Expand_SPARK_N_In): Remove procedure.
225 (Expand_SPARK): Remove special expansion for membership tests.
227 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
229 * exp_ch3.adb (Expand_N_Object_Declaration): Update all places
230 that should use constant Base_Typ. When building an invariant
231 check, account for invariants coming from the base type. Prevent
232 the creation of a junk invariant check when the related object
233 is of an array type and it is initialized with an aggregate.
234 * exp_util.adb (Make_Invariant_Call): Typ is now a variable. Use
235 the base type to create an invariant call when the type of the
236 expression is a composite subtype.
238 2013-04-25 Vasiliy Fofanov <fofanov@adacore.com>
240 * a-cborse.adb: Fix minor typo.
242 2013-04-25 Ed Schonberg <schonberg@adacore.com>
244 * sem_ch6.adb (Different_Generic_Profile): A spec and body
245 match in an instance if a subtype declaration that renames a
246 generic actual with the same name appears between spec and body.
248 2013-04-25 Robert Dewar <dewar@adacore.com>
250 * sem_util.adb: Minor reformatting.
252 2013-04-25 Ed Schonberg <schonberg@adacore.com>
254 * exp_aggr.adb (Expand_N_Aggregate): Use special circuitry to
255 fold strings with a single others choice only if there are no
256 expressions in the aggregate.
258 2013-04-25 Arnaud Charlet <charlet@adacore.com>
260 * gnat_ugn.texi: Update doc on Ada 2012 default mode.
262 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
264 * exp_ch6.adb: Add with and use clause for Stringt.
265 (Expand_Contract_Cases): Moved from sem_ch6. Add formal parameters
266 Decls and Stmts along with comments on their usage.
267 * exp_ch6.ads (Expand_Contract_Cases): Moved from sem_ch6.
268 * sem_ch6.adb (Expand_Contract_Cases): Moved to exp_ch6.
269 (Process_Contract_Cases): Update the call to Expand_Contract_Cases.
271 2013-04-25 Ed Schonberg <schonberg@adacore.com>
273 * gnat_rm.texi: Minor editing, to clarify use of dimension aspects.
274 * sem_util.adb (Is_OK_Variable_For_Out_Formal): Reject an
275 aggregate for a packed type, which may be converted into an
276 unchecked conversion of an object.
278 2013-04-25 Robert Dewar <dewar@adacore.com>
280 * sem_prag.adb: Minor code reorganization (correct misspelling
282 * sem_util.adb, aspects.ads, sem_ch6.adb: Minor reformatting.
283 * gnat_rm.texi: Document impl-defined aspects.
284 * sem_dim.adb, sem_dim.ads, gnat_ugn.texi, s-dimmks.ads: Minor
287 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
289 * einfo.adb (Set_Abstract_States): The attribute now applies
291 * sem_ch4.adb (Referenced): Moved to sem_util.
292 * sem_ch7.adb (Unit_Requires_Body): A [generic] package with
293 a non-null abstract state needs a body.
294 * sem_prag.adb (Analyze_Depends_In_Decl_Part): Update the calls
295 to Collect_Subprogram_Inputs_Outputs.
296 (Analyze_Global_Item): Verify the proper usage of an item with mode
297 In_Out or Output relative to the enclosing context.
298 (Analyze_Pragma): Abstract_State can now be applied to a generic
299 package. Do not reset the Analyzed flag for pragmas Depends and Global
300 as this is not needed.
301 (Appears_In): Moved to library level.
302 (Check_Mode_Restiction_In_Enclosing_Context): New routine.
303 (Collect_Subprogram_Inputs_Outputs): Moved to library level. Add
304 formal parameters Subp_Id, Subp_Inputs, Subp_Outputs and Global
305 seen along with comments on usage.
306 * sem_util.ads, sem_util.adb (Referenced): New routine.
308 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
310 * sem_ch6.adb (Expand_Contract_Cases): Generate
311 detailed error messages only when switch -gnateE is in effect.
313 2013-04-25 Yannick Moy <moy@adacore.com>
315 * sem_attr.adb (Analyze_Attribute): Do not issue
316 an error for a possibly misplaced 'Result or 'Old attribute when
317 analyzing the aspect.
319 2013-04-25 Robert Dewar <dewar@adacore.com>
321 * sem_ch12.adb, sem_util.adb, sem_ch4.adb: Minor reformatting.
323 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
325 * sem_ch4.adb (Analyze_Quantified_Expression):
326 Add local variable Loop_Id. Verify that the loop variable
327 is used within the condition of the quantified expression.
328 (Referenced): New routine.
330 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
332 * sem_case.adb (Analyze_Choices): Enhance the error message
333 given on a bad use of subtype predicate.
334 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Enhance
335 the error message given on a bad use of subtype predicate.
336 * sem_util.adb (Bad_Predicated_Subtype_Use): Add formal parameter
337 Suggest_Static. Emit an extra error message advising how to
338 remedy the bad use of the predicate if the context warrants it.
339 * sem_util.ads (Bad_Predicated_Subtype_Use): Add formal parameter
340 Suggest_Static along with a comment explaining its usage.
342 2013-04-25 Ed Schonberg <schonberg@adacore.com>
344 * sem_disp.adb (Check_Dispatching_Operation): Further refinement
345 to checks for AI05-0125: the check for a hidden primitive that
346 may be overridden by the new declaration only applies if the
347 hidden operation is never declared. This is not the case if the
348 operation is declared in a parent unit.
350 2013-04-25 Robert Dewar <dewar@adacore.com>
352 * debug.adb: Remove d.X and d.Y entries and documentation.
353 * exp_ch4.adb (Expand_N_If_Expression): Remove special code used
354 if expression with actions not available (now always available).
355 (Expand_Short_Circuit_Operator): Same change.
356 * gnat1drv.adb (Adjust_Global_Switches) Remove setting
357 Use_Expression_With_Actions flag, since this is now obsolete.
358 * opt.ads (Use_Expression_Actions): Removed (always True now).
359 * sinfo.ads: Minor comment updates.
361 2013-04-25 Ed Schonberg <schonberg@adacore.com>
363 * sem_ch12.adb (Check_Generic_Actuals): If an actual is an array
364 subtype whose base type is currently private, install full view
365 when compiling instance body.
367 2013-04-25 Ed Schonberg <schonberg@adacore.com>
369 * sem_disp.adb (Check_Dispatching_Operation): Refine checks for
370 AI05-0125: the check for a hidden primitive that may be overridden
371 by the new declaration is only performed if the declaration comes
372 from source, and it must carry an explicit overriding indicator.
374 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
376 * einfo.adb (Abstract_States): The attribute now applies to
378 * sem_ch3.adb (Analyze_Object_Declaration): Check whether an
379 object declaration introduces an illegal hidden state.
380 * sem_prag.adb (Analyze_Abstract_State): Check whether a state
381 declaration introduces an illegal hidden state.
382 * sem_util.ads, sem_util.adb (Check_No_Hidden_State): New routine.
384 2013-04-25 Ed Schonberg <schonberg@adacore.com>
386 * exp_ch6.adb (Is_Build_In_Place_Function_Call): The call may
387 be to a protected function, in which case the name in the call
388 is a selected component.
390 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
392 * sem_ch4.adb (Analyze_Quantified_Expression):
393 Warn on a suspicious use of quantifier "some" when "all" was meant.
394 (No_Else_Or_Trivial_True): New routine.
396 2013-04-25 Robert Dewar <dewar@adacore.com>
398 * einfo.ads, einfo.adb: Put back with/use for Namet.
399 (Get_Pragma): New name (wi new spec) for Find_Pragma.
400 * sem_ch6.adb: Change name Find_Pragma to Get_Pragma with
403 2013-04-25 Ed Schonberg <schonberg@adacore.com>
405 * sem_ch3.adb (Is_Visible_Component): In an instance all
406 components are visible.
408 2013-04-25 Matthew Heaney <heaney@adacore.com>
410 * a-rbtgbo.adb, a-crbtgo.adb (Generic_Equal): do not test for
411 tampering when container empty.
412 * a-crbtgk.adb (Ceiling, Find, Floor): ditto.
413 (Generic_Conditional_Insert, Generic_Conditional_Insert_With_Hint):
416 2013-04-25 Ed Schonberg <schonberg@adacore.com>
418 * par-ch12.adb: Move aspects from package specification to
419 generic package declaration.
420 * sem_ch12.adb: Analyze aspect specifications before building
421 and analyzing the generic copy, so that the generated pragmas
422 are properly taken into account.
423 * sem_ch13.adb: For compilation unit aspects that apply to a
424 generic package declaration, insert corresponding pragmas ahead
425 of visible declarations.
426 * sprint.adb: Display properly the aspects of a generic type
429 2013-04-25 Robert Dewar <dewar@adacore.com>
431 * frontend.adb: Minor reformatting.
433 2013-04-25 Ed Schonberg <schonberg@adacore.com>
435 * einfo.ads: Extend documentation on use of Is_Private_Ancestor
437 * sem_ch3.adb (Is_Visible_Component): Refine predicate for the
438 case of untagged types derived from private types, to reject
439 illegal selected components.
441 2013-04-25 Gary Dismukes <dismukes@adacore.com>
443 * sem_util.adb (Is_Dependent_Component_Of_Mutable_Object): Test
444 for case of selecting from an unexpanded implicit dereference
445 and do not make a recursive call on such a prefix.
447 2013-04-25 Doug Rupp <rupp@adacore.com>
449 * targparm.adb (VXF{_Str}): New tag for vaxfloat.
450 (Get_Target_Parameters): Handle VXF tag.
451 * targparm.ads (VAX_Float_On_Target): New boolean.
452 * system-vms-ia64.ads (VAX_Float): New boolean.
453 * frontend.adb (Frontend): Handle VAX float boolean.
455 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
457 * einfo.ads, einfo.adb: Remove with and use clauses for Namet.
458 (Find_Pragma): New routine.
459 * sem_util.ads, sem_util.adb (Find_Pragma): Moved to einfo.
461 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
463 * sem_ch13.adb (Add_Call): Do not capture the nature of the inherited
465 (Add_Predicates): Save the static predicate for diagnostics and error
467 (Process_PPCs): Remove local variables Dynamic_Predicate_Present and
468 Static_Predicate_Present. Add local variable Static_Pred. Ensure that
469 the expression of a static predicate is static.
471 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
473 * einfo.adb (Is_Ghost_Subprogram): Remove useless code.
475 2013-04-25 Robert Dewar <dewar@adacore.com>
477 * gnat_rm.texi: Minor addition of index entry.
479 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
481 * sem_ch6.adb (Check_Access_Invariants): Test whether an
482 invariant procedure is empty before generating a call to it.
483 (Has_Enabled_Predicate): New routine.
484 (Has_Null_Body): New routine.
485 (Process_PPCs): Test whether an invariant procedure is
486 empty before generating a call to it. Test whether predicates are
487 enabled for a particular type before generating a predicate call.
488 * sem_util.ads, sem_util.adb (Find_Pragma): New routine.
490 2013-04-25 Robert Dewar <dewar@adacore.com>
492 * sem_ch7.adb, einfo.adb, repinfo.adb, snames.adb-tmpl,
493 snames.ads-tmpl: Minor reformatting.
495 2013-04-25 Thomas Quinot <quinot@adacore.com>
497 * sem_ch7.adb: Minor reformatting.
499 2013-04-25 Robert Dewar <dewar@adacore.com>
501 * gnat_rm.texi: Minor fix to Loop_Variant doc (Loop_Entry allowed).
502 * s-tarest.adb: Minor reformatting.
504 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
506 * aspects.ads, aspects.adb: Remove aspect Ghost from all relevant
508 * einfo.adb: Remove with and use clause for Aspects.
509 (Is_Ghost_Function): Removed.
510 (Is_Ghost_Entity): New routine.
511 (Is_Ghost_Subprogram): New routine.
512 * einfo.ads: Remove synthesized attribute Is_Ghost_Function
513 along with its uses in entities. Add synthesized attributes
514 Is_Ghost_Entity and Is_Ghost_Subprogram along with uses in related
516 (Is_Ghost_Function): Removed.
517 (Is_Ghost_Entity): New routine.
518 (Is_Ghost_Subprogram): New routine.
519 * par-prag.adb: Remove pragma Ghost from the processing machinery.
520 * repinfo.adb (List_Mechanisms): Add a value for convention Ghost.
521 * sem_attr.adb (Analyze_Access_Attribute): Update the check
522 for ghost subprograms.
523 * sem_ch4.adb (Analyze_Call): Update the check for calls
524 to ghost subprograms.
525 (Check_Ghost_Function_Call): Removed.
526 (Check_Ghost_Subprogram_Call): New routine.
527 * sem_ch6.adb (Check_Convention): Rewritten.
528 (Check_Overriding_Indicator): Remove the check for overriding
530 (Convention_Of): New routine.
531 * sem_ch12.adb (Preanalyze_Actuals): Update the check for ghost
532 generic actual subprograms.
533 * sem_mech.adb (Set_Mechanisms): Add an entry for convention Ghost.
534 * sem_prag.adb: Remove the value for pragma Ghost from
536 (Analyze_Pragma): Remove the processing for pragma Ghost.
537 (Process_Convention): Emit an error when a ghost
538 subprogram attempts to override.
539 (Set_Convention_From_Pragma): Emit an error when a ghost subprogram
540 attempts to override.
541 * sinfo.ads: Clarify the usage of field Label_Construct.
542 * snames.adb-tmpl (Get_Convention_Id): Add an entry for
543 predefined name Ghost.
544 (Get_Convention_Name): Add an entry for convention Ghost.
545 * snames.ads-tmpl: Move predefined name Ghost to the sublist
546 denoting conventions. Add convention id Ghost. Remove pragma
549 2013-04-25 Ed Schonberg <schonberg@adacore.com>
551 * sem_ch7.adb (Swap_Private_Dependents): Do no recurse on child
552 units if within a generic hierarchy.
554 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
556 * exp_ch6.adb (Expand_Actuals): Add a predicate check on an
557 actual the related type has a predicate function.
558 * sem_ch3.adb (Constant_Redeclaration): Ensure that the related
559 type has an invariant procedure before building a call to it.
560 * sem_ch6.adb (Append_Enabled_Item): New routine.
561 (Check_Access_Invariants): Use routine
562 Append_Enabled_Item to chain onto the list of postconditions.
563 (Contains_Enabled_Pragmas): Removed.
564 (Expand_Contract_Cases): Use routine Append_Enabled_Item to chain onto
565 the list of postconditions.
566 (Invariants_Or_Predicates_Present): Removed.
567 (Process_PPCs): Partially reimplemented.
569 2013-04-24 Sergey Rybin <rybin@adacore.com frybin>
571 * tree_io.ads: Update ASIS_Version_Number because of changes
572 in the way how entities are chained in a scope by means of
575 2013-04-24 Ed Schonberg <schonberg@adacore.com>
577 * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
578 Storage_Size): If the clause is not from an aspect, insert
579 assignment to size variable of task type at the point of the
580 clause, not after the task definition, to prevent access before
581 elaboration in the back-end.
583 2013-04-24 Yannick Moy <moy@adacore.com>
585 * sem_prag.adb (Sig_Flags): Set correct value for Pragma_Assume.
587 2013-04-24 Yannick Moy <moy@adacore.com>
589 * gnat_rm.texi: Document 'Loop_Entry.
591 2013-04-24 Jose Ruiz <ruiz@adacore.com>
593 * s-tassta.adb, s-tarest.adb (Task_Wrapper): Start looking for
594 fall-back termination handlers from the parents, because they apply
595 only to dependent tasks.
596 * s-solita.adb (Task_Termination_Handler_T): Do not look for fall-back
597 termination handlers because the environment task has no parent,
598 and if it defines one of these handlers it does not apply to
599 itself because they apply only to dependent tasks.
601 2013-04-24 Robert Dewar <dewar@adacore.com>
603 * sem_type.adb, exp_attr.adb, exp_ch4.adb: Minor reformatting.
605 2013-04-24 Robert Dewar <dewar@adacore.com>
607 * gnat_rm.texi: Document 'Update attribute.
608 * sem_attr.adb (Analyze_Attribute, case Update): Remove call
609 to S14_Attribute (S14_Attribute): removed.
611 2013-04-24 Robert Dewar <dewar@adacore.com>
613 * interfac.ads: Add size clauses for IEEE_Float_32/64
615 2013-04-24 Claire Dross <dross@adacore.com>
617 * gnat1drv.adb (Adjust_Global_Switches): Remove
618 special assignment of Use_Expression_With_Actions for SPARK_Mode.
620 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
622 * checks.adb (Apply_Predicate_Check): Check for the presence
623 of the dynamic predicate aspect when trying to determine if the
624 predicate of a type is non-static.
625 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check
626 for the presence of the dynamic predicate aspect when trying to
627 determine if the predicate of a type is non- static.
628 * sem_ch13.adb (Add_Call): Capture the nature of the
629 inherited ancestor predicate.
630 (Build_Predicate_Functions): Update comments. Rewrite the checks on
631 static predicate application. Complain about the form of a non-static
632 expression only when the type is static.
634 2013-04-24 Ed Schonberg <schonberg@adacore.com>
636 * sem_prag.adb: Add guard to tree traversal.
638 2013-04-24 Vincent Celier <celier@adacore.com>
640 * clean.adb (Clean): Remove local variable Root_Environment,
641 use Makeutl.Root_Environment instead.
642 * gnatcmd.adb: Remove local variable Root_Environment, use
643 Makeutl.Root_Environment instead.
644 * make.adb (Gnatmake): Remove local variable Root_Environment,
645 use Makeutl.Root_Environment instead.
646 * prj-makr.adb: Remove local variable Root_Environment, use
647 Makeutl.Root_Environment instead.
649 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
651 * exp_attr.adb (Expand_Loop_Entry_Attribute): Clarify the
652 extraction of the declarative part of the conditional block. Move
653 the processing of simple infinite loops to the start of the
654 expansion logic. Correct the check which determines whether the
655 proper scope is installed in visibility.
656 * sem_attr.adb (Analyze_Attribute): Add local variable Attr
657 to keep track of the attribute in case the enclosing indexed
658 component has to be rewritten. When searching for the enclosing
659 loop, start from the proper attribute reference in case of a
660 rewriting. Do not allow for 'Loop_Entry to appear in pragma
661 Assert. Replace loop variable J with Index. Set the type of the
663 * sem_ch5.adb (Check_Unreachable_Code): Detect a specialized
664 block that services a loop statement subject to at least one
665 'Loop_Entry attribute.
667 2013-04-24 Ed Schonberg <schonberg@adacore.com>
669 * sem_type.adb (Disambiguate): In Ada 2012 mode, when trying to
670 resolve a fixed point operation, use first subtype to determine
671 whether type and operator are declared in the same list of
674 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
676 * par-ch6.adb (P_Subprogram): Detect an illegal
677 placement of the aspect specification list in the context of
678 expression functions.
680 2013-04-24 Ed Schonberg <schonberg@adacore.com>
682 * exp_ch4.adb (Expand_N_Allocator): If the designated object
683 has tasks, and the pointer type is an itype that has no master
684 id, create a master renaming in the current context, which can
685 only be an init_proc.
687 2013-04-24 Robert Dewar <dewar@adacore.com>
689 * sem_ch3.adb, sem_ch7.adb: Minor reformatting.
690 * gnat_rm.texi: Document pragma Loop_Invariant.
691 * sem_attr.adb (Analyze_Attribute, case Loop_Entry): This is
692 no longer an S14_Attribute.
693 * sem_prag.adb (Analyze_Pragma, case Loop_Invariant): Combine
694 processing with Assert, allow message parameter, remove call
697 2013-04-24 Thomas Quinot <quinot@adacore.com>
699 * exp_ch4.adb: Minor reformatting.
701 2013-04-24 Ed Schonberg <schonberg@adacore.com>
703 * sem_ch7.adb (Swap_Private_Dependents): New internal routine
704 to Install_Private_Declarations, to make the installation of
705 private dependents recursive in the presence of child units.
706 * sem_ch3.adb (Build_Discriminated_Subtype): Initialize properly
707 the Private_Dependents of a private subtype.
709 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
711 * exp_attr.adb (Expand_Loop_Entry_Attribute): Update the
712 retrieval of the block declarations.
713 * par-ch4.adb (P_Name): Let the name parsing machinery create
714 a sequence of nested indexed components for attribute Loop_Entry.
715 * sem_attr.adb (Analyze_Attribute): Add local constant
716 Context. Reimplement part of the analysis of attribute Loop_Entry.
717 (Convert_To_Indexed_Component): Removed.
718 * sem_ch4.adb (Analyze_Indexed_Component_Form): Do not analyze
719 an indexed component after it has been rewritten into attribute
722 2013-04-24 Yannick Moy <moy@adacore.com>
724 * snames.ads-tmpl: Minor change to list
725 Loop_(In)variant not in configuration pragma.
726 * sem_ch3.adb (Analyze_Declarations): Do not look at the original node
727 for analyzing the expressions in pre/postconditions.
729 2013-04-24 Robert Dewar <dewar@adacore.com>
731 * gnatcmd.adb, xref_lib.adb, gnatls.adb, sem_ch13.adb: Minor
734 2013-04-24 Yannick Moy <moy@adacore.com>
736 * sem_ch6.adb (Analyze_Generic_Subprogram_Body,
737 Analyze_Subprogram_Body_Helper): Reset contract node to Empty
738 before setting entity to E_Subprogram_Body.
739 * sem_ch8.adb (Analyze_Subprogram_Renaming): Reset contract node to
740 Empty before setting entity to E_Subprogram_Body.
742 2013-04-24 Vincent Celier <celier@adacore.com>
744 * gnat_ugn.texi: Document new gnatls switch -aPdir.
745 * gnatcmd.adb: Pass switch -aP<dir> to gnatls.
746 * gnatls.adb (Scan_Ls_Arg): Process new switch -aP<dir>. Issue
747 a warning for unknown switches.
748 (Usage): Add line for new switch -aPdir.
750 2013-04-24 Ed Schonberg <schonberg@adacore.com>
752 * sem_util.adb, sem_util.ads (Is_Limited_Class_Wide_Type): Return true
753 if the type comes from a limited view, so that task attributes can be
756 2013-04-24 Yannick Moy <moy@adacore.com>
758 * checks.adb (Apply_Float_Conversion_Check): Do not apply checks if
759 full expansion is not enabled.
761 2013-04-24 Ed Schonberg <schonberg@adacore.com>
763 * sem_ch6.adb (Create_Extra_Formals): In Ada 2012, create extra
764 formals if the type does not yet have a completion, and thus
765 has no underlying view.
767 2013-04-24 Ed Schonberg <schonberg@adacore.com>
769 * sem_ch13.adb (Analyze_Aspect_Specifications): Treat an aspect
770 specification for Address as a reference, to suppress warnings
771 on entities that may be read by an external device.
773 2013-04-24 Sergey Rybin <rybin@adacore.com frybin>
775 * gnat_ugn.texi: Add description of '--help' and '--version'
776 options for ASIS tools: gnatelim, gnatmetric, gnatstub, gnatpp.
778 2013-04-24 Arnaud Charlet <charlet@adacore.com>
780 * gnat_rm.texi: Minor syntax fix.
782 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
784 * exp_attr.adb (Expand_Loop_Entry_Attribute): Add extra comments on
785 what and why is being analyzed. Remove the decoration of renamings as
786 this simply falls out of the general analysis mechanism.
788 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
790 * sem_res.adb (Explain_Redundancy): New routine.
791 (Resolve_Equality_Op): Place the error concerning a redundant
792 comparison to True at the "=". Try to explain the nature of the
795 2013-04-24 Javier Miranda <miranda@adacore.com>
798 * checks.adb, exp_ch6.adb (Install_Null_Excluding_Check): No
799 check in interface thunks since it is performed at the caller
801 (Expand_Simple_Function_Return): No accessibility check
802 needed in thunks since the check is done by the target routine.
804 2013-04-24 Vincent Celier <celier@adacore.com>
806 * xref_lib.adb (Add_Entity): Use the canonical file names
807 so that source file names with capital letters are found on
808 platforms where file names are case insensitive.
810 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
812 * par-ch4.adb (P_Name): Continue to parse the name extension when the
813 construct is attribute Loop_Entry. Do not convert the attribute
814 reference into an indexed component when there is at least one
815 expression / range following 'Loop_Entry.
817 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
819 * sem_ch6.adb (Contains_Enabled_Pragmas): New routine.
820 (Process_PPCs): Generate procedure _Postconditions
821 only when the context has invariants or predicates or enabled
824 2013-04-24 Thomas Quinot <quinot@adacore.com>
826 * g-socket.adb (Host_Entry): Introduce intermediate copy of
827 memory location pointed to by Hostent_H_Addr, as it might not
828 have sufficient alignment.
830 2013-04-24 Yannick Moy <moy@adacore.com>
832 * repinfo.adb (List_Rep_Info): Set the value of Unit_Casing before
833 calling subprograms which may read it.
835 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
837 * einfo.adb: Remove Loop_Entry_Attributes from the usage of
838 nodes. Flag 260 is now used.
839 (Has_Loop_Entry_Attributes): New routine.
840 (Loop_Entry_Attributes): Removed.
841 (Set_Has_Loop_Entry_Attributes): New routine.
842 (Set_Loop_Entry_Attributes): Removed.
843 (Write_Entity_Flags): Write out Flag 260.
844 (Write_Field10_Name): Remove the output for Loop_Entry_Attributes.
845 * einfo.ads: Remove attribute Loop_Entry_Attributes,
846 its related comment and uses in nodes. Add new attribute
847 Has_Loop_Entry_Attributes, related comment and uses in loop nodes.
848 (Has_Loop_Entry_Attributes): New routine and pragma Inline.
849 (Loop_Entry_Attributes): Removed along with pragma Inline.
850 (Set_Has_Loop_Entry_Attributes): New routine and pragma Inline.
851 (Set_Loop_Entry_Attributes): Removed along with pragma Inline.
852 * exp_attr.adb (Expand_Loop_Entry_Attribute): New routine.
853 (Expand_N_Attribute_Reference): Expand attribute 'Loop_Entry.
854 * exp_ch5.adb: Remove with and use clause for Elists.
855 (Expand_Loop_Entry_Attributes): Removed.
856 (Expand_N_Loop_Statement): Add local variable Stmt. Rename local
857 constant Isc to Scheme. When a loop is subject to attribute
858 'Loop_Entry, retrieve the nested loop from the conditional
859 block. Move the processing of controlled object at the end of
861 * sem_attr.adb (Analyze_Attribute): Do not chain attribute
862 'Loop_Entry to its related loop.
863 * sem_ch5.adb (Analyze_Loop_Statement): Add local variable
864 Stmt. When the iteration scheme mentions attribute 'Loop_Entry,
865 the entire loop is rewritten into a block. Retrieve the nested
866 loop in such cases to complete the analysis.
867 * sem_util.ads, sem_util.adb (Find_Loop_In_Conditional_Block): New
869 (Subject_To_Loop_Entry_Attributes): New routine.
871 2013-04-24 Robert Dewar <dewar@adacore.com>
873 * exp_prag.adb (Expand_Loop_Variant): Generate pragma Check
874 (Loop_Variant, xxx) rather than Assert (xxx).
875 * gnat_rm.texi: Document pragma Loop_Variant.
876 * sem_prag.adb (Analyze_Pragma, case Loop_Variant): Remove call
879 2013-04-24 Yannick Moy <moy@adacore.com>
881 * adabkend.adb, ali-util.adb, ali.adb, debug.adb,
882 errout.adb, errout.ads, erroutc.adb, exp_ch3.adb, exp_ch4.adb,
883 exp_ch6.adb, exp_ch7.adb, exp_dbug.adb, exp_util.adb,
884 expander.adb, freeze.adb, gnat1drv.adb, lib-writ.adb,
885 lib-writ.ads, lib-xref.adb, lib-xref.ads, opt.adb, opt.ads,
886 restrict.adb, sem_aggr.adb, sem_attr.adb, sem_ch3.adb,
887 sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_eval.adb, sem_prag.adb,
888 sem_res.adb, sem_util.adb: Everything with name
889 'Alfa' renamed in 'SPARK'. Update comments.
890 Renaming of units with name 'Alfa', renamed with 'SPARK' instead.
891 * exp_alfa.adb: renamed exp_spark.adb.
892 * exp_alfa.ads: renamed exp_spark.ads.
893 * get_alfa.adb: renamed get_spark_xrefs.adb.
894 * get_alfa.ads: renamed get_spark_xrefs.ads.
895 * lib-xref-alfa.adb: renamed lib-xref-spark_specific.adb.
896 * put_alfa.adb: renamed put_spark_xrefs.adb.
897 * put_alfa.ads: renamed put_spark_xrefs.ads.
898 * alfa.adb: renamed spark_xrefs.adb.
899 * alfa.ads: renamed spark_xrefs.ads.
900 * alfa_test.adb: renamed spark_xrefs_test.adb.
901 * gcc-interface/Make-lang.in: Update dependencies.
903 2013-04-24 Robert Dewar <dewar@adacore.com>
905 * gnat_rm.texi: Document pragma Assume.
906 * sem_prag.adb (Analyze_Pragma, case Assume): Now processed as
907 part of Assert, and no longer requires -gnatd.F
909 2013-04-24 Robert Dewar <dewar@adacore.com>
911 * gnat_rm.texi: Document pragma Assert_And_Cut.
912 * sem_prag.adb (Analyze_Pragma, case Assert_And_Cut): Remove
915 2013-04-24 Ed Schonberg <schonberg@adacore.com>
917 * sem_aux.adb: Add guard in Available_View.
919 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
921 * sem_prag.adb (Analyze_Depends_In_Decl_Part): Use
922 Find_Related_Subprogram to find the associated subprogram.
923 (Analyze_Global_In_Decl_List): Use Find_Related_Subprogram
924 to find the associated subprogram.
925 (Analyze_Pragma): Use Find_Related_Subprogram to find the associated
928 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
930 * exp_ch6.adb: Remove with and use clause for Sem_Prag.
931 (Freeze_Subprogram): Call Analyze_Subprogram_Contract to analyze
932 the contract of a subprogram.
933 * sem_ch3.adb: Remove with and use clause for Sem_Prag.
934 (Analyze_Declarations): Call Analyze_Subprogram_Contract to
935 analyze the contract of a subprogram.
936 * sem_ch6.adb (Analyze_Subprogram_Contract): New routine.
937 (Check_Subprogram_Contract): Removed.
938 * sem_ch6.ads (Analyze_Subprogram_Contract): New routine.
939 (Check_Subprogram_Contract): Removed.
940 (Expand_Contract_Cases): Add a guard against malformed contract cases.
941 * sem_ch13.adb (Analyze_Aspect_Specifications): Call
942 Decorate_Delayed_Aspect_And_Pragma to decorate aspects
943 Contract_Cases, Depends and Global. Reimplement the analysis of
944 aspect Contract_Cases.
945 (Decorate_Delayed_Aspect_And_Pragma): New routine.
946 * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): New routine.
947 (Analyze_CTC_In_Decl_Part): Removed.
948 (Analyze_Pragma): Reimplement the analysis of pragma Contract_Cases.
949 (Analyze_Test_Case_In_Decl_Part): New routine.
950 (Find_Related_Subprogram): New routine.
951 (Requires_Profile_Installation): Add new formal Prag. Update
952 the logic to take into account the origin of the pragma.
953 * sem_prag.ads (Analyze_Contract_Cases_In_Decl_Part): New routine.
954 (Analyze_CTC_In_Decl_Part): Removed.
955 (Analyze_Test_Case_In_Decl_Part): New routine.
957 2013-04-24 Robert Dewar <dewar@adacore.com>
959 * sem_prag.adb (Process_Convention): Move Stdcall tests to
960 Set_Convention_From_Pragma so that they are applied to each
961 entry of a homonym set.
962 (Process_Convention): Don't try to set convention if already set.
964 2013-04-24 Robert Dewar <dewar@adacore.com>
966 * gnatbind.adb: Minor reformatting.
968 2013-04-24 Vincent Celier <celier@adacore.com>
970 * clean.adb (Gnatclean): Add the default project search
971 directories in the project search path after scanning the
972 switches on the command line.
973 (Initialize): Do not put the default project search directories in the
975 * gnatcmd.adb (GNATcmd): Add the default project search
976 directories in the project search path after scanning the switches
978 * make.adb (Initialize): Add the default project search
979 directories in the project search path after scanning the switches
982 2013-04-24 Yannick Moy <moy@adacore.com>
984 * restrict.ads (Restriction_Warnings): Initialize with all False value.
986 2013-04-24 Robert Dewar <dewar@adacore.com>
988 * checks.ads, checks.adb (Predicate_Checks_Suppressed): New function.
989 * exp_util.ads, exp_util.adb (Make_Predicate_Check): Check setting of
991 * snames.ads-tmpl (Name_Predicate_Check): New check name.
992 * types.ads (Predicate_Check): New definition.
993 * gnat_rm.texi: Add documentation for Predicate_Check.
995 2013-04-24 Ed Schonberg <schonberg@adacore.com>
997 * exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): If this
998 is a renaming of predefined equality for an untagged record,
999 add generated body to the freeze actions for the subprogram, to
1000 prevent freezing issues when the record has incomplete components.
1001 * exp_ch4.adb (Expand_Composite_Equality): If the type is a type
1002 without completion, return a predefined comparison instead of
1003 just False. This may happen when building the expression for
1004 record equality, when some component has a type whose completion
1005 has not been seen yet. The operation will be analyzed an expanded
1006 after the type has been frozen, at which point all component
1007 types will have been completed, or an error reported.
1009 2013-04-24 Ed Schonberg <schonberg@adacore.com>
1011 * sem_ch13.adb (Analyze_Aspect_Specifications): Do not delay
1012 analysis of a Convention aspect.
1014 2013-04-24 Eric Botcazou <ebotcazou@adacore.com>
1016 * fe.h (Machine_Overflows_On_Target): New macro and declaration.
1017 (Signed_Zeros_On_Target): Likewise.
1019 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
1021 * exp_ch6.adb: Add with and use clause for Sem_Prag.
1022 (Freeze_Subprogram): Analyze all delayed aspects for a null
1023 procedure so that they are available when analyzing the
1024 internally-generated _Postconditions routine.
1025 * exp_ch13.adb: Remove with and use clause for Sem_Prag.
1026 (Expand_N_Freeze_Entity): Move the code that analyzes delayed
1027 aspects of null procedures to exp_ch6.Freeze_Subprogram.
1028 * sem_prag.adb (Analyze_Abstract_State): Update the check on
1029 volatile requirements.
1031 2013-04-24 Bob Duff <duff@adacore.com>
1033 * ali-util.ads (Source_Record): New component Stamp_File
1034 to record from whence the Stamp came.
1035 * ali-util.adb (Set_Source_Table): Set Stamp_File component.
1036 * bcheck.adb (Check_Consistency): Print additional information in
1038 * gnatbind.adb (Gnatbind): Print additional information in
1041 2013-04-24 Robert Dewar <dewar@adacore.com>
1043 * exp_ch13.adb, sem_prag.adb: Update comments.
1044 * sem_ch3.adb, exp_ch9.adb, g-socket.adb, sem_ch13.adb: Minor
1047 2013-04-24 Doug Rupp <rupp@adacore.com>
1049 * vms_data.ads (/{NO}INHIBIT-EXEC): Document new default behavior.
1051 2013-04-24 Yannick Moy <moy@adacore.com>
1053 * sinfo.ads: Minor correction of typo.
1055 2013-04-24 Ed Schonberg <schonberg@adacore.com>
1057 * sem_ch3.adb: Create packed array only when expander is
1060 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
1062 * sem_prag.adb (Analyze_Depends_In_Decl_Part): Install the formals only
1063 when the context warrants it.
1064 (Analyze_Global_In_Decl_List): Install the formals only when
1065 the context warrants it.
1066 (Requires_Profile_Installation): New routine.
1068 2013-04-24 Ed Schonberg <schonberg@adacore.com>
1070 * exp_ch6.adb (Expand_N_Simple_Return_Statement): When the return
1071 type is a discriminated private type that does not require use
1072 of the secondary stack, a constrained subtype of the underlying
1073 type is created to convey the proper object size to the backend.
1074 If the return type is originally a private type, the return
1075 expression is wrapped in an unchecked_conversion. If the return
1076 expression is used subsequently in a call to the postcondition
1077 function, this conversion must be undone to prevent a spurious
1078 error on the analysis of that call.
1080 2013-04-23 Kai Tietz <ktietz@redhat.com>
1083 * raise-gcc.c (__SEH__): Additional check that SjLj isn't active.
1085 2013-04-23 Eric Botcazou <ebotcazou@adacore.com>
1086 Pascal Obry <obry@adacore.com>
1088 * gcc-interface/Makefile.in (targ): Fix target name check.
1089 (../../gnatmake$(exeext)): Add '+' for LTO.
1090 (../../gnatlink$(exeext)): Likewise.
1092 2013-04-23 Hristian Kirtchev <kirtchev@adacore.com>
1094 * exp_ch9.adb (Build_PPC_Wrapper): Correct the traversal of
1095 pre- and post-conditions.
1096 (Expand_N_Task_Type_Declaration):
1097 Use the correct attribute to check for pre- and post-conditions.
1098 * exp_ch13.adb (Expand_N_Freeze_Entity): Correct the traversal of
1099 pre- and post-conditions. Analyze delayed classification items.
1100 * freeze.adb (Freeze_Entity): Use the correct attribute to
1101 check for pre- and post- conditions.
1102 * sem_ch3.adb (Analyze_Declarations): Correct the traversal
1103 of pre- and post-conditions as well as contract- and
1104 test-cases. Analyze delayed pragmas Depends and Global.
1105 * sem_ch6.adb (Check_Subprogram_Contract): Use the correct
1106 attribute to check for pre- and post-conditions, as well as
1107 contract-cases and test-cases. (List_Inherited_Pre_Post_Aspects):
1108 Correct the traversal of pre- and post- conditions.
1109 (Process_Contract_Cases): Update the comment on usage. Correct
1110 the traversal of contract-cases.
1111 (Process_Post_Conditions): Update the comment on usage. Correct the
1112 traversal of pre- and post-conditions.
1113 (Process_PPCs): Correct the traversal of pre- and post-conditions.
1114 (Spec_Postconditions): Use the correct
1115 attribute to check for pre- and post- conditions, as well as
1116 contract-cases and test-cases.
1117 * sem_ch13.adb (Analyze_Aspect_Specifications): Reimplement the
1118 actions related to aspects Depends and Global. Code refactoring
1119 for pre- and post-conditions.
1120 (Insert_Delayed_Pragma): New routine.
1121 * sem_prag.adb (Add_Item): New routine.
1122 (Analyze_Depends_In_Decl_Part): New routine.
1123 (Analyze_Global_In_Decl_Part): New routine.
1124 (Analyze_Pragma): Reimplement the actions related to aspects Depends and
1125 Global. Verify that a body acts as a spec for pragma Contract_Cases.
1126 (Chain_PPC): Use Add_Contract_Item to chain a pragma.
1127 (Chain_CTC): Correct the traversal of contract-
1128 and test-cases. Use Add_Contract_Item to chain a pragma.
1129 (Chain_Contract_Cases): Correct the traversal of contract-
1130 and test-cases. Use Add_Contract_Item to chain a pragma.
1131 (Check_Precondition_Postcondition): Update the comment on usage.
1132 (Check_Test_Case): Update the comment on usage.
1133 * sem_prag.ads (Analyze_Depends_In_Decl_Part): New routine.
1134 (Analyze_Global_In_Decl_Part): New routine.
1135 * sem_util.ads, sem_util.adb (Add_Contract_Item): New routine.
1136 * sinfo.adb (Classifications): New routine.
1137 (Contract_Test_Cases): New routine.
1138 (Pre_Post_Conditions): New routine.
1139 (Set_Classifications): New routine.
1140 (Set_Contract_Test_Cases): New routine.
1141 (Set_Pre_Post_Conditions): New routine.
1142 (Set_Spec_CTC_List): Removed.
1143 (Set_Spec_PPC_List): Removed.
1144 (Spec_CTC_List): Removed.
1145 (Spec_PPC_List): Removed.
1146 * sinfo.ads: Update the structure of N_Contruct along with all
1148 (Classifications): New routine and pragma Inline.
1149 (Contract_Test_Cases): New routine and pragma Inline.
1150 (Pre_Post_Conditions): New routine and pragma Inline.
1151 (Set_Classifications): New routine and pragma Inline.
1152 (Set_Contract_Test_Cases): New routine and pragma Inline.
1153 (Set_Pre_Post_Conditions): New routine and pragma Inline.
1154 (Set_Spec_CTC_List): Removed.
1155 (Set_Spec_PPC_List): Removed.
1156 (Spec_CTC_List): Removed.
1157 (Spec_PPC_List): Removed.
1159 2013-04-23 Doug Rupp <rupp@adacore.com>
1161 * init.c (GNAT$STOP) [VMS]: Bump sigargs[0] count by 2
1162 to account for LIB$STOP not having the chance to add the PC and
1165 2013-04-23 Robert Dewar <dewar@adacore.com>
1167 * sem_ch13.adb: Minor code reorganization (remove some redundant
1169 * sem_ch3.adb, sem_prag.adb: Minor reformatting.
1171 2013-04-23 Yannick Moy <moy@adacore.com>
1173 * einfo.ads: Minor typo fix.
1174 * sem_ch13.adb (Build_Predicate_Functions): Reject cases where
1175 Static_Predicate is applied to a non-scalar or non-static type.
1176 * sem_prag.adb: Minor typo fix.
1178 2013-04-23 Doug Rupp <rupp@adacore.com>
1180 * init.c (GNAT$STOP) [VMS]: New function.
1182 2013-04-23 Ed Schonberg <schonberg@adacore.com>
1184 * sem_ch3.adb: Add exp_pakd to context.
1185 (Constrain_Component_Type): If the component of the parent is
1186 packed, and the record subtype being built is already frozen,
1187 as is the case for an itype, the component type itself will not
1188 be frozen, and the packed array type for it must be constructed
1191 2013-04-23 Thomas Quinot <quinot@adacore.com>
1193 * g-socket.adb, g-socket.ads (Set_Close_On_Exec): New subprogram.
1195 2013-04-23 Yannick Moy <moy@adacore.com>
1197 * err_vars.ads (Error_Msg_Qual_Level): Set variable to zero
1199 * opt.ads (Multiple_Unit_Index): Set variable to zero at declaration.
1200 * sem_util.adb (NCT_Table_Entries): Set variable to zero at declaration.
1201 * set_targ.ads (Num_FPT_Modes): Set variable to zero at declaration.
1202 * stylesw.adb (Save_Style_Check_Options): Protect testing the
1203 value of Style_Check_Comments_Spacing by a previous test that
1204 Style_Check_Comments is True.
1206 2013-04-23 Thomas Quinot <quinot@adacore.com>
1208 * sem_prag.adb, sem_prag.ads (Effective_Name): Rename to
1209 Original_Name, and move declaration to package body as this
1210 subprogram is not used from outside. Also clarify documentation.
1212 2013-04-23 Ed Schonberg <schonberg@adacore.com>
1214 * exp_ch6.adb (Expand_N_Subprogram_Body): When compiling with
1215 initialize_scalars, disable predicate checks on the generated
1216 assignment to an out scalar parameter.
1218 2013-04-23 Gary Dismukes <dismukes@adacore.com>
1220 * sem_ch4.adb (Analyze_Allocator): Remove error
1221 check for "constrained in partial view" constraints entirely.
1223 2013-04-23 Robert Dewar <dewar@adacore.com>
1225 * einfo.ads, sem_prag.ads: Minor reformatting.
1226 * errout.ads: Comment update.
1228 2013-04-23 Yannick Moy <moy@adacore.com>
1230 * exp_ch5.adb: Minor typo.
1232 2013-04-23 Thomas Quinot <quinot@adacore.com>
1234 * gnat_ugn.texi: Fix typo.
1236 2013-04-23 Ed Schonberg <schonberg@adacore.com>
1238 * einfo.ads: Minor documentation clarification.
1240 2013-04-23 Bob Duff <duff@adacore.com>
1242 * types.ads: Fix incorrect comment.
1244 2013-04-23 Ed Schonberg <schonberg@adacore.com>
1246 * sem_aux.adb sem_aux.ads (Effectively_has_Constrained_Partial_View):
1247 Rename subprogram as Object_Type_Has_Constrained_Partial_View, better
1248 description of purpose.
1249 * checks.adb (Apply_Discriminant_Check): Use above renaming.
1250 * sem_ch4.adb (Analyze_Allocator): Check Has_Constrained_Partial_View
1251 of the base type, rather than using the Object_Type predicate.
1252 * sem_attr.adb (Analyze_Attribute, case 'Access): Use above renaming.
1253 * sem_util.adb (Is_Dependent_Component_Of_Mutable_Object): ditto.
1254 * exp_attr.adb (Expand_N_Attribute_Reference, case 'Constrained): Ditto.
1255 * exp_ch4.adb (Expand_N_Allocator): Ditto.
1257 2013-04-23 Robert Dewar <dewar@adacore.com>
1259 * exp_prag.adb (Expand_Pragma_Check): Check for Assert rather
1261 * sem_prag.adb (Is_Valid_Assertion_Kind): Moved to spec
1262 (Effective_Name): New function (Analyze_Pragma, case Check):
1263 Disallow [Statement_]Assertions (Check_Kind): Implement
1264 Statement_Assertions (Check_Applicable_Policy): Use Effective_Name
1265 (Is_Valid_Assertion_Kind): Allow Statement_Assertions.
1266 * sem_prag.ads (Is_Valid_Assertion_Kind): Moved here from body
1267 (Effective_Name): New function.
1268 * sem_res.adb: Minor reformatting.
1269 * snames.ads-tmpl (Name_Statement_Assertions): New entry.
1270 * gnat_rm.texi: Add documentation of new assertion kind
1271 Statement_Assertions.
1273 2013-04-23 Robert Dewar <dewar@adacore.com>
1275 * sinfo.ads, einfo.adb, sem_res.adb, exp_ch6.adb, aspects.adb: Minor
1276 reformatting and code clean up.
1278 2013-04-23 Vincent Celier <celier@adacore.com>
1280 * prj-part.ads, prj-conf.ads: Minor comment updates.
1282 2013-04-23 Ed Schonberg <schonberg@adacore.com>
1284 * einfo.adb (Predicate_Function): For a private type, retrieve
1285 predicate function from full view.
1286 * aspects.adb (Find_Aspect): Ditto.
1287 * exp_ch6.adb (Expand_Actuals): If the formal is class-wide and
1288 the actual is a definite type, apply predicate check after call.
1289 * sem_res.adb: Do not apply a predicate check before the call to
1290 a generated Init_Proc.
1292 2013-04-23 Robert Dewar <dewar@adacore.com>
1294 * sem_ch13.adb (Analyze_Aspect_Specifications): Significant
1295 rewrite to make sure Is_Ignore is properly captured when aspect
1297 * sem_ch6.adb: Minor reformatting.
1298 * sem_prag.adb (Analyze_Pragma): Do not test policy at time of
1299 pragma for the case of a pragma coming from an aspect (already
1300 tested when we analyzed the aspect).
1302 2013-04-23 Vincent Celier <celier@adacore.com>
1304 * prj-conf.adb (Parse_Project_And_Apply_Config): New
1305 Boolean parameter Implicit_Project, defaulted to False. Call
1306 Prj.Part.Parse with Implicit_Project.
1307 * prj-conf.ads (Parse_Project_And_Apply_Config): New Boolean
1308 parameter Implicit_Project, defaulted to False.
1309 * prj-part.adb (Parse_Single_Project): New Boolean parameter
1310 Implicit_Project, defaulted to False. When Implicit_Project is
1311 True, change the Directory of the project node to the Current_Dir.
1312 * prj-part.ads (Parse): New Boolean parameter, defaulted to False
1314 2013-04-23 Robert Dewar <dewar@adacore.com>
1316 * exp_util.adb: Minor reformatting.
1318 2013-04-23 Robert Dewar <dewar@adacore.com>
1320 * xoscons.adb: Minor reformatting.
1322 2013-04-23 Hristian Kirtchev <kirtchev@adacore.com>
1324 * sem_prag.adb (Check_Mode): Ensure that a
1325 self-referential output appears in both input and output lists of
1326 the subprogram as categorized by aspect Global.
1327 (Check_Usage): Rename formal parameters to better illustrate their
1328 function. Update all uses of the said formals.
1330 2013-04-23 Thomas Quinot <quinot@adacore.com>
1332 * exp_util.adb, exp_util.ads (Fully_Qualified_Name_String): New
1333 parameter Append_NUL to make NUL-termination optional.
1334 * exp_dist.adb: Consistently use the above throughout instead of
1335 Get_Library_Unit_Name_String.
1337 2013-04-23 Robert Dewar <dewar@adacore.com>
1339 * sem_util.adb, sem_res.adb, prj-tree.adb, prj-tree.ads: Minor
1342 2013-04-23 Pascal Obry <obry@adacore.com>
1344 * xoscons.adb: Remove unused use clause, minor code clean-up.
1346 2013-04-23 Ed Schonberg <schonberg@adacore.com>
1348 * sem_util.ads, sem_util.adb: Code cleanup for Is_Expression_Function
1349 (can apply to any scope entity).
1350 * sem_res.adb (Resolve_Call): If the call is within another
1351 expression function it does not constitute a freeze point.
1353 2013-04-23 Yannick Moy <moy@adacore.com>
1355 * exp_ch6.adb (Expand_Actuals): Test that Subp
1356 is overloadable before testing if it's an inherited operation.
1358 2013-04-23 Robert Dewar <dewar@adacore.com>
1360 * a-envvar.adb, a-envvar.ads, exp_util.adb, sem_ch12.adb: Minor
1363 2013-04-23 Ed Schonberg <schonberg@adacore.com>
1365 * sem_ch3.adb (Analyze_Object_Declarations): Undo previous patch.
1366 * exp_util.adb (Expand_Subtype_From_Expr): If the expression
1367 is a source entity and the declaration is for an aliased
1368 unconstrained array, create a new subtype so that the flag
1369 Is_Constr_Subt_For_UN_Aliased does not pollute other entities.
1371 2013-04-23 Hristian Kirtchev <kirtchev@adacore.com>
1373 * aspects.adb: Move tables Base_Aspect and Inherited_Aspect
1374 from the spec to the body.
1375 (Find_Aspect): Update the call to Get_Aspect_Id.
1376 (Get_Aspect_Id): New version that takes an aspect specification.
1377 * aspects.ads: Reorganize all aspect related tables.
1378 (Get_Aspect_Id): New version that takes an aspect specification.
1379 * par_sco.adb (Traverse_Aspects): Update the call to Get_Aspect_Id.
1380 * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Update
1381 the call to Get_Aspect_Id.
1382 * sem_ch13.adb (Analyze_Aspect_At_Freeze_Point): Update the
1383 call to Get_Aspect_Id. (Analyze_Aspect_Specifications): Update
1384 the call to Get_Aspect_Id. Update the call to Impl_Defined_Aspect.
1386 2013-04-23 Robert Dewar <dewar@adacore.com>
1388 * sem_prag.adb (Fix_Error): Rewrite to do more accurate job
1389 of getting proper name in the case where pragma comes from
1391 * sem_ch3.adb, sinfo.ads, par-ch6.adb, exp_ch6.adb: Minor reformatting.
1393 2013-04-23 Yannick Moy <moy@adacore.com>
1395 * sem_ch6.adb (Process_PPCs): Do not filter postconditions based on
1398 2013-04-23 Thomas Quinot <quinot@adacore.com>
1400 * par_sco.adb (Traverse_Aux_Decls): Minor code reorganization.
1402 2013-04-23 Doug Rupp <rupp@adacore.com>
1404 * init.c: Move facility macros outside IN_RTS.
1406 2013-04-23 Thomas Quinot <quinot@adacore.com>
1408 * freeze.adb (Freeze_Entity): For the case of a bit-packed
1409 array time that is known at compile time to have more that
1410 Integer'Last+1 elements, issue an error, since such arrays are
1413 2013-04-23 Hristian Kirtchev <kirtchev@adacore.com>
1415 * sem_prag.adb (Analyze_Dependency_Clause): Update all calls to
1416 Analyze_Input_Output.
1417 (Analyze_Input_List): Update all calls to Analyze_Input_Output.
1418 (Analyze_Input_Output): Add formal parameter Self_Ref along with
1419 comment on its usage. Update all calls to Analyze_Input_Output.
1420 (Analyze_Pragma): Add new local variable Self_Ref to capture
1421 the presence of a self-referential dependency clause. Update
1422 all calls to Analyze_Input_Output.
1423 (Check_Mode): Add formal parameter Self_Ref along with comment on its
1424 usage. Verify the legality of a self-referential output.
1426 2013-04-23 Ed Schonberg <schonberg@adacore.com>
1428 * exp_ch6.adb: Add predicate checks on by-copy parameter.
1430 2013-04-23 Vincent Celier <celier@adacore.com>
1432 * a-envvar.adb, a-envvar.ads (Value): New.
1434 2013-04-22 Yannick Moy <moy@adacore.com>
1436 * exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as
1437 null statement if ignored.
1438 * sem_ch6.adb (Expand_Contract_Cases): Do nothing if pragma is ignored.
1439 * sem_prag.adb (Analyze_Pragma): Keep analyzing ignored pragmas.
1441 2013-04-22 Hristian Kirtchev <kirtchev@adacore.com>
1443 * sem_prag.adb (Analyze_Contract_Case): New routine.
1444 (Analyze_Pragma): Aspect/pragma Contract_Cases can
1445 now be associated with a library level subprogram.
1446 Add circuitry to detect illegal uses of aspect/pragma Contract_Cases
1447 in a subprogram body.
1448 (Chain_Contract_Cases): Rename formal parameter Subp_Decl to
1449 Subp_Id. Remove local constant Subp. The entity of the subprogram
1450 is now obtained via the formal paramter.
1452 2013-04-22 Ed Schonberg <schonberg@adacore.com>
1454 * sem_ch3.adb (Analyze_Object_Declaration): Do not set
1455 Is_Constr_Subt_For_Unc_Aliased on the subtype of the expression,
1456 if the expression is a source entity.
1458 2013-04-22 Yannick Moy <moy@adacore.com>
1460 * exp_prag.adb, sinfo.ads, sem_prag.ads: Minor correction of typos in
1462 * sem_ch6.adb (Expand_Contract_Cases): Add location to message.
1464 2013-04-22 Thomas Quinot <quinot@adacore.com>
1466 * sem_prag.adb (Fix_Error): For a pragma rewritten from another
1467 pragma, fix up error message to include original pragma name.
1468 * par_sco.adb: Minor reformatting.
1470 2013-04-22 Robert Dewar <dewar@adacore.com>
1472 * sem_prag.adb, sem_util.adb, sem_util.ads, sem_res.adb, exp_ch6.adb,
1473 sem_ch6.adb, opt.ads: Minor reformatting.
1475 2013-04-22 Pascal Obry <obry@adacore.com>
1477 * gnat_ugn.texi, prj-nmsc.adb, projects.texi: Add check for
1478 Library_Standalone and Library_Kind.
1480 2013-04-22 Ed Schonberg <schonberg@adacore.com>
1482 * exp_ch6.adb (Expand_Actuals): If the call is to an
1483 inherited operation and the actual is a by-reference type with
1484 predicates, add predicate call to post-call actions.
1485 * sem_util.adb (Is_Inherited_Operation_For_Type): Fix coding
1486 error: a type declaration has a defining identifier, not an Etype.
1487 * sem_res.adb: Restore code removed because of above error.
1489 2013-04-22 Doug Rupp <rupp@adacore.com>
1491 * init.c (__gnat_handle_vms_condition): Also match C$_SIGINT.
1493 2013-04-22 Yannick Moy <moy@adacore.com>
1495 * gnat_rm.texi, exp_util.adb, sem_prag.adb, sem_prag.ads, par-ch2.adb,
1496 opt.ads, sem_ch13.adb: Minor correction of typos in comments/doc.
1498 2013-04-22 Vincent Celier <celier@adacore.com>
1500 * prj-nmsc.adb (Check_Library_Attributes): Set Library_Dir to
1501 No_Path_Information only when Directories_Must_Exist_In_Projects
1503 (Get_Directories): Set Object_Directory
1504 or Exec_Directory to No_Path_Information only when
1505 Directories_Must_Exist_In_Projects is False.
1507 2013-04-22 Yannick Moy <moy@adacore.com>
1509 * par-prag.adb, sem_attr.adb, sem_ch6.adb, sem_prag.adb, sem_warn.adb,
1510 snames.ads-tmpl, sinfo.ads, sem_util.ads: Remove all references to
1511 Pragma_Contract_Case and Name_Contract_Case.
1513 2013-04-22 Yannick Moy <moy@adacore.com>
1515 * aspects.ads, aspects.adb, sem_ch13.adb: Removal of references to
1517 * gnat_ugn.texi, gnat_rm.texi Description of Contract_Case replaced by
1518 description of Contract_Cases.
1520 2013-04-12 Robert Dewar <dewar@adacore.com>
1522 * makeutl.adb, prj-nmsc.adb: Minor reformatting.
1524 2013-04-12 Robert Dewar <dewar@adacore.com>
1526 * exp_util.adb (Make_Invariant_Call): Use Check_Kind instead
1528 * gnat_rm.texi (Check_Policy): Update documentation for new
1529 Check_Policy syntax.
1530 * sem_prag.adb (Check_Kind): Replaces Check_Enabled
1531 (Analyze_Pragma, case Check_Policy): Rework to accomodate new
1532 syntax (like Assertion_Policy).
1533 * sem_prag.ads (Check_Kind): Replaces Check_Enabled.
1535 2013-04-12 Doug Rupp <rupp@adacore.com>
1537 * init.c (SS$_CONTROLC, SS$_CONTINUE) [VMS]: New macros.
1538 (__gnat_handle_vms_condition) [VMS]: Dispatch on the Crtl/C user
1539 handler if installed.
1540 * ctrl_c.c (__gnat_install_int_handler)
1541 [VMS]: Install a dummy sigaction handler to trigger the real
1542 user handler dispatch in init.c/__gnat_handle_vms_condition.
1543 (__gnat_uninstall_int_handler) [VMS]: Likewise.
1545 2013-04-12 Vincent Celier <celier@adacore.com>
1547 * clean.adb (Parse_Cmd_Line): Set Directories_Must_Exist_In_Projects
1548 to False if switch is specified.
1549 * makeutl.adb (Initialize_Source_Record): Do not look for the
1550 object file if there is no object directory.
1551 * opt.ads (Directories_Must_Exist_In_Projects): New Boolean
1552 variable, defaulted to True.
1553 * prj-nmsc.adb (Check_Library_Attributes): Do not fail if library
1554 directory does not exist when Directories_Must_Exist_In_Projects is
1556 (Get_Directories): Do not fail when the object or the exec directory
1557 do not exist when Directories_Must_Exist_In_Projects is False.
1559 2013-04-12 Robert Dewar <dewar@adacore.com>
1561 * namet.adb, namet.ads: Minor addition (7 arg version of Nam_In).
1562 * exp_prag.adb, sem_ch3.adb, sem_intr.adb, sem_type.adb, exp_util.adb,
1563 sem_aux.adb, exp_ch9.adb, sem_ch7.adb, sem_ch10.adb, sem_prag.adb,
1564 par-ch2.adb, tbuild.adb, rtsfind.adb, freeze.adb, sem_util.adb,
1565 sem_res.adb, sem_attr.adb, exp_ch2.adb, prj-makr.adb, sem_elab.adb,
1566 exp_ch4.adb, sem_ch4.adb, sem_mech.adb, sem_ch6.adb, par-prag.adb,
1567 prj-nmsc.adb, exp_disp.adb, sem_ch8.adb, sem_warn.adb, par-util.adb,
1568 sem_eval.adb, exp_intr.adb, sem_ch13.adb, exp_cg.adb, lib-xref.adb,
1569 sem_disp.adb, exp_ch3.adb: Minor code reorganization (use Nam_In).
1571 2013-04-12 Doug Rupp <rupp@adacore.com>
1573 * init.c: Don't clobber condition code on VMS.
1575 2013-04-12 Robert Dewar <dewar@adacore.com>
1577 * exp_aggr.adb: Minor reformatting.
1578 * namet.ads, namet.adb (Nam_In): New functions.
1580 2013-04-12 Robert Dewar <dewar@adacore.com>
1582 * einfo.adb (Has_Dynamic_Predicate_Aspect): New flag.
1583 (Has_Static_Predicate_Aspect): New flag.
1584 * einfo.ads (Has_Dynamic_Predicate_Aspect): New flag.
1585 (Has_Static_Predicate_Aspect): New flag.
1586 * exp_ch9.adb: Minor reformatting.
1587 * exp_util.adb (Make_Invariant_Call): Check_Enabled now handles
1589 * gnat1drv.adb: Remove setting of Debug_Pragmas_Enabled,
1590 since this switch is gone and control of Debug is done with
1592 * gnat_rm.texi: Update documentation for Assertion_Policy and
1593 Check_Policy pragmas.
1594 * opt.adb (Debug_Pragmas_Disabled[_Config]): Removed
1595 (Debug_Pragmas_Enabled[_Config]): Removed Since debug now
1596 controlled by Assertion_Enabled.
1597 * opt.ads (Debug_Pragmas_Disabled[_Config]): Removed
1598 (Debug_Pragmas_Enabled[_Config]): Removed Since debug now
1599 controlled by Assertion_Enabled.
1600 * par-ch2.adb (Scan_Pragma_Argument_Association): Allow new
1602 * sem_attr.adb: Minor reformatting.
1603 * sem_ch13.adb (Analyze_Aspect_Specification): Disable aspect
1604 if DISABLE policy applies.
1605 * sem_ch6.adb (Grab_PPC): Check original name of aspect for
1606 aspect from pragma (Process_PPCs): Properly check assertion policy.
1607 * sem_prag.adb (Check_Enabled): Rewritten for new Assertion_Policy
1608 (Check_Appicable_Policy): New procedure.
1609 (Is_Valid_Assertion_Kind): New function.
1610 (Rewrite_Assertion_Kind): New procedure.
1611 (Analyze_Pragma): Handle case of disabled assertion pragma.
1612 (Analyze_Pragma, case Assertion_Policy): Rewritten for Ada 2012.
1613 (Analyze_Pragma, case Check): Deal with 'Class possibilities.
1614 (Analyze_Pragma, case Check_Policy): Deal with 'Class possibilities.
1615 (Analyze_Pragma, case Contract_Class): New handling of ignored pragma.
1616 (Analyze_Pragma, case Debug): New control with Assertion_Policy.
1617 (Analyze_Pragma, case Debug_Policy): Now consistent with
1619 (Analyze_Pragma, case Loop_Invariant): New handling of ignored
1621 (Analyze_Pragma, case Loop_Variant): New handling of ignored pragma.
1622 (Analyze_Pragma, case Precondition): Use proper name for Check pragma.
1623 (Analyze_Pragma, case Check_Enabled): Rewritten for new policy stuff.
1624 * sem_prag.ads (Check_Enabled): Rewritten for new
1625 Assertion_Policy stuff.
1626 (Check_Appicable_Policy): New procedure.
1627 * sinfo.adb (Is_Disabled): New flag.
1628 (Is_Ignored): New flag.
1629 * sinfo.ads (Is_Disabled): New flag.
1630 (Is_Ignored): New flag.
1631 (N_Pragma_Argument_Association): New 'Class forms.
1632 * snames.ads-tmpl: New names Name_uPre, Name_uPost,
1633 Name_uType_Invariant, Name_uInvariant.
1634 * switch-c.adb: Remove setting of Debug_Pragmas_Enabled for -gnata.
1635 * tree_io.ads (ASIS_Version_Number): Updated (remove
1636 read write of obsolete flags Debug_Pragmas_Disabled and
1637 Debug_Pragmas_Enabled.
1639 2013-04-12 Ed Schonberg <schonberg@adacore.com>
1641 * exp_aggr.adb (Get_Explicit_Discriminant_Value): Subsidiary
1642 of Build_Record_Aggr_Code, used to retrieve explicit values
1643 for inherited discriminants in an extension aggregate, when the
1644 ancestor type is unconstrained.
1646 2013-04-12 Ed Schonberg <schonberg@adacore.com>
1648 * sem_attr.adb (Check_Stream_Attribute): If restriction
1649 No_Default_Stream_Attributes is active, it is illegal to use a
1650 predefined elementary type stream attribute either by itself,
1651 or more importantly as part of the attribute subprogram for a
1652 composite type. However, if the broader restriction No_Streams
1653 is active, then stream operations are not generated, and there
1656 2013-04-12 Robert Dewar <dewar@adacore.com>
1658 * gnatbind.adb: Minor reformatting.
1660 2013-04-12 Bob Duff <duff@adacore.com>
1662 * sem_attr.adb (Analyze_Access_Attribute): Treat P'Access like a
1663 call only in the static elaboration model.
1665 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
1667 * sem_prag.adb (Analyze_Input_List): Detect an illegal dependency
1668 clause where both input and output lists are null.
1669 (Analyze_Pragma): Update the grammar of pragma Depends.
1671 2013-04-12 Vincent Celier <celier@adacore.com>
1673 * gnatbind.adb (No_Restriction_List): Exclude restrictions that
1674 take a parameter value, not a count.
1675 * prj.ads, prj.adb (Remove_All_Restricted_Languages): New procedure.
1676 * projects.texi: Complete documentation of attribute Roots.
1678 2013-04-12 Thomas Quinot <quinot@adacore.com>
1680 * exp_ch3.adb, exp_util.ads, checks.adb, freeze.adb, sem_attr.adb,
1681 sem_ch3.adb: Minor reformatting.
1682 * exp_ch4.adb (Size_In_Storage_Elements): Minor documentation
1683 improvement: note that the computation is pessimistic for bit
1685 * gnat_rm.texi (Range_Length): Fix minor error in description
1688 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
1690 * aspects.adb (Find_Aspect): New routine.
1691 (Find_Value_Of_Aspect): New routine.
1692 (Has_Aspect): Reimplemented.
1693 * aspects.ads (Find_Aspect): New routine.
1694 (Find_Value_Of_Aspect): New routine, previously known as Find_Aspect.
1695 * exp_ch5.adb (Expand_Iterator_Loop): Update the call to Find_Aspect.
1696 * exp_util.adb (Is_Iterated_Container): Update the call to Find_Aspect.
1697 * sem_ch4.adb (Try_Container_Indexing): Update calls to Find_Aspect.
1698 * sem_ch5.adb (Analyze_Iterator_Specification): Update
1699 the call to Find_Aspect. Use function Has_Aspect for better
1701 (Preanalyze_Range): Use function Has_Aspect for better readability.
1702 * sem_ch13.adb (Check_One_Function): Update the call to Find_Aspect.
1703 * sem_prag.adb (Analyze_Pragma): There is no longer need to
1704 look at the parent to extract the corresponding pragma for
1707 2013-04-12 Robert Dewar <dewar@adacore.com>
1709 * checks.adb, sem_elab.adb, repinfo.adb, sem_ch4.adb, restrict.adb,
1710 restrict.ads: Minor reformatting.
1712 2013-04-12 Ed Schonberg <schonberg@adacore.com>
1714 * lib-xref.adb: Retrieve original name of classwide type if any.
1716 2013-04-12 Thomas Quinot <quinot@adacore.com>
1718 * exp_ch11.ads: Minor reformatting.
1720 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
1722 * aspects.adb: Alphabetize subprogram bodies in this unit. Add
1723 an entry for Aspect_Ghost in the table of canonical aspects.
1724 (Has_Aspect): New routine.
1725 * aspects.ads: Add Aspect_Ghost to all relevant
1726 tables. Alphabetize subprograms in this unit.
1727 (Has_Aspect): New routine.
1728 * einfo.adb: Add with and use clauses for Aspects.
1729 (Is_Ghost_Function): New routine.
1730 * einfo.ads: Add new synthesized attribute Is_Ghost_Function and
1731 update the structure of the related nodes.
1732 (Is_Ghost_Function): New routine.
1733 * exp_ch4.adb (Find_Enclosing_Context): Use routine
1734 Is_Body_Or_Package_Declaration to terminate a search.
1735 (Is_Body_Or_Unit): Removed.
1736 * exp_util.adb (Within_Case_Or_If_Expression): Use routine
1737 Is_Body_Or_Package_Declaration to terminate a search.
1738 * par-prag.adb: Add pragma Ghost to the list of pragmas that do
1739 not need special processing by the parser.
1740 * sem_attr.adb (Analyze_Access_Attribute): Detect an
1741 illegal use of 'Access where the prefix is a ghost function.
1742 (Analyze_Attribute): Use routine Is_Body_Or_Package_Declaration
1743 to terminate a search. (Check_References_In_Prefix): Use routine
1744 Is_Body_Or_Package_Declaration to terminate a search.
1745 * sem_ch4.adb (Analyze_Call): Mark a function when it appears
1746 inside an assertion expression. Verify the legality of a call
1747 to a ghost function.
1748 (Check_Ghost_Function_Call): New routine.
1749 * sem_ch6.adb (Analyze_Function_Call): Code reformatting. Move
1750 the setting of attribute In_Assertion_Expression to Analyze_Call.
1751 (Check_Overriding_Indicator): Detect an illegal attempt to
1752 override a function with a ghost function.
1753 * sem_ch12.adb (Preanalyze_Actuals): Detect an illegal use of
1754 a ghost function as a generic actual.
1755 * sem_elab.adb (Check_Internal_Call_Continue): Update the call
1757 * sem_prag.adb: Add an entry for pragma Ghost in the table
1758 of significant arguments.
1759 (Analyze_Pragma): Do not analyze
1760 an "others" case guard. Add processing for pragma Ghost. Use
1761 Preanalyze_Assert_Expression when analyzing the expression of
1762 pragmas Loop_Invariant and Loop_Variant.
1763 * sem_util.adb (Get_Subprogram_Entity): Reimplemented.
1764 (Is_Body_Or_Package_Declaration): New routine.
1765 * sem_util.ads: Alphabetize subprotrams in this unit.
1766 (Is_Body_Or_Package_Declaration): New routine.
1767 * sinfo.adb (In_Assertion): Rename to In_Assertion_Expression.
1768 (Set_In_Assertion): Rename to Set_In_Assertion_Expression.
1769 * sinfo.ads: Rename flag In_Assertion to In_Assertion_Expression
1770 to better reflect its use. Update all places that mention the flag.
1771 (In_Assertion): Rename to In_Assertion_Expression. Update
1772 related pragma Inline. (Set_In_Assertion): Rename to
1773 Set_In_Assertion_Expression. Update related pragma Inline.
1774 * snames.ads-tmpl: Add new predefined name Ghost. Add new pragma
1777 2013-04-12 Arnaud Charlet <charlet@adacore.com>
1779 * sem_prag.adb (Set_Imported): Do not generate error for multiple
1780 Import in CodePeer mode.
1781 * s-rident.ads: Fix minor typo.
1783 2013-04-12 Ed Schonberg <schonberg@adacore.com>
1785 * checks.adb (Insert_Valid_Check): Do not insert validity check
1786 in the body of the generated predicate function, to prevent
1789 2013-04-12 Ed Schonberg <schonberg@adacore.com>
1791 * s-rident.ads: Add various missing Ada 2012 restrictions:
1792 No_Access_Parameter_Allocators, No_Coextensions,
1793 No_Use_Of_Attribute, No_Use_Of_Pragma.
1794 * snames.ads-tmpl: Add corresponding names.
1795 * restrict.ads restrict.adb: Subprograms and data structures to
1796 handle aspects No_Use_Of_Attribute and No_Use_Of_Pragma.
1797 * sem_ch4.adb: Correct name of restrictions is
1798 No_Standard_Allocators_After_Elaboration.
1799 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Check
1800 violation of restriction No_Use_Of_Attribute.
1801 * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
1802 Set restrictions No_Use_Of_Pragma and No_Use_Of_Attribute.
1803 (Analyze_Pragma): Check violation of restriction No_Use_Of_Pragma.
1804 * sem_res.adb: Check restrictions No_Access_Parameter_Allocators
1805 and No_Coextensions.
1806 * bcheck.adb: Correct name of restrictions is
1807 No_Standard_Allocators_After_Elaboration.
1808 * gnatbind.adb: Correct name of restrictions is
1809 No_Standard_Allocators_After_Elaboration.
1811 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
1813 * sem_prag.adb (Analyze_Pragma, (Check_Mode_Restriction_In_Function):
1814 Correct error message format.
1816 2013-04-12 Robert Dewar <dewar@adacore.com>
1818 * sem_attr.adb: Minor reformatting.
1820 2013-04-12 Ed Schonberg <schonberg@adacore.com>
1822 * sem_elab.adb (Within_Elaborate_All): Do not examine a context
1823 item that has not been analyzed, because the unit may have errors,
1824 or the context item may come from a proper unit inserted at the
1825 point of a stub and not analyzed yet.
1827 2013-04-12 Thomas Quinot <quinot@adacore.com>
1829 * gnat1drv.adb, repinfo.adb, repinfo.ads (Repinfo.List_Array_Info,
1830 List_Record_Info): Also include scalar storage order information in
1833 2013-04-12 Yannick Moy <moy@adacore.com>
1835 * sem_ch6.adb (Process_Contract_Cases): Update code to apply to
1836 Contract_Cases instead of Contract_Case pragma.
1838 2013-04-12 Robert Dewar <dewar@adacore.com>
1840 * a-cfdlli.ads, g-socket.adb, s-fileio.adb: Minor reformatting.
1842 2013-04-12 Yannick Moy <moy@adacore.com>
1844 * sem_attr.adb (Analyze_Attribute): Update analyse of
1845 Attribute_Old and Attribute_Result so they are allowed in the
1846 right-hand-side of an association in a Contract_Cases pragma.
1847 * sem_prag.adb (Analyze_CTC_In_Decl_Part): Add pre-analysis of
1848 the expressions in a Contract_Cases pragma.
1850 2013-04-12 Robert Dewar <dewar@adacore.com>
1852 * sem.ads, opt.ads: Minor comment edits.
1853 * sem_warn.adb, sem_ch6.adb: Minor reformatting.
1855 2013-04-12 Claire Dross <dross@adacore.com>
1857 * a-cfdlli.adb a-cfdlli.ads (List, Not_No_Element, Iterate,
1858 Reverse_Iterate, Query_Element, Update_Element, Read, Write): Removed,
1859 not suitable for formal analysis.
1861 2013-04-12 Ed Schonberg <schonberg@adacore.com>
1863 * sem_prag.adb (Analyze_Abstract_State): Use Defining entity
1864 to locate package entity, which may be a child unit.
1866 2013-04-12 Thomas Quinot <quinot@adacore.com>
1868 * g-socket.adb, g-socket.ads (Connect_Socket, version with timeout): If
1869 the specified timeout is 0, do not attempt to determine whether the
1870 connection succeeded.
1872 2013-04-12 Doug Rupp <rupp@adacore.com>
1874 * s-fileio.adb (Form_RMS Context_Key): Fix some thinkos.
1876 2013-04-12 Doug Rupp <rupp@adacore.com>
1878 * s-fileio.adb: Minor reformatting.
1880 2013-04-12 Ed Schonberg <schonberg@adacore.com>
1882 * sem_warn.adb (Check_Infinite_Loop_Warning): Do not warn if
1883 the last statement in the analyzed loop is an unconditional
1886 2013-04-12 Robert Dewar <dewar@adacore.com>
1888 * opt.ads (Style_Check_Main): New switch.
1889 * sem.adb (Semantics): Set Style_Check flag properly for new
1890 unit to be analyzed.
1891 * sem_ch10.adb (Analyze_With_Clause): Don't reset Style_Check,
1892 the proper setting of this flag is now part of the Semantics
1894 * switch-c.adb (Scan_Front_End_Switches): Set Style_Check_Main
1895 for -gnatg and -gnaty
1897 2013-04-12 Doug Rupp <rupp@adacore.com>
1899 * s-crtl.ads (fopen, freopen): Add vms_form parameter
1900 * i-cstrea.ads (fopen, freopen): Likewise.
1901 * adaint.h (__gnat_fopen, __gnat_freopen): Likewise.
1902 * adaint.c (__gnat_fopen, __gnat_freopen): Likewise.
1903 [VMS]: Split out RMS keys and call CRTL function appropriately.
1904 * s-fileio.adb (Form_VMS_RMS_Keys, Form_RMS_Context_Key): New
1906 (Open, Reset): Call Form_VMS_RMS_Keys. Call fopen,freopen with
1908 * gnat_rm.texi: Document implemented RMS keys.
1910 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
1912 * sem_ch13.adb (Analyze_Aspect_Specifications):
1913 Insert the corresponding pragma for aspect Abstract_State at
1914 the top of the visible declarations of the related package.
1915 Previously this was only done when the package is a compilation
1918 2013-04-12 Arnaud Charlet <charlet@adacore.com>
1920 * gnat_ugn.texi: Further menu clean ups.
1921 * sem_prag.adb, opt.ads: Minor reformatting.
1922 * sem_util.ads: Minor comment fix.
1924 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
1926 * sem_ch13.adb (Analyze_Aspect_Specifications): Aspect
1927 Depends is now a delayed aspect. The delay is required
1928 due to the interplay between aspects Depends and Global.
1929 (Check_Aspect_At_Freeze_Point): Add an entry for aspect Depends.
1930 * sem_prag.adb: Reformat various error messages.
1931 (Add_Item): New subsidiary routine.
1932 (Analyze_Pragma): Add new variables
1933 Global_Seen, Result_Seen, Subp_Inputs and Subp_Outputs. The
1934 analysis of pragma Depends now has the capability to check
1935 the proper mode and usage of subprogram inputs and outputs.
1936 (Appears_In): New routine.
1937 (Check_Function_Return): New routine.
1938 (Check_Mode): New routine.
1939 (Check_Usage): New routine.
1940 (Collect_Subprogram_Inputs_Outputs): New routine.
1942 2013-04-12 Bob Duff <duff@adacore.com>
1944 * par-ch7.adb (P_Package): Initialize Sloc in the newly-pushed scope
1947 2013-04-12 Robert Dewar <dewar@adacore.com>
1949 * switch-c.adb: Minor fix to wording of error message for
1952 2013-04-12 Robert Dewar <dewar@adacore.com>
1954 * impunit.adb: Add s-multip and s-mudido to list of impl defined
1956 * gnat_rm.texi: Add documentation for
1957 System.Multiprocessors[.Dispatching_Domains].
1959 2013-04-12 Ben Brosgol <brosgol@adacore.com>
1961 * gnat_ugn.texi: Completion of menu cleanups.
1963 2013-04-12 Arnaud Charlet <charlet@adacore.com>
1965 * sem_prag.adb (Diagnose_Multiple_Pragmas): Relax the rules
1966 in Relaxed_RM_Semantics.
1968 2013-04-12 Arnaud Charlet <charlet@adacore.com>
1970 * set_targ.adb (elab code): Add support for non gcc back-ends
1971 where save_argv is null.
1973 2013-04-12 Robert Dewar <dewar@adacore.com>
1975 * gnat1drv.adb (Gnat1drv): Test Target_Dependent_Info_Write_Name.
1976 * opt.ads (Target_Dependent_Info_Read): Add _Name, now an access
1977 type (Target_Dependent_Info_Write): Add _Name, now an access type.
1978 * set_targ.adb (Write_Target_Dependent_Values): Use name
1979 from -gnatet switch stored in Target_Dependent_Info_Write_Name
1980 (Read_Target_Dependent_Values): Use name from -gnateT switch
1981 stored in Target_Dependent_Info_Read_Name.
1982 * switch-c.adb: New form of -gnatet and -gnateT switches.
1983 * usage.adb: New form of -gnatet and -gnateT switches with
1986 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
1988 * gcc-interface/decl.c (elaborate_expression_1): Skip only constant
1989 arithmetics when looking for a read-only variable in the expression.
1991 2013-04-11 Javier Miranda <miranda@adacore.com>
1993 * check.ads, exp_ch6.adb (Install_Null_Excluding_Check): No check in
1994 interface thunks since it is performed at the caller side.
1995 (Expand_Simple_Function_Return): No accessibility check needed in thunks
1996 since the check is done by the target routine.
1998 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2000 * sem_prag.adb (Analyze_Pragma, case Priority): pre-analyze
2001 expression with type Any_Priority.
2002 * exp_ch9.adb (Initialize_Protection): Check that the value
2003 of the priority expression is within the bounds of the proper
2006 2013-04-11 Robert Dewar <dewar@adacore.com>
2008 * sem_prag.adb, prj-env.adb: Minor reformatting.
2010 2013-04-11 Ben Brosgol <brosgol@adacore.com>
2012 * gnat_ugn.texi: Clean ups.
2014 2013-04-11 Yannick Moy <moy@adacore.com>
2016 * set_targ.adb: Minor comment update.
2018 2013-04-11 Pascal Obry <obry@adacore.com>
2020 * gnat_ugn.texi: Remove obsolete comment about DLL calling
2023 2013-04-11 Javier Miranda <miranda@adacore.com>
2025 * exp_ch6.adb (Expand_Call): For the call to the target primitive
2026 of an interface thunks do not compute the extra actuals; just
2027 propagate the extra actuals received by the thunk.
2028 * exp_disp.adb (Expand_Interface_Thunk): Decorate new attribute
2030 * sem_ch6.adb (Create_Extra_Formals): Do not generate extra
2031 formals in interface thunks whose target primitive has no extra
2034 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2036 * sem_prag.adb (Analyze_Pragma): Detect
2037 a renaming by looking at the Renamed_Object attribute.
2038 (Is_Renaming): Removed.
2040 2013-04-11 Vincent Celier <celier@adacore.com>
2042 * prj-env.adb (Initialize_Default_Project_Path): Take
2043 into account a project path file, specified by environment
2044 variable GPR_PROJECT_PATH_FILE, before taking into account
2046 * projects.texi: Add documentation for GPR_PROJECT_PATH_FILE
2048 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2050 * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
2051 a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
2052 a-cfdlli.adb, a-cfdlli.ads, a-cborma.adb, a-cborma.ads, a-cidlli.adb,
2053 a-cidlli.ads, a-ciormu.adb, a-ciormu.ads, a-cihase.adb, a-cihase.ads,
2054 a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads, a-cbhama.adb,
2055 a-cbhama.ads, a-cborse.adb, a-cborse.ads, a-ciorma.adb, a-cobove.adb,
2056 a-ciorma.ads, a-cobove.ads, a-coormu.adb, a-coormu.ads, a-cohase.adb,
2057 a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbhase.adb, a-cbhase.ads:
2058 Move Iterator operations from body to private part of spec.
2060 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
2062 * ttypes.ads, get_targ.ads: More minor rewording of comments.
2064 2013-04-11 Johannes Kanig <kanig@adacore.com>
2066 * debug.adb: Document use of switch -gnatd.Z.
2068 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2070 * sem_prag.adb (Analyze_Pragma): Both pragma Depends and Global can now
2071 support renamings of entire objects. Legal renamings are replaced by
2072 the object they rename.
2073 (Is_Renaming): New routine.
2075 2013-04-11 Yannick Moy <moy@adacore.com>
2077 * set_targ.adb, opt.ads: Minor changes in comments.
2079 2013-04-11 Ben Brosgol <brosgol@adacore.com>
2081 * gnat_ugn.texi: Minor clean ups.
2083 2013-04-11 Robert Dewar <dewar@adacore.com>
2085 * nlists.ads, nlists.adb, treepr.adb, treepr.ads: Move debugging
2086 function p from Nlists to Treepr.
2088 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2090 * sem_disp.adb (Check_Dispatching_Context): If the context is
2091 a contract for a null procedure defer error reporting until
2092 postcondition body is created.
2093 * exp_ch13.adb (Expand_N_Freeze_Entity): If the entity is a
2094 null procedure, complete the analysis of its contracts so that
2095 calls within classwide conditions are properly rewritten as
2098 2013-04-11 Thomas Quinot <quinot@adacore.com>
2100 * sem_ch10.adb, sem_ch12.adb: Minor reformatting.
2102 2013-04-11 Robert Dewar <dewar@adacore.com>
2104 * exp_attr.adb, sem_res.adb, sem_attr.adb: Minor reformatting.
2106 2013-04-11 Robert Dewar <dewar@adacore.com>
2108 * atree.adb, atree.ads (Node31): New function.
2109 (Set_Node31): New procedure.
2111 2013-04-11 Robert Dewar <dewar@adacore.com>
2113 * errout.ads: Minor typo correction.
2115 2013-04-11 Javier Miranda <miranda@adacore.com>
2117 * einfo.ad[sb] (Thunk_Entity/Set_Thunk_Entity): New attribute.
2119 2013-04-11 Robert Dewar <dewar@adacore.com>
2121 * back_end.adb (Register_Back_End_Types): Moved to Get_Targ
2122 * back_end.ads (C_String): Moved to Get_Targ
2123 (Register_Type_Proc): Moved to Get_Targ (Register_Back_End_Types):
2125 * cstand.adb (Register_Float_Type): New interface
2126 (Create_Back_End_Float_Types): Use entries in FPT_Mode_Table.
2127 * get_targ.adb (Register_Back_End_Types): Moved here from
2129 * get_targ.ads (C_String): Moved here from Back_End
2130 (Register_Type_Proc): Moved here from Back_End
2131 (Register_Back_End_Types): here from Back_End.
2132 * gnat1drv.adb (GGnat11drv): Add call to
2133 Write_Target_Dependent_Values;
2134 * lib-writ.ads, lib-writ.adb (Write_ALI): Remove section writing
2135 obsolete target dependent info.
2136 * opt.ads (Generate_Target_Dependent_Info):
2137 Removed (Target_Dependent_Info_Read): New flag
2138 (Target_Dependent_Info_Write): New flag
2139 * output.adb: Minor comment change
2140 * s-os_lib.ads: Minor reformatting
2141 * set_targ.ads, set_targ.adb: Minor reformatting.
2142 * switch-c.adb (Scan_Switches.First_Ptr): New variable
2143 (Scan_Front_End_Switches): Check -gnatd.b, -gnateT come first
2144 (Scan_Front_End_Switches): Handle -gnatet, -gnateT
2145 * ttypes.ads: Remove documentation section on target dependent
2146 info in ali file Remove four letter codes, no longer used Instead
2147 of using Get_Targ.Get_xxx, we use Set_Targ.xxx
2148 * usage.adb: Add usage lines for -gnatet/-gnateT
2149 * gcc-interface/Make-lang.in: Update dependencies.
2151 2013-04-11 Thomas Quinot <quinot@adacore.com>
2153 * sem_ch4.adb: Update documentation.
2154 * sinfo.ads (N_Expression_With_Actions): Ditto.
2156 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2158 * sem_ch13.adb (Analyze_Aspect_Specifications):
2159 Add a guard to prevent the double insertion of the same aspect
2160 into a rep item list. This previously led to a circularity.
2162 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2164 * sem_attr.adb (Eval_Attribute, case 'Access): Reject attribute
2165 reference if the prefix is the dereference of an anonymous access
2167 * exp_attr.adb (Expand_N_Attribute_Reference, Access_Cases): Handle
2168 properly a reference to the current instance of a protected type
2169 from within a protected subprogram.
2170 * sem_res.adb (Find_Unique_Access_Type): Treat
2171 Attribute_Access_Type like Allocator_Type when resolving an
2174 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2176 * xgnatugn.adb: Remove obsolete comments.
2178 2013-04-11 Robert Dewar <dewar@adacore.com>
2180 * back_end.ads, back_end.adb: Minor reformatting.
2181 * set_targ.ads, set_targ.adb: New files.
2183 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2185 * sem_case.adb (Check_Against_Predicate): New routine.
2186 (Check_Choices): When the type covered by the list of choices
2187 is a static subtype with a static predicate, check all choices
2188 agains the predicate.
2189 (Issue_Msg): All versions removed.
2190 (Missing_Choice): New routines.
2191 * sem_ch4.adb: Code and comment reformatting.
2192 (Analyze_Case_Expression): Do not check the choices when the case
2193 expression is being preanalyzed and the type of the expression
2194 is a subtype with a static predicate.
2195 (Has_Static_Predicate): New routine.
2196 * sem_ch13.adb: Code and comment reformatting. (Build_Range):
2197 Always build a range even if the low and hi bounds denote the
2198 same value. This is needed by the machinery in Check_Choices.
2199 (Build_Static_Predicate): Always build a range even if the low and
2200 hi bounds denote the same value. This is needed by the machinery
2203 2013-04-11 Robert Dewar <dewar@adacore.com>
2205 * einfo.ads, sem_util.adb, exp_ch6.adb, xgnatugn.adb: Minor
2208 2013-04-11 Doug Rupp <rupp@adacore.com>
2210 * gnatlink.adb: Fold program basename to lower case on VMS for
2213 2013-04-11 Matthew Heaney <heaney@adacore.com>
2215 * a-rbtgbo.adb (Generic_Equal): Initialize Result variable before
2218 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2220 * xgnatugn.adb: Remove dead code (handling of @ifset/@ifclear).
2222 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2224 * gnat_ugn.texi: Remove some use of ifset in menus. Not strictly
2225 needed, and seems to confuse some versions of makeinfo.
2227 2013-04-11 Javier Miranda <miranda@adacore.com>
2229 * einfo.adb (Is_Thunk): Remove assertion.
2230 (Set_Is_Thunk): Add assertion.
2231 * einfo.ads (Is_Thunk): Complete documentation.
2232 * exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Code cleanup.
2233 * exp_ch3.ad[sb] (Is_Variable_Size_Array): Moved to sem_util
2234 (Is_Variable_Size_Record): Moved to sem_util
2235 * exp_ch6.adb (Expand_Call): Code cleanup.
2236 (Expand_N_Extended_Return_Statement): Code cleanup.
2237 (Expand_Simple_Function_Return): Code cleanup.
2238 * exp_disp.adb Remove dependency on exp_ch3
2239 (Expand_Interface_Thunk): Add minimum decoration needed to set
2241 * sem_ch3.ad[sb] (Is_Constant_Bound): moved to sem_util
2242 * sem_util.ad[sb] (Is_Constant_Bound): Moved from
2243 sem_ch3 (Is_Variable_Size_Array): Moved from exp_ch3
2244 (Is_Variable_Size_Record): Moved from exp_ch3
2246 2013-04-11 Javier Miranda <miranda@adacore.com>
2248 * exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Do
2249 not add cleanup actions in thunks associated with interface types.
2250 * exp_ch3.ad[sb] (Is_Variable_Size_Record): Move declaration to
2252 * exp_ch4.adb (Tagged_Conversion): Update call to
2253 Expand_Interface_Conversion since the parameter Is_Static is no
2255 * exp_ch6.adb (Expand_N_Extended_Return_Statement): Adding
2256 assertion to ensure that interface thunks are never handled by
2258 (Expand_N_Simple_Function_Return): Do not rewrite this statement
2259 as an extended return statement in interface thunks, and do not
2260 perform copy in the secondary stack if the return statement is
2262 * exp_disp.adb (Expand_Dispatching_Call): No longer displace
2263 the pointer to the returned object in functions returning interface
2265 (Expand_Interface_Thunk): For functions returning interface types
2266 displace the pointer to the returned object.
2267 (Expand_Interface_Conversion): Remove formal
2268 Is_Static since this subprogram can now evaluate it locally.
2269 * sem_ch3.adb (Add_Internal_Interface_Entities): For functions
2270 propagate the type returned by the covered interface primitive to
2271 the internal interface entity. Needed by the thunk to generate
2272 the code which displaces "this" to reference the corresponding
2273 secondary dispatch table.
2274 * sem_disp.adb (Propagate_Tag): Update call to
2275 Expand_Interface_Conversion since the parameter Is_Static is no
2277 * sem_res.adb (Resolve_Type_Conversion): Update calls to
2278 Expand_Interface_Conversion since the parameter Is_Static is no
2279 longer needed plus code cleanup.
2281 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
2283 * init.c (RETURN_ADDR_OFFSET): Delete as unused.
2285 2013-04-11 Robert Dewar <dewar@adacore.com>
2287 * a-crbtgk.adb, a-ciorse.adb, a-crbtgo.adb, a-coorse.adb, a-rbtgbo.adb,
2288 a-cborse.adb, a-rbtgso.adb, exp_ch3.adb: Minor reformatting.
2290 2013-04-11 Yannick Moy <moy@adacore.com>
2292 * exp_ch4.adb (Expand_N_Selected_Component): Do not expand
2293 discriminant check for Unchecked_Union.
2294 * sem_res.adb (Resolve_Selected_Component): Set flag
2295 Do_Discriminant_Check even when expansion is not performed.
2296 * sinfo.ads (Do_Discriminant_Check): Update documentation for the case
2299 2013-04-11 Thomas Quinot <quinot@adacore.com>
2301 * sem_ch13.adb (Same_Representation): Two types with different scalar
2302 storage order never have the same representation.
2304 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2306 * xgnatugn.adb (Push_Conditional): Simplify handling,
2307 no longer need to keep track of "excluding" sections.
2308 (Currently_Excluding): Removed.
2309 (Process_Source_File):
2310 Set unw/vms flag so that texinfo can do the whole handling of
2311 @ifset/@ifclear sections. Fix handling of nested @ifset/@ifclear
2313 * gnat_ugn.texi: Add a section on performing unassisted install
2316 2013-04-11 Johannes Kanig <kanig@adacore.com>
2318 * debug.adb: Document usage of -gnatd.Q switch.
2320 2013-04-11 Matthew Heaney <heaney@adacore.com>
2322 * a-crbtgk.adb (Ceiling, Find, Floor): Adjust locks
2323 before element comparisons.
2324 (Generic_Conditional_Insert, Generic_Conditional_Insert_With_Hint):
2326 * a-crbtgo.adb, a-rbtgbo.adb (Generic_Equal): Adjust locks before
2327 element comparisons.
2328 * a-rbtgso.adb (Difference, Intersection): Adjust locks
2329 before element comparisons.
2330 (Is_Subset, Overlap): Ditto
2331 (Symmetric_Difference, Union): Ditto
2332 * a-btgbso.adb (Set_Difference, Set_Intersection): Adjust locks
2333 before element comparisons.
2334 (Set_Subset, Set_Overlap): Ditto
2335 (Set_Symmetric_Difference, Set_Union): Ditto
2336 * a-coorse.adb, a-ciorse.adb, a-cborse.adb
2337 (Update_Element_Preserving_Key): Adjust locks before element
2338 comparisons (Replace_Element): Ditto
2340 2013-04-11 Pascal Obry <obry@adacore.com>
2342 * prj-attr.adb, projects.texi, snames.ads-tmpl: Remove Build_Slaves
2345 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2347 * exp_ch3.adb (Build_Equivalent_Aggregate): Subsidiary of
2348 Expand_N_Object_Declaration, used to construct an aggregate
2349 with static components whenever possible, so that objects of a
2350 discriminated type can be initialized without calling the init.
2353 2013-04-11 Vincent Celier <celier@adacore.com>
2355 * prj-makr.adb (Process_Directory): On VMS, always delete,
2356 then recreate the temporary file with Create_Output_Text_File,
2357 otherwise the output redirection does not work properly.
2359 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
2361 * urealp.ads: Fix minor typo.
2363 2013-04-11 Fabien Chouteau <chouteau@adacore.com>
2365 * cio.c (mktemp): Don't use tmpnam function from the
2366 system on VxWorks in kernel mode.
2368 2013-04-11 Vincent Celier <celier@adacore.com>
2370 * make.adb (Compile): Clarify the error message reported
2371 when gnatmake refuses to compile a runtime source.
2372 (Start_Compile_If_Possible): Ditto.
2374 2013-04-11 Vincent Celier <celier@adacore.com>
2376 * gnat_ugn.texi: Add documentation about -gnatc and gnatmake.
2378 2013-04-11 Vincent Celier <celier@adacore.com>
2380 * switch-c.adb: Document internal switches.
2381 * usage.adb: Remove lines for internal switches: -gnatea, -gnateO,
2382 -gnatez and -gnateO.
2384 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2386 * par-ch6.adb (P_Subprogram): Attach aspects to subprogram stub.
2387 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Allow aspects on
2389 * sem_ch13.adb (Analyze_Aspect_Specifications): Analyze generated
2390 pre/post pragmas at once before analyzing the proper body.
2391 * sem_prag.adb (Chain_PPC): Handle pragma that comes from an
2392 aspect on a subprogram stub.
2393 * aspects.adb: Aspect specifications can appear on a
2394 subprogram_Body_Stub.
2396 2013-04-11 Vincent Celier <celier@adacore.com>
2398 * gnatname.adb: Minor comment fix.
2400 2013-04-11 Vincent Celier <celier@adacore.com>
2402 * prj-makr.adb (Process_Directory): Create a new temporary
2403 file for each invocation of the compiler, in directory pointed
2404 by environment variable TMPDIR if it exists.
2406 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2408 * gnat_ugn.texi: Minor editing/clean ups.
2410 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2412 * sem_ch6.adb (Analyze_Null_Procedure): New subprogram, mostly
2413 extracted from Analyze_Subprogram_Declaration, to handle null
2414 procedure declarations that in ada 2012 can be completions of
2415 previous declarations.
2417 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2419 * sem_prag.adb (Entity_Of): Moved to Exp_Util.
2420 * exp_util.ads, exp_util.adb (Entity_Of): New routine.
2422 2013-04-11 Robert Dewar <dewar@adacore.com>
2424 * g-spipat.ads: Minor comment fix.
2426 2013-04-11 Robert Dewar <dewar@adacore.com>
2428 * sem_prag.adb, sem_util.adb, sem_res.adb, exp_ch4.adb: Minor
2431 2013-04-11 Thomas Quinot <quinot@adacore.com>
2433 * exp_util.ads (Fully_Qualified_Name_String): Document that the
2434 constructed literal is the entity name in all upper case.
2436 2013-04-11 Thomas Quinot <quinot@adacore.com>
2438 * sem_util.adb (Set_Entity_With_Style_Check): Fix logic of
2439 check for implementation defined identifiers.
2441 2013-04-11 Yannick Moy <moy@adacore.com>
2443 * checks.adb (Apply_Type_Conversion_Checks): Add an explanation
2444 of why range check and length are put on different nodes.
2445 * exp_ch4.adb (Apply_Type_Conversion_Checks): Remove check marks
2446 when doing their expansion.
2448 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2450 * sem_util.ads, sem_util.adb (Get_Incomplete_View_Of_Ancestor):
2451 New function to implement the notion introduced in RM 7.3.1
2452 (5.2/3): in a child unit, a derived type is within the derivation
2453 class of an ancestor declared in a parent unit, even if there
2454 is an intermediate derivation that does not see the full view
2456 * sem_res.adb (Valid_Conversion): if all else fails, examine if an
2457 incomplete view of an ancestor makes a numeric conversion legal.
2459 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2461 * sem_ch6.adb: in Ada2012 operators can only have in
2464 2013-04-11 Vincent Celier <celier@adacore.com>
2466 * makeutl.adb (Create_Binder_Mapping_File): Do not put into
2467 the mapping file ALI files of sources that have been replaced.
2469 2013-04-11 Vincent Celier <celier@adacore.com>
2471 * projects.texi: Add subsection Duplicate Sources in Projects.
2473 2013-04-11 Vincent Celier <celier@adacore.com>
2475 * gnat_ugn.texi: Add documentation for gnatmake switch -droot_dir/**
2477 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2479 * init.c (__gnat_install_handler): Only set up an alternate
2480 stack when installing a signal handler for SIGSEGV.
2482 2013-04-11 Thomas Quinot <quinot@adacore.com>
2484 * g-socket.adb (Connect_Socket, timeout version): Call
2485 underlying connect operation directly, not through the 2-argument
2486 Connect_Socket thick binding, in order to avoid raising a junk
2487 exception for the EINPROGRESS return.
2489 2013-04-11 Robert Dewar <dewar@adacore.com>
2491 * a-cdlili.adb: Minor addition of pragma Warnings (Off).
2493 2013-04-11 Robert Dewar <dewar@adacore.com>
2495 * hostparm.ads: Minor reformatting.
2497 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2499 * aspects.ads, aspects.adb: Add Aspect_Depends to all the relevant
2501 * elists.ads, elists.adb (Contains): New routine.
2502 * par-prag.adb: Pragma Depends does not need any special treatment
2504 * sem_ch13.adb (Analyze_Aspect_Specifications):
2505 Transform aspect Depends into a corresponding pragma.
2506 (Check_Aspect_At_Freeze_Point): Aspect Depends does not need
2507 inspection at its freeze point.
2508 * sem_prag.adb (Analyze_Pragma): Perform analysis and
2509 normalization of pragma Depends. Remove the use of function
2510 Is_Duplicate_Item. Use End_Scope to uninstalle the formal
2511 parameters of a subprogram. Add a value for pragma Depends in
2513 (Is_Duplicate_Item): Removed.
2514 * snames.ads-tmpl: Add predefined name for Depends as well as
2515 a pragma identifier.
2517 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2519 * gnat1drv.adb: Minor code clean up.
2521 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2523 * debug.adb, sem_ch13.adb (Analyze_Enumeration_Representation_Clause):
2524 Ignore enumeration rep clauses by default in CodePeer mode, unless
2525 -gnatd.I is specified.
2527 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2529 * sem_util.adb (Safe_To_Capture_Value): If the node belongs to
2530 an expression that has been attached to the else_actions of an
2531 if-expression, the capture is not safe.
2533 2013-04-11 Yannick Moy <moy@adacore.com>
2535 * checks.adb (Apply_Type_Conversion_Checks): Put check mark on type
2536 conversion for arrays.
2538 2013-04-11 Robert Dewar <dewar@adacore.com>
2540 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
2542 2013-04-11 Johannes Kanig <kanig@adacore.com>
2544 * adabkend.adb: Minor comment addition.
2546 2013-04-11 Matthew Heaney <heaney@adacore.com>
2548 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb ("="): Increment
2549 lock counts before entering loop.
2551 (Is_Sorted, Merge, Sort): Ditto.
2552 (Reverse_Find): Ditto.
2553 (Splice_Internal): Internal operation to refactor splicing logic.
2554 (Splice): Some logic moved into Splice_Internal.
2556 2013-04-11 Johannes Kanig <kanig@adacore.com>
2558 * adabkend.adb (Scan_Compiler_Arguments): Do not call
2559 Set_Output_Object_File_Name in Alfa_Mode
2560 * gnat1drv.adb (Adjust_Global_Switches): Take Alfa_Mode into account.
2561 * opt.ads: Fix documentation.
2563 2013-04-11 Robert Dewar <dewar@adacore.com>
2565 * sem_res.adb: Minor code reorganization and comment fixes.
2566 * sem_type.adb: Minor reformatting.
2568 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2570 * exp_ch4.adb (Process_Transient_Object): Add new
2571 local variable Fin_Call. Remove and explain ??? comment. Use the
2572 Actions of logical operators "and then" and "or else" to insert
2573 the generated finalization call.
2575 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
2577 * gnat_rm.texi: Fix typo.
2579 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2581 * sem_res.adb: Minor reformatting.
2583 2013-04-11 Robert Dewar <dewar@adacore.com>
2585 * atree.h: Add declarations for Flag255-Flag289 Fix declaration
2586 of Field30 (was wrong, but no effect, since not yet referenced by
2587 back end) Add declarations for Field31-Field35 Add declarations
2589 * einfo.ads, einfo.adb (Has_Invariants): No longer applies to
2591 (Has_Predicates): No longer applies to functions.
2592 (Is_Predicate_Function): New flag.
2593 (Is_Predicate_Function_M): New flag.
2594 (Is_Invariant_Procedure): New flag.
2595 (Predicate_Function_M): New function.
2596 (Set_Predicate_Function_M): New procedure.
2597 * exp_ch11.adb (Expand_N_Raise_Expression): Take care of special
2598 case of appearing in predicate used for membership test.
2599 * exp_ch3.adb (Insert_Component_Invariant_Checks): Set
2600 Is_Invariant_Procedure flag.
2601 * exp_ch4.adb (Expand_Op_In): Call special predicate function
2602 that takes care of raise_expression nodes in the predicate.
2603 * exp_util.ads, exp_util.adb (Make_Predicate_Call): Add argument Mem for
2605 * sem_ch13.adb (Build_Predicate_Functions): New name for
2606 Build_Predicate_Function. Major rewrite to take care of raise
2607 expression in predicate for membership tests.
2608 * sem_res.adb (Resolve_Actuals): Include both predicate functions
2609 in defense against infinite predicate function loops.
2610 * sinfo.ads, sinfo.adb (Convert_To_Return_False): New flag.
2612 2013-04-11 Robert Dewar <dewar@adacore.com>
2614 * sem_prag.adb: Minor reformatting.
2616 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2618 * lib-xref.adb: Generate reference for component of anonymous
2621 2013-04-11 Robert Dewar <dewar@adacore.com>
2623 * stand.ads: Minor reformatting.
2625 2013-04-11 Matthew Heaney <heaney@adacore.com>
2627 * a-convec.adb, a-coinve.adb, a-cobove.adb ("="): Increment lock
2628 counts before entering loop.
2629 (Find, Find_Index): Ditto.
2630 (Is_Sorted, Merge, Sort): Ditto.
2631 (Reverse_Find, Reverse_Find_Index): Ditto.
2633 2013-04-11 Robert Dewar <dewar@adacore.com>
2635 * exp_ch11.ads, exp_ch11.adb (Expand_N_Raise_Expression): New procedure.
2636 * exp_util.adb (Insert_Actions): Add entry for N_Raise_Expression.
2637 * expander.adb: Add call to Expand_N_Raise_Expression.
2638 * par-ch11.adb (P_Raise_Expression): New procedure.
2639 * par-ch4.adb (P_Relation): Handle Raise_Expression.
2640 * par.adb (P_Raise_Expression): New procedure.
2641 * sem.adb: Add handling for N_Raise_Expression.
2642 * sem_ch11.ads, sem_ch11.adb (Analyze_Raise_Expression): New procedure.
2643 * sem_res.adb (Resolve): Add handling for N_Raise_Expression.
2644 * sinfo.ads, sinfo.adb (N_Raise_Expression): New node.
2645 * sprint.adb (Sprint_Node_Actual): Add handling for N_Raise_Expression.
2646 * stand.ads (Any_Type): Document use with N_Raise_Expression.
2648 2013-04-11 Vincent Celier <celier@adacore.com>
2650 * gnat_ugn.texi: Remove section "The Development Environments"
2651 now that all predefined attributes are documented, including
2652 those in package IDE.
2654 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2656 * sem_ch6.adb: Preserve parent link in copy of expression.
2658 2013-04-11 Vincent Celier <celier@adacore.com>
2660 * projects.texi: Complete rewrite of the subsection Attributes
2661 in section "Project file Reference".
2663 2013-04-11 Robert Dewar <dewar@adacore.com>
2665 * exp_ch4.adb: Minor reformatting.
2667 2013-04-11 Robert Dewar <dewar@adacore.com>
2669 * exp_ch4.adb (Expand_Concatenate): Remove wrapping in
2670 expression-with-actions node. No longer needed given fix to
2671 sem_prag and caused loss of some useful warnings.
2672 * sem.ads: Minor reformatting.
2673 * sem_prag.adb (Check_Disabled): Removed, to be replaced by not
2674 Check_Enabled. These two routines were curiously incompatible
2676 (Analyze_Pragma, case Check): Make sure we do
2677 not expand the string argument if the check is disabled. Avoid
2678 use of Check_Disabled, which resulted in missing analysis in
2680 * sem_prag.ads (Check_Disabled): Removed, to be replaced by not
2681 Check_Enabled. These two routines were curiously incompatible
2684 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2686 * exp_ch4.adb (Process_Transient_Object): Use
2687 an unchecked conversion when associating a transient controlled
2688 object with its "hook".
2690 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2692 * sem_prag.adb (Analyze_Pragma, case
2693 Preelaborable_Initialization): The pragma is legal if it comes
2694 from an aspect on the private view of the type, even though its
2695 analysis point takes place later at the freeze point.
2697 2013-04-11 Robert Dewar <dewar@adacore.com>
2699 * sem_ch6.adb: Minor reformatting.
2701 2013-04-11 Yannick Moy <moy@adacore.com>
2703 * ali-util.adb (Read_Withed_ALIs): Do not consider it an error to
2704 read ALI files with No_Object=True in Alfa mode.
2705 * gnat1drv.adb: Set appropriately Back_End_Mode in Alfa mode, whether
2706 this is during frame condition generation of translation to Why.
2708 2013-04-11 Robert Dewar <dewar@adacore.com>
2710 * exp_ch4.adb: Minor code reorganization
2711 * types.ads: Minor reformatting.
2713 2013-04-11 Johannes Kanig <kanig@adacore.com>
2715 * opt.ads New global boolean Frame_Condition_Mode to avoid
2716 referring to command line switch.
2717 * gnat1drv.adb (Gnat1drv) set frame condition mode when -gnatd.G
2718 is present, and disable Code generation in that case. Disable
2719 ALI file generation when switch is *not* present.
2721 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2723 * sem_ch6.adb (Analyze_Expression_Function): Perform the
2724 pre-analysis on a copy of the expression, to prevent downstream
2725 visbility issues involving operators and instantiations.
2727 2013-04-11 Johannes Kanig <kanig@adacore.com>
2729 * debug.adb: Reservation and documentation for -gnatd.G switch.
2730 * gnat1drv.adb (Adjust_Global_Switches) Take into account -gnatd.G
2731 switch, and set ALI file generation accordingly.
2733 2013-04-11 Robert Dewar <dewar@adacore.com>
2735 * exp_ch4.adb, exp_dist.adb: Minor reformatting.
2736 * gnat_rm.texi, gnat_ugn.texi: -020 Add documentation clarifying that
2737 check names introduced with pragma Check_Name are suppressed by -gnatp.
2739 2013-04-11 Vincent Celier <celier@adacore.com>
2741 * gnat_ugn.texi, projects.texi: Move chapter "Tools Supporting Project
2742 Files" from projects.texi to gnat_ugn.texi.
2744 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2746 * gcc-interface/Make-lang.in: Update dependencies.
2748 2013-04-11 Yannick Moy <moy@adacore.com>
2750 * gnat1drv.adb (Adjust_Global_Switches): Allow missing body in Alfa
2753 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
2755 * exp_ch4.adb (Expand_N_Allocator): Detect the
2756 allocation of an anonymous controlled object where the type of
2757 the context is named. Use the pool and finalization master of
2758 the named access type to allocate the object.
2760 2013-04-11 Vincent Celier <celier@adacore.com>
2762 * gnat_ugn.texi: Remove most mentions of gprbuild.
2763 * projects.texi: Remove all mentions of asociative array
2766 2013-04-11 Robert Dewar <dewar@adacore.com>
2768 * sem_prag.adb, sem_attr.adb, gnat1drv.adb, prj-makr.adb,
2769 opt.ads, sem_ch13.adb: Minor reformatting.
2770 * debug.adb: Minor comment fix (remove junk .I doc).
2772 2013-04-11 Thomas Quinot <quinot@adacore.com>
2774 * rtsfind.ads, exp_dist.adb, exp_dist.ads (Rtsfind.PCS_Version, case
2775 PolyORB): Bump to 6.
2776 (Exp_Dist.PolyORB_Support): Replace TC_Build with
2779 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2781 * debug.adb, sem_prag.adb, par-ch2.adb, sem_attr.adb, gnat1drv.adb,
2782 exp_disp.adb, opt.ads, sem_ch13.adb (Relaxed_RM_Semantics): New flag.
2783 Enable this flag in CodePeer mode, and also via -gnatd.M.
2784 Replace some uses of CodePeer_Mode by Relaxed_RM_Semantics.
2786 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2788 * sem_ch8.adb (Check_Constrained_Object): If a subtype is created
2789 from the renamed object in an object renaming declaration with
2790 an unconstrained nominal subtype, freeze the created subtype at
2791 once, to prevent order of elaboration issues in the backend.
2793 2013-04-11 Arnaud Charlet <charlet@adacore.com>
2795 * exp_aggr.adb (Aggr_Size_OK): Refine setting of Max_Aggr_Size
2796 in particular in CodePeer mode.
2798 2013-04-11 Vincent Celier <celier@adacore.com>
2800 * gnat_ugn.texi: Add documentation for backup copies of project
2803 2013-04-11 Tristan Gingold <gingold@adacore.com>
2805 * gnat_rm.texi: Add Detect_BLocking in the ravenscar profile
2808 2013-04-11 Vincent Celier <celier@adacore.com>
2810 * gnatname.adb (Scan_Args): Recognize new switch --no-backup
2811 (Usage): Add line for --no-backup.
2812 * opt.ads (No_Backup): New Boolean variable, initialized to False.
2813 (Ada_Version_Default): Switch to Ada 2012 by default.
2814 * prj-makr.adb (Initialize): Create a backup for an existing
2815 project file if gnatname is not invoked with --no-backup.
2817 2013-04-11 Thomas Quinot <quinot@adacore.com>
2819 * exp_ch4.adb: Minor code improvement: replace various calls to
2820 Make_If_Statement in expansion with Make_Implicit_If_Statement.
2822 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
2824 * ali.adb: Fix minor typo.
2826 2013-04-11 Thomas Quinot <quinot@adacore.com>
2828 * exp_ch4.adb (Find_Enclosing_Context): Add missing case of
2829 N_Procedure_Call_Statement.
2831 2013-04-11 Robert Dewar <dewar@adacore.com>
2833 * debug.adb: Minor comment fix.
2835 2013-04-11 Johannes Kanig <kanig@adacore.com>
2837 * debug.adb: Remove comment for -gnatd.G.
2839 2013-04-11 Thomas Quinot <quinot@adacore.com>
2841 * exp_ch4.adb (Expand_Record_Equality.Suitable_Element):
2842 Remove recursive routine, replace with...
2843 (Expand_Record_Equality.Element_To_Compare): New subroutine,
2844 implement iterative search for next element to compare.
2845 Add explanatory comment in the tagged case.
2847 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2849 * sem_ch5.adb: remove spurious warning from non-empty loop.
2850 * sem_ch8.adb (Enclosing_Instance): Make public to other routines
2851 in the package, in order to suppress redundant semantic checks
2852 on subprogram renamings in nested instantiations.
2854 2013-04-11 Robert Dewar <dewar@adacore.com>
2856 * errout.ads: Minor reformatting.
2857 * sem_eval.adb (Why_Not_Static): Now issues continuation messages
2858 (Why_Not_Static): Test for aggregates behind string literals.
2859 * sem_eval.ads (Why_Not_Static): Now issues continuation messages.
2861 2013-04-11 Robert Dewar <dewar@adacore.com>
2863 * exp_ch4.adb (Expand_Concatenation): Wrap expansion in
2864 Expressions_With_Actions.
2866 2013-04-11 Ed Schonberg <schonberg@adacore.com>
2868 * sem_ch6.adb (Base_Types_Match): For an actual type in an
2869 instance, the base type may itself be a subtype, so find true
2870 base type to determine compatibility.
2872 2013-04-11 Robert Dewar <dewar@adacore.com>
2874 * s-osprim-mingw.adb, sem_ch3.adb, sem_prag.adb, sem_util.adb.
2875 makeutl.adb, sem_ch8.adb: Minor reformatting.
2877 2013-04-11 Vincent Celier <celier@adacore.com>
2879 * gnat_ugn.texi: Minor fixes for VMS.
2880 * ug_words: Minor addition: -gnato? => /OVERFLOW_CHECKS=?.
2882 2013-04-11 Robert Dewar <dewar@adacore.com>
2884 * usage.adb (Usage): Minor edit to -gnatW message
2886 2013-04-11 Robert Dewar <dewar@adacore.com>
2888 * exp_aggr.adb (Expand_N_Aggregate): Add circuit for handling
2889 others for string literal case. Also add big ??? comment about
2890 this new code, which should be redundant, but is not.
2891 * sem_eval.adb (Eval_Concatenation): Handle non-static case
2892 properly (Eval_String_Literal): Handle non-static literal properly
2894 2013-03-20 Tobias Burnus <burnus@net-b.de>
2896 * i-fortra.ads: Update comment, add Ada 2012's optional
2897 Star and Kind data types for enhanced interoperability.
2899 2013-03-16 Eric Botcazou <ebotcazou@adacore.com>
2901 * gnatvsn.ads (Library_Version): Bump to 4.9.
2903 2013-03-08 Cesar Strauss <cestrauss@gmail.com>
2906 * seh_init.c (Raise_From_Signal_Handler): Declare as no-return.
2907 (__gnat_SEH_error_handler): Likewise. Remove final return.
2909 2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
2911 * gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroring
2912 out for an unimplemented attribute.
2914 2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
2916 * gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper around
2917 a misaligned integral type if a size is specified for the field.
2919 2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
2921 * gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>:
2922 Record the unpadded type of the index type on the RCI stack.
2924 2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
2926 * gcc-interface/trans.c (emit_range_check): Assert that the range type
2927 is a numerical type and remove useless local variables.
2929 2013-02-25 Eric Botcazou <ebotcazou@adacore.com>
2931 * gcc-interface/ada-tree.h: Back out change accidentally committed.
2933 2013-02-21 Jakub Jelinek <jakub@redhat.com>
2936 * gnat-style.texi (@title): Remove @hfill.
2937 * projects.texi: Avoid line wrapping inside of @pxref or @xref.
2939 2013-02-14 Rainer Emrich <rainer@emrich-ebersheim.de>
2942 * tracebak.c: Cast from pointer via FARPROC.
2944 2013-02-07 Simon Wright <simon@pushface.org>
2947 * init.c (__darwin_major_version): New function for x86-64/Darwin.
2948 (__gnat_adjust_context_for_raise) [Darwin]: Disable the workaround
2949 on Darwin 12 and above.
2951 2013-02-06 Rainer Emrich <rainer@emrich-ebersheim.de>
2954 * adaint.c (__gnat_check_OWNER_ACL): Cast from pointer via
2955 SECURITY_DESCRIPTOR *
2956 (__gnat_set_OWNER_ACL): Cast from DWORD to ACCESS_MODE
2957 (__gnat_portable_spawn): Fix cast to char* const*
2958 (add_handle): Cast from pointer via void **
2959 (add_handle): Cast from pointer via int *
2960 (__gnat_locate_exec_on_path): Cast from pointer via TCHAR *
2961 (__gnat_locate_exec_on_path): Cast from pointer via char *
2962 * initialize.c (append_arg): Cast from pointer via LPWSTR
2963 (__gnat_initialize): Cast from pointer via LPWSTR
2964 * seh_init.c (__gnat_map_SEH): Cast from pointer via FARPROC
2966 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
2968 * gcc-interface/Make-lang.in: Enable System.Stack_Checking.Operations
2969 target pairs on VxWorks 5 only.
2971 2013-02-06 Arnaud Charlet <charlet@adacore.com>
2973 * gcc-interface/Make-lang.in: Update dependencies.
2975 2013-02-06 Vincent Celier <celier@adacore.com>
2977 * prj-proc.adb (Process_Aggregated_Projects): Use a new project
2978 node tree for each project tree rooted at an aggregated project.
2980 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
2982 * sem_util.adb (Is_Interface_Conversion): New routine.
2983 (Object_Access_Level): Detect an interface conversion
2984 that has been rewritten into a different construct. Use the
2985 original form of the conversion to find the access level of
2988 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>
2990 * einfo.ads (Has_Pragma_No_Inline): New flag using Flag201.
2991 (Has_Pragma_No_Inline): Declare and mark as inline.
2992 (Set_Has_Pragma_No_Inline): Likewise.
2993 * einfo.adb (Has_Pragma_No_Inline): New function.
2994 (Set_Has_Pragma_No_Inline): New procedure.
2995 (Write_Entity_Flags): Handle Has_Pragma_No_Inline.
2996 * snames.ads-tmpl (Name_No_Inline): New pragma-related name.
2997 (Pragma_Id): Add Pragma_No_Inline value.
2998 * par-prag.adb (Prag): Handle Pragma_Inline.
2999 * sem_prag.adb (Inline_Status): New enumeration type.
3000 (Process_Inline): Change Active parameter
3001 to Inline_Status and add support for suppressed inlining.
3002 (Analyze_Pragma) <Pragma_Inline>: Adjust to above change.
3003 <Pragma_Inline_Always>: Likewise.
3004 <Pragma_No_Inline>: Implement new pragma No_Inline.
3005 (Sig_Flags): Add Pragma_No_Inline.
3006 * gnat_rm.texi (Implementation Defined Pragmas): Add No_Inline.
3007 * gnat_ugn.texi (Switches for gcc): Mention Pragma No_Inline.
3009 2013-02-06 Pascal Obry <obry@adacore.com>
3011 * s-osprim-mingw.adb (Clock): Make sure we copy all data locally
3012 to avoid interleaved modifications that could happen from another
3013 task calling Get_Base_Data.
3014 (Get_Base_Data): Make it a critical section. Avoid updating if another
3015 task has already done it.
3017 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>
3019 * sem_prag.adb: Minor reformatting.
3021 2013-02-06 Pascal Obry <obry@adacore.com>
3023 * s-tasloc.ads: Set System.Task_Lock to preelaborate.
3025 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>
3027 * snames.ads-tmpl (Name_Loop_Optimize, Name_No_Unroll,
3028 Name_Unroll, Name_No_Vector, Name_Vector): New pragma-related
3030 (Pragma_Id): Add Pragma_Loop_Optimize value.
3031 * par-prag.adb (Prag): Handle Pragma_Loop_Optimize.
3032 * sem_prag.adb (Check_Loop_Invariant_Variant_Placement): Rename to...
3033 (Check_Loop_Pragma_Placement): ...this.
3035 <Pragma_Loop_Invariant>: Adjust to above renaming.
3036 <Loop_Variant>: Likewise.
3037 <Pragma_Loop_Optimize>: Implement new pragma Loop_Optimize.
3038 (Sig_Flags): Add Pragma_Loop_Optimize.
3039 * gnat_rm.texi (Implementation Defined Pragmas): Add Loop_Optimize.
3040 * gnat_ugn.texi (Vectorization of loops): Mention Loop_Optimize.
3042 2013-02-06 Robert Dewar <dewar@adacore.com>
3044 * osint.ads: Minor fix of typo.
3046 2013-02-06 Sergey Rybin <rybin@adacore.com frybin>
3048 * gnat_ugn.texi: gnatmetric: update the documentation of
3049 complexity metrics for Ada 2012.
3051 2013-02-06 Javier Miranda <miranda@adacore.com>
3053 * exp_disp.adb (Make_Secondary_DT): Code cleanup:
3054 remove useless initialization.
3056 2013-02-06 Ed Schonberg <schonberg@adacore.com>
3058 * sem_ch3.adb (Build_Discriminant_Constraints): Do not
3059 generate overflow checks on a discriminant expression if the
3060 discriminant constraint is applied to a private type that has
3061 a full view, because the check will be applied when the full
3062 view is elaborated. Removing the redundant check is not just
3063 an optimization, but it prevents spurious assembler errors,
3064 because of the way the backend generates names for expressions
3065 that require overflow checking.
3067 2013-02-06 Pascal Obry <obry@adacore.com>
3069 * s-osprim-mingw.adb: Removes workaround for an old GNU/Linker
3070 limitation on Windows.
3080 (Clock): Use variable corresponding to access.
3081 (Get_Base_Time): Likewise.
3082 (Monotonic_Clock): Likewise.
3084 2013-02-06 Vincent Celier <celier@adacore.com>
3086 * make.adb (Gnatmake): When gnatmake is called with a project
3087 file, do not invoke gnatbind with -I-.
3088 * makeutl.adb (Create_Binder_Mapping_File): Rewrite function. Get
3089 the infos from all the sources.
3091 2013-02-06 Ed Schonberg <schonberg@adacore.com>
3093 * snames.ads-tmpl: Add Name_Overriding_Renamings and pragma
3094 Overriding_Renamings.
3095 * par-prag.adb: Recognize pragma Overriding_Renamings.
3096 * opt.ads (Overriding_Renamings): flag to control compatibility
3097 mode with Rational compiler, replaces Rational_Profile flag.
3098 * sem_ch8.adb (Analyze_Subprogram_Renaming): When
3099 Overriding_Renamings is enabled, accept renaming declarations
3100 where the new subprogram renames and overrides a locally inherited
3101 operation. Improve error message for some illegal renamings.
3102 * sem_prag.adb (Analyze_Pragma): Add case for Overriding_Renamings.
3103 (Set_Rational_Profile): The Rational_Profile enables
3104 Overriding_Renamings, Implicit_Packing, and Use_Vads_Size.
3106 2013-02-06 Ed Schonberg <schonberg@adacore.com>
3108 * sem_util.adb: Set parent of copied aggregate component, to
3109 prevent infinite loop.
3111 2013-02-06 Robert Dewar <dewar@adacore.com>
3113 * sem_ch3.adb, sem_ch10.adb: Minor reformatting.
3114 * exp_disp.adb: Minor comment update.
3115 * comperr.ads, osint.ads, rtsfind.adb, sem_prag.adb: Minor addition of
3118 2013-02-06 Thomas Quinot <quinot@adacore.com>
3120 * targparm.ads, sem_ch13.adb (Support_Nondefault_SSO): New target
3121 parameter, defaulted to False for now, indicates targets where
3122 non-default scalar storage order may be specified.
3124 2013-02-06 Thomas Quinot <quinot@adacore.com>
3126 * sprint.adb (Write_Itype): Treat E_Record_Subtype_With_Private
3127 same as E_Record_Subtype. Display E_Class_Wide_Subtype as
3130 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
3132 * sem_ch3.adb (Complete_Private_Subtype): Inherit the
3133 Has_Unknown_Discriminants from the full view of the base type.
3135 2013-02-06 Tristan Gingold <gingold@adacore.com>
3137 * raise-gcc.c: Remove useless includes (sys/stat.h, adaint.h)
3138 Enclosing debugging functions within #ifndef inhibit_libc to
3139 support builds without full C headers.
3141 2013-02-06 Thomas Quinot <quinot@adacore.com>
3143 * gnat_rm.texi: Add a minimal example of Scalar_Storage_Order.
3145 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
3147 * sem_ch10.adb (Install_Limited_Withed_Unit): Add a missing
3148 check to detect a parent-child relationship between two units in
3149 order to correctly bypass the installation of a limited view. In
3150 other words, the comment on the intended usage of the check was
3151 correct, but the code itself did not reflect the behavior.
3153 2013-02-06 Javier Miranda <miranda@adacore.com>
3155 * exp_ch5.adb (Expand_N_Assignment_Statement): Do not generate the
3156 runtime check on assignment to tagged types if compiling with checks
3159 2013-02-06 Robert Dewar <dewar@adacore.com>
3161 * exp_util.adb, checks.adb, sem_ch12.adb, sem_res.adb, prj-conf.adb,
3162 s-os_lib.adb: Minor reformatting
3164 2013-02-06 Vincent Celier <celier@adacore.com>
3166 * ug_words: Add -gnateY = /IGNORE_STYLE_CHECKS_PRAGMAS.
3168 2013-02-06 Ed Schonberg <schonberg@adacore.com>
3170 * snames.ads-tmpl: Add Name_Rational and pragma Rational.
3171 * par-prag.adb: Recognize pragma Rational.
3172 * opt.ads (Rational_Profile): flag to control compatibility mode
3173 with Rational compiler.
3174 * sem_ch8.adb (Analyze_Subprogram_Renaming): When Rational profile
3175 is enable, accept renaming declarations where the new subprogram
3176 and the renamed entity have the same name.
3177 * sem_prag.adb (analyze_pragma): Add pragma Rational, and recognize
3178 Rational as a profile.
3180 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
3182 * exp_ch5.adb (Expand_Loop_Entry_Attributes): When
3183 dealing with a for loop that iterates over a subtype indication
3184 with a range, use the low and high bounds of the subtype.
3186 2013-02-06 Nicolas Roche <roche@adacore.com>
3188 * s-os_lib.adb (Normalize_Arguments): Arguments containing tabs should
3191 2013-02-06 Vincent Celier <celier@adacore.com>
3193 * prj-conf.adb (Process_Project_And_Apply_Config): New variable
3194 Conf_Project. New recursive procedure Check_Project to find a non
3195 aggregate project and put its Project_Id in Conf_Project. Fails if
3196 no such project can be found.
3197 (Get_Or_Create_Configuration_File): New parameter Conf_Project.
3198 (Do_Autoconf): Use project directory of project Conf_Project to store
3199 the generated configuration project file.
3200 * prj-conf.ads (Get_Or_Create_Configuration_File): New parameter
3203 2013-02-06 Javier Miranda <miranda@adacore.com>
3205 * sem_res.adb (Resolve_Actuals): Generate a read
3206 reference for out-mode parameters in the cases specified by
3209 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
3211 * sem_attr.adb (Resolve_Attribute): Do not resolve the prefix of
3212 Loop_Entry, instead wait until the attribute has been expanded. The
3213 delay ensures that any generated checks or temporaries are inserted
3214 before the relocated prefix.
3216 2013-02-06 Ed Schonberg <schonberg@adacore.com>
3218 * sem_ch12.adb: Code clean up.
3220 2013-02-06 Ed Schonberg <schonberg@adacore.com>
3222 * checks.adb (Apply_Discriminant_Check): Look for discriminant
3223 constraint in full view of private type when needed.
3224 * sem_ch12.adb (Validate_Array_Type_Instance): Specialize
3225 previous patch to components types that are private and without
3228 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
3230 * exp_ch4.adb (Find_Enclosing_Context): Recognize
3231 a simple return statement as one of the cases that require special
3232 processing with respect to temporary controlled function results.
3233 (Process_Transient_Object): Do attempt to finalize a temporary
3234 controlled function result when the associated context is
3235 a simple return statement. Instead, leave this task to the
3236 general finalization mechanism.
3238 2013-02-06 Thomas Quinot <quinot@adacore.com>
3240 * einfo.ads: Minor reformatting.
3241 (Status_Flag_Or_Transient_Decl): Add ??? comment.
3243 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
3245 * exp_ch4.adb (Expand_N_Expression_With_Actions): Rewritten. This
3246 routine should be able to properly detect controlled transient
3247 objects in its actions and generate the appropriate finalization
3249 * exp_ch6.adb (Enclosing_Context): Removed.
3250 (Expand_Ctrl_Function_Call): Remove local subprogram and
3251 constant. Use routine Within_Case_Or_If_Expression to determine
3252 whether the lifetime of the function result must be extended to
3253 match that of the context.
3254 * exp_util.ads, exp_util.adb (Within_Case_Or_If_Expression): New
3257 2013-02-06 Ed Schonberg <schonberg@adacore.com>
3259 * sem_ch12.adb (Validate_Array_Type_Instance): Extend check
3260 for subtype matching of component type of formal array type,
3261 to avoid spurious error when component type is a separate actual
3262 in the instance, and there may be a discrepancy between private
3263 and full view of component type.
3265 2013-02-06 Robert Dewar <dewar@adacore.com>
3267 * s-dim.ads, clean.adb: Minor reformatting.
3269 2013-02-06 Javier Miranda <miranda@adacore.com>
3271 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Undo previous patch.
3272 (Can_Split_Unconstrained_Function): Only split the inlined function if
3273 the compiler generates the code of its body.
3275 2013-02-06 Robert Dewar <dewar@adacore.com>
3277 * exp_prag.adb, sem_ch3.adb, exp_attr.adb, sem_prag.adb, sem_ch6.adb,
3278 exp_intr.adb, exp_dist.adb, sem_ch13.adb: Internal clean up for
3281 2013-02-06 Robert Dewar <dewar@adacore.com>
3283 * gnat_rm.texi: Minor text updates for pragma Warning.
3285 2013-02-06 Geert Bosch <bosch@adacore.com>
3287 * s-multip.adb (Number_Of_CPUs): Short-circuit in case of
3290 2013-02-06 Vincent Celier <celier@adacore.com>
3292 * clean.adb (Delete): On VMS use host notation to delete all files.
3294 2013-02-06 Robert Dewar <dewar@adacore.com>
3296 * sem_prag.adb, sem_ch6.adb, prj-conf.adb, erroutc.adb: Minor
3299 2013-02-06 Gary Dismukes <dismukes@adacore.com>
3301 * sem_ch6.adb (Check_For_Primitive_Subprogram): Test for
3302 the special case of a user-defined equality that overrides
3303 the predefined equality of a nonderived type declared in a
3305 * sem_util.adb (Collect_Primitive_Operations): Add test for
3306 Is_Primitive when looping over the subprograms following a type,
3307 to catch the case of primitives such as a user-defined equality,
3308 which otherwise won't be found when the type is not a derived
3309 type and is declared in a declarative part.
3311 2013-02-06 Vincent Celier <celier@adacore.com>
3313 * prj-conf.adb (Check_Target): Always return True when Target
3314 is empty (Get_Or_Create_Configuration_File.Get_Project_Target):
3315 New procedure to get the value of attribute Target in the main
3317 (Get_Or_Create_Configuration_File.Do_Autoconf): No
3318 need to get the value of attribute Target in the main project.
3319 (Get_Or_Create_Configuration_File): Call Get_Project_Target and
3320 use the target fom this call.
3322 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>
3324 * erroutc.adb (Validate_Specific_Warning): Do not issue the
3325 warning about an ineffective Pragma Warnings for -Wxxx warnings.
3326 * sem_prag.adb (Analyze_Pragma) <Warnings>: Accept -Wxxx warnings.
3327 * gnat_rm.texi (Pragma Warnings): Document coordination with
3328 warnings of the GCC back-end.
3330 2013-02-06 Javier Miranda <miranda@adacore.com>
3332 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not build the body
3333 of an inlined function if we do not generate code for the function.
3335 2013-02-06 Pascal Obry <obry@adacore.com>
3337 * s-os_lib.adb (Locate_Exec_On_Path): Call Normalize_Pathname
3338 with Resolve_Links set to False.
3340 2013-02-03 Eric Botcazou <ebotcazou@adacore.com>
3342 * gcc-interface/decl.c: Include diagnostic-core.h.
3343 (gnat_to_gnu_entity) <E_Array_Type>: Sorry if Reverse_Storage_Order
3344 is set on the entity.
3345 <E_Record_Type>: Likewise.
3346 * gcc-interface/Make-lang.in (ada/decl.o): Add $(DIAGNOSTIC_CORE_H).
3348 2013-01-29 Ben Brosgol <brosgol@adacore.com>
3350 * gnat_rm.texi: Fixed typos. Minor edits.
3352 2013-01-29 Bob Duff <duff@adacore.com>
3354 * a-convec.adb: Minor reformatting.
3356 2013-01-29 Pascal Obry <obry@adacore.com>
3358 * tempdir.adb, tempdir.ads (Use_Temp_Dir): Set wether to use the temp
3361 2013-01-29 Ed Schonberg <schonberg@adacore.com>
3363 * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Preserve loop
3364 identifier only if it comes from source.
3365 (Expand_N_Loop_Statement): If the domain of iteration is an
3366 enumeration type with a representation clause, remove from
3367 visibility the loop identifier before rewriting the loop as a
3368 block with a declaration for said identifier.
3369 * sem_util.adb (Remove_Homonym): Handle properly the default case.
3371 2013-01-29 Vincent Celier <celier@adacore.com>
3373 * prj-proc.adb: Minor comment spelling fix.
3375 2013-01-29 Pascal Obry <obry@adacore.com>
3377 * prj-proc.adb (Process_Expression_Variable_Decl): Prepend
3378 Project_Path to current environment.
3380 2013-01-29 Thomas Quinot <quinot@adacore.com>
3382 * sprint.adb (Sprint_Node_Actual): Output freeze nodes for
3383 itypes even if Dump_Freeze_Null is not set.
3385 2013-01-29 Robert Dewar <dewar@adacore.com>
3387 * sem_util.adb: Minor reformatting.
3388 * s-rident.ads: Minor comment fixes.
3390 2013-01-29 Pascal Obry <obry@adacore.com>
3392 * prj-env.ads, prj-env.adb (Add_Directories): Add parameter to
3393 control if the path is prepended or appended.
3395 2013-01-29 Ed Schonberg <schonberg@adacore.com>
3397 * sem_ch6.adb (Analyze_Expression_Function): An expression
3398 function declaration is not a subprogram declaration, and thus
3399 cannot appear in a protected definition.
3401 2013-01-29 Hristian Kirtchev <kirtchev@adacore.com>
3403 * exp_util.adb (Insert_Actions): When new
3404 actions come from the expression of the expression with actions,
3405 then they must be added to the list of existing actions.
3407 2013-01-29 Eric Botcazou <ebotcazou@adacore.com>
3409 * sem_ch3.adb (Analyze_Subtype_Declaration) <Private_Kind>: For
3410 the subtype of a constrained private type with discriminants
3411 that has got a full view, show that the completion is a clone
3414 2013-01-29 Javier Miranda <miranda@adacore.com>
3416 * errout.ads, errout.adb (Get_Ignore_Errors): New subprogram.
3417 * opt.ads (Warn_On_Overlap): Update documentation.
3418 * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate):
3419 Check function writable actuals.
3420 * sem_ch3.adb (Build_Derived_Record_Type,
3421 Record_Type_Declaration): Check function writable actuals.
3422 * sem_ch4.adb (Analyze_Range): Check function writable actuals.
3423 * sem_ch5.adb (Analyze_Assignment): Remove code of the initial
3424 implementation of AI05-0144.
3425 * sem_ch6.adb (Analyze_Function_Return,
3426 (Analyze_Procedure_Call.Analyze_Call_And_Resolve): Remove code
3427 of the initial implementation of AI05-0144.
3428 * sem_res.adb (Resolve): Remove code of the initial implementation.
3429 (Resolve_Actuals): Call Check_Function_Writable_Actuals and remove call
3430 of the initial implementation.
3431 (Resolve_Arithmetic_Op, Resolve_Logical_Op,
3432 Resolve_Membership_Op): Check function writable actuals.
3433 * sem_util.ad[sb] (Actuals_In_Call): Removed
3434 (Check_Order_Dependence): Removed (Save_Actual): Removed
3435 (Check_Function_Writable_Actuals): New subprogram.
3436 * usage.adb (Usage): Update documentation.
3437 * warnsw.adb (Set_Warning_Switch): Enable warn_on_overlap when
3438 setting all warnings.
3440 2013-01-29 Robert Dewar <dewar@adacore.com>
3442 * a-calend-vms.adb: Minor comment fix.
3444 2013-01-29 Robert Dewar <dewar@adacore.com>
3446 * mlib-utl.adb, gnatlink.adb: Avoid reference to ASCII.Back_Slash
3447 because of casing issues.
3448 * sem_util.ads: Minor comment fix.
3449 * style.adb (Check_Identifier): Set proper casing for entities
3451 * styleg.adb: Minor comment improvement.
3452 * stylesw.ads (Style_Check_Standard): Fix bad comments.
3454 2013-01-29 Hristian Kirtchev <kirtchev@adacore.com>
3456 * sem_prag.adb: Add the grammar for pragmas Abstract_State and Global.
3457 (Analyze_Pragma): Push the scope of the related subprogram and install
3458 its formals once before starting the analysis of the [moded] global
3461 2013-01-29 Pascal Obry <obry@adacore.com>
3463 * prj-proc.adb (Process_Expression_Variable_Decl): Always handle
3464 relative paths in Project_Path as relative to the aggregate
3465 project location. Note that this was what was documented.
3467 2013-01-29 Vincent Celier <celier@adacore.com>
3469 * gnatcmd.adb: For "gnat stub -P ...", do not check the naming
3470 scheme for Ada, when Ada is not a language for the project.
3472 2013-01-29 Ed Schonberg <schonberg@adacore.com>
3474 * sem_ch3.adb (Analyze_Subtype_Declaration): Inherit
3475 Is_Generic_Actual_Type flag in a nested instance.
3476 * sem_ch12.adb (Restore_Private_Views): Preserve
3477 Is_Generic_Actual_Type flag if actual is a Generic_Actual_Type
3478 of an enclosing instance.
3479 * sem_util.adb (Corresponding_Generic_Type): Handle generic actual
3480 which is an actual of an enclosing instance.
3481 * sem_type.adb (Real_Actual): If a generic_actual_type is the
3482 formal of an enclosing generic and thus renames the corresponding
3483 actual, use the actual of the enclosing instance to resolve
3484 spurious ambiguities in instantiations when two formals are
3485 instantiated with the same actual.
3487 2013-01-29 Robert Dewar <dewar@adacore.com>
3489 * gnat_rm.texi: Document all Ada 2005 and Ada 2012 pragmas as
3490 being available as implementation-defined pragmas in earlier
3493 2013-01-29 Vincent Celier <celier@adacore.com>
3495 * clean.adb (Delete): On VMS, delete all versions of the file.
3497 2013-01-29 Robert Dewar <dewar@adacore.com>
3499 * par-ch6.adb (No_Constraint_Maybe_Expr_Func): New procedure.
3500 * par-util.adb (No_Constraint): Undo special handling, moved
3503 2013-01-29 Robert Dewar <dewar@adacore.com>
3505 * aspects.ads: Aspect Warnings is implementation defined Add
3506 some other missing entries to impl-defined list Mark Warnings
3507 as GNAT pragma in main list.
3508 * sem_ch8.adb: Process aspects for all cases of renaming
3511 2013-01-29 Robert Dewar <dewar@adacore.com>
3513 * sem_ch6.adb (Analyze_Function_Call): Set In_Assertion flag.
3514 * sem_elab.adb (Check_Internal_Call_Continue): Do not issue
3515 warnings about possible elaboration error if call is within
3517 * sinfo.ads, sinfo.adb (In_Assertion): New flag in N_Function_Call node.
3519 2013-01-29 Robert Dewar <dewar@adacore.com>
3521 * a-calend-vms.adb, g-eacodu-vms.adb, g-trasym-vms-alpha.adb,
3522 * s-auxdec-vms-ia64.adb, s-mastop-vms.adb, s-osprim-vms.adb,
3523 s-tasdeb-vms.adb: Replace pragma Interface by pragma Import.
3525 2013-01-29 Robert Dewar <dewar@adacore.com>
3527 * opt.ads (Ignore_Style_Checks_Pragmas): New flag.
3528 * par-prag.adb (Par, case Style_Checks): Recognize
3529 Ignore_Style_Checks_Pragmas.
3530 * sem_prag.adb (Analyze_Pragma, case Style_Checks): Recognize
3531 Ignore_Style_Checks_Pragmas.
3532 * switch-c.adb: Recognize -gnateY switch.
3533 * usage.adb: Add documentation for "-gnateY".
3534 * vms_data.ads: Add IGNORE_STYLE_CHECKS_PRAGMAS (-gnateY).
3536 2013-01-29 Vincent Celier <celier@adacore.com>
3538 * clean.adb (Clean_Executables): Add Sid component when calling
3540 * make.adb: When inserting in the Queue, add the Source_Id
3541 (Sid) when it is known (Start_Compile_If_Possible): When the
3542 Source_Id is known (Sid), get the path name of the ALI file
3543 (Full_Lib_File) from it, to avoid finding old ALI files in other
3545 * makeutl.ads (Source_Info): New Source_Id component Sid in
3546 Format_Gnatmake variant.
3548 2013-01-29 Robert Dewar <dewar@adacore.com>
3550 * gnat_ugn.texi: Document -gnateY.
3552 2013-01-29 Doug Rupp <rupp@adacore.com>
3554 * s-osinte-vms.ads, s-taprop-vms.adb, system-vms_64.ads,
3555 system-vms-ia64.ads: Replace pragma Interface by pragma Import.
3557 2013-01-29 Robert Dewar <dewar@adacore.com>
3559 * atree.ads, atree.adb (Node30): New function.
3560 (Set_Node30): New procedure.
3561 (Num_Extension_Nodes): Change to 5 (activate new fields/flags).
3562 * atree.h: Add macros for Field30 and Node30.
3563 * einfo.ads, einfo.adb: Move some fields to avoid duplexing.
3564 * treepr.adb (Print_Entity_Information): Print fields 30-35.
3566 2013-01-29 Robert Dewar <dewar@adacore.com>
3568 * sem_prag.adb (Analyze_Pragma, case Interface): Consider to
3569 be a violation of No_Obsolescent_Features even in Ada 95. Also
3570 generates a warning in -gnatwj mode.
3571 (Analyze_Pragma, case Interface_Name): Generates a warning in -gnatwj
3573 * gnat_ugn.texi: Additional documentation on -gnatwj and pragma
3576 2013-01-29 Vincent Celier <celier@adacore.com>
3578 * snames.ads-tmpl: Add new standard name Trailing_Switches.
3580 2013-01-29 Ed Schonberg <schonberg@adacore.com>
3582 * sem_disp.adb (Check_Controlling_Type): If a designated type T
3583 of an anonymous access type is a limited view of a tagged type,
3584 it can be a controlling type only if the subprogram is in the
3587 2013-01-29 Vincent Celier <celier@adacore.com>
3589 * gnatcmd.adb: Use the project where the config pragmas file is
3590 declared to get its path.
3592 2013-01-29 Vincent Celier <celier@adacore.com>
3594 * prj-attr.adb: New attribute Linker'Trailing_Switches.
3596 2013-01-22 Eric Botcazou <ebotcazou@adacore.com>
3598 * gcc-interface/trans.c (gnat_to_gnu) <N_Expression_With_Actions>: Do
3599 not translate the Etype of the node before translating the Actions.
3601 2013-01-22 Eric Botcazou <ebotcazou@adacore.com>
3603 * gcc-interface/trans.c (Pragma_to_gnu) <Name_Space>: Use optimize_size
3604 instead of optimize and adjust warning message.
3605 (Compilation_Unit_to_gnu): Process pragmas preceding the unit.
3607 2013-01-22 Tristan Gingold <gingold@adacore.com>
3609 * gcc-interface/gigi.h (ADT_unhandled_except_decl,
3610 ADT_unhandled_others_decl): New.
3611 (unhandled_others_decl, unhandled_except_decl): Define.
3612 * gcc-interface/trans.c: Include common/common-target.h.
3613 (gigi): Initialize them.
3614 (Subprogram_Body_to_gnu): On SEH targets, wrap the body of the main
3615 function in a try/catch clause.
3617 2013-01-11 Eric Botcazou <ebotcazou@adacore.com>
3619 * gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata.
3620 (CHECKING_ADAFLAGS): New.
3621 (ALL_ADAFLAGS): Include CHECKING_ADAFLAGS.
3623 2013-01-10 Eric Botcazou <ebotcazou@adacore.com>
3625 * gcc-interface/config-lang.in (boot_language_boot_flags): Delete.
3626 * gcc-interface/Make-lang.in (BOOT_ADAFLAGS): Likewise.
3628 2013-01-07 Eric Botcazou <ebotcazou@adacore.com>
3630 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Adjust
3631 comment about type extension with discriminants.
3632 <E_Record_Subtype>: Remove useless test and reorder conditions.
3633 (elaborate_entity) <E_Record_Subtype>: Likewise.
3635 2013-01-07 Richard Biener <rguenther@suse.de>
3638 * gcc-interface/Make-lang.in (ada.install-common): Always apply
3639 program_transform_name.
3641 2013-01-06 Eric Botcazou <ebotcazou@adacore.com>
3643 * gnatvsn.ads (Current_Year): Bump to 2013.
3645 2013-01-06 Olivier Hainque <hainque@adacore.com>
3647 * gcc-interface/decl.c (gnat_to_gnu_field): Emit a specialized
3648 diagnostic for component size mismatch wrt volatile requirements.
3649 Add a gcc_unreachable() at the end of the checks for size. Split
3650 the check on volatile for positions into one check on atomic and
3651 a subsequent one on volatile.
3653 2013-01-06 Eric Botcazou <ebotcazou@adacore.com>
3655 * gcc-interface/decl.c (elaborate_entity) <E_Record_Type>: Delete.
3657 2013-01-06 Eric Botcazou <ebotcazou@adacore.com>
3659 * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not
3660 pack the field of the record type made for a misaligned type.
3662 2013-01-06 Eric Botcazou <ebotcazou@adacore.com>
3664 * gcc-interface/decl.c (annotate_value) <COMPONENT_REF>: Be prepared
3665 for discriminants inherited from parent record types.
3667 2013-01-04 Robert Dewar <dewar@adacore.com>
3669 * warnsw.adb: Minor fixes to -gnatw.d handling.
3671 2013-01-04 Robert Dewar <dewar@adacore.com>
3673 * einfo.adb, atree.adb: Enlarge entities to make 63 more flags, 6 more
3676 2013-01-04 Joel Brobecker <brobecker@adacore.com>
3678 * gnat_ugn.texi: Fix typo.
3680 2013-01-04 Robert Dewar <dewar@adacore.com>
3682 * gnat_rm.texi: Document alignment choice for subtypes.
3684 2013-01-04 Robert Dewar <dewar@adacore.com>
3686 * validsw.ads: Minor fix to comment.
3688 2013-01-04 Doug Rupp <rupp@adacore.com>
3690 * Makefile.rtl (GNATRTL_NONTASKING_OBJS,
3691 GNATRTL_ALTIVEC_OBJS): Factor g-al* objects.
3692 * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Add g-al* sources.
3693 (GNATRTL_ALTIVEC_OBJS): Override to null for VMS.
3694 Rename leon vxworks toolchain as leon-wrs-vxworks.
3695 * gcc-interface/Make-lang.in: Update dependencies
3697 2013-01-04 Pascal Obry <obry@adacore.com>
3699 * prj.ads (For_Each_Source): Add Locally_Removed parameter.
3700 (Source_Iterator): Add Locally_Removed field.
3701 * prj.adb (For_Each_Source): Ignore Locally_Removed files if needed.
3704 2013-01-04 Robert Dewar <dewar@adacore.com>
3706 * exp_attr.adb: Minor reformatting.
3708 2013-01-04 Robert Dewar <dewar@adacore.com>
3710 * checks.adb (Insert_Valid_Check): Fix handling of renamed
3711 packed array element.
3712 * exp_ch4.adb (Expand_Concatenate): Fix some missing parent
3713 fields in generated code.
3714 * exp_util.adb (Side_Effect_Free): Improve detection of cases
3717 2013-01-04 Robert Dewar <dewar@adacore.com>
3719 * sinfo.ads: Clean up order of N_xxx subtypes
3721 2013-01-04 Vincent Celier <celier@adacore.com>
3723 * prj-conf.adb (Check_Target): Allow --autoconf= with no target.
3725 2013-01-04 Robert Dewar <dewar@adacore.com>
3727 * types.ads, prj-conf.adb, par-tchk.adb: Minor reformatting.
3729 2013-01-04 Robert Dewar <dewar@adacore.com>
3731 * par-ch6.adb (P_Subprogram): Better handling of missing IS
3732 after expression function.
3733 * par-util.adb (No_Constraint): Improve handling to avoid bad warnings.
3735 2013-01-04 Robert Dewar <dewar@adacore.com>
3737 * exp_util.ads, exp_util.adb (Insert_Actions): In expression with
3738 actions case, new actions are appended to the sequence rather than
3741 2013-01-04 Robert Dewar <dewar@adacore.com>
3743 * gnat_ugn.texi: Document -gnatw.d/w.D (does no apply in VMS mode).
3744 * usage.adb: Add lines for -gnatw.d/w.D switches.
3745 * warnsw.adb: Minor fixes (some missing cases of setting
3746 Warning_Doc_Switch). Reject -gnatw.d and -gnatw.D in VMS mode.
3748 2013-01-04 Robert Dewar <dewar@adacore.com>
3750 * exp_util.adb (Remove_Side_Effects): Make sure scope suppress
3751 is restored on exit.
3753 2013-01-04 Robert Dewar <dewar@adacore.com>
3755 * usage.adb: Document -gnateF (check overflow for predefined Float).
3757 2013-01-04 Robert Dewar <dewar@adacore.com>
3759 * sem_res.adb (Resolve_Type_Conversion): Remove incorrect
3760 prevention of call to Apply_Type_Conversion_Checks, which resulted
3761 in missing check flags in formal mode.
3763 2013-01-04 Vincent Celier <celier@adacore.com>
3765 * makeutl.ads (Db_Switch_Args): New table used by gprbuild.
3766 * prj-conf.adb (Check_Builder_Switches): Check for switches
3767 --config= (Get_Db_Switches): New procedure to get the --db
3768 switches so that they are used when invoking gprconfig in
3770 (Do_Autoconf): When invoking gprconfig, use the --db switches, if any.
3772 2013-01-04 Pascal Obry <obry@adacore.com>
3774 * prj-nmsc.adb: Minor reformatting.
3776 2013-01-04 Vincent Celier <celier@adacore.com>
3778 * makeutl.ads (Root_Environment): New variable, moved rom
3779 gprbuild (Load_Standard_Base): New Boolean variable, moved
3781 * prj-conf.adb (Check_Builder_Switches): New procedure to check
3782 for switch --RTS in package Builder. If a runtime specified
3783 by --RTS is a relative path name, but not a base name, then
3784 find the path on the Project Search Path.
3785 (Do_Autoconf): Call Check_Builder_Switches.
3786 (Locate_Runtime): New procedure, moved from gprbuild, to get the
3787 absolute paths of runtimes when they are not specified as a base name.
3788 * prj-conf.ads (Locate_Runtime): New procedure, moved from gprbuild.
3790 2013-01-04 Ed Schonberg <schonberg@adacore.com>
3792 * sem_ch3.adb (Build_Private_Derived_Type): Set
3793 Has_Private_Ancestor on type derived from an untagged private
3794 type whose full view has discriminants
3795 * sem_aggr.adb (Resolve_Record_Aggregate): Reject non-extension
3796 aggregate for untagged record type with private ancestor.
3798 2013-01-04 Thomas Quinot <quinot@adacore.com>
3800 * sem_elab.adb, sem_ch3.adb: Minor reformatting.
3802 2013-01-04 Robert Dewar <dewar@adacore.com>
3804 * table.adb: Minor reformatting.
3806 2013-01-04 Ed Schonberg <schonberg@adacore.com>
3808 * sem_ch10.adb (Check_Redundant_Withs): A with_clause that does
3809 not come from source does not generate a warning for redundant
3812 2013-01-04 Hristian Kirtchev <kirtchev@adacore.com>
3814 * aspects.adb, aspects.ads: Add Aspect_Global to all relevant tables.
3815 * par-prag.adb: Add pragma Global to the list of pragmas that
3816 do not need special processing by the parser.
3817 * sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
3818 Global into a pragma without any form of legality checks. The
3819 work is done by Analyze_Pragma. The aspect and pragma are both
3820 marked as needing delayed processing. Insert the corresponding
3821 pragma of aspect Abstract_State in the visible declarations of the
3823 (Check_Aspect_At_Freeze_Point): Aspect Global
3824 does not need processing even though it is marked as delayed.
3825 Alphabetize the list on aspect names.
3826 * sem_prag.adb: Add a value for pragma Global in table Sig_Flags.
3827 (Analyze_Pragma): Add ??? comment about the grammar of pragma
3828 Abstract_State. Move the error location from the pragma to the
3829 state to improve the quality of error placement. Add legality
3830 checks for pragma Global.
3831 * snames.ads-tmpl Add the following specially recognized names
3833 2013-01-04 Eric Botcazou <ebotcazou@adacore.com>
3835 * sem_ch3.adb: Fix minor typo.
3837 2013-01-04 Ed Schonberg <schonberg@adacore.com>
3839 * par-ch13.adb (Aspect_Specifications_Present): In Strict mode,
3840 accept an aspect name followed by a comma, indicating a defaulted
3843 2013-01-04 Joel Brobecker <brobecker@adacore.com brobecker>
3845 * gnat_ugn.texi: Document procedure to codesign GDB on Darwin.
3846 Update doc on gnattest --separates switch.
3848 2013-01-04 Thomas Quinot <quinot@adacore.com>
3850 * s-chepoo.ads: Minor reformatting.
3852 2013-01-04 Arnaud Charlet <charlet@adacore.com>
3854 * usage.adb: Remove mention of -gnatN in usage.
3856 2013-01-04 Robert Dewar <dewar@adacore.com>
3858 * exp_prag.adb, gnatcmd.adb, exp_util.adb, table.adb, sem_prag.adb,
3859 freeze.adb, sem_ch4.adb, sem_warn.adb, opt.ads, exp_aggr.adb,
3860 prj-conf.adb, sem_ch13.adb: Minor reformatting.
3862 2013-01-04 Thomas Quinot <quinot@adacore.com>
3864 * sinfo.ads: Minor documentation update.
3866 2013-01-04 Thomas Quinot <quinot@adacore.com>
3868 * sem_ch3.adb, einfo.adb (Analyze_Object_Declaration): Do not set Ekind
3869 before resolving initialization expression.
3871 2013-01-04 Hristian Kirtchev <kirtchev@adacore.com>
3873 * checks.adb (Generate_Index_Checks): Delay the generation of
3874 the check for an indexed component where the prefix mentions
3875 Loop_Entry until the attribute has been properly expanded.
3876 * exp_ch5.adb (Expand_Loop_Entry_Attributes): Perform minor
3877 decoration of the constant that captures the value of Loop_Entry's
3878 prefix at the entry point into a loop. Generate index checks
3879 for an attribute reference that has been transformed into an
3882 2013-01-04 Thomas Quinot <quinot@adacore.com>
3884 * exp_prag.adb, exp_util.adb, exp_util.ads, freeze.adb, exp_aggr.adb,
3885 sem_ch13.adb (Exp_Aggr.Collect_Initialization_Statements): Nothing to
3886 do if Obj is already frozen.
3887 (Exp_Util.Find_Init_Call): Rename to...
3888 (Exp_Util.Remove_Init_Call): New subprogram, renamed from
3889 Find_Init_Call. Remove the initialization call from the enclosing
3890 list if found, and if it is from an Initialization_Statements
3891 attribute, reset it.
3892 (Exp_Util.Append_Freeze_Action): Minor code reorganization.
3893 (Exp_Util.Append_Freeze_Actions): Ensure a freeze node has been
3894 allocated (as is already done in Append_Freeze_Action).
3895 (Freeze.Freeze_Entity): For an object with captured
3896 Initialization_Statements and non-delayed freezeing, unwrap the
3897 initialization statements and insert and them directly in the
3899 (Sem_Ch13.Check_Address_Clause): For an object
3900 with Initialization_Statements and an address clause, unwrap the
3901 initialization statements when moving them to the freeze actions.
3903 2013-01-03 Pascal Obry <obry@adacore.com>
3905 * prj-attr.adb, projects.texi, snames.ads-tmpl: Add package remote and
3906 corresponding attibutes.
3908 2013-01-03 Thomas Quinot <quinot@adacore.com>
3910 * exp_aggr.adb: Minor comment improvement.
3912 2013-01-03 Hristian Kirtchev <kirtchev@adacore.com>
3914 * aspects.adb, aspects.ads: Add Aspect_Abstract_State to all the
3916 * einfo.ads, einfo.adb: Add Integrity_Level and Refined_State to
3917 the description of fields (Abstract_States): New routine.
3918 (Integrity_Level): New routine.
3919 (Has_Property): New routine.
3920 (Is_Input_State): New routine.
3921 (Is_Null_State): New routine.
3922 (Is_Output_State): New routine.
3923 (Is_Volatile_State): New routine.
3924 (Refined_State): New routine.
3925 (Set_Abstract_States): New routine.
3926 (Set_Integrity_Level): New routine.
3927 (Set_Refined_State): New routine.
3928 (Write_Field8_Name): Add proper output for E_Abstract_State.
3929 (Write_Field9_Name): Add proper output for E_Abstract_State.
3930 (Write_Field25_Name): Add proper output for E_Package.
3931 * lib-xref.ads: Add new letter for an abstract state.
3932 * par-prag.adb: Add pragma Abstract_State to the list of pragma
3933 that do not need special processing by the parser.
3934 * sem_ch13.adb (Analyze_Aspect_Specifications): Convert
3935 aspect Abstract_State into a pragma without any form
3936 of legality checks. The work is done by Analyze_Pragma.
3937 (Check_Aspect_At_Freeze_Point): Aspect Abstract_State does not
3938 require delayed analysis.
3939 * sem_prag.adb: Add a value for pragma Abstract_State in table
3941 (Analyze_Pragma): Add legality checks for pragma
3942 Abstract_State. Analysis of individual states introduces a state
3943 abstraction entity into the visibility chain.
3944 * snames.ads-tmpl: Add new names for abstract state and
3945 integrity. Add new pragma id for abstract state.
3947 2013-01-03 Bob Duff <duff@adacore.com>
3949 * table.adb (Reallocate): Calculate new Length in
3950 Long_Integer to avoid overflow.
3952 2013-01-03 Thomas Quinot <quinot@adacore.com>
3954 * sem_ch3.adb, sinfo.ads, freeze.adb, sem_ch4.adb, exp_aggr.adb
3955 (Sem_Ch3.Analyze_Object_Declaration): Set Ekind early so that
3956 it is set properly when expanding the initialization expression.
3957 (Freeze.Check_Address_Clause): Transfer initialization expression
3958 to an assignment in the freeze actions, so that the object is
3959 initialized only after being elaborated by GIGI.
3960 (Sinfo (comments), Sem_Ch4.Analyze_Expression_With_Actions): Allow
3961 a Null_Statement as the expression in an Expression_With_Actions.
3962 (Exp_Aggr.Collect_Initialization_Statements): New subprogram
3963 shared by expansion of record and array aggregates, used to
3964 capture statements for an aggregate used to initalize an object
3965 into an Expression_With_Actions (which acts as a container for
3967 (Exp_Aggr.Convert_Aggr_In_Obj_Decl): Use the above to
3968 capture initialization statements, instead of the previously
3969 existing loop which left freeze nodes out of the capturing
3970 construct (causing out of order elaboration crashes in GIGI).
3971 (Exp_Aggr.Expand_Array_Aggregate): Use the above to capture
3972 initialization statements (this was previously not done for
3973 arrays). Also do not unconditionally prevent in place expansion
3974 for an object with address clause.
3976 2013-01-03 Thomas Quinot <quinot@adacore.com>
3978 * gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Check that
3979 a record extension has the same scalar storage order as the parent type.
3981 2013-01-03 Thomas Quinot <quinot@adacore.com>
3983 * exp_ch4.adb: Add comment.
3985 2013-01-03 Vincent Celier <celier@adacore.com>
3987 * prj.adb: Minor spelling error correction in comment.
3989 2013-01-03 Vincent Celier <celier@adacore.com>
3991 * gnatcmd.adb (GNATCmd): If a single main has been specified
3992 as an absolute path, use its simple file name to find specific
3993 switches, instead of the absolute path.
3995 2013-01-03 Javier Miranda <miranda@adacore.com>
3997 * sem_warn.adb (Warn_On_Overlapping_Actuals): For overlapping
3998 parameters that are record types or array types generate warnings
3999 only compiling under -gnatw.i
4000 * opt.ads (Extensions_Allowed): Restore previous documentation.
4002 2013-01-03 Vincent Celier <celier@adacore.com>
4004 * prj-conf.adb (Do_Autoconf): If Target is specified in the
4005 main project, but not on the command line, use the Target in
4006 the project to invoke gprconfig in auto-configuration.
4007 * makeutl.ads (Default_Config_Name): New constant String.
4009 2013-01-03 Arnaud Charlet <charlet@adacore.com>
4011 * usage.adb: Minor: fix typo in usage.
4013 2013-01-03 Thomas Quinot <quinot@adacore.com>
4015 * sem_ch13.adb (Analyze_Record_Representation_Clause): Reject
4016 an illegal component clause for an inherited component in a
4019 2013-01-03 Emmanuel Briot <briot@adacore.com>
4021 * xref_lib.adb (Parse_Identifier_Info): Fix handling of arrays, which
4022 have information in the ALI file for both the index and the component
4025 2013-01-03 Emmanuel Briot <briot@adacore.com>
4027 * projects.texi: Fix error in documenting the project path
4028 computed for an aggregate project.
4030 2013-01-03 Javier Miranda <miranda@adacore.com>
4032 * sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation
4033 plus restricting the functionality of this routine to cover the
4034 cases described in the Ada 2012 reference manual. The previous
4035 extended support is now available under -gnatX.
4036 * s-tassta.adb (Finalize_Global_Tasks): Addition of a dummy
4037 variable to call Timed_Sleep. Required to avoid warning on
4038 overlapping out-mode actuals.
4039 * opt.ads (Extensions_Allowed): Update documentation.
4041 2013-01-03 Tristan Gingold <gingold@adacore.com>
4043 * s-arit64.ads: Use Multiply_With_Ovflo_Check as __gnat_mulv64.
4045 * gcc-interface/Makefile.in: Remove reference to arit64.c.
4047 2013-01-03 Thomas Quinot <quinot@adacore.com>
4049 * checks.adb, checks.ads (Apply_Address_Clause_Check): The check must
4050 be generated at the start of the freeze actions for the entity, not
4051 before (or after) the freeze node.
4053 2013-01-03 Thomas Quinot <quinot@adacore.com>
4055 * exp_aggr.adb (Exp_Aggr.Convert_Aggregate_In_Obj_Decl):
4056 Reorganize code to capture initialization statements in a block,
4057 so that freeze nodes are excluded from the captured block.
4059 2013-01-03 Thomas Quinot <quinot@adacore.com>
4061 * exp_ch11.adb: Minor reformatting.
4063 2013-01-03 Thomas Quinot <quinot@adacore.com>
4065 * exp_util.adb, einfo.adb, einfo.ads, freeze.adb, exp_aggr.adb,
4066 sem_ch13.adb (Einfo.Initialization_Statements,
4067 Einfo.Set_Initialization_Statements): New entity attribute
4069 (Exp_Util.Find_Init_Call): Handle case of an object initialized
4070 by an aggregate converted to a block of assignment statements.
4071 (Freeze.Check_Address_Clause): Do not clear Has_Delayed_Freeze
4072 even for objects that require a constant address, because the
4073 address expression might involve entities that have yet to be
4074 elaborated at the point of the object declaration.
4075 (Exp_Aggr.Convert_Aggregate_In_Obj_Decl): For a type that does
4076 not require a transient scope, capture the assignment statements
4077 in a block so that they can be moved down after elaboration of
4078 an address clause if needed.
4079 (Sem_Ch13.Check_Constant_Address_Clause.Check_Expr_Constants,
4080 case N_Unchecked_Conversion): Do not replace operand subtype with
4081 its base type as this violates a GIGI invariant if the operand
4082 is an identifier (in which case the etype of the identifier
4083 is expected to be equal to that of the denoted entity).
4085 2013-01-03 Javier Miranda <miranda@adacore.com>
4087 * sem_util.ads, sem_util.adb (Denotes_Same_Object): Extend the
4088 functionality of this routine to cover cases described in the Ada 2012
4091 2013-01-03 Ed Schonberg <schonberg@adacore.com>
4093 * sem_elab.adb (Set_Elaboration_Constraint): Handle properly
4094 a 'Access attribute reference when the subprogram is called
4097 2013-01-03 Arnaud Charlet <charlet@adacore.com>
4099 * s-tpobop.adb (PO_Do_Or_Queue): Refine assertion, since a
4100 select statement may be called from a controlled (e.g. Initialize)
4101 operation and have abort always deferred.
4103 2013-01-03 Robert Dewar <dewar@adacore.com>
4105 * sem_ch8.adb, einfo.ads, einfo.adb: Minor code reorganization.
4107 2013-01-03 Javier Miranda <miranda@adacore.com>
4109 * exp_ch3.adb (Make_Controlling_Function_Wrappers): Exclude
4110 internal entities associated with interfaces and add minimum
4111 decoration to the defining entity of the generated wrapper to
4112 allow overriding interface primitives.
4113 * sem_disp.ads (Override_Dispatching_Operation): Addition of a
4114 new formal (Is_Wrapper).
4115 * sem_disp.adb (Override_Dispatching_Operation): When overriding
4116 interface primitives the new formal helps identifying that the
4117 new operation is not fully decorated.
4119 2013-01-03 Thomas Quinot <quinot@adacore.com>
4121 * sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb,
4122 rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb
4123 (Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit):
4124 Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and
4125 update spec accordingly (now also applies to root library units).
4126 (Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag
4127 on root library units, not only child units.
4128 (Sem_Ch10.Install[_Limited]_Withed_Unit): Same.
4129 (Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit
4130 even for root library units.
4131 (Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is
4132 Standard is an expanded name for a root library unit.
4134 2013-01-03 Thomas Quinot <quinot@adacore.com>
4136 * exp_ch3.adb: Minor reformatting.
4138 2013-01-03 Olivier Hainque <hainque@adacore.com>
4140 * tracebak.c: Reinstate changes to support ppc-lynx178.
4142 2013-01-03 Ed Schonberg <schonberg@adacore.com>
4144 * atree.ads: Minor reformatting and documentation enhancement.
4146 2013-01-03 Ed Schonberg <schonberg@adacore.com>
4148 * exp_ch3.adb (Expand_N_Object_Declaration): If the object has
4149 a class-wide type and a renaming declaration is created for it,
4150 preserve entity chain, which already contains generated internal
4151 types. This ensures that freezing actions are properly generated
4152 for all objects declared subsequently in the same scope, and
4153 that debugging information is generated for them.
4154 * sem_util.adb, sem_util.ads (we): New debugging routine, to
4155 display entity chain of a given scope.
4157 2013-01-03 Robert Dewar <dewar@adacore.com>
4159 * exp_intr.adb: Minor reformatting.
4161 2013-01-03 Robert Dewar <dewar@adacore.com>
4163 * einfo.adb: Minor reformatting.
4165 2013-01-03 Pascal Obry <obry@adacore.com>
4167 * adaint.c, adaint.h (__gnat_get_module_name): Removed.
4168 (__gnat_is_module_name_supported): Removed.
4169 * s-win32.ads: Add some needed definitions.
4170 * g-trasym.ads: Update comments.
4172 2013-01-03 Robert Dewar <dewar@adacore.com>
4174 * layout.adb (Set_Composite_Alignment): Fix problems of
4175 interactions with Optimize_Alignment set to Space.
4177 2013-01-03 Thomas Quinot <quinot@adacore.com>
4179 * exp_disp.adb: Minor reformatting.
4181 2013-01-02 Richard Biener <rguenther@suse.de>
4184 * gcc-interface/Makefile.in: Add $(GMPINC) to includes.
4186 2013-01-02 Thomas Quinot <quinot@adacore.com>
4188 * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove
4189 side effects from Tag_Arg early, doing it too late may cause a
4190 crash due to inconsistent Parent link.
4191 * sem_ch8.adb, einfo.ads: Minor reformatting.
4193 2013-01-02 Robert Dewar <dewar@adacore.com>
4195 * einfo.ads, einfo.adb (Has_Independent_Components): New flag.
4196 * freeze.adb (Size_Known): We do not know the size of a packed
4197 record if it has atomic components, by reference type components,
4198 or independent components.
4199 * sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new
4200 flag Has_Independent_Components.
4202 2013-01-02 Yannick Moy <moy@adacore.com>
4204 * opt.ads (Warn_On_Suspicious_Contract): Set to True by default.
4205 * usage.adb (Usage): Update usage message.
4207 2013-01-02 Pascal Obry <obry@adacore.com>
4209 * adaint.c (__gnat_is_module_name_supported): New constant.
4211 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4213 * sem_attr.adb (Check_Array_Type): Reject an attribute reference on an
4214 array whose component type does not have a completion.
4216 2013-01-02 Geert Bosch <bosch@adacore.com>
4218 * a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure.
4220 2013-01-02 Robert Dewar <dewar@adacore.com>
4222 * par_sco.adb: Minor reformatting.
4224 2013-01-02 Javier Miranda <miranda@adacore.com>
4226 * sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code.
4228 2013-01-02 Olivier Hainque <hainque@adacore.com>
4230 * a-exctra.ads (Get_PC): New function.
4232 2013-01-02 Thomas Quinot <quinot@adacore.com>
4234 * sem_ch8.adb: Minor reformatting.
4236 2013-01-02 Thomas Quinot <quinot@adacore.com>
4238 * sem_ch7.adb: Minor reformatting.
4240 2013-01-02 Thomas Quinot <quinot@adacore.com>
4242 * freeze.adb (Check_Component_Storage_Order): Do not crash on
4245 2013-01-02 Robert Dewar <dewar@adacore.com>
4247 * gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add
4248 On_Target to Atomic_Sync_Default.
4250 2013-01-02 Robert Dewar <dewar@adacore.com>
4252 * sem_warn.adb (Warn_On_Known_Condition): Suppress warning for
4253 comparison of attribute result with constant
4254 * a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma
4255 Warnings (Off, "..");
4257 2013-01-02 Yannick Moy <moy@adacore.com>
4259 * sem_prag.ads: Minor correction of comment.
4261 2013-01-02 Thomas Quinot <quinot@adacore.com>
4263 * par_sco.adb (Traverse_Package_Declaration): The first
4264 declaration in a nested package is dominated by the preceding
4265 declaration in the enclosing scope.
4267 2013-01-02 Pascal Obry <obry@adacore.com>
4269 * adaint.c, adaint.h (__gnat_get_module_name): Return the actual
4270 module containing a given address.
4272 2013-01-02 Thomas Quinot <quinot@adacore.com>
4274 * sem_ch3.adb: Minor reformatting.
4276 2013-01-02 Pascal Obry <obry@adacore.com>
4278 * cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on
4279 Win64 and default to ftell on other platforms.
4280 (__gnat_fsek64): Likewise.
4281 * i-cstrea.ads: Add fssek64 and ftell64 specs.
4282 * s-crtl.ads: Likewise.
4283 * a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required.
4284 (Set_Position): Likewise.
4286 2013-01-02 Thomas Quinot <quinot@adacore.com>
4288 * par_sco.adb: Generate X SCOs for default expressions in
4289 subprogram body stubs. Do not generate any SCO for package,
4290 task, or protected body stubs.
4292 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4294 * sem_ch3.adb: Further improvement to ASIS mode for anonymous
4295 access to protected subprograms.
4297 2013-01-02 Robert Dewar <dewar@adacore.com>
4299 * par_sco.adb, vms_data.ads: Minor reformatting.
4301 2013-01-02 Thomas Quinot <quinot@adacore.com>
4303 * par_sco.adb (Traverse_Declarations_Or_Statement): Function
4304 form, returning value of Current_Dominant upon exit, for chaining
4306 (Traverse_Declarations_Or_Statement.Traverse_One, case
4307 N_Block_Statement): First statement is dominated by last declaration.
4308 (Traverse_Subprogram_Or_Task_Body): Ditto.
4309 (Traverse_Package_Declaration): First private
4310 declaration is dominated by last visible declaration.
4311 (Traverse_Sync_Definition): Ditto.
4313 2013-01-02 Thomas Quinot <quinot@adacore.com>
4315 * gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order
4316 matching Bit_Order to record types only, since array types do not
4319 2013-01-02 Vincent Celier <celier@adacore.com>
4321 * gnat_ugn.texi: Remove documentation of -gnateO, which is an
4323 * usage.adb: Indicate that -gnateO is an internal switch.
4325 2013-01-02 Thomas Quinot <quinot@adacore.com>
4327 * par_sco.adb: Add SCO generation for task types and single
4329 * get_scos.adb: When adding an instance table entry for a
4330 non-nested instantiation, make sure the Enclosing_Instance is
4333 2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>
4335 * sem_attr.adb (Analyze_Attribute): Skip the special _Parent
4336 scope generated for subprogram inlining purposes while trying
4337 to locate the enclosing function.
4338 * sem_prag.adb (Analyze_Pragma): Preanalyze the boolean
4339 expression of pragma Postcondition when the pragma comes from
4340 source and appears inside a subprogram body.
4342 2013-01-02 Thomas Quinot <quinot@adacore.com>
4344 * switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation
4345 information in debug info unconditionally when using -fdump-scos,
4346 instead of relying on a separate command line switch -fdebug-instances.
4347 * gcc-interface/Make-lang.in: Update dependencies.
4349 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4351 * sem_ch12.adb: Additional refinement of predicate.
4353 2013-01-02 Vincent Celier <celier@adacore.com>
4355 * vms_data.ads: Remove incorrect spaces at end of descriptions
4356 of qualifiers for single switch.
4358 2013-01-02 Ben Brosgol <brosgol@adacore.com>
4360 * gnat_rm.texi: Minor edits / wordsmithing in section on pragma
4361 Check_Float_Overflow.
4363 2013-01-02 Thomas Quinot <quinot@adacore.com>
4365 * sprint.adb (Sprint_Node_Actual): Do not add extra parens for
4366 a conditional expression (CASE or IF expression) that already
4367 has parens. Also omit ELSE keyword for an IF expression without
4370 2013-01-02 Thomas Quinot <quinot@adacore.com>
4372 * gnat1drv.adb (Adjust_Global_Switches): Adjust back-end
4373 flag_debug_instances here, after front-end switches have been
4376 2013-01-02 Vincent Celier <celier@adacore.com>
4378 * usage.adb: Minor reformatting.
4380 2013-01-02 Arnaud Charlet <charlet@adacore.com>
4382 * opt.ads: Fix typo.
4384 2013-01-02 Thomas Quinot <quinot@adacore.com>
4386 * par_sco.adb: Generate P decision SCOs for SPARK pragmas
4387 Assume and Loop_Invariant.
4389 2013-01-02 Robert Dewar <dewar@adacore.com>
4391 * vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
4392 * ug_words: Add entry for Float_Check_Overflow.
4393 * usage.adb: Minor reformatting.
4394 * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).
4396 2013-01-02 Vincent Celier <celier@adacore.com>
4398 * gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
4399 -gnateO=, -gnatet and -gnateV.
4400 * ug_words: Add qualifiers equivalent to -gnateA, -gnated,
4401 -gnatet and -gnateV.
4402 * usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
4403 * vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
4404 (-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
4405 /PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
4408 2013-01-02 Robert Dewar <dewar@adacore.com>
4410 * checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
4411 * opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config].
4412 * par-prag.adb: Add dummy entry for pragma Check_Float_Overflow.
4413 * sem_prag.adb: Implement pragma Check_Float_Overflow.
4414 * snames.ads-tmpl: Add entries for pragma Check_Float_Overflow.
4415 * switch-c.adb: Recognize -gnateF switch.
4416 * tree_io.ads: Update ASIS version number.
4417 * gnat_rm.texi: Add documentation of pragma Check_Float_Overflow.
4419 2013-01-02 Robert Dewar <dewar@adacore.com>
4421 * checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
4422 exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb,
4423 freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb,
4424 par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb,
4425 sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb,
4426 sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages.
4427 * sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates.
4429 2013-01-02 Robert Dewar <dewar@adacore.com>
4431 * err_vars.ads: Minor comment fix.
4433 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4435 * sem_ch12.adb: Refine predicate.
4437 2013-01-02 Robert Dewar <dewar@adacore.com>
4439 * errout.ads: Minor comment fixes.
4440 * opt.ads: Minor comment additions.
4441 * exp_aggr.adb: Add tags to warning messages
4442 * exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb,
4443 sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb,
4444 sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb,
4445 sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
4446 sem_warn.adb: Add tags to warning messages
4448 2013-01-02 Doug Rupp <rupp@adacore.com>
4450 * init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E.
4452 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4454 * sem_ch12.adb: Recover source name for renamed packagea.
4456 2013-01-02 Robert Dewar <dewar@adacore.com>
4458 * errout.adb (Set_Msg_Insertion_Warning): Correct typo causing
4459 tests to fail if insertion sequence is at end of message string.
4460 * opt.ads: Minor comment fixes and additions.
4461 * sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb,
4462 sem_ch12.adb, sem_ch13.adb: Add tags to warning messages.
4463 * sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message
4464 tags. Add tags to warning messages.
4466 2013-01-02 Robert Dewar <dewar@adacore.com>
4468 * err_vars.ads (Warning_Doc_Switch): New flag.
4469 * errout.adb (Error_Msg_Internal): Implement new warning flag
4470 doc tag stuff (Set_Msg_Insertion_Warning): New procedure.
4471 * errout.ads: Document new insertion sequences ?? ?x? ?.x?
4472 * erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc
4474 * erroutc.ads (Warning_Msg_Char): New variable.
4475 (Warn_Chr): New field in error message object.
4476 * errutil.adb (Error_Msg): Set Warn_Chr in error message object.
4477 * sem_ch13.adb: Minor reformatting.
4478 * warnsw.adb: Add handling for -gnatw.d and -gnatw.D
4479 (Warning_Doc_Switch).
4480 * warnsw.ads: Add handling of -gnatw.d/.D switches (warning
4483 2013-01-02 Robert Dewar <dewar@adacore.com>
4485 * opt.ads: Minor reformatting.
4487 2013-01-02 Doug Rupp <rupp@adacore.com>
4489 * init.c: Reorganize VMS section.
4490 (scan_condtions): New function for scanning condition tables.
4491 (__gnat_handle_vms_condtion): Use actual exception name for imported
4492 exceptions vice IMPORTED_EXCEPTION.
4493 Move condition table scanning into separate function. Move formerly
4494 special handled conditions to system condition table. Use SYS$PUTMSG
4495 output to fill exception message field for formally special handled
4496 condtions, in particular HPARITH to provide more clues about cause and
4497 location then raised from the translated image.
4499 2013-01-02 Thomas Quinot <quinot@adacore.com>
4501 * sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post
4502 aspect that applies to a library subprogram, prepend corresponding
4503 pragma to the Pragmas_After list, in order for split AND THEN
4504 sections to be processed in the expected order.
4506 2013-01-02 Thomas Quinot <quinot@adacore.com>
4508 * exp_prag.adb (Expand_Pragma_Check): The statements generated
4509 for the pragma must have the sloc of the pragma, not the
4510 sloc of the condition, otherwise this creates anomalies in the
4511 generated debug information that confuse coverage analysis tools.
4513 2013-01-02 Thomas Quinot <quinot@adacore.com>
4515 * sem_ch13.adb: Minor reformatting.
4517 2013-01-02 Arnaud Charlet <charlet@adacore.com>
4519 * g-excact.ads (Core_Dump): Clarify that this subprogram does
4520 not dump cores under Windows.
4522 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4524 * sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed
4525 view of a subprogram has convention Intrnnsic, and a renaming
4526 of a prefixed view cannot be the prefix of an Access attribute.
4528 2013-01-02 Robert Dewar <dewar@adacore.com>
4530 * restrict.adb: Minor reformatting.
4532 2013-01-02 Thomas Quinot <quinot@adacore.com>
4534 * exp_prag.adb: Minor reformatting.
4536 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4538 * sem_ch12.adb (Get_Associated_Node): If the node is an
4539 identifier that denotes an unconstrained array in an object
4540 declaration, it is rewritten as the name of an anonymous
4541 subtype whose bounds are given by the initial expression in the
4542 declaration. When checking whether that identifier is global
4543 reference, use the original node, not the local generated subtype.
4545 2013-01-02 Olivier Hainque <hainque@adacore.com>
4547 * tracebak.c: Revert previous change, incomplete.
4549 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4551 * sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect
4552 appears on a subprogram body that acts as a spec, place the
4553 corresponding pragma in the declarations of the body, so that
4554 e.g. pre/postcondition checks can be generated appropriately.
4556 2013-01-02 Robert Dewar <dewar@adacore.com>
4558 * sem_ch3.adb: Minor reformatting and code reorganization.
4560 2013-01-02 Vincent Celier <celier@adacore.com>
4562 * switch-m.adb (Normalize_Compiler_Switches): Record the
4563 complete switch -fstack-check=specific instead of its shorter
4564 alias -fstack-check.
4566 2013-01-02 Ed Schonberg <schonberg@adacore.com>
4568 * sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8):
4569 if the derived type is a tagged generic formal type with
4570 unknown discriminants, the inherited operation has convention
4571 Intrinsic. As such, the 'Access attribute cannot be applied to it.
4573 2013-01-02 Thomas Quinot <quinot@adacore.com>
4575 * sem_attr.adb: Minor reformatting.
4577 2013-01-02 Thomas Quinot <quinot@adacore.com>
4579 * par_sco.adb: Add SCO generation for S of protected types and
4580 single protected object declarations.
4582 2013-01-02 Robert Dewar <dewar@adacore.com>
4584 * sem_eval.adb, osint.ads: Minor reformatting.
4586 2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>
4588 * sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.
4590 2013-01-02 Thomas Quinot <quinot@adacore.com>
4592 * sem_eval.adb (Compile_Time_Compare): For static operands, we
4593 can perform a compile time comparison even if in preanalysis mode.
4595 2013-01-02 Thomas Quinot <quinot@adacore.com>
4597 * par_sco.adb (SCO_Record): Always use
4598 Traverse_Declarations_Or_Statements to process the library level
4599 declaration, so that SCOs are properly generated for its aspects.
4601 2013-01-02 Thomas Quinot <quinot@adacore.com>
4603 * scos.ads (In_Decision): Add missing entry for 'a'.
4604 * sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
4605 call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
4606 * sem_ch13.adb: Minor comment update.
4608 Copyright (C) 2013 Free Software Foundation, Inc.
4610 Copying and distribution of this file, with or without modification,
4611 are permitted in any medium without royalty provided the copyright
4612 notice and this notice are preserved.