[multiple changes]

2014-01-24  Robert Dewar  <dewar@adacore.com>

	* 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  <obry@adacore.com>

	* projects.texi: Removes Build_Slaves attribute documentation.

From-SVN: r207027

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 4b3c2138469de54ced164008d5458d1a717f509e..b553c17e32bdd8b8a9c147a4e679650d76469192 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,14 @@
+2014-01-24  Robert Dewar  <dewar@adacore.com>
+
+       * 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  <obry@adacore.com>
+
+       * projects.texi: Removes Build_Slaves attribute documentation.
+
 2014-01-23  Robert Dewar  <dewar@adacore.com>
 
        * opt.adb (Register_Opt_Config_Switches): Save SPARK_Mode_Pragma

diff --git a/gcc/ada/projects.texi b/gcc/ada/projects.texi
index 0236ba2dc3a2fa0637ba5c39a9a2a1031d5d3362..bb067873d2503e895865f0ba21036cc3f75cf7ee 100644 (file)
--- a/gcc/ada/projects.texi
+++ b/gcc/ada/projects.texi
@@ -4963,10 +4963,7 @@ invoking @code{gnatpp} for the source.
 
 @itemize @bullet
 
-@item @b{Build_Slaves}: list
 
-Value is the list of machine names that are to be used in distributed
-compilation.
 
 @item @b{Root_Dir}: single
 

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index cffae57dfc2d9467171240fc4ffb7128a0a24e26..15679a41ebc972f8200183396e6341da44f7e0c5 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -783,9 +783,9 @@ package body Sem_Prag is
 
                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 Ekind_In (Item_Id, E_Abstract_State,
                                         E_In_Parameter,
                                         E_In_Out_Parameter,

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 9a8428d82a30ce06345695a151b50f7192b327ac..dc6a495b9b5b700b1c2ae24264c170d58941314e 100644 (file)
--- 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);