https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105585
--- Comment #2 from Ed Catmur <ed at catmur dot uk> --- Affected code: https://github.com/abseil/abseil-cpp/issues/1175 The proposed patch to abseil-cpp corresponds to adding an assumption that `b` is true above.
