Отсутствие предупреждений на счетчик цикла

У меня трудно понять, почему следующий код не предупреждает:Отсутствие предупреждений на счетчик цикла

unsigned test = 0xffffffff; 

for (unsigned char i = 0; i < test; i++) 
{ 
    // Some code 
}

Это на Visual Studio 2010, но GCC явно не предупредит либо. Кто-нибудь знает, почему?

источник

2013-03-21 Dave F

Показывать флаги сборки, какие предупреждения вы запрашиваете? – unwind

Потому что предупреждение не является поведением по умолчанию, поэтому нужно сделать случай * для * предупреждения? – Jon

fwiw, там _is_ предупреждение, если вы отметите 'test' как' const'. – mitchnull

С точки зрения языка, об этом нечего предупреждать. i - unsigned int до оценки <. И это совершенно правильно, чтобы увеличить unsigned char таким образом, чтобы он обертывался до нуля.

Тот факт, что этот код вызывает что-то раздражающее, является неудачным. Но неясно, какое правило должен использовать компилятор, чтобы обнаружить такие вещи.

Благодаря @unwind в комментариях ниже: вы можете получить GCC, чтобы предупредить о том, что это сравнение всегда должны оценить истина, используя -Wtype-limits флаг.

Update 2: Видимо вышеуказанная опция не работает в этом случае (я не имею «современную» версию GCC в руки прямо сейчас ...)

источник

2013-03-21 10:50:54

Ах .. конечно! Благодарю. –

GCC имеет предупреждение (['-Wtype-limits'] (http://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wtype_002dlimits-411)), который предупреждает о всегда-истинных сравнениях, Думаю, это применимо здесь. – unwind

@unwind: Это хороший момент; реальная проблема заключается в том, что сравнение всегда должно оцениваться как истинное. –

i повышен до unsigned а затем сравнивали с test. Здесь нет проблем. Что ж. i ++ переполнит char, но это проблема времени выполнения. Я имею в виду, что после 255 это будет 0, и это может быть не то, что автор считает, делая цикл potencialy бесконечным, если нет другой формы его завершения (перерыв, повтор и т. Д.). Это вероятный «логический» " ошибка выполнения.

источник

2013-03-21 10:51:11 qPCR4vir

* «i ++ будет переполнять символ, но это проблема времени выполнения». * - 'i' does * never * overflow, поэтому нет проблемы времени выполнения. –

@Christian Rau Конечно, я имею в виду, что после 255 это будет 0, и это может быть не то, что автор считает, делая цикл potencialy бесконечным, если нет другого для его прекращения (перерыв, перенастройка и т. Д.).) Это допустимая «логическая» ошибка времени выполнения. – qPCR4vir

Потому что сравнение unsigned char и unsigned совершенно законно. Проблема возникает только из-за того, что счетчик циклов явно переполнен, но я не уверен, что компиляторы когда-либо будут that smart.

источник

2013-03-21 10:53:35

* «Проблема только начинает проявляться из-за переполнения счетчика циклов, но я не уверен, что компиляторы - это умные». * Компилятор тоже не должен быть таким умным, потому что это даже не проблема , поскольку беззнаковые типы никогда не могут переполняться. –

Ну, счетчик циклов просто обертывается после 255, эффективно создавая бесконечный цикл. Вот что я имел в виду ... Я думаю, что правильное слово «нести». –

Да, но это не настоящая проблема, которую нужно диагностировать, поскольку только программист может даже определить, должно ли это происходить или нет. Дело не в том, что компилятор слишком глупый или плохо разбирается, чтобы найти эту «проблему» *. Он просто не должен даже думать об этом. –

из проекта стандарта:

4.5 Интегральные акции

prvalue целого типа, кроме BOOL, char16_t, char32_t или wchar_t которого число преобразования ранга (4.13) меньше чем ранг int может быть преобразован в prvalue типа int, если int может представлять все значения типа источника ; в противном случае исходное значение prvalue может быть преобразовано в значение типа unsigned int.

источник

2013-03-21 10:55:12 Ferruccio

Отсутствие предупреждений на счетчик цикла

ответ

Смежные вопросы