diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 16:00:07 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 16:00:07 +0200 |
| commit | 33b87152da3942dfc8f34c6447a6bfed307fca0e (patch) | |
| tree | 5231ddea3175709f5d3b32358b5c069cb2ef9ef6 /gcc/alias.c | |
| parent | 79904ebc48b0103c5a11dcfb76ee7c37399a213a (diff) | |
| download | gcc-33b87152da3942dfc8f34c6447a6bfed307fca0e.zip gcc-33b87152da3942dfc8f34c6447a6bfed307fca0e.tar.gz gcc-33b87152da3942dfc8f34c6447a6bfed307fca0e.tar.bz2 | |
[multiple changes]
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.
From-SVN: r216084
Diffstat (limited to 'gcc/alias.c')
0 files changed, 0 insertions, 0 deletions