diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-05-02 09:48:55 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:48:55 +0200 |
| commit | eff69022b3937d69e567c2ce397af7a601d3c64b (patch) | |
| tree | 3474893145e478a497050044fb0627daafc3ce65 /gcc/ada/lib-xref.adb | |
| parent | fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0 (diff) | |
| download | gcc-eff69022b3937d69e567c2ce397af7a601d3c64b.zip gcc-eff69022b3937d69e567c2ce397af7a601d3c64b.tar.gz gcc-eff69022b3937d69e567c2ce397af7a601d3c64b.tar.bz2 | |
lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2016-05-02 Arnaud Charlet <charlet@adacore.com>
* lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
(Detect_And_Add_SPARK_Scope): detect and add task type scope.
(Enclosing_Subprogram_Or_Package): Respect boundaries of task
and entry declarations.
* spark_xrefs.ads: minor typo in comment.
From-SVN: r235726
Diffstat (limited to 'gcc/ada/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions