How about they punish sites that show any popups even when you ' ve chosen to disable them ? <| sep |> Not at all surprised to see this . <| sep |> I totally approve of that way but high school boys don ' t know how to approach girls let alone tell them directly that they ' re interested in us . <| sep |> I would guess that it ' s not very fertile ground , in the sense that in most real world cases the compiler will not be able to infer enough information to make any meaningful transformations . Since exception specifications are useless , there ' s really no way for a compiler to look at an expression and deduce what it can and can ' t throw , so it has to assume it can throw anything . Yes , it ' s trivial in your example , but that ' s the problem with trivial examples . If the expression is a call to a function marked noexcept then it can assume no exception will be thrown , but that doesn ' t really buy anything because compilers on all modern platforms use zerooverhead exceptions tablebased unwinding anyway , which means that doing nothing costs nothing , i . e . there ' s no frame setup overhead that could be removed if the compiler is convinced it won ' t be needed .