https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90811
--- Comment #3 from Alexander Monakov <amonakov at gcc dot gnu.org> --- Thanks. The change in the attached patch looks good to me, but I must admit I don't see how the testcase triggers the problem. Basically, it's not obvious how the controlling if condition becomes true: > if (!CONST_INT_P (size) || UINTVAL (align) > GET_MODE_SIZE (DImode)) (I don't expect that loop body to have variable-sized or over-aligned objects)
