http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60411
--- Comment #3 from Arnaud Charlet <charlet at gcc dot gnu.org> --- Author: charlet Date: Fri Mar 7 20:35:33 2014 New Revision: 208419 URL: http://gcc.gnu.org/viewcvs?rev=208419&root=gcc&view=rev Log: 2014-03-07 Doug Rupp <r...@adacore.com> PR ada/60411 * system-linux-armel.ads (Backend_Overflow_Checks): Set to True. (Support_64_Bit_Divides): Removed, no longer used. (ZCX_By_Default): Enabled. Modified: trunk/gcc/ada/ChangeLog trunk/gcc/ada/system-linux-armel.ads