diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-05-12 14:06:07 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-15 09:59:35 +0200 |
| commit | 3ec78e11471c898328053884ac328cb898f91144 (patch) | |
| tree | 89dd033a10146560e7a09f570ebc70f682c9f38d /libcpp/files.cc | |
| parent | 8e5185ad60b1c801e41e76919a6bad8f3e4cdba4 (diff) | |
| download | gcc-3ec78e11471c898328053884ac328cb898f91144.zip gcc-3ec78e11471c898328053884ac328cb898f91144.tar.gz gcc-3ec78e11471c898328053884ac328cb898f91144.tar.bz2 | |
ada: Accept aspect Always_Terminates on packages
The recently added aspect Always_Terminates is now allowed on packages
and generic packages, but only when it has no arguments. The intuitive
meaning is that all subprograms declared in such a package are always
terminating.
gcc/ada/
* contracts.adb (Add_Contract_Item): Add pragma Always_Terminates to
package contract.
* sem_prag.adb (Analyze_Pragma): Accept pragma Always_Terminates on
packages and generic packages, but only when it has no arguments.
Diffstat (limited to 'libcpp/files.cc')
0 files changed, 0 insertions, 0 deletions