diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 12:31:26 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 12:31:26 +0200 |
commit | 783da331c1613fee3f7214d66034fb9c9f787f71 (patch) | |
tree | d2023029b43e34e2cc1d9b3e1d9c045ced2a0ed7 /gcc/dwarf2out.c | |
parent | 129bbe4330667aca34b1f15cb6db9e7615143acb (diff) | |
download | gcc-783da331c1613fee3f7214d66034fb9c9f787f71.zip gcc-783da331c1613fee3f7214d66034fb9c9f787f71.tar.gz gcc-783da331c1613fee3f7214d66034fb9c9f787f71.tar.bz2 |
[multiple changes]
2014-06-13 Yannick Moy <moy@adacore.com>
* exp_attr.adb Typo in comment.
* gnat1drv.adb (Adjust_Global_Switches): Force float overflow
checking in GNATprove_Mode.
2014-06-13 Ed Schonberg <schonberg@adacore.com>
* a-coinho-shared.adb, a-coinho-shared.ads: Update shared version.
From-SVN: r211629
Diffstat (limited to 'gcc/dwarf2out.c')
0 files changed, 0 insertions, 0 deletions