sem_ch6.adb (Analyze_Subprogram_Body_Helper): Ensure that the input body is a…

sem_ch6.adb (Analyze_Subprogram_Body_Helper): Ensure that the input body is a subprogram body before trying to determine...

2017-01-13  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_ch6.adb (Analyze_Subprogram_Body_Helper):
	Ensure that the input body is a subprogram body before trying to
	determine whether it denoted an expression function.  Note that
	subprogram body stubs cannot denote expression functions.

From-SVN: r244421

gcc/ada/ChangeLog

+2017-01-13  Hristian Kirtchev  <kirtchev@adacore.com>
+
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper):
+	Ensure that the input body is a subprogram body before trying to
+	determine whether it denoted an expression function.  Note that
+	subprogram body stubs cannot denote expression functions.
+
 2017-01-13  Gary Dismukes  <dismukes@adacore.com>
 
 	* bindgen.adb, sem_ch6.adb, binde.adb, exp_ch3.adb: Minor reformatting

gcc/ada/sem_ch6.adb

@@ -3503,6 +3503,7 @@ package body Sem_Ch6 is
             --  freezing.
 
             if Has_Completion (Spec_Id)
+              and then Nkind (N) = N_Subprogram_Body
               and then Was_Expression_Function (N)
             then
                Freeze_Expr_Types (Spec_Id);