[PATCH] Fix PR79894

[PATCH] Fix PR79894

[Richard Biener]

The Fortran FE creates non-1:1 type compatible complex-expr / 
realpart-expr in this case and thus like other FEs it can't expect
fold to end up with 1:1 type compatible results.

Testing on x86_64-unknown-linux-gnu in progress.

Ok for trunk?

Thanks,
Richard.

2017-03-06  Richard Biener  <rguenther@suse.de>

	PR fortran/79894
	* trans.c (gfc_add_modify_loc): Weaken assert.

Index: gcc/fortran/trans.c
===================================================================
--- gcc/fortran/trans.c	(revision 245913)
+++ gcc/fortran/trans.c	(working copy)
@@ -151,11 +151,11 @@ gfc_add_modify_loc (location_t loc, stmt
   tree t1, t2;
   t1 = TREE_TYPE (rhs);
   t2 = TREE_TYPE (lhs);
-  /* Make sure that the types of the rhs and the lhs are the same
+  /* Make sure that the types of the rhs and the lhs are compatible
      for scalar assignments.  We should probably have something
      similar for aggregates, but right now removing that check just
      breaks everything.  */
-  gcc_checking_assert (t1 == t2
+  gcc_checking_assert (TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2)
 		       || AGGREGATE_TYPE_P (TREE_TYPE (lhs)));
 
   tmp = fold_build2_loc (loc, MODIFY_EXPR, void_type_node, lhs,

Re: [PATCH] Fix PR79894

[Thomas Koenig]

Am 06.03.2017 um 13:01 schrieb Richard Biener:
>
> The Fortran FE creates non-1:1 type compatible complex-expr /
> realpart-expr in this case and thus like other FEs it can't expect
> fold to end up with 1:1 type compatible results.
>
> Testing on x86_64-unknown-linux-gnu in progress.
>
> Ok for trunk?

Ok.

Thanks for the patch!

Regards

	Thomas