https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126486
--- Comment #5 from Hongtao Liu <liuhongt at gcc dot gnu.org> --- The canonicalization in r15-6657 fold signed integer operation into unsigned, overflow for signed integer is UD, and can be simplied in tree-affine, but the later one can't, add -fwrapv can also reproduce the issue without r15-6657.
