https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80198
--- Comment #17 from Jeffrey A. Law <law at redhat dot com> --- I've got something limping along. It seems to allow us to capture the redundancy when a == b. I'm poking at it some more to see how often it applies across a wider codebase.
