OSDN Git Service

2011-11-09 Janus Weil <janus@gcc.gnu.org>
authorjanus <janus@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 9 Nov 2011 15:56:53 +0000 (15:56 +0000)
committerjanus <janus@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 9 Nov 2011 15:56:53 +0000 (15:56 +0000)
PR fortran/50960
* gfortran.dg/typebound_call_22.f03: New test case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181208 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/ChangeLog
gcc/testsuite/gfortran.dg/typebound_call_22.f03 [new file with mode: 0644]

index a0eeb32..83ef171 100644 (file)
@@ -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
@@ -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" } }