https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103356 --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note for: bool f(bool a, bool b) { b = !b; return a!=b; } We do the correct thing since r13-1779-g375668e0508fbe.