https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80038
--- Comment #27 from Xi Ruoyao <ryxi at stu dot xidian.edu.cn> --- Created attachment 41027 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41027&action=edit patch proposal Now I've prepared a patch. It reverted r227423 (but preserved its testcase) and used a more conforming way to resolve pr60586. It seems this patch fixed Florent's testcase, and NumericMonoid code as well. I'll run a complete dejaGNU regression test. If it's OK I'll submit the patch.