aboutsummaryrefslogtreecommitdiff
path: root/gcc/cppdefault.c
diff options
context:
space:
mode:
authorBob Duff <duff@adacore.com>2021-02-11 17:57:53 -0500
committerPierre-Marie de Rodat <derodat@adacore.com>2021-06-15 06:19:35 -0400
commit811b8aa53649982c352a1d56626e2a5b0b5d2696 (patch)
tree6db7811d68dae30e8e953ec0ea9302c2266b8726 /gcc/cppdefault.c
parent4cee20bb1ebbe66d4065c33da9f8743683228ede (diff)
downloadgcc-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