diff options
| author | Bob Duff <duff@adacore.com> | 2020-06-09 10:53:23 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-16 05:18:09 -0400 |
| commit | f7a8be8a1919661122a8ac87c595e1267a1ee3d5 (patch) | |
| tree | 6fa25f1f3bc668e6439ff992bcf0aaef7281c895 /gcc/gcov-iov.c | |
| parent | ebc2b117e43191de355187553586aef30048f098 (diff) | |
| download | gcc-f7a8be8a1919661122a8ac87c595e1267a1ee3d5.zip gcc-f7a8be8a1919661122a8ac87c595e1267a1ee3d5.tar.gz gcc-f7a8be8a1919661122a8ac87c595e1267a1ee3d5.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gcov-iov.c')
0 files changed, 0 insertions, 0 deletions