summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg/present_1.f90
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gfortran.dg/present_1.f90')
-rw-r--r--gcc/testsuite/gfortran.dg/present_1.f9020
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/present_1.f90 b/gcc/testsuite/gfortran.dg/present_1.f90
new file mode 100644
index 000000000..6dee264fd
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/present_1.f90
@@ -0,0 +1,20 @@
+! { dg-do compile }
+! Test the fix for PR25097, in which subobjects of the optional dummy argument
+! could appear as argument A of the PRESENT intrinsic.
+!
+! Contributed by Joost VandeVondele <jv244@cam.ac.uk>
+!
+ MODULE M1
+ TYPE T1
+ INTEGER :: I
+ END TYPE T1
+ CONTAINS
+ SUBROUTINE S1(D1)
+ TYPE(T1), OPTIONAL :: D1(4)
+ write(6,*) PRESENT(D1%I) ! { dg-error "must not be a subobject" }
+ write(6,*) PRESENT(D1(1)) ! { dg-error "must not be a subobject" }
+ write(6,*) PRESENT(D1)
+ END SUBROUTINE S1
+ END MODULE
+ END
+! { dg-final { cleanup-modules "M1" } }