diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-07-15 22:29:06 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-02 09:08:09 +0200 |
| commit | 5f3902ed1d9c7686fa7bad1e24f0c2b40fd35efe (patch) | |
| tree | cb32bd2aac9921fc822f5836b50474bcefab87fa /gcc/c | |
| parent | 54acd24d5f82766e7ad43a41519b00369ae46863 (diff) | |
| download | gcc-5f3902ed1d9c7686fa7bad1e24f0c2b40fd35efe.zip gcc-5f3902ed1d9c7686fa7bad1e24f0c2b40fd35efe.tar.gz gcc-5f3902ed1d9c7686fa7bad1e24f0c2b40fd35efe.tar.bz2 | |
ada: Plug loophole in handling of No_Raise pragma
Unlike the aspect, the pragma needs to be propagated explicitly from a
generic subprogram to its instances.
gcc/ada/
* sem_ch12.adb (Analyze_Subprogram_Instantiation): Propagate the
No_Raise flag like the No_Return flag.
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions