https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85756
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Mon May 14 20:17:19 2018 New Revision: 260239 URL: https://gcc.gnu.org/viewcvs?rev=260239&root=gcc&view=rev Log: PR target/85756 * gnat.dg/opt70.adb: New test. * gnat.dg/opt70_pkg.ad[sb]: New helper. Added: trunk/gcc/testsuite/gnat.dg/opt70.adb trunk/gcc/testsuite/gnat.dg/opt70_pkg.adb trunk/gcc/testsuite/gnat.dg/opt70_pkg.ads Modified: trunk/gcc/testsuite/ChangeLog