https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118483
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 60162 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60162&action=edit patch for adding :S This adds :S and removes the single_use from the offending pattern. We don't seem to simplify the b != 0 == b == 0 compare though.
