Can code that will never be executed invoke undefined behavior?

Question

The code that invokes undefined behavior (in this example, division by zero) will never get executed, is the program still undefined behavior?

int main(void)         


        

Answer 1

I think it still is undefined behavior, but I can't find any evidence in the standard to support or deny me.

I think the program does not invoke undefined behavior.

Defect Report #109 addresses a similar question and says:

Furthermore, if every possible execution of a given program would result in undefined behavior, the given program is not strictly conforming. A conforming implementation must not fail to translate a strictly conforming program simply because some possible execution of that program would result in undefined behavior. Because foo might never be called, the example given must be successfully translated by a conforming implementation.