diff options
author | Bob Duff <duff@adacore.com> | 2021-02-11 17:57:53 -0500 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-15 06:19:35 -0400 |
commit | 811b8aa53649982c352a1d56626e2a5b0b5d2696 (patch) | |
tree | 6db7811d68dae30e8e953ec0ea9302c2266b8726 /gcc/cppdefault.c | |
parent | 4cee20bb1ebbe66d4065c33da9f8743683228ede (diff) | |
download | gcc-811b8aa53649982c352a1d56626e2a5b0b5d2696.zip gcc-811b8aa53649982c352a1d56626e2a5b0b5d2696.tar.gz gcc-811b8aa53649982c352a1d56626e2a5b0b5d2696.tar.bz2 |
[Ada] No_Task_Parts aspect
gcc/ada/
* aspects.ads (No_Task_Parts): New aspect.
* snames.ads-tmpl: Add the aspect name.
* exp_ch6.adb (Might_Have_Tasks): Return False if this is a
class-wide type whose specific type has No_Task_Parts.
* freeze.adb (Check_No_Parts_Violations): This is an adaptation
of the procedure formerly known as
Check_No_Controlled_Parts_Violations, which now supports both
No_Controlled_Parts and No_Task_Parts. It takes a parameter
indicating which aspect is being checked.
(Freeze_Entity): Call Check_No_Parts_Violations for both
aspects.
* sem_ch13.adb (Analyze_Aspect_Specifications): The code for
Aspect_No_Controlled_Parts already works as is with
Aspect_No_Task_Parts.
* libgnat/a-iteint.ads: Add No_Task_Parts aspect to the two
iterator iterfaces.
* doc/gnat_rm/implementation_defined_aspects.rst: Add
documentation for the No_Task_Parts aspect.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/cppdefault.c')
0 files changed, 0 insertions, 0 deletions