https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99520
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Not sure it is worth bothering except making sure we don't miscompile valid weird code. BTW, for testing, one can also mix the |s and +s in the expressions randomly to get the result.