[intro.abstract]3 says "executing that program with that input". That
is, if you have conditional UB, and never get any "input" that would
trigger the conditional UB, then you have well-defined behavior.