diff options
| author | Olivier Hainque <hainque@adacore.com> | 2007-09-21 14:14:45 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2007-09-21 14:14:45 +0000 |
| commit | 9723778490b9963e98658dc82a5f48b291cfe67a (patch) | |
| tree | 2e798ccdee0816b4a2dc1b1ce10530fe5848a6ea /gcc/testsuite | |
| parent | 5bc31e42071e1cc19560dab58d5e574c44b464f9 (diff) | |
| download | gcc-9723778490b9963e98658dc82a5f48b291cfe67a.tar.gz | |
utils.c (type_for_nonaliased_component_p): Return false for all AGGREGATE_TYPEs.
2007-09-21 Olivier Hainque <hainque@adacore.com>
ada/
* utils.c (type_for_nonaliased_component_p): Return false for
all AGGREGATE_TYPEs.
testsuite/
* gnat.dg/nested_subtype_byref.ad[bs]: Part of new test.
* gnat.dg/test_nested_subtype_byref.adb: New test.
From-SVN: r128650
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/nested_subtype_byref.adb | 23 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/nested_subtype_byref.ads | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/test_nested_subtype_byref.adb | 8 |
4 files changed, 40 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 70ec4b7805d..3b95f1d8833 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-09-21 Olivier Hainque <hainque@adacore.com> + + * gnat.dg/nested_subtype_byref.ad[bs]: Part of new test. + * gnat.dg/test_nested_subtype_byref.adb: New test. + 2007-09-21 Jakub Jelinek <jakub@redhat.com> PR fortran/33439 diff --git a/gcc/testsuite/gnat.dg/nested_subtype_byref.adb b/gcc/testsuite/gnat.dg/nested_subtype_byref.adb new file mode 100644 index 00000000000..b232aa36da2 --- /dev/null +++ b/gcc/testsuite/gnat.dg/nested_subtype_byref.adb @@ -0,0 +1,23 @@ + +package body Nested_Subtype_Byref is + + type Data (Stamped : Boolean) is record + case Stamped is + when True => Valid : Boolean; + when others => null; + end case; + end record; + + type Message is record + F : Integer := 1; + D : Data (Stamped => True); + end record; + + procedure Check is + M : Message; + begin + M.D.Valid := True; + end; + +end; + diff --git a/gcc/testsuite/gnat.dg/nested_subtype_byref.ads b/gcc/testsuite/gnat.dg/nested_subtype_byref.ads new file mode 100644 index 00000000000..24e3f1eaaf8 --- /dev/null +++ b/gcc/testsuite/gnat.dg/nested_subtype_byref.ads @@ -0,0 +1,4 @@ + +package Nested_Subtype_Byref is + procedure Check; +end; diff --git a/gcc/testsuite/gnat.dg/test_nested_subtype_byref.adb b/gcc/testsuite/gnat.dg/test_nested_subtype_byref.adb new file mode 100644 index 00000000000..282aefd1a29 --- /dev/null +++ b/gcc/testsuite/gnat.dg/test_nested_subtype_byref.adb @@ -0,0 +1,8 @@ +-- { dg-do run } +-- { dg-options "-O2" } + +with Nested_Subtype_Byref; +procedure Test_Nested_Subtype_Byref is +begin + Nested_Subtype_Byref.Check; +end; |