New gfortran bug test case

Author: nncarlson

gfortran-bugs/CMakeLists.txt

@@ -5,6 +5,7 @@ include(testing)
 
 project(gfortran-bug Fortran)
 
+add_compiler_test(SOURCES gfortran-20200501.f90 COMPILE_ONLY LABELS PR94909)
 add_compiler_test(SOURCES gfortran-20200402-file1.f90 gfortran-20200402-file2.f90
     LINK_ONLY LABELS PR94463)
 add_compiler_test(SOURCES gfortran-20190202.f90 RUN_ONLY LABELS PR89174)

gfortran-bugs/gfortran-20200501.f90

@@ -0,0 +1,33 @@
+!! https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94909
+!!
+!! REJECTS VALID CODE
+!!
+!! There is no recursion here.
+!!
+!! $ gfortran --version
+!! GNU Fortran (GCC) 9.3.0
+!! 
+!! $ gfortran -c gfortran-20200501.f90 
+!! gfortran-20200501.f90:13:10:
+!! 
+!!    13 |     dot = a%dot_(b)
+!!       |          1
+!! Error: Function 'dot' at (1) cannot be called recursively, as it is not RECURSIVE
+!!
+
+module example
+
+  type, abstract :: foo
+  contains
+    procedure :: dot
+    procedure(dot), deferred :: dot_
+  end type
+
+contains
+
+  function dot(a, b)
+    class(foo) :: a, b
+    dot = a%dot_(b)
+  end function
+
+end module