> I think Rust on LLVM has a major example of this? IIUC, it's a big problem to turn on strict aliasing because LLVM doesn't actually implement it correctly, it just works well enough for C/C++ etc.? (But I'm no expert.)

It's noalias (C99's restrict code, in essence), that you're thinking of, not C/C++ strict aliasing rules.