Hello! It is my understanding that if a C++ function is declared as 'noexcept' or is a destructor then compiler is required to add some code which will catch any exceptions thrown by it unless the compiler can prove that no exceptions will in fact be thrown.
If my understanding is correct, how hard would it be to emit a warning if the noexceptness can't be proven? Then there is of course the big question - would such a warning be helpful for anyone or would it just add doubt and uncertainity? /MF
