------- 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