Is that true? The compiler is being explicitly instructed to (try to) detect undefined behavior where it happens. This is the difference between tools like UBSa

Is that true? The compiler is being explicitly instructed to (try to) detect undefined behavior where it happens. This is the difference between tools like UBSan and tools like Valgrind. Valgrind is low-level, it’s a virtual x86, so the optimizer runs first. UBSan is high-level, it instruments the code using the compiler, and presumably the compiler can be directed to preserve the instrumentation.