------- Comment #2 from dberlin at gcc dot gnu dot org 2007-06-10 22:41 ------- Complete guess:
alias.c relies not on TYPE_RESTRICT, but on DECL_BASED_ON_RESTRICT_P I never noticed we even had such a thing :) My guess is that loop unrolling makes new ssa names, and when they get transformed during un-ssa, this flag no longer exists on them. Realistically, may-alias should propagate the DECL_* stuff to SSA_NAME_PTR_INFO, which loop unrolling copies. When they get un-ssa'd, we should then copy the restrict info from the ssa name back to the base variable we create. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32273
