projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb8d37e) | patch
lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
authorArnaud Charlet <charlet@adacore.com>
Mon, 2 May 2016 09:48:55 +0000 (09:48 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 2 May 2016 09:48:55 +0000 (11:48 +0200)
commiteff69022b3937d69e567c2ce397af7a601d3c64b
tree3474893145e478a497050044fb0627daafc3ce65tree
parentfb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0commit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/lib-xref-spark_specific.adb diff | blob | history
gcc/ada/spark_xrefs.ads diff | blob | history