Re: [PATCH] Fix PR45586

2014-01-09 Thread 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.0 +0100 +++ gcc/lto/lto.c 2014-01-08 08:26:09.0

Re: [PATCH] Fix PR45586

2014-01-09 Thread Richard Biener
On Thu, 9 Jan 2014, Dominique Dhumieres wrote: 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.0 +0100 +++

Re: [PATCH] Fix PR45586

2014-01-09 Thread Richard Biener
On Thu, 9 Jan 2014, Jakub Jelinek wrote: On Thu, Jan 09, 2014 at 12:48:49PM +0100, Richard Biener wrote: *** gimple_canonical_types_compatible_p (tre *** 458,465 return true; /* Can't be the same type if they have different alignment, or mode. */ ! if

Re: [PATCH] Fix PR45586

2014-01-09 Thread Jakub Jelinek
On Thu, Jan 09, 2014 at 12:48:49PM +0100, Richard Biener wrote: *** gimple_canonical_types_compatible_p (tre *** 458,465 return true; /* Can't be the same type if they have different alignment, or mode. */ ! if (TYPE_ALIGN (t1) != TYPE_ALIGN (t2) ! ||

[PATCH] Fix PR45586

2014-01-07 Thread Richard Biener
This fixes the gimple verification ICEs in the Fortran testsuite. We can easily make more types equivalent for alias-set computation. This reduces the amout of differences we introduce for pointers (following get_alias_set and useless_type_conversion_p). Queued for testing. Richard. 2014-01-07