If I remember right, it was memory safe - something C/C++ has yet to achieve.
Even PL/I, JOVIAL, and NEWP on the decade predating C had it.
It was not. It just made any dynamic structures so painful that few programmers used them.
But it _did_ have range checks for array access.
Even PL/I, JOVIAL, and NEWP on the decade predating C had it.