Yes, for example Rust has significantly more detailed aliasing information than C++, since Rust has the borrow checker while C++ has to get by with weird type-b

Yes, for example Rust has significantly more detailed aliasing information than C++, since Rust has the borrow checker while C++ has to get by with weird type-based heuristics (and doesn't even have a way to override that in the standard, though most compilers allow restrict in C++ mode as an extension)