diff options
| author | Yannick Moy <moy@adacore.com> | 2018-06-11 09:18:56 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:18:56 +0000 |
| commit | 577b1ab4b158ba501df6c6b721b83043fc26cbff (patch) | |
| tree | a3d2ce9fe0cc844a06a408b652444b43e60632a1 /gcc/tree-eh.c | |
| parent | e194729e56e164093934312a8a46787c4546e92b (diff) | |
| download | gcc-577b1ab4b158ba501df6c6b721b83043fc26cbff.zip gcc-577b1ab4b158ba501df6c6b721b83043fc26cbff.tar.gz gcc-577b1ab4b158ba501df6c6b721b83043fc26cbff.tar.bz2 | |
[Ada] Reject violation of SPARK 6.1.4(12) with enclosing task unit
SPARK 6.1.4(12) applies both to enclosing subprograms and enclosing task
units, but the latter was not correctly rejected.
2018-06-11 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context): Adapt for
possible task unit as the enclosing context.
gcc/testsuite/
* gnat.dg/spark1.adb, gnat.dg/spark1.ads: New testcase.
From-SVN: r261421
Diffstat (limited to 'gcc/tree-eh.c')
0 files changed, 0 insertions, 0 deletions