It's usually only at runtime rather than compile time that such situations arise.

At runtime we have the clang and gcc undefined behaviour sanitizers, but they aren't free in terms of performance.