https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96449
--- Comment #3 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Jonathan Wakely from comment #1) > As the comment says, the branches might be different in future It is not clear to me that the comment says that. Suggest new comment text: // Intentional duplicate branches. They may change in the future.