How about...Fortran!
In Fortran, you can only take the address of variables which have been annotated with TARGET. This means that "cannot alias" is the default and compilers exploit this.
In Fortran, you can only take the address of variables which have been annotated with TARGET. This means that "cannot alias" is the default and compilers exploit this.