* gnat.dg/specs/aggr4.ads: New test.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 11 Feb 2012 00:26:37 +0000 (00:26 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 11 Feb 2012 00:26:37 +0000 (00:26 +0000)
commit4f89e4fb1ced634afc8f576dc73abbea3ea003bb
tree9bd04a32d81f51bfc2972eee683e9a0caa0a9e14
parentc583bcbce32a044e7cf436aa80b08a71fe1373d2
* gnat.dg/specs/aggr4.ads: New test.
* gnat.dg/specs/aggr4_pkg.ads: New helper.

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