===================================================================
@@ -12890,8 +12890,9 @@
E_Package,
E_Procedure,
E_Protected_Type,
- E_Task_Type));
-
+ E_Task_Type)
+ or else
+ Is_Record_Type (Context_Id));
return Scope_Within_Or_Same (Context_Id, Ref_Id);
end if;
end Is_CCT_Instance;
===================================================================
@@ -1536,9 +1536,10 @@
(Ref_Id : Entity_Id;
Context_Id : Entity_Id) return Boolean;
-- Subsidiary to the analysis of pragmas [Refined_]Depends and [Refined_]
- -- Global. Determine whether entity Ref_Id (which must represent either
- -- a protected type or a task type) denotes the current instance of a
- -- concurrent type. Context_Id denotes the associated context where the
+ -- Global; also used when analyzing default expressions of protected and
+ -- record components. Determine whether entity Ref_Id (which must represent
+ -- either a protected type or a task type) denotes the current instance of
+ -- a concurrent type. Context_Id denotes the associated context where the
-- pragma appears.
function Is_Child_Or_Sibling