https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71407
--- Comment #5 from alahay01 at gcc dot gnu.org --- Qirun Zhang : That's a different issue (original test fails due to data type mismatch, this test fails because the loop boundary is unset). Please could you raise your test as a new bug and assign it to me (I think I have a fix for it).