2014-07-31 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 31 Jul 2014 09:48:12 +0000 (09:48 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 31 Jul 2014 09:48:12 +0000 (09:48 +0000)
commit1974a3cb589332cdab001a8551e427d379586790
tree55467a1a341de6fbf3cdd390e8c0b60bef5dfba5
parenteef08c193592597db2622407e035e3cd204abfba
2014-07-31  Robert Dewar  <dewar@adacore.com>

* bindgen.adb (Gen_Output_File_Ada): Generate pragma Suppress
(Overflow_Check).
* gnatlink.adb (Process_Args): Remove generation of -gnato0,
no longer needed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213329 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/bindgen.adb
gcc/ada/gnatlink.adb