]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Allow attributes Version and Body_Version prefixed by entries
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 23 Dec 2020 23:54:40 +0000 (00:54 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 3 May 2021 09:28:24 +0000 (05:28 -0400)
commit28dfe0cb0355695193af0a22ef6e499d589d8143
tree2cb60c8a8fb769bdfb87e28c8d0486a26483180f
parentadd27f7aceefe79fea82a0fbd05f521c2e6f43d4
[Ada] Allow attributes Version and Body_Version prefixed by entries

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.
gcc/ada/sem_attr.adb