> Если в стандарте языка указано, что результат операции переполнения не определен, то нет ничего криминального в том, что компиляторы этим пользуются.

верно..

какого чёрта -- программист такой "умный" что уже ПОСЛЕ того как СОВЕРШИТ переполнение проверяет "а не случилось ли переполнение?"..

всё правильно думает компилятор -- "программист уже совершил сложение, значит программист уверен в том что переполнения невозможно, а следовательно я выкину лишние проверки...".

нет чтобы проверить каждое из гипотетических слогаемых -- ПЕРЕД всякими операциями..

#include <climits>
... ...
if (buf >= INT_MAX/2 || len >= INT_MAX/2) {
    return; // overflow
}
... ...