diff options
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b24acec..eda6cbb 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,75 @@ +2012-07-23 Vincent Celier <celier@adacore.com> + + * g-spitbo.adb (Substr (String)): Return full string and do not + raise exception when Start is 1 and Len is exactly the length + of the string parameter. + * g-spitbo.ads: Fix spelling error in the name of exception + Index_Error. + +2012-07-23 Ed Schonberg <schonberg@adacore.com> + + * par.adb: new subprogram Get_Aspect_Specifications. + * par-ch6.adb (P_Subprogram): handle subprogram bodies with aspect + specifications. + * par-ch13.adb (Get_Aspect_Specifications): extracted from + P_Aspect_Specifications. Collect aspect specifications in some + legal context, but do not attach them to any declaration. Used + when parsing subprogram declarations or bodies that include + aspect specifications. + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): If aspects are + present, analyze them, or reject them if the subprogram as a + previous spec. + +2012-07-23 Vasiliy Fofanov <fofanov@adacore.com> + + * gnat_ugn.texi: Omit section on other platforms/runtimes support + in gnattest for vms version. + +2012-07-23 Ed Schonberg <schonberg@adacore.com> + + * sem_ch13.adb (Analyze_Aspect_Specifications): + Handle properly aspects that can be specified on a subprogram + body: CPU, Priority, and Interrupt_Priority. + +2012-07-23 Claire Dross <dross@adacore.com> + + * a-cfdlli.ads: Switch definition of Constant_Reference_Type + and Empty_List. + +2012-07-23 Thomas Quinot <quinot@adacore.com> + + * par_sco.adb (Process_Decisions.Output_Header): For the guard + on an alternative in a SELECT statement, use the First_Sloc + of the guard expression (not its topmost sloc) as the decision + location, because this is what is referenced by dominance markers. + +2012-07-23 Hristian Kirtchev <kirtchev@adacore.com> + + * exp_ch7.adb (Requires_Hooking): Examine the original expression + of an object declaration node because a function call that + returns on the secondary stack may have been rewritten into + something else. + +2012-07-23 Vincent Pucci <pucci@adacore.com> + + * sem_dim.adb (Analyze_Dimension_Has_Etype): For identifier, propagate + dimension when entity is a non-dimensionless constant. + (Analyze_Dimension_Object_Declaration): Propagate + dimension from the expression to the entity when type is a + dimensioned type and object is a constant. + +2012-07-23 Ed Schonberg <schonberg@adacore.com> + + * sem_attr.adb (Analyze_Attribute, case 'Old): if the prefix + is not an entity name, expand at once so that code generated by + the expansion of the prefix is not generated before the constant + that captures the old value is properly inserted and analyzed. + +2012-07-23 Thomas Quinot <quinot@adacore.com> + + * exp_ch9.adb (Ensure_Statement_Present): Mark generated NULL + statement as Comes_From_Source so that GIGI does not eliminate it. + 2012-07-23 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch12.adb (Insert_Freeze_Node_For_Instance): Inst is now |