Сначала ему подсовывают инициализацию через возврат из функций (ХЗ
что там - если анализатор не шибко умный, то ограничения
определяются для типа), потом может существовать вариант (хоть
Kolvo и Adres беззнаковые) при котором значение(я) слагаемых
больше, а сумма будет меньше. Ну и последняя правка цикла таки
отличается по начальным и последним значениям. Туповат-то-туповат,
но кое-какие сопли видит