https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95053
--- Comment #26 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- (In reply to wschmidt from comment #24) > I'm afraid I disagree. A divide-by-zero that cannot ever be executed is > not an error. Well, there is PR90302. We could insert some piece of code into the IL. A warning or an error could then be issued if the piece of code is still present after the final optimization. It would make a nice project, and remove a few more false positives as well.
