OSDN Git Service

PR ada/43106
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 19 Mar 2010 07:18:47 +0000 (07:18 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 19 Mar 2010 07:18:47 +0000 (07:18 +0000)
commitfbd3f0a96e94374c2c9ad89cff086d1ec7b421cf
treea08f34bfaecaef021561c721c8ff6a7790da892e
parent22d1ff911702e366dad7428437257566a78e4d2e
PR ada/43106
* gnat.dg/case_optimization2.adb: New test.
* gnat.dg/case_optimization_pkg2.ad[sb]: New helper.

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