projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a900519) | patch
[Ada] Ada2020: AI12-0129 Make protected objects more protecting
authorArnaud Charlet <charlet@adacore.com>
Tue, 30 Jun 2020 07:49:34 +0000 (03:49 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 16 Oct 2020 07:31:36 +0000 (03:31 -0400)
commitd22f3eabf11d403a4885b986b33006d21dc431ba
treed88bdfa29e5e7f8223efc2615cff48838b9a77d1tree
parenta900519495945ba8d61b8f0527c5fa918e71693ccommit | diff
[Ada] Ada2020: AI12-0129 Make protected objects more protecting

gcc/ada/

* aspects.ads, snames.ads-tmpl: Add support for
Exclusive_Functions aspect.
* sem_ch13.adb (Analyze_Aspect_Specifications): Ditto.
* exp_ch9.adb (Build_Protected_Subprogram_Body): Take aspect
Exclusive_Functions into account.
gcc/ada/aspects.ads diff | blob | history
gcc/ada/exp_ch9.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/snames.ads-tmpl diff | blob | history