From 91c210e9f6e4fb73b6ddc647a49599a750b1d45d Mon Sep 17 00:00:00 2001 From: markeggleston Date: Thu, 17 Oct 2019 10:39:49 +0000 Subject: [PATCH] Additional test cases for using automatic variables in equivalence statements. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@277097 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/ChangeLog | 8 ++++++++ gcc/testsuite/gfortran.dg/auto_in_equiv_3.f90 | 19 +++++++++++++++++++ gcc/testsuite/gfortran.dg/auto_in_equiv_4.f90 | 18 ++++++++++++++++++ gcc/testsuite/gfortran.dg/auto_in_equiv_5.f90 | 18 ++++++++++++++++++ gcc/testsuite/gfortran.dg/auto_in_equiv_6.f90 | 18 ++++++++++++++++++ gcc/testsuite/gfortran.dg/auto_in_equiv_7.f90 | 19 +++++++++++++++++++ 6 files changed, 100 insertions(+) create mode 100644 gcc/testsuite/gfortran.dg/auto_in_equiv_3.f90 create mode 100644 gcc/testsuite/gfortran.dg/auto_in_equiv_4.f90 create mode 100644 gcc/testsuite/gfortran.dg/auto_in_equiv_5.f90 create mode 100644 gcc/testsuite/gfortran.dg/auto_in_equiv_6.f90 create mode 100644 gcc/testsuite/gfortran.dg/auto_in_equiv_7.f90 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 65e80d5abb27..401149a16bd0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2019-10-17 Mark Eggleston + + * gfortran.dg/auto_in_equiv_3.f90: New test. + * gfortran.dg/auto_in_equiv_4.f90: New test. + * gfortran.dg/auto_in_equiv_5.f90: New test. + * gfortran.dg/auto_in_equiv_6.f90: New test. + * gfortran.dg/auto_in_equiv_7.f90: New test. + 2019-10-17 Georg-Johann Lay * gcc.target/avr/progmem-error-1.cpp: Fix location of the diff --git a/gcc/testsuite/gfortran.dg/auto_in_equiv_3.f90 b/gcc/testsuite/gfortran.dg/auto_in_equiv_3.f90 new file mode 100644 index 000000000000..35f6e0fa27d9 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/auto_in_equiv_3.f90 @@ -0,0 +1,19 @@ +! { dg-do compile } +! { dg-options "-fdec-static -fdump-tree-original" } +! + +subroutine foo + integer, automatic :: a + integer :: b + equivalence (a, b) + a = 5 + if (b.ne.5) stop 1 +end subroutine + +! { dg-final { scan-tree-dump "union" "original" } } +! { dg-final { scan-tree-dump-not "static union" "original" } } +! { dg-final { scan-tree-dump "integer\\(kind=4\\) a" "original" } } +! { dg-final { scan-tree-dump-not "static integer\\(kind=4\\) a" "original" } } +! { dg-final { scan-tree-dump "integer\\(kind=4\\) b" "original" } } +! { dg-final { scan-tree-dump-not "static integer\\(kind=4\\) b" "original" } } + diff --git a/gcc/testsuite/gfortran.dg/auto_in_equiv_4.f90 b/gcc/testsuite/gfortran.dg/auto_in_equiv_4.f90 new file mode 100644 index 000000000000..3188f19f2cf4 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/auto_in_equiv_4.f90 @@ -0,0 +1,18 @@ +! { dg-do compile } +! { dg-options "-fdec-static -fno-automatic -fdump-tree-original" } +! +! Neither of the local variable have the automatic attribute so they +! not be allocated on the stack. + +subroutine foo + integer :: a + integer :: b + equivalence (a, b) + a = 5 + if (b.ne.5) stop 1 +end subroutine + +! { dg-final { scan-tree-dump "static union" "original" } } +! { dg-final { scan-tree-dump "static integer\\(kind=4\\) a" "original" } } +! { dg-final { scan-tree-dump "static integer\\(kind=4\\) b" "original" } } + diff --git a/gcc/testsuite/gfortran.dg/auto_in_equiv_5.f90 b/gcc/testsuite/gfortran.dg/auto_in_equiv_5.f90 new file mode 100644 index 000000000000..d1e08a6600eb --- /dev/null +++ b/gcc/testsuite/gfortran.dg/auto_in_equiv_5.f90 @@ -0,0 +1,18 @@ +! { dg-do compile } +! { dg-options "-fdump-tree-original" } +! +! Neither of the local variable have the automatic attribute so they +! not be allocated on the stack. + +subroutine foo + integer, save :: a + integer :: b + equivalence (a, b) + a = 5 + if (b.ne.5) stop 1 +end subroutine + +! { dg-final { scan-tree-dump "static union" "original" } } +! { dg-final { scan-tree-dump "static integer\\(kind=4\\) a" "original" } } +! { dg-final { scan-tree-dump "static integer\\(kind=4\\) b" "original" } } + diff --git a/gcc/testsuite/gfortran.dg/auto_in_equiv_6.f90 b/gcc/testsuite/gfortran.dg/auto_in_equiv_6.f90 new file mode 100644 index 000000000000..f4135218d410 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/auto_in_equiv_6.f90 @@ -0,0 +1,18 @@ +! { dg-do compile } +! { dg-options "-fdec-static -fdump-tree-original" } +! +! Neither of the local variable have the automatic attribute so they +! not be allocated on the stack. + +subroutine foo + integer, static :: a + integer :: b + equivalence (a, b) + a = 5 + if (b.ne.5) stop 1 +end subroutine + +! { dg-final { scan-tree-dump "static union" "original" } } +! { dg-final { scan-tree-dump "static integer\\(kind=4\\) a" "original" } } +! { dg-final { scan-tree-dump "static integer\\(kind=4\\) b" "original" } } + diff --git a/gcc/testsuite/gfortran.dg/auto_in_equiv_7.f90 b/gcc/testsuite/gfortran.dg/auto_in_equiv_7.f90 new file mode 100644 index 000000000000..fd7e67213831 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/auto_in_equiv_7.f90 @@ -0,0 +1,19 @@ +! { dg-do compile } +! { dg-options "-fdec-static -fdump-tree-original" } +! + +subroutine foo + integer :: a + integer, automatic :: b + equivalence (a, b) + a = 5 + if (b.ne.5) stop 1 +end subroutine + +! { dg-final { scan-tree-dump "union" "original" } } +! { dg-final { scan-tree-dump-not "static union" "original" } } +! { dg-final { scan-tree-dump "integer\\(kind=4\\) a" "original" } } +! { dg-final { scan-tree-dump-not "static integer\\(kind=4\\) a" "original" } } +! { dg-final { scan-tree-dump "integer\\(kind=4\\) b" "original" } } +! { dg-final { scan-tree-dump-not "static integer\\(kind=4\\) b" "original" } } + -- 2.39.2