https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61372
--- Comment #12 from R. Diez <rdiez-2006 at rd10 dot de> --- I do not agree with the detailed exception specifications. Java tried and such code is hard to maintain. I think all code should generally be able to cope with any exceptions: either handle them, pass them up the call stack, or perhaps both depending on the exception type. But that opinion is not actually relevant in this case: I still agree that, if a routine states that it will not throw at all, and it could, a warning should be issued.
