Add new tests.
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 16 Aug 2007 13:51:43 +0000 (13:51 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 16 Aug 2007 13:51:43 +0000 (13:51 +0000)
commit15b4578f4bff02e555c9fa98c6d8f39b9b8f1b9f
treece1f9dbdd1ec6ab23c32a4ac499c5a1911dfe3fe
parentc6ed11628dd9f8eda5ed1d0ae9d516bf71dc895d
Add new tests.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@127555 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/testsuite/gnat.dg/deref1.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/deref2.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/deref3.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/discr_test.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/elim1.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/elim1.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/elim2.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/specs/limited1.ads [new file with mode: 0644]