https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46476
--- Comment #7 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- Richard, perhaps a less aggressive -Wunreachable-code could be implemented just after (or while) building the control flow graph? It would not try to be smart with constant propagation or guessing branches taken or not taken, just warn for code that immediately follows return, break, continue, goto or throw. See PR69857. Clang does have -Wunreachable-code.
