| commit | 8e5185ad60b1c801e41e76919a6bad8f3e4cdba4 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Fri, 12 May 2023 11:13:41 +0000 (12 13:13 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Thu, 15 Jun 2023 07:59:35 +0000 (15 09:59 +0200) | ||
| tree | 57c9f7532b6c8fe633b2980569badeb259183202 | treesnapshot (tar.gz zip) |
| parent | fa5aa5d942ace0bb935b88db53542d90b7d3a4cc | commitdiff |
ada: Accept aspect Always_Terminates on entries
The recently added aspect Always_Terminates is allowed on both
procedures and entries.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): Accept pragma Always_Terminates when
it applies to an entry.
The recently added aspect Always_Terminates is allowed on both
procedures and entries.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): Accept pragma Always_Terminates when
it applies to an entry.
| gcc/ada/sem_prag.adb | diffblobblamehistory |