From: Janus Weil <janus@gcc.gnu.org>
Date: Tue, 2 Oct 2012 21:02:16 +0000 (+0200)
Subject: re PR fortran/54778 ([OOP] an ICE on invalid OO code)
X-Git-Tag: misc/gccgo-go1_1_2~459
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0a59e5832e6febfd497966c0b0edfe948f34ff7a;p=thirdparty%2Fgcc.git

re PR fortran/54778 ([OOP] an ICE on invalid OO code)

2012-10-02  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/54778
	* interface.c (matching_typebound_op): Check for 'class_ok' attribute.

2012-10-02  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/54778
	* gfortran.dg/class_53.f90: New.

From-SVN: r192005
---

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index e1cb45affb1e..b6d44cd0d202 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2012-10-02  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/54778
+	* interface.c (matching_typebound_op): Check for 'class_ok' attribute.
+
 2012-09-30  Janus Weil  <janus@gcc.gnu.org>
 
 	PR fortran/54667
diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c
index 88689aa47d61..6bcd607adc36 100644
--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -3386,7 +3386,8 @@ matching_typebound_op (gfc_expr** tb_base,
 
 	if (base->expr->ts.type == BT_CLASS)
 	  {
-	    if (CLASS_DATA (base->expr) == NULL)
+	    if (CLASS_DATA (base->expr) == NULL
+		|| !gfc_expr_attr (base->expr).class_ok)
 	      continue;
 	    derived = CLASS_DATA (base->expr)->ts.u.derived;
 	  }
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1d2cac58a8c7..2120cb4d965d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-10-02  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/54778
+	* gfortran.dg/class_53.f90: New.
+
 2012-10-02  Alexandre Oliva <aoliva@redhat.com>
 
 	PR debug/54551
diff --git a/gcc/testsuite/gfortran.dg/class_53.f90 b/gcc/testsuite/gfortran.dg/class_53.f90
new file mode 100644
index 000000000000..0a8c96208084
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/class_53.f90
@@ -0,0 +1,18 @@
+! { dg-do compile }
+!
+! PR 54778: [OOP] an ICE on invalid OO code
+!
+! Contributed by Sylwester Arabas <slayoo@staszic.waw.pl>
+
+implicit none
+
+type :: arr_t
+  real :: at
+end type
+
+type(arr_t) :: this
+class(arr_t) :: elem   ! { dg-error "must be dummy, allocatable or pointer" }
+
+elem = this   ! { dg-error "Variable must not be polymorphic in intrinsic assignment" }
+
+end