From 60aa52287572b287e94f52fc8b22c9e01d56458e Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 30 Nov 2016 14:59:16 +0100 Subject: [multiple changes] 2016-11-30 Gary Dismukes * sem_prag.adb, sem_ch6.adb: Minor reformatting and typo fixes. * g-sechas.adb: Minor reformatting. * lib-xref.ads: minor grammar fix in comment. * lib-xref-spark_specific.adb (Is_SPARK_Reference): do not ignore references to concurrent objects. * sinfo.ads: Fix of unbalanced parens in comment 2016-11-30 Ed Schonberg * lib-xref.adb (Get_Type_Reference): If the entity is a function returning a classwide type, the type reference is obtained right away and does not need further unwinding. 2016-11-30 Javier Miranda * sem_ch8.adb (Find_Renamed_Entity): For non-overloaded subprogram actuals of generic units check that the spec of the renaming and renamed entities match. 2016-11-30 Tristan Gingold * raise-gcc.c: For CERT runtimes: do not use gcc includes, simplify the handling. * sem_attr.adb (Analyze_Attribute): Check No_Dynamic_Priorities restriction for Priority Attribute. From-SVN: r243022 --- gcc/ada/sem_attr.adb | 2 ++ 1 file changed, 2 insertions(+) (limited to 'gcc/ada/sem_attr.adb') diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 7b31ca1..6695253 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -5158,6 +5158,8 @@ package body Sem_Attr is Check_E0; + Check_Restriction (No_Dynamic_Priorities, N); + -- The prefix must be a protected object (AARM D.5.2 (2/2)) Analyze (P); -- cgit v1.1