https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114588
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed. I should note that Red/Green is the opposite meaning in some places than western cultures. That is Red is good and Green is bad. Most of China is where that is true. See https://graphicdesign.stackexchange.com/questions/6982/except-china-which-country-will-use-red-for-up-and-green-for-down also.