diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 16:19:01 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 16:19:01 +0100 |
| commit | f90d14ac693f4eb59f54cc6f534555de2efa83dd (patch) | |
| tree | 901dea19bd1e814db8e43571431198eab23c616f /libgcc | |
| parent | 8a972abdd98acac11c9882957ebf5e68d532948e (diff) | |
| download | gcc-f90d14ac693f4eb59f54cc6f534555de2efa83dd.zip gcc-f90d14ac693f4eb59f54cc6f534555de2efa83dd.tar.gz gcc-f90d14ac693f4eb59f54cc6f534555de2efa83dd.tar.bz2 | |
[multiple changes]
2014-01-29 Thomas Quinot <quinot@adacore.com>
* sem_ch4.adb (Find_Component_In_Instance): Update comment.
2014-01-29 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb (Build_Task_Image_Prefix): Indicate that the
resulting string is an internal entity. and thus requires no
initialization. This is relevant when Initialize_ Scalars is
enabled, because the resultant spurious initialization may lead to
secondary stack anomalies that produce a mangled name for a task.
2014-01-29 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): SPARK_Mode
not inherited from spec anymore. Check consistency
rules after processing of declarations.
* sem_ch7.adb (Analyze_Package_Body_Helper): SPARK_Mode not inherited
from spec anymore. Check consistency rules after processing of
declarations.
(Analyze_Package_Declaration): Set SPARK_Mode only for non-generic
packages.
* sem_prag.adb (Analyze_Pragma/Pragma_SPARK_Mode): Implement new
consistency rules.
From-SVN: r207242
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions