diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-11-20 15:54:31 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-11-20 15:54:31 +0000 |
| commit | 29b91bc7ace7c85978a1eb6c41d12627fb375e8d (patch) | |
| tree | a166a042e46ffdda1e02b61c32e2d8322bded64f /gcc/ada/ChangeLog | |
| parent | aa08073d2ae60c1c510fb9281fc3c7a1527c0178 (diff) | |
| download | gcc-29b91bc7ace7c85978a1eb6c41d12627fb375e8d.tar.gz | |
2014-11-20 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb, freeze.adb: Minor reformatting.
* gnat_rm.texi: Minor editing.
2014-11-20 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma): Minor reformatting.
(Process_Suppress_Unsuppress): Ignore suppress Elaboration_Check
in SPARK.
2014-11-20 Bob Duff <duff@adacore.com>
* gnat_rm.texi: Correction to documentation of
'Unrestricted_Access in case of access to unconstrained array.
* a-cofove.adb (Capacity): Fix bug -- was always
returning Capacity_Range'Last.
(Is_Sorted): Fix bug -- was always returning True, because
Container.Last = Last. That test isn't even needed, because the
loop will go around zero times in that case, so deleted that
test rather than fixing it.
(Reverse_Elements): Make sure to use the correct array bounds.
2014-11-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Associations): In GNATProve mode, build
wrappers for functions and operators that are actuals only if
expander is enabled. Wrappers play no role within a generic unit.
2014-11-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Policy_In_Effect): Use the
configuration level assertion flag.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217880 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ea570d92791..cf6060da437 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,37 @@ +2014-11-20 Thomas Quinot <quinot@adacore.com> + + * sem_ch13.adb, freeze.adb: Minor reformatting. + * gnat_rm.texi: Minor editing. + +2014-11-20 Robert Dewar <dewar@adacore.com> + + * sem_prag.adb (Analyze_Pragma): Minor reformatting. + (Process_Suppress_Unsuppress): Ignore suppress Elaboration_Check + in SPARK. + +2014-11-20 Bob Duff <duff@adacore.com> + + * gnat_rm.texi: Correction to documentation of + 'Unrestricted_Access in case of access to unconstrained array. + * a-cofove.adb (Capacity): Fix bug -- was always + returning Capacity_Range'Last. + (Is_Sorted): Fix bug -- was always returning True, because + Container.Last = Last. That test isn't even needed, because the + loop will go around zero times in that case, so deleted that + test rather than fixing it. + (Reverse_Elements): Make sure to use the correct array bounds. + +2014-11-20 Ed Schonberg <schonberg@adacore.com> + + * sem_ch12.adb (Analyze_Associations): In GNATProve mode, build + wrappers for functions and operators that are actuals only if + expander is enabled. Wrappers play no role within a generic unit. + +2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> + + * sem_util.adb (Policy_In_Effect): Use the + configuration level assertion flag. + 2014-11-20 Arnaud Charlet <charlet@adacore.com> * s-parame-ae653.ads: Update comments. |