Qual é o objetivo do retorno normal?
[dcl.attr.noreturn] fornece o seguinte exemplo: [[ noreturn ]] void f() { throw "error"; // OK } mas eu não entendo qual é o objetivo [[noreturn]], porque o tipo de retorno da função já é void. Então, qual é o objetivo do noreturnatributo? Como é que deve ser