From f3d004ff4c6cc1dda1a8b808569f514bbbcf7212 Mon Sep 17 00:00:00 2001
From: ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 3 Jun 2008 18:14:58 +0000
Subject: [PATCH] 	* gnat.dg/aliasing1.ad[sb]: New test. 	*
 gnat.dg/aliasing2.ad[sb]: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136331 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/testsuite/ChangeLog             |  5 +++++
 gcc/testsuite/gnat.dg/aliasing1.adb | 22 ++++++++++++++++++++++
 gcc/testsuite/gnat.dg/aliasing1.ads | 13 +++++++++++++
 gcc/testsuite/gnat.dg/aliasing2.adb | 22 ++++++++++++++++++++++
 gcc/testsuite/gnat.dg/aliasing2.ads | 10 ++++++++++
 5 files changed, 72 insertions(+)
 create mode 100644 gcc/testsuite/gnat.dg/aliasing1.adb
 create mode 100644 gcc/testsuite/gnat.dg/aliasing1.ads
 create mode 100644 gcc/testsuite/gnat.dg/aliasing2.adb
 create mode 100644 gcc/testsuite/gnat.dg/aliasing2.ads

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1f319a0..28609e1 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 0000000..5d928bb
--- /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 0000000..9ebfd62
--- /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 0000000..abfc6e1
--- /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 0000000..7a7e411
--- /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;
-- 
2.7.4