re PR middle-end/71526 (ICE: verify_gimple failed)

2016-06-14  Richard Biener  <rguenther@suse.de>

	PR middle-end/71526
	* genmatch.c (expr::gen_transform): Use in_type for comparisons
	if available.

	* gfortran.dg/pr71526.f90: New testcase.

From-SVN: r237441

gcc/ChangeLog

+2016-06-14  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/71526
+	* genmatch.c (expr::gen_transform): Use in_type for comparisons
+	if available.
+
 2015-06-14  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
 
 	* config/aarch64/aarch64.c (aarch64_mask_and_shift_for_ubfiz_p):

gcc/genmatch.c

@@ -2288,8 +2288,14 @@ expr::gen_transform (FILE *f, int indent, const char *dest, bool gimple,
     {
       /* comparisons use boolean_type_node (or what gets in), but
          their operands need to figure out the types themselves.  */
-      sprintf (optype, "boolean_type_node");
-      type = optype;
+      if (in_type)
+	type = in_type;
+      else
+	{
+	  sprintf (optype, "boolean_type_node");
+	  type = optype;
+	}
+      in_type = NULL;
     }
   else if (*opr == COND_EXPR
 	   || *opr == VEC_COND_EXPR)

gcc/testsuite/ChangeLog

+2016-06-14  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/71526
+	* gfortran.dg/pr71526.f90: New testcase.
+
 2016-06-14  Andre Vieira  <andre.simoesdiasvieira@arm.com>
 
 	* gcc.dg/zero_bits_compound-1.c: Support aarch64.

gcc/testsuite/gfortran.dg/pr71526.f90

+! { dg-do link }
+! { dg-require-effective-target lto }
+! { dg-options "-O2 -flto" }
+
+MODULE util
+  INTERFACE sort
+     MODULE PROCEDURE sort_cv
+  END INTERFACE
+CONTAINS
+  SUBROUTINE sort_cv ( arr, n, index )
+    CHARACTER(LEN=*), INTENT(INOUT)          :: arr(1:n)
+    INTEGER, INTENT(OUT)                     :: INDEX(1:n)
+    INTEGER, ALLOCATABLE, DIMENSION(:, :)    :: entries
+    ALLOCATE(entries(max_length,SIZE(arr)))
+  END SUBROUTINE sort_cv
+END MODULE util
+USE util
+INTEGER, ALLOCATABLE :: ind(:)
+character(len=3), ALLOCATABLE :: d(:)
+CALL sort(d,N,ind)
+END