https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80038
--- Comment #25 from Xi Ruoyao <ryxi at stu dot xidian.edu.cn> --- I confirmed that r227423 broke NumericMonoid.
ryxi at stu dot xidian.edu.cn Fri, 17 Mar 2017 03:28:19 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80038
--- Comment #25 from Xi Ruoyao <ryxi at stu dot xidian.edu.cn> --- I confirmed that r227423 broke NumericMonoid.