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
+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
@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
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,
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);