Pourquoi une fonction constante permet-elle un comportement indéfini?

Il existe une propriété très soignée d'expressions constantes en C ++: leur évaluation ne peut pas avoir un comportement indéfini ( 7.7.4.7 ): Une expression e est une expression constante de base à moins que l'évaluation de e, suivant les règles de la machine abstraite ([intro.execution]),...