diff options
| author | Marc Poulhiès <poulhies@adacore.com> | 2022-02-01 12:20:51 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-11 08:53:21 +0000 |
| commit | 4cfd39b0ff56c20db588385ee7be9853278ea142 (patch) | |
| tree | 8998e730fa1ca002f23084b7c27f43554c152c3f /gcc/cp | |
| parent | c63b798f88aa82de32789b6a2ae5f387e58165c7 (diff) | |
| download | gcc-4cfd39b0ff56c20db588385ee7be9853278ea142.zip gcc-4cfd39b0ff56c20db588385ee7be9853278ea142.tar.gz gcc-4cfd39b0ff56c20db588385ee7be9853278ea142.tar.bz2 | |
[Ada] New No_Local_Tagged_Types restriction
Add new configuration restriction No_Local_Tagged_Types. This new
restriction ensures at compile time that all tagged types are only
declared at the library level.
gcc/ada/
* libgnat/s-rident.ads (Restriction_Id): Add
No_Local_Tagged_Types, update comment for adding new GNAT
specific restriction.
* restrict.ads (Implementation_Restriction): Add
No_Local_Tagged_Types.
* sem_ch3.adb (Analyze_Full_Type_Declaration): Add check for
tagged type at library level.
* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
Add No_Local_Tagged_Types description.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/cp')
0 files changed, 0 insertions, 0 deletions