Re: [PATCH] Fix PR45586

[Dominique Dhumieres]

> This fixes the gimple verification ICEs in the Fortran testsuite.
> ...

This patch causes 6300+ regressions (-m32/-m64 all languages but go).
However the following change

--- ../_clean/gcc/lto/lto.c     2014-01-04 15:51:44.000000000 +0100
+++ gcc/lto/lto.c       2014-01-08 08:26:09.000000000 +0100
@@ -310,7 +310,7 @@ hash_canonical_type (tree type)
     {
       v = iterative_hash_hashval_t (TYPE_REF_CAN_ALIAS_ALL (type), v);
       v = iterative_hash_hashval_t (TYPE_ADDR_SPACE (TREE_TYPE (type)), v);
-      v = iterative_hash_hashval_t (TYPE_RESTRICT (type), v);
+      /* v = iterative_hash_hashval_t (TYPE_RESTRICT (type), v); */
       v = iterative_hash_hashval_t (TREE_CODE (TREE_TYPE (type)), v);
     }
 
@@ -495,8 +495,8 @@ gimple_canonical_types_compatible_p (tre
              != TYPE_ADDR_SPACE (TREE_TYPE (t2)))
            return false;
 
-         if (TYPE_RESTRICT (t1) != TYPE_RESTRICT (t2))
-           return false;
+         /* if (TYPE_RESTRICT (t1) != TYPE_RESTRICT (t2))
+           return false; */
 
          if (TREE_CODE (TREE_TYPE (t1)) != TREE_CODE (TREE_TYPE (t2)))
            return false;

fixes PR45586 without regression. Further testing is blocked by
PR59723.

Dominique