Alright, looks like the latest upload (7.1.0-11) now contains the patch [1]:
18502 Index: gcc/ada/system-linux-m68k.ads
18503 ===================================================================
18504 --- a/src/gcc/ada/system-linux-m68k.ads (.../tags/gcc_7_1_0_release)
18505 +++ b/src/gcc/ada/system-linux-m68k.ads (.../branches/gcc-7-branch)
18506 @@ -7,7 +7,7 @@
18507 -- S p e c
--
18508 -- (GNU/Linux/m68k Version)
--
18509 --
--
18510 --- Copyright (C) 2014-2016, Free Software Foundation, Inc.
--
18511 +-- Copyright (C) 2014-2017, Free Software Foundation, Inc.
--
18512 --
--
18513 -- This specification is derived from the Ada Reference Manual for use
with --
18514 -- GNAT. The copyright notice above, and the license provisions that
follow --
18515 @@ -40,6 +40,9 @@
18516 -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In
Ada
18517 -- 2005, this is Pure in any case (AI-362).
18518
18519 + pragma No_Elaboration_Code_All;
18520 + -- Allow the use of that restriction in units that WITH this unit
18521 +
18522 type Name is (SYSTEM_NAME_GNAT);
18523 System_Name : constant Name := SYSTEM_NAME_GNAT;
18524
18525 @@ -126,7 +129,7 @@
18526 -- of the individual switch values.
18527
18528 Backend_Divide_Checks : constant Boolean := False;
18529 - Backend_Overflow_Checks : constant Boolean := False;
18530 + Backend_Overflow_Checks : constant Boolean := True;
18531 Command_Line_Args : constant Boolean := True;
18532 Configurable_Run_Time : constant Boolean := False;
18533 Denorm : constant Boolean := True;
> [1]
> https://anonscm.debian.org/viewvc/gcccvs/branches/sid/gcc-7/debian/patches/svn-updates.diff?revision=9598&view=markup
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer - glaub...@debian.org
`. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
