Il ne spécifie même pas une classe de comportements possibles, le compilateur a le droit de remplacer tout undefined behavior par system("format c: /u"); et il sera toujours conforme.