| commit | e14a38293ffbec96864f350d5bfb7c2574d079f8 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 31 Jul 2014 09:43:55 +0000 (31 09:43 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 31 Jul 2014 09:43:55 +0000 (31 09:43 +0000) | ||
| tree | e113ac5a4b45830f2790a8af96c4e8eac9a4feb8 | treesnapshot (tar.gz zip) |
| parent | decd66e07b82216bbdb2b57ebe1720b9b9b1e3a1 | commitdiff |
2014-07-31 Robert Dewar <dewar@adacore.com>
* exp_ch5.adb, freeze.adb, exp_ch3.adb: Minor comment correction.
* s-arit64.adb: Minor reformatting.
2014-07-31 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Default for overflow
checking is enabled except in GNAT_Mode.
* switch-c.adb (Scan_Front_End_Switches): Implement -gnato0
(suppress overflow checks).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213327 138bc75d-0d04-0410-961f-82ee72b054a4
* exp_ch5.adb, freeze.adb, exp_ch3.adb: Minor comment correction.
* s-arit64.adb: Minor reformatting.
2014-07-31 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Default for overflow
checking is enabled except in GNAT_Mode.
* switch-c.adb (Scan_Front_End_Switches): Implement -gnato0
(suppress overflow checks).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213327 138bc75d-0d04-0410-961f-82ee72b054a4