ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Суббота
6 марта
/1068685
Топик полностью
Zoro (12.01.2021 15:39 - 22:26, просмотров: 88) в ответ на А причина возникновения варнинга следующая... Анализатор не плодит дополнительных сущностей. Из строки "if(Kolvo>MaxRegTX || Kolvo==0) return;" он выясняет Kolvo[1,32], а из строки "if((Adres+Kolvo)>MaxReg) return;" он выясняет Adres[0,15], принимая Kolvo наихудшим случаем. Потом когда доходит до цикла, он считает индекс массива 32+15-1=46. И выкидывает варнинг. Поправьте если не прав. - автор: IBAH
собственно вот это я и хотел сказать. (я про 31+15=46), но как то не слишком явно выразился. 
Ответить
Ответы