5 files changed, 72 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1f319a0e120..28609e1c3ea 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/aliasing1.ad[sb]: New test.
+	* gnat.dg/aliasing2.ad[sb]: Likewise.
+
 2008-06-02  Andy Hutchinson  <hutchinsonandy@aim.com>
 
 	* gcc.target/avr/avr.exp: Add avr testsuite.
diff --git a/gcc/testsuite/gnat.dg/aliasing1.adb b/gcc/testsuite/gnat.dg/aliasing1.adb
new file mode 100644
index 00000000000..5d928bbc0c0
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aliasing1.adb
@@ -0,0 +1,22 @@
+-- { dg-do compile }
+-- { dg-options "-O2 -gnatp -fdump-tree-final_cleanup" }
+
+-- The raise statement must be optimized away by
+-- virtue of DECL_NONADDRESSABLE_P set on R.I.
+
+package body Aliasing1 is
+
+  function F (P : Ptr) return Integer is
+  begin
+    R.I := 0;
+    P.all := 1;
+    if R.I /= 0 then
+      raise Program_Error;
+    end if;
+    return 0;
+  end;
+
+end Aliasing1;
+
+-- { dg-final { scan-tree-dump-not "__gnat_rcheck" "final_cleanup" } }
+-- { dg-final { cleanup-tree-dump "final_cleanup" } }
diff --git a/gcc/testsuite/gnat.dg/aliasing1.ads b/gcc/testsuite/gnat.dg/aliasing1.ads
new file mode 100644
index 00000000000..9ebfd6206b4
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aliasing1.ads
@@ -0,0 +1,13 @@
+package Aliasing1 is
+
+  type Rec is record
+    I : Integer;
+  end record;
+
+  type Ptr is access all Integer;
+
+  R : Rec;
+
+  function F (P : Ptr) return Integer;
+
+end Aliasing1;
diff --git a/gcc/testsuite/gnat.dg/aliasing2.adb b/gcc/testsuite/gnat.dg/aliasing2.adb
new file mode 100644
index 00000000000..abfc6e11a3f
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aliasing2.adb
@@ -0,0 +1,22 @@
+-- { dg-do compile }
+-- { dg-options "-O2 -gnatp -fdump-tree-final_cleanup" }
+
+-- The raise statement must be optimized away by
+-- virtue of TYPE_NONALIASED_COMPONENT set on A.
+
+package body Aliasing2 is
+
+  function F (P : Ptr) return Integer is
+  begin
+    A (1) := 0;
+    P.all := 1;
+    if A(1) /= 0 then
+      raise Program_Error;
+    end if;
+    return 0;
+  end;
+
+end Aliasing2;
+
+-- { dg-final { scan-tree-dump-not "__gnat_rcheck" "final_cleanup" } }
+-- { dg-final { cleanup-tree-dump "final_cleanup" } }
diff --git a/gcc/testsuite/gnat.dg/aliasing2.ads b/gcc/testsuite/gnat.dg/aliasing2.ads
new file mode 100644
index 00000000000..7a7e411fa58
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aliasing2.ads
@@ -0,0 +1,10 @@
+package Aliasing2 is
+
+  type Arr is Array (1..4) of Integer;
+  type Ptr is access all Integer;
+
+  A : Arr;
+
+  function F (P : Ptr) return Integer;
+
+end Aliasing2;