------- Comment #16 from irar at il dot ibm dot com 2008-09-22 10:33 ------- (In reply to comment #15) > This is because the original access is through a restricted pointer, so the > check is conservatively correct at this point. We can move it to the > point where the vector pointer is created
But this way we move the check to the transformation and we don't have a mechanism to stop in the middle of transformation. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37491
