diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 12:41:40 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 12:41:40 +0200 |
| commit | 82701811fcb7027114db712f6b06b742fc5557d1 (patch) | |
| tree | 3cc51d0990eeb856addf1f5cfbd49c2cc9ecc50d /gcc/ada/einfo.adb | |
| parent | a4b07ff0af00d647952f0ae946b7340f9fcc2f20 (diff) | |
| download | gcc-82701811fcb7027114db712f6b06b742fc5557d1.zip gcc-82701811fcb7027114db712f6b06b742fc5557d1.tar.gz gcc-82701811fcb7027114db712f6b06b742fc5557d1.tar.bz2 | |
[multiple changes]
2014-08-04 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, einfo.ads: Minor reformatting.
2014-08-04 Yannick Moy <moy@adacore.com>
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Fix
detection of subprograms that cannot be inlined in GNATprove mode.
2014-08-04 Ed Schonberg <schonberg@adacore.com>
* einfo.adb: Add guard to Returns_Limited_View.
2014-08-04 Jose Ruiz <ruiz@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 2 |
1 files changed, 2 insertions, 0 deletions
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; |