[Bug middle-end/37742] [4.4 Regression] ICE in vectorizer with restrict pointer

[rguenther at suse dot de]

------- Comment #19 from rguenther at suse dot de  2008-11-19 17:43 -------
Subject: Re:  [4.4 Regression] ICE in vectorizer with
 restrict pointer

On Tue, 18 Nov 2008, jakub at gcc dot gnu dot org wrote:

> ------- Comment #18 from jakub at gcc dot gnu dot org  2008-11-18 20:13 -------
> Created an attachment (id=16719)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16719&action=view)
>  --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16719&action=view)
> incremental patch
> 
> This fixed matmul_i2.c, DR_BASE_ADDRESS wasn't in this case TYPE_RESTRICT, nor
> SSA_NAME, but POINTER_PLUS_EXPR, yet in the end was based on a restrict
> pointer.
> Unfortunately other matmul*.c stuff in libgfortran is still broken.  I'm
> wondering if the strict alias checking introduced in r140781 isn't too eager
> when restricted pointers are used...

It can/should be relaxed to do an alias_sets_conflict_p check instead of
the subset check.  No idea if that helps - but also the patch at
http://gcc.gnu.org/ml/gcc-patches/2008-11/msg00286.html should fix all
of the current issues (maybe not optimally though).

Note that I added the alias checks to catch wrong-code issues.

Richard.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37742