From d4e1acfa0dc9d27730366725df3e1319d2042958 Mon Sep 17 00:00:00 2001 From: charlet Date: Tue, 20 Oct 2015 12:15:46 +0000 Subject: 2015-10-20 Tristan Gingold * 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). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229063 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sem_ch13.adb | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'gcc/ada/sem_ch13.adb') diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 820a2d1cb4c..7b5e1b84a15 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -5266,6 +5266,12 @@ package body Sem_Ch13 is (Expr, RTE (RE_Interrupt_Priority)); Uninstall_Discriminants_And_Pop_Scope (U_Ent); + + -- Check the No_Task_At_Interrupt_Priority restriction + + if Is_Task_Type (U_Ent) then + Check_Restriction (No_Task_At_Interrupt_Priority, N); + end if; end if; else -- cgit v1.2.1