From 82701811fcb7027114db712f6b06b742fc5557d1 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 4 Aug 2014 12:41:40 +0200 Subject: [multiple changes] 2014-08-04 Robert Dewar * sem_ch3.adb, einfo.ads: Minor reformatting. 2014-08-04 Yannick Moy * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Fix detection of subprograms that cannot be inlined in GNATprove mode. 2014-08-04 Ed Schonberg * einfo.adb: Add guard to Returns_Limited_View. 2014-08-04 Jose Ruiz * s-tassta.adb, s-tarest.adb (Task_Wrapper): Force maximum alignment of the secondary stack to respect the alignments of the returned objects. From-SVN: r213565 --- gcc/ada/einfo.adb | 2 ++ 1 file changed, 2 insertions(+) (limited to 'gcc/ada/einfo.adb') diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index f3899a9..d4a5260 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -2872,6 +2872,7 @@ package body Einfo is function Returns_Limited_View (Id : E) return B is begin + pragma Assert (Ekind (Id) = E_Function); return Flag134 (Id); end Returns_Limited_View; @@ -5701,6 +5702,7 @@ package body Einfo is procedure Set_Returns_Limited_View (Id : E; V : B := True) is begin + pragma Assert (Ekind (Id) = E_Function); Set_Flag134 (Id, V); end Set_Returns_Limited_View; -- cgit v1.1