| commit | 4504af0f228315c31b411a19b86f888bd4674118 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Aug 2014 10:41:40 +0000 (4 10:41 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Aug 2014 10:41:40 +0000 (4 10:41 +0000) | ||
| tree | 3cc51d0990eeb856addf1f5cfbd49c2cc9ecc50d | treesnapshot (tar.gz zip) |
| parent | 4c1ff5095967c9ebcd1805725cd35b628a8e376a | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213565 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213565 138bc75d-0d04-0410-961f-82ee72b054a4