diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-05 10:17:24 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-05 10:17:24 +0200 |
| commit | dce86910a33ed9132a1662216b55e7d21a14f9fa (patch) | |
| tree | 59d177de5c444c3d4604471254607bd955fbc5c6 /gcc/ada/gcc-interface | |
| parent | 864f786316a358dd59e5ba30c128a3e8bb479942 (diff) | |
| download | gcc-dce86910a33ed9132a1662216b55e7d21a14f9fa.zip gcc-dce86910a33ed9132a1662216b55e7d21a14f9fa.tar.gz gcc-dce86910a33ed9132a1662216b55e7d21a14f9fa.tar.bz2 | |
sem_res.adb (Resolve_Call): If this is a call to the predefined Abort_Task...
2008-08-05 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Call): If this is a call to the predefined
Abort_Task, warn if the call appears within a protected operation.
From-SVN: r138672
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions