Программист использует условие "buf + len >= buf_end" для проверки на переполнение указателя, подразумевая, что при очень большом значении будет осуществлено переполнение размерности типа. GCC оперирует тем, что значение после переполнения переменной с указателем в стандарте языка С считается неопределённым.
Пацаны, не знаю, как вы, а я лично тут за GCC.
