caxapa.ru :: А я прямо чувствую, что анализатор тихонько посмеивается. Не такой уж он и дурак! :-)

SciFi (11.01.2021 20:18, просмотров: 280) ответил IBAH на Спасибо за наводку, въехал. Анализатор - дурак!

А я прямо чувствую, что анализатор тихонько посмеивается. Не такой уж он и дурак! :-)

ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้

Ответить

- У меня такое ощущение, что эти ваши статические анализаторы придумал Путин, чтобы людей занять. С помощью анализатора мне не удалось ни разу обнаружить критическую ошибку. Может я мал и глуп, и не видал больших... проектов? - IBAH(11.01.2021 21:58)
  - Не видал. В больших проектах исправление варнингов -- проблема. И даже профи говнокодят очень даже запросто. И лучше разобраться с предупреждениями от анализатора (час на одно), чем разгребать трудноуловимые баги (по неделе на один). В данном же случае то ли с integral promotion в компиляторе проблемы (или специально отключено), или анализатор действительно глючный. Я всегда был о IAR невысокого мнения... Из бесплатных можно пользоваться clang-tidy или clang-analizer fk0(13 знак., 11.01.2021 22:53)
    - А причина возникновения варнинга следующая... Анализатор не плодит дополнительных сущностей. Из строки "if(Kolvo>MaxRegTX || Kolvo==0) return;" он выясняет Kolvo[1,32], а из строки "if((Adres+Kolvo)>MaxReg) return;" он выясняет Adres[0,15], принимая Kolvo наихудшим случаем. Потом когда доходит до цикла, он считает индекс массива 32+15-1=46. И выкидывает варнинг. Поправьте если не прав. - IBAH(12.01.2021 15:08 - 21:33)
    - Может я не умнее анализатора, но не понимаю как как расширение до int может тут повлиять. IBAH(266 знак., 12.01.2021 14:57)

Средства и методы разработки