Especially in C-like languages, undefined behavior is one of the main things that creates space for compilers to get better (produce faster code, or produce cod

Especially in C-like languages, undefined behavior is one of the main things that creates space for compilers to get better (produce faster code, or produce code faster, or smaller, etc). That topic comes up in compiler discussions every so often; I would hazard a guess that one of those references is what you have in mind.