Czy kod, który nigdy nie zostanie wykonany, wywoła niezdefiniowane zachowanie?
Kod, który wywołuje niezdefiniowane zachowanie (w tym przykładzie dzielenie przez zero) nigdy nie zostanie wykonany, czy program nadal jest niezdefiniowany?
int main(void)
{
int i;
if(0)
{
i = 1/0;
}
return 0;
}
Myślę, że nadal jest to niezdefiniowane zachowanie, ale nie mogę znaleźć żadnych dowodów w standardzie, aby mnie wspierać lub zaprzeczać.
Jakieś pomysły?