diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:48:00 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:48:00 +0200 |
| commit | 7188885e569f18885615d4064e393d4c6db77e80 (patch) | |
| tree | a32a044ee02284902f110d5ffc5f7be3fdb24c39 /gcc/ada/init.c | |
| parent | f06f5f6bd618153d66a028f7be4dbecc22913ac1 (diff) | |
| download | gcc-7188885e569f18885615d4064e393d4c6db77e80.zip gcc-7188885e569f18885615d4064e393d4c6db77e80.tar.gz gcc-7188885e569f18885615d4064e393d4c6db77e80.tar.bz2 | |
[multiple changes]
2015-10-20 Bob Duff <duff@adacore.com>
* output.adb (Write_Int): Work with negative numbers in order to avoid
negating Int'First and thereby causing overflow.
* sem_util.adb: Minor comment fix.
2015-10-20 Eric Botcazou <ebotcazou@adacore.com>
* make.adb (Check): Skip multilib switches reinstated by the
compiler when doing the comparison with switches passed to
gnatmake.
2015-10-20 Yannick Moy <moy@adacore.com>
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Return
False for procedures marked No_Return.
* sem_util.ads (Enclosing_Declaration): Improve comment.
* einfo.adb (Is_Completely_Hidden): Remove spurious assertion.
From-SVN: r229029
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions