FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[Ada] Allow attributes Version and Body_Version prefixed by entries

Browse source 
gcc/ada/

	* sem_attr.adb (Check_Program_Unit): Replace tests for Task_Kind
	and Protected_Kind with a collective test for Concurrent_Kind;
	likewise, replace calls to Is_Task_Type and Is_Protected_Type
	with a collective call to Is_Concurrent_Type; simplify into a
	single membership test; add missing Entry_Kind alternative.
This commit is contained in:
Piotr Trojanek 2020-12-24 00:54:40 +01:00 • committed by Pierre-Marie de Rodat
parent add27f7ace
commit 28dfe0cb03
1 changed files with 6 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
gcc/ada/sem_attr.adb
View file

@ -2302,16 +2302,12 @@ package body Sem_Attr is
T : constant Entity_Id := Etype (Entity (P));
begin
if K in Subprogram_Kind
or else K in Task_Kind
or else K in Protected_Kind
or else K = E_Package
or else K in Generic_Unit_Kind
or else (K = E_Variable
and then
(Is_Task_Type (T)
or else
Is_Protected_Type (T)))
if K in Concurrent_Kind
| Entry_Kind
| Generic_Unit_Kind
| Subprogram_Kind
| E_Package
or else (K = E_Variable and then Is_Concurrent_Type (T))
then
return;
end if;