Según el estándar C ++, es obligatorio que cada implementación documente el "comportamiento definido por la implementación":

1.3.11[defns.impl.defined] comportamiento definido por la implementación

comportamiento, para una construcción de programa bien formada y datos correctos, que depende de la implementación y que cada implementación documenta

Y la lectura de un valor de puntero no válido tiene un comportamiento definido por la implementación (ver 4.1 Conversión de valor a valor)[conv.lval]):

si el objeto al que se refiere el valor gl contiene un valor de puntero no válido (3.7.4.2, 3.7.4.3), el comportamiento está definido por la implementación.

(Cita del borrador n4527, pero verborrea que "La indirección a través de un valor de puntero no válido y pasar un valor de puntero no válido a una función de desasignación tiene un comportamiento indefinido. Cualquier otro uso de un valor de puntero no válido tiene un comportamiento definido por la implementación". 4.2 Funciones de desasignación[basic.stc.dynamic.deallocation] desde al menos el borrador n3485)

Sin embargo, muchas implementaciones populares no definen este comportamiento, y muchos expertos lo describen como "comportamiento indefinido".

Una causa probable de omisión de documentación clara es que, por lo que puedo determinar, falta la evaluación de "valores de puntero no válidos" en el "Índice de comportamiento definido por la implementación" que aparece en los borradores estándar que siguen a los apéndices.

¿Es este un defecto en el Estándar, y hay informes de defectos abiertos o acciones de comité tomadas desde C ++ 14 al respecto?