OSDN Git Service

PR tree-optimization/51580
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 19 Dec 2011 19:17:10 +0000 (19:17 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 19 Dec 2011 19:17:10 +0000 (19:17 +0000)
commit95e5cc03aa388825072b911b97ebee65da8dcc44
treee1bde4ec47f89af5ed91249b36394c424912b1bc
parent7ddeda06814c0128f4114aedc102489134a6625e
PR tree-optimization/51580
* gnat.dg/specs/loop_optimization1.ads: New test.
* gnat.dg/specs/loop_optimization1_pkg.ad[sb]: New helper.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182491 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/specs/loop_optimization1.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/specs/loop_optimization1_pkg.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/specs/loop_optimization1_pkg.ads [new file with mode: 0644]