Multics (written in PL/I) didn't suffer from buffer overflows. Ada was (and is) memory safe. Pascal had (and still has) range checks and bounded strings.

But we do have -fbounds-safety in clang (at least on macOS).