Если не предусмотреть обработку исключительной ситуации ПЕРЕПОЛНЕНИЕ БУФЕРА - в любой сколько-нибудь сложной системе может возникнуть ситуация, когда это происходит, причем, поскольку это не контролируется - мы просто не будем знать о том, что это произошло. А надеяться на собственный опыт и непогрешимость - это безответственно. Любой модуль программы должен оберегать окружающее пространство от ошибок своей работы. (блин, понесло - сорри, но постановка вопроса целесообразности контроля выхода за выделенную область памяти для меня однозначно не стоит - надо контролировать)