Код, который вызывает неопределенное поведение (в данном примере, деление на ноль), никогда не будет выполнен. Является ли программа все еще неопределенным поведением?

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

Я думаю, что это все еще неопределенное поведение, но я не могу найти никаких доказательств в стандарте, чтобы поддержать или опровергнуть меня.

Итак, есть идеи?