diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2020-09-30 10:50:47 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:16:04 -0500 |
| commit | 7883a610443b1dbde92ad4dc4f6082a5c4b6c799 (patch) | |
| tree | d6099f4f9cb8708f6eed847250b5668f186ce043 /gcc/ada/contracts.adb | |
| parent | 218079efc59095aa07da7f4f2a7a50b07f35f66e (diff) | |
| download | gcc-7883a610443b1dbde92ad4dc4f6082a5c4b6c799.zip gcc-7883a610443b1dbde92ad4dc4f6082a5c4b6c799.tar.gz gcc-7883a610443b1dbde92ad4dc4f6082a5c4b6c799.tar.bz2 | |
[Ada] Implement No_Unrecognized_{Aspects,Pragmas} restrictions
gcc/ada/
* libgnat/s-rident.ads (System.Rident): Register new restriction
IDs.
* par-ch13.adb (Get_Aspect_Specifications): Add restriction check.
* par-prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Register No_Unrecognized_Aspects restriction.
* sem_prag.adb (Analyze_Pragma): Add restriction check.
* snames.ads-tmpl: Create restriction names.
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions