------- Comment #21 from rguenth at gcc dot gnu dot org 2008-11-20 17:15 ------- The problem with our restrict handling seems to be "deeper". We fail to set the based-on-restrict property properly.
abase_n{4}_13 = abase{-2}_12(D) + D.1614_11;
so here abase_n and abase are not properly connected... unfortunately that
seems to be a very deep rooted problem (and obviously our restrict handling
is broken anyway ...)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37742
