http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51580
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-12-19 19:17:15 UTC --- Author: ebotcazou Date: Mon Dec 19 19:17:10 2011 New Revision: 182491 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182491 Log: PR tree-optimization/51580 * gnat.dg/specs/loop_optimization1.ads: New test. * gnat.dg/specs/loop_optimization1_pkg.ad[sb]: New helper. Added: trunk/gcc/testsuite/gnat.dg/specs/loop_optimization1.ads trunk/gcc/testsuite/gnat.dg/specs/loop_optimization1_pkg.adb trunk/gcc/testsuite/gnat.dg/specs/loop_optimization1_pkg.ads Modified: trunk/gcc/testsuite/ChangeLog