diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-10 14:00:07 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-10 14:00:07 +0000 |
| commit | 2dd9fd37811882a2c5cdcd0880c20e507256e10f (patch) | |
| tree | 5231ddea3175709f5d3b32358b5c069cb2ef9ef6 /gcc/ada/ChangeLog | |
| parent | 40fd8b29972b94620dd80e4428bf507c64412907 (diff) | |
| download | gcc-2dd9fd37811882a2c5cdcd0880c20e507256e10f.tar.gz | |
2014-10-10 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Global_Item): Accept formal objects in Global
contracts.
* errout.adb, errout.ads (SPARK_Msg_NE): Issue error unless
SPARK_Mode is Off.
2014-10-10 Vadim Godunko <godunko@adacore.com>
* a-stwima.adb (To_Sequence): Compute size of result array.
2014-10-10 Javier Miranda <miranda@adacore.com>
* gnat_ugn.texi (Interfacing with C++ at the Class Level): Update the
sources of the example to avoid a warning when the Ada files are
automatically generated by the binding generator.
2014-10-10 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Resolve_Attribute, case 'Update): Set
Do_Range_Check on the expression of a record component
association when needed, as is done for array components, when
the corresponding type is a scalar type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216084 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b62069f464b..401751c6e99 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,27 @@ +2014-10-10 Yannick Moy <moy@adacore.com> + + * sem_prag.adb (Analyze_Global_Item): Accept formal objects in Global + contracts. + * errout.adb, errout.ads (SPARK_Msg_NE): Issue error unless + SPARK_Mode is Off. + +2014-10-10 Vadim Godunko <godunko@adacore.com> + + * a-stwima.adb (To_Sequence): Compute size of result array. + +2014-10-10 Javier Miranda <miranda@adacore.com> + + * gnat_ugn.texi (Interfacing with C++ at the Class Level): Update the + sources of the example to avoid a warning when the Ada files are + automatically generated by the binding generator. + +2014-10-10 Ed Schonberg <schonberg@adacore.com> + + * sem_attr.adb (Resolve_Attribute, case 'Update): Set + Do_Range_Check on the expression of a record component + association when needed, as is done for array components, when + the corresponding type is a scalar type. + 2014-10-10 Gary Dismukes <dismukes@adacore.com> * a-coinho-shared.adb: Minor typo fix. |