http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50183
--- Comment #3 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2011-08-25 13:39:54 UTC --- Thanks. -floop-interchange is required to cause the problem, and graphite_transforms was in the stack at the time of the verify failure. I believe there was an explicit call to verify_ssa in there somewhere rather than a TODO. I took a priority interrupt at that point and haven't had time yet to dig deeper.
