===================================================================
@@ -783,9 +783,9 @@
Item_Id := Entity_Of (Item);
- Record_Possible_Body_Reference (Item, Item_Id);
+ if Present (Item_Id) then
+ Record_Possible_Body_Reference (Item, Item_Id);
- if Present (Item_Id) then
if Ekind_In (Item_Id, E_Abstract_State,
E_In_Parameter,
E_In_Out_Parameter,
===================================================================
@@ -3723,6 +3723,12 @@
else
Item_Id := Entity_Of (Item);
+ -- Defend against junk
+
+ if No (Item_Id) then
+ return False;
+ end if;
+
return
Ekind (Item_Id) = E_Abstract_State
and then Has_Visible_Refinement (Item_Id);