From f5cb6fbff57b753288f5dc8b891877c4d0c61b29 Mon Sep 17 00:00:00 2001
From: Eric Botcazou <ebotcazou@adacore.com>
Date: Tue, 3 Jun 2008 18:14:58 +0000
Subject: [PATCH] aliasing1.ad[sb]: New test.
* gnat.dg/aliasing1.ad[sb]: New test.
* gnat.dg/aliasing2.ad[sb]: Likewise.
From-SVN: r136331
---
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 1f319a0e1201..28609e1c3ea7 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 000000000000..5d928bbc0c0f
--- /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 000000000000..9ebfd6206b44
--- /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 000000000000..abfc6e11a3ff
--- /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 000000000000..7a7e411fa586
--- /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;
--
GitLab