bindgen.adb (Gen_Output_File_Ada): Generate pragma Suppress (Overflow_Check).
authorRobert Dewar <dewar@adacore.com>
Thu, 31 Jul 2014 09:48:12 +0000 (09:48 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2014 09:48:12 +0000 (11:48 +0200)
commitc1c8247201bd938d49716db8edc2767ff2a4d7d5
tree55467a1a341de6fbf3cdd390e8c0b60bef5dfba5
parente95ad7ea78884d4df12f60a8d3592989b895664b
bindgen.adb (Gen_Output_File_Ada): Generate pragma Suppress (Overflow_Check).

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.

From-SVN: r213329
gcc/ada/ChangeLog
gcc/ada/bindgen.adb
gcc/ada/gnatlink.adb