Yes. Your point about noalias (the keyword is 'restrict' in C, noalias is the LLVM IR annotation) is right.

What I will say is that the fact that Rust uses this so much, and had to turn it off because of all the bugs it shook out, at least implies that it's not used very much in real-world C code. I don't know how to more scientifically analyze that, though.