diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-10-03 16:49:19 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-10-06 11:22:49 +0200 |
| commit | 1180b8fb8c74da9991a1e1066961d1b3f2bd6e4b (patch) | |
| tree | 0d6ab58d02da29ae1cfbd83133c735e9a5baafa2 /gcc/ada/gcc-interface/decl.cc | |
| parent | 56a93169a4f413e0a711e973cf34e2ee89151ef4 (diff) | |
| download | gcc-1180b8fb8c74da9991a1e1066961d1b3f2bd6e4b.zip gcc-1180b8fb8c74da9991a1e1066961d1b3f2bd6e4b.tar.gz gcc-1180b8fb8c74da9991a1e1066961d1b3f2bd6e4b.tar.bz2 | |
ada: Reject conditional goto in lock-free protected subprograms
In lock-free protected subprograms we don't allow goto statements;
likewise, we now reject conditional goto statements.
This fix only affects semantic checking mode with switch -gnatc.
In ordinary compilation we already rejected conditional goto after
it was expanded into ordinary goto.
gcc/ada/
* sem_ch9.adb (Allows_Lock_Free_Implementation): Reject
conditional goto statements.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.cc')
0 files changed, 0 insertions, 0 deletions