Wait, that's not even linked in your post AFAICT. It's also about an LLVM bug and not in fact exploiting UB. "LLVM shouldn't miscompile programs" is uncontrove

Wait, that's not even linked in your post AFAICT. It's also about an LLVM bug and not in fact exploiting UB. "LLVM shouldn't miscompile programs" is uncontroversial, but claiming that these miscompilations are somehow "Exploiting Undefined Behaviour" is either incompetent or an attempt to sell your position as something it isn't.