| commit | 52a59c8266404bfa57926834031613686088260f | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 27 Apr 2017 13:22:35 +0000 (27 13:22 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 27 Apr 2017 13:22:35 +0000 (27 13:22 +0000) | ||
| tree | 210ef3038dbcebc06fa981634abf2c43db15e559 | treesnapshot (tar.gz zip) |
| parent | 739b155e1318fced1e1d9e1b00166af88e521f48 | commitdiff |
2017-04-27 Yannick Moy <moy@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Issue
a warning in GNATprove mode if the runtime library does not
support IEEE-754 floats.
2017-04-27 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Inherit_Class_Wide_Pre): If the parent operation
is itself inherited it does not carry any contract information,
so examine its parent operation which is its Alias.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247332 138bc75d-0d04-0410-961f-82ee72b054a4
* gnat1drv.adb (Adjust_Global_Switches): Issue
a warning in GNATprove mode if the runtime library does not
support IEEE-754 floats.
2017-04-27 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Inherit_Class_Wide_Pre): If the parent operation
is itself inherited it does not carry any contract information,
so examine its parent operation which is its Alias.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247332 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/gnat1drv.adb | diffblobblamehistory | |
| gcc/ada/sem_prag.adb | diffblobblamehistory |