From 4437ea95cc8a9fd845e435527565718e566fa937 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 24 Jan 2014 12:42:21 +0100 Subject: [multiple changes] 2014-01-24 Robert Dewar * sem_prag.adb (Analyze_Input_Output): Add missing error check for junk operand. * sem_util.adb (Is_Refined_State): Add defense against junk tree from error. 2014-01-24 Pascal Obry * projects.texi: Removes Build_Slaves attribute documentation. From-SVN: r207027 --- gcc/ada/sem_util.adb | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'gcc/ada/sem_util.adb') diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 9a8428d..dc6a495 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -3723,6 +3723,12 @@ package body Sem_Util is 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); -- cgit v1.1