diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2008-04-14 11:34:05 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2008-04-14 11:34:05 +0000 |
| commit | e965b4534fb33510b35640bcc36873d398817374 (patch) | |
| tree | ca58a02dbbc14cf1a1822945971749c0fbc79044 /gcc/testsuite/gnat.dg | |
| parent | 57f80aa9ebf57599bc10ebba751001559eb29437 (diff) | |
| download | gcc-e965b4534fb33510b35640bcc36873d398817374.zip gcc-e965b4534fb33510b35640bcc36873d398817374.tar.gz gcc-e965b4534fb33510b35640bcc36873d398817374.tar.bz2 | |
loop_address2.adb: New test.
* gnat.dg/loop_address2.adb: New test.
From-SVN: r134258
Diffstat (limited to 'gcc/testsuite/gnat.dg')
| -rw-r--r-- | gcc/testsuite/gnat.dg/loop_address2.adb | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/loop_address2.adb b/gcc/testsuite/gnat.dg/loop_address2.adb new file mode 100644 index 0000000..aa955d7 --- /dev/null +++ b/gcc/testsuite/gnat.dg/loop_address2.adb @@ -0,0 +1,26 @@ +-- { dg-do compile }
+-- { dg-options "-O" }
+
+with System, Ada.Unchecked_Conversion;
+with System.Storage_Elements; use System.Storage_Elements;
+
+procedure Loop_Address2 is
+
+ type Ptr is access all Integer;
+
+ function To_Ptr is new Ada.Unchecked_Conversion (System.Address, Ptr);
+
+ function F (BM : System.Address; I : Integer) return System.Address is
+ begin
+ return BM + Storage_Offset (4*I);
+ end;
+
+ B : Integer;
+ P : Ptr;
+
+begin
+ for I in 0 .. 2 loop
+ P := To_Ptr (F (B'Address, I));
+ P.all := 0;
+ end loop;
+end ;
|