A maioria das pessoas está familiarizada com as notas de comportamento "indefinidas" e "não especificadas" em C ++, mas e quanto a "nenhum diagnóstico necessário"?

Eu notoesta pergunta e resposta, lidando com programas mal formados, mas não há muitos detalhes sobre a raiz de instruções "sem necessidade de diagnóstico".

Qual é a abordagem geral aplicada pelo comitê ao classificar algo como "não é necessário diagnóstico"?

Quão ruim deve ser o erro para o comitê de padrões especificá-lo como tal?Esses erros são de tal natureza que seria quase impossível detectar e, portanto, diagnosticar?

Exemplos de comportamento "indefinido" e "não especificado" não são escassos; Com exceção do ODR, que exemplos práticos existem para os erros do tipo "não é necessário diagnóstico"?