А причина возникновения варнинга следующая... Анализатор не плодит
дополнительных сущностей. Из строки "if(Kolvo>MaxRegTX ||
Kolvo==0) return;" он выясняет Kolvo[1,32], а из строки "if((Adres+Kolvo)>MaxReg)
return;"он выясняетAdres[0,15], принимаяKolvo наихудшим случаем. Потом когда доходит до цикла, он
считает индекс массива 32+15-1=46. И выкидывает варнинг. Поправьте если не прав.