re PR fortran/50960 ([OOP] vtables not marked as constant)

2011-11-09  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/50960
	* gfortran.dg/typebound_call_22.f03: New test case.

From-SVN: r181208

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a0eeb32136a7153c1249318706006f52051c4ac3..83ef1714d201d30341daede5878b56aab1a72979 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-11-09  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50960
+       * gfortran.dg/typebound_call_22.f03: New test case.
+
 2011-11-09  Janne Blomqvist  <jb@gcc.gnu.org>
 
         PR libfortran/50016

diff --git a/gcc/testsuite/gfortran.dg/typebound_call_22.f03 b/gcc/testsuite/gfortran.dg/typebound_call_22.f03
new file mode 100644 (file)
index 0000000..b5aa8ee
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/typebound_call_22.f03
@@ -0,0 +1,32 @@
+! { dg-do compile }
+! { dg-options "-fdump-tree-optimized -O" }
+!
+! PR 50960: [OOP] vtables not marked as constant
+!
+! This test case checks whether the type-bound call to "x%bar"
+! is optimized into a static call to "base".
+!
+! Contributed by Tobias Burnus <burnus@gcc.gnu.org>
+
+module m
+  type t
+  contains
+    procedure, nopass :: bar => base
+  end type
+contains
+  subroutine base()
+    write(*,*) 'base'
+  end subroutine
+end module
+
+program test
+  use m
+  class(t), allocatable :: x
+  allocate (t :: x)
+  call x%bar ()
+end program
+
+! { dg-final { scan-tree-dump-times "base \\(\\);" 1 "optimized" } }
+! { dg-final { cleanup-tree-dump "optimized" } }
+
+! { dg-final { cleanup-modules "m" } }