From: ebotcazou Date: Sat, 11 Feb 2012 00:26:37 +0000 (+0000) Subject: * gnat.dg/specs/aggr4.ads: New test. X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4f89e4fb1ced634afc8f576dc73abbea3ea003bb;p=thirdparty%2Fgcc.git * 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 --- diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ecf16a18a2d3..bd91d58cc6db 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-02-10 Eric Botcazou + + * gnat.dg/specs/aggr4.ads: New test. + * gnat.dg/specs/aggr4_pkg.ads: New helper. + 2012-02-10 H.J. Lu PR target/52146 diff --git a/gcc/testsuite/gnat.dg/specs/aggr4.ads b/gcc/testsuite/gnat.dg/specs/aggr4.ads new file mode 100644 index 000000000000..4cdf652ff2cb --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/aggr4.ads @@ -0,0 +1,9 @@ +-- { dg-do compile } + +with Aggr4_Pkg; use Aggr4_Pkg; + +package Aggr4 is + + C : constant Rec3 := (Data => (D => One, Value => Zero)); + +end Aggr4; diff --git a/gcc/testsuite/gnat.dg/specs/aggr4_pkg.ads b/gcc/testsuite/gnat.dg/specs/aggr4_pkg.ads new file mode 100644 index 000000000000..c0f3c8c828ad --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/aggr4_pkg.ads @@ -0,0 +1,26 @@ +-- { dg-excess-errors "cannot generate code" } + +package Aggr4_Pkg is + + function F return Integer; + + type Rec1 is tagged record + I : Integer; + end record; + + Zero : constant Rec1 := (I => F); + + type Enum is (One, Two); + + type Rec2 (D : Enum := One) is record + case D is + when One => Value : Rec1; + when others => null; + end case; + end record; + + type Rec3 is record + Data : Rec2; + end record; + +end Aggr4_Pkg;