Целочисленное переполнение, предполагая, что условие не является избыточным ⇐ C++

[Anonymous]

У меня проблема с CPPCheck, работающим в трубопроводе. Интересно, что я не получаю такую ​​же ошибку в моем местном экземпляре CPPCheck. Код: < /p>

Код: Выделить всё

#include 
#include 

int main() {
using std::uint32_t;
using std::printf;

for (uint32_t c = 0; c < 32; c++) {
uint32_t i = 1 

Подробнее здесь: [url]https://stackoverflow.com/questions/79773935/integer-overflow-assuming-condition-is-not-redundant[/url]