mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-09 15:11:20 +08:00
Code Issues Packages Projects Releases Wiki Activity

sem_prag.adb (Process_Convention): Move the test for the entity on which the Convention pragma applies down to...

Browse Source 
gcc/ada/
	* sem_prag.adb (Process_Convention): Move the test for the
	entity on which the Convention pragma applies down to also
	forbid pragma Convention on enumeration literals reached
	through renamings.

From-SVN: r130155
This commit is contained in:
Samuel Tardieu 2007-11-13 19:12:57 +00:00 committed by Samuel Tardieu
parent 046e407180
commit 66beb09b04
2 changed files with 9 additions and 4 deletions

5
gcc/ada/ChangeLog

@ -4,6 +4,11 @@
explaining why in general 'Unchecked_Access must be used instead
of 'Access.
* sem_prag.adb (Process_Convention): Move the test for the
entity on which the Convention pragma applies down to also
forbid pragma Convention on enumeration literals reached
through renamings.
2007-11-10 Samuel Tardieu <sam@rfc1149.net>
* a-tasatt.adb: Revert previous change for this file as it will

8
gcc/ada/sem_prag.adb

@ -2219,10 +2219,6 @@ package body Sem_Prag is
Error_Pragma_Arg ("entity name required", Arg2);
end if;
if Ekind (Entity (Id)) = E_Enumeration_Literal then
Error_Pragma ("enumeration literal not allowed for pragma%");
end if;
E := Entity (Id);
-- Go to renamed subprogram if present, since convention applies to
@ -2267,6 +2263,10 @@ package body Sem_Prag is
("\supply appropriate type for&!", Arg2);
end if;
if Ekind (E) = E_Enumeration_Literal then
Error_Pragma ("enumeration literal not allowed for pragma%");
end if;
if Etype (E) = Any_Type
or else Rep_Item_Too_Early (E, N)
then