Message ID | 20170906121647.GA59255@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Reject invalid use of Global/Depends on object declaration | expand |
Index: sem_prag.adb =================================================================== --- sem_prag.adb (revision 251778) +++ sem_prag.adb (working copy) @@ -4080,7 +4080,10 @@ -- Object declaration of a single concurrent type - elsif Nkind (Subp_Decl) = N_Object_Declaration then + elsif Nkind (Subp_Decl) = N_Object_Declaration + and then Is_Single_Concurrent_Object + (Unique_Defining_Entity (Subp_Decl)) + then null; -- Single task type