[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restriction
authorBob Duff <duff@adacore.com>
Tue, 9 Jun 2020 14:53:23 +0000 (10:53 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 16 Jul 2020 09:18:09 +0000 (05:18 -0400)
commitf7a8be8a1919661122a8ac87c595e1267a1ee3d5
tree6fa25f1f3bc668e6439ff992bcf0aaef7281c895
parentebc2b117e43191de355187553586aef30048f098
[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restriction

gcc/ada/

* libgnat/s-rident.ads (No_Dynamic_CPU_Assignment): New
restriction. Add it to all relevant profiles.
* sem_ch13.adb (Attribute_CPU): Check No_Dynamic_CPU_Assignment
restriction.
(Attribute_CPU, Attribute_Dispatching_Domain,
Attribute_Interrupt_Priority): Remove error checks -- these are
checked in the parser.
* sem_prag.adb (Pragma_CPU): Check No_Dynamic_CPU_Assignment
restriction.  We've got a little violation of DRY here.
* sem.ads, sem_ch3.ads: Minor comment fix.
gcc/ada/libgnat/s-rident.ads
gcc/ada/sem.ads
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch3.ads
gcc/ada/sem_prag.adb