diff options
Diffstat (limited to 'gcc/testsuite/gfortran.dg/stfunc_6.f90')
| -rw-r--r-- | gcc/testsuite/gfortran.dg/stfunc_6.f90 | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/stfunc_6.f90 b/gcc/testsuite/gfortran.dg/stfunc_6.f90 new file mode 100644 index 000000000..482d12592 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/stfunc_6.f90 @@ -0,0 +1,32 @@ +! { dg-do compile } +! { dg-options "-std=legacy" } +! +! Tests the fix for the second bit of PR29389, in which the +! statement function would not be recognised as not PURE +! when it referenced a procedure that is not PURE. +! +! This is based on stfunc_4.f90 with the statement function made +! impure by a reference to 'v'. +! +! Contributed by Francois-Xavier Coudert <fxcoudert@gcc.gnu.org> + + INTEGER :: st1, i = 99, a(4), q = 6 + st1 (i) = i * i * i + st3 (i) = i * v(i) + FORALL(i=1:4) a(i) = st1 (i) + FORALL(i=1:4) a(i) = u (a(i)) - a(i)** 2 + if (any (a .ne. 0)) call abort () + if (i .ne. 99) call abort () + FORALL (i=1:4) a(i) = st3 (i) ! { dg-error "non-PURE function" "non-PURE reference in FORALL" { xfail *-*-*} } + FORALL (i=1:4) a(i) = v(i) ! { dg-error "non-PURE function" } +contains + pure integer function u (x) + integer,intent(in) :: x + st2 (i) = i * v(i) ! { dg-error "non-PURE procedure" } + u = st2(x) + end function + integer function v (x) + integer,intent(in) :: x + v = i + end function +end |