OSDN Git Service

2008-05-28 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 28 May 2008 13:47:56 +0000 (13:47 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 28 May 2008 13:47:56 +0000 (13:47 +0000)
commite92c357d25915e8d5b4ee5660f13c34f086036d9
tree26ecc70c04743ad3d5f0d5a3687242eff75c0fef
parent319c03ea80d32a97682473c2d8545140b0f957be
2008-05-28  Robert Dewar  <dewar@adacore.com>

* restrict.ads:
Add missing restrictions, and properly label all GNAT defined ones

* rtsfind.ads:
Add entry for Ada_Real_Time.Timing_Events.Timing_Event
Add entry for Ada.Task_Termination.Set_Specific_Handler
Add entry for Ada.Task_Termination.Specific_Handler

* s-rident.ads:
Add missing restrictions and properly mark all gnat defined ones

* sem_ch3.adb:
(Analyze_Object_Declaration): Check No_Local_Timing_Events restriction

* sem_res.adb:
(Resolve_Call): Check violation of No_Specific_Termination_Handlers

* gnat_rm.texi: Add missing restrictions, and properly label all
GNAT defined ones

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136087 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/gnat_rm.texi
gcc/ada/restrict.ads
gcc/ada/rtsfind.ads
gcc/ada/s-rident.ads
gcc/ada/sem_ch3.adb
gcc/ada/sem_res.adb