diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 15:22:35 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 15:22:35 +0200 |
| commit | bfc37f375f608454f7ee960b40ee7d6eefb14f3d (patch) | |
| tree | 210ef3038dbcebc06fa981634abf2c43db15e559 /gcc/tree.h | |
| parent | 9dd8f36f2310db400fde9ca4b55ebb7791f50ec0 (diff) | |
| download | gcc-bfc37f375f608454f7ee960b40ee7d6eefb14f3d.zip gcc-bfc37f375f608454f7ee960b40ee7d6eefb14f3d.tar.gz gcc-bfc37f375f608454f7ee960b40ee7d6eefb14f3d.tar.bz2 | |
[multiple changes]
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.
From-SVN: r247332
Diffstat (limited to 'gcc/tree.h')
0 files changed, 0 insertions, 0 deletions