From: Janus Weil <janus@gcc.gnu.org>
Date: Sat, 13 Apr 2013 10:52:31 +0000 (+0200)
Subject: re PR fortran/55959 ([OOP] ICE in in gfc_simplify_expr, at fortran/expr.c:1920)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9c9c61994c8bbf55135b41658581f6a9e2b96f60;p=gcc.git

re PR fortran/55959 ([OOP] ICE in in gfc_simplify_expr, at fortran/expr.c:1920)

2013-04-13  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/55959
	* expr.c (gfc_simplify_expr): Branch is not unreachable.


2013-04-13  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/55959
	* gfortran.dg/typebound_proc_29.f03: New.

From-SVN: r197943
---

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index ace16ad1bf2..8f88b0b0042 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-13  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/55959
+	* expr.c (gfc_simplify_expr): Branch is not unreachable.
+
 2013-04-12  Janus Weil  <janus@gcc.gnu.org>
 
 	PR fortran/56266
diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c
index 829b0870a3b..e4bcc794bd5 100644
--- a/gcc/fortran/expr.c
+++ b/gcc/fortran/expr.c
@@ -1916,7 +1916,6 @@ gfc_simplify_expr (gfc_expr *p, int type)
 
     case EXPR_COMPCALL:
     case EXPR_PPC:
-      gcc_unreachable ();
       break;
     }
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c99fee87998..28b9b62bd2e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-13  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/55959
+	* gfortran.dg/typebound_proc_29.f03: New.
+
 2013-04-12  Janus Weil  <janus@gcc.gnu.org>
 
 	PR fortran/56266
diff --git a/gcc/testsuite/gfortran.dg/typebound_proc_29.f90 b/gcc/testsuite/gfortran.dg/typebound_proc_29.f90
new file mode 100644
index 00000000000..2650d149368
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/typebound_proc_29.f90
@@ -0,0 +1,26 @@
+! { dg-do compile }
+!
+! PR 55959: [OOP] ICE in in gfc_simplify_expr, at fortran/expr.c:1920
+!
+! Contributed by Tilo Schwarz <tilo@tilo-schwarz.de>
+
+module pdfs
+  type :: pdf
+  contains
+    procedure, nopass :: getx
+  end type
+
+contains
+
+  real function getx()
+  end function
+
+end module
+
+program abstract
+  use pdfs
+  type(pdf) pp
+  print pp%getx()  ! { dg-error "must be of type default-kind CHARACTER or of INTEGER" }
+end program
+
+! { dg-final { cleanup-modules "pdfs" } }