MJD points out, in an article about undefined behavior, that the C standard is full of if the program contains x, the behavior is undefined.

I think that the behavior is undefined is a phrase well known in the computer language world, and as such, I don't worry about the tense.