diff options
author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-06-03 18:14:58 +0000 |
---|---|---|
committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-06-03 18:14:58 +0000 |
commit | f3d004ff4c6cc1dda1a8b808569f514bbbcf7212 (patch) | |
tree | 2bce0b2cc2e141e53f8e7b615c8e98314f1560ea | |
parent | 15c4d81d34753771380e9afc30d54ed3c3f5081d (diff) | |
download | gcc-f3d004ff4c6cc1dda1a8b808569f514bbbcf7212.tar.gz |
* 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
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/aliasing1.adb | 22 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/aliasing1.ads | 13 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/aliasing2.adb | 22 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/aliasing2.ads | 10 |
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; |