diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-05-02 10:00:00 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 12:00:00 +0200 |
| commit | 4871a41df95577e9c43dcf118d46e7faf733ef94 (patch) | |
| tree | f2f6e97b3894a51e65b162e94b2a54702fc8fb8d /gcc/fold-const.c | |
| parent | 8d4611f7b0399ae3726185659f230b8b86f6a81e (diff) | |
| download | gcc-4871a41df95577e9c43dcf118d46e7faf733ef94.zip gcc-4871a41df95577e9c43dcf118d46e7faf733ef94.tar.gz gcc-4871a41df95577e9c43dcf118d46e7faf733ef94.tar.bz2 | |
2016-05-02 Arnaud Charlet <charlet@adacore.com>
* spark_xrefs.ads Description of the spark cross-references
clarified; small style fixes.
* lib-xref-spark_specific.adb (Add_SPARK_Scope,
Detect_And_Add_SPARK_Scope): consider protected types and bodies
as yet another scopes.
(Enclosing_Subprogram_Or_Library_Package): refactored using
Hristian's suggestions; added support for scopes of protected
types and bodies; fix for entries to return the scope of the
enclosing concurrent type, which is consistent with what is
returned for protected subprograms.
* sem_intr.adb: Minor style fix in comment.
From-SVN: r235731
Diffstat (limited to 'gcc/fold-const.c')
0 files changed, 0 insertions, 0 deletions