projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da16002) | patch
s-rident.ads: No_Task_At_Interrupt_Priority: New restriction.
authorTristan Gingold <gingold@adacore.com>
Tue, 20 Oct 2015 12:15:46 +0000 (12:15 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 20 Oct 2015 12:15:46 +0000 (14:15 +0200)
commit6bf8c157bf8121f26182fc05182ec6c0c6ecf9e0
treee0ac56de57bdf0b086a199dc03aafbe995537020tree
parentda16002615ce7908f1599313dddc2e72702fcba9commit | diff
s-rident.ads: No_Task_At_Interrupt_Priority: New restriction.

2015-10-20  Tristan Gingold  <gingold@adacore.com>

* s-rident.ads: No_Task_At_Interrupt_Priority: New restriction.
* sem_prag.adb (Analyze_Pragma): Check the restriction.
* sem_ch13.adb (Analyze_Attribute_Definition_Clause):
Check the restriction (for aspects).

From-SVN: r229063
gcc/ada/ChangeLog diff | blob | history
gcc/ada/s-rident.ads diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history