diff options
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 103 |
1 files changed, 103 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 8196e94e8ad..1a9ff91cf3f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,106 @@ +2012-10-05 Robert Dewar <dewar@adacore.com> + + * sem_ch7.adb: Minor reformatting. + +2012-10-05 Ed Schonberg <schonberg@adacore.com> + + * sem_prag.adb (Analyze_Pragma, case Persistent_BSS): check for + a duplicate pragma before Rep_Item_Too_Late to prevent spurious + messages about duplicate pragmas. + +2012-10-05 Ed Schonberg <schonberg@adacore.com> + + * exp_util.adb (Find_Init_Call): If the successor of the + object declaration is a block, check whether it contains the + initialization call, because it may have been created by actuals + that use the secondary stack. + +2012-10-05 Thomas Quinot <quinot@adacore.com> + + * sem_dim.adb, errout.adb, errout.ads (Analyze_Dimension_Call): Add + guard against abnormal tree resulting from a previously diagnosed + illegality. + +2012-10-05 Hristian Kirtchev <kirtchev@adacore.com> + + * freeze.adb (Freeze_Expression): Rename local variable Cspc to Spec + and update all refs to it. Do not freeze an entity outside a subprogram + body when the original context is an expression function. + +2012-10-05 Robert Dewar <dewar@adacore.com> + + * gnat1drv.adb (Adjust_Global_Switches): Default for overflow checking + is suppressed, even if backend overflow/divide checks are enabled. + +2012-10-05 Ed Schonberg <schonberg@adacore.com> + + * einfo.adb (Set_Invariant_Procedure, Set_Predicate_Function): + chain properly subprograms on Subprograms_For_Type list. + * sem_ch13.ads; (Build_Invariant_Procedure_Declaration): new + procedure, to create declaration for invariant procedure + independently of the construction of the body, so that it can + be called within expression functions. + * sem_ch13.adb (Build_Invariant_Procedure): code cleanup. The + declaration may already have been generated at the point an + explicit invariant aspect is encountered. + * sem_prag.adb; (Analyze_Pragma, case Invariant): create declaration + for invariant procedure. + * sem_ch7.adb (Analyze_Package_Specification): clean up call to + build invariant procedure. + (Preserve_Full_Attributes): propagate information about invariants + if they appear on a completion, + +2012-10-05 Pascal Obry <obry@adacore.com> + + * gnat_ugn.texi: Update documentation to lift Microsoft C + restriction. + +2012-10-05 Robert Dewar <dewar@adacore.com> + + * sem_util.adb (Has_One_Matching_Field): Handle case of lone + discriminant. + +2012-10-05 Yannick Moy <moy@adacore.com> + + * checks.adb (Minimize_Eliminate_Overflow_Checks): Correct code + for the division operation and exponent operation. Adjust bound + for the mod and rem operations. + +2012-10-05 Robert Dewar <dewar@adacore.com> + + * checks.adb, checks.ads, s-tassta.adb, s-stposu.adb, s-spsufi.adb, + s-spsufi.ads, exp_ch4.adb: Minor reformatting. + +2012-10-05 Yannick Moy <moy@adacore.com> + + * switch-c.adb, checks.adb, checks.ads, sem_prag.adb, exp_ch4.adb, + osint.adb: Minor correction of typos, and special case for Alfa mode. + +2012-10-05 Hristian Kirtchev <kirtchev@adacore.com> + + * s-spsufi.adb: Add with clause for Ada.Unchecked_Deallocation. + Add with and use clauses for System.Finalization_Masters. + (Finalize_And_Deallocate): Add an instance of + Ada.Unchecked_Deallocation. Merge the code from the now obsolete + Finalize_Subpool into this routine. + * s-spsufi.ads: Add pragma Preelaborate. + * s-stposu.adb: Remove with clause for + Ada.Unchecked_Deallocation; Add with and use clauses for + System.Storage_Pools.Subpools.Finalization; (Finalize_Pool): + Update the comment on all actions takes with respect to a subpool + finalization. Finalize and deallocate each individual subpool. + (Finalize_Subpool): Removed. + (Free): Removed; + (Detach): Move from package body to spec. + * s-stposu.ads (Detach): Move from package body to spec. + (Finalize_Subpool): Removed. + +2012-10-05 Arnaud Charlet <charlet@adacore.com> + + * s-tassta.adb: Update comments. + (Vulnerable_Complete_Master): If Free_On_Termination is set, do + nothing, and let the task free itself if not already done. + 2012-10-04 Robert Dewar <dewar@adacore.com> * sem_res.adb (Resolve_Set_Membership): Warn on duplicates. |