El código que invoca un comportamiento indefinido (en este ejemplo, división por cero) nunca se ejecutará, ¿el programa sigue siendo un comportamiento indefinido?

int main(void)
{
    int i;
    if(0)
    {
        i = 1/0;
    }
    return 0;
}

Creo que aún es un comportamiento indefinido, pero no puedo encontrar ninguna evidencia en el estándar para apoyarme o negarme.

Entonces, ¿alguna idea?