diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2010-11-09 11:59:55 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2010-11-09 11:59:55 +0000 |
| commit | 98cd3025d4d3204a18f327627a61b6773fd377a5 (patch) | |
| tree | f3683767b5743cd5036a7a65c1816ad7f965366b /gcc/testsuite | |
| parent | b9cb66d281d279a13ed9628a9046e4523cb677d5 (diff) | |
| download | gcc-98cd3025d4d3204a18f327627a61b6773fd377a5.zip gcc-98cd3025d4d3204a18f327627a61b6773fd377a5.tar.gz gcc-98cd3025d4d3204a18f327627a61b6773fd377a5.tar.bz2 | |
tree.h (contains_placeholder_p): Fix comment.
* tree.h (contains_placeholder_p): Fix comment.
(type_contains_placeholder_p): Adjust comment.
* tree.c (contains_placeholder_p): Fix comment.
(type_contains_placeholder_1): Do not recurse on pointed-to types and
adjust comment.
(type_contains_placeholder_p): Add comment.
ada/
* gcc-interface/decl.c (finish_fat_pointer_type): New function.
(gnat_to_gnu_entity) <E_Array_Type>: Use it to build the fat pointer
type.
<E_Access_Type>: Likewise.
From-SVN: r166484
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/static_initializer5.ads | 13 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads | 17 |
3 files changed, 35 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 07b1a58..6e1dde8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-11-09 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/specs/static_initializer5.ads: New test. + * gnat.dg/specs/static_initializer5_pkg.ads: New helper. + 2010-11-09 Jakub Jelinek <jakub@redhat.com> PR middle-end/46360 diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer5.ads b/gcc/testsuite/gnat.dg/specs/static_initializer5.ads new file mode 100644 index 0000000..29845ce --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/static_initializer5.ads @@ -0,0 +1,13 @@ +-- { dg-do compile } + +with Static_Initializer5_Pkg; use Static_Initializer5_Pkg; + +package Static_Initializer5 is + + type Derived is new Rec with record + Target : Boolean; + end record; + + Null_Derived : constant Derived := (Null_Rec with Target => False); + +end Static_Initializer5; diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads b/gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads new file mode 100644 index 0000000..16a8f72 --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads @@ -0,0 +1,17 @@ +package Static_Initializer5_Pkg is + + type Arr is array (Positive range <>) of Character; + + type Buffer_Type (Length : Positive) is record + Content : Arr (1 .. Length); + end record; + + type Buffer_Access is access Buffer_Type; + + type Rec is tagged record + Buffer : Buffer_Access; + end record; + + Null_Rec : constant Rec := (Buffer => null); + +end Static_Initializer5_Pkg; |