La mayoría de las personas están familiarizadas con las notas de comportamiento "indefinidas" y "no especificadas" en C ++, pero ¿qué pasa con "no se requiere diagnóstico"?

Observoesta pregunta y respuesta, que trata con programas mal formados, pero no muchos detalles sobre la raíz de las declaraciones "no se requiere diagnóstico".

¿Cuál es el enfoque general aplicado por el comité al clasificar algo como "no se requiere diagnóstico"?

¿Qué tan grave debe ser el error para que el comité de normas lo especifique como tal?¿Son estos errores de tal naturaleza que sería casi imposible de detectar y, por lo tanto, diagnosticar?

Los ejemplos de comportamiento "indefinido" y "no especificado" no son escasos; Además de la ODR, ¿qué ejemplos prácticos existen para los errores de tipo "no se requiere diagnóstico"?