void main() {
  int i=1;
  i = i << 30; //i = 2^30
  i = 2*i-2;
}

В этом примере операция 2*i приводит к значению 231. Проверка Overflow на умножение приводит к красной ошибке, поскольку максимальное значение, которое тип int может удерживать 32-битную цель равную 231-1.

void main(void)
 {
   int i;
   int shiftAmount = 1;

   i = 1090654225 << shiftAmount; 
 }

В этом примере происходит Overflow ошибка, сдвиг влево выполняется для целого числа со знаком.

#include <float.h>

void main() {
 float val = FLT_MAX;
 val = val * 2 + 1.0;
}

В этом примере FLT_MAX - максимальное значение, которое float может представлять на 32-битном целевом устройстве. Поэтому операция val * 2 приводит к Overflow ошибке.

void func(void) {
   float fVal = -2.0f;
   unsigned int iVal = (unsigned int)fVal; 
}

В этом примере проверка красного Overflow появляется на приведении от float на unsigned int. В соответствии со стандартом C99 (сноска к пункту 6.3.1.4) область значений значений, которые могут быть преобразованы из значений с плавающей точкой в беззнаковые целые числа при сохранении кода портативным, (-1, MAX + 1). Для значений с плавающей точкой за пределами этой области значений преобразование в беззнаковые целые числа не четко определено. Здесь, MAX - максимальное число, которое может храниться беззнаковым целым типом.

Даже если ошибка времени выполнения не возникает при выполнении кода на целевом объекте, приведение может оказаться неудачным для другого целевого объекта.

void func(void) {
   float fVal = -2.0f;
   int iValTemp = (int)fVal;
   unsigned int iVal = (unsigned int)iValTemp; 
}

#define FLT_MAX 3.40282347e+38F

void float_negative_overflow() {
   float min_float = -FLT_MAX;
   min_float = -min_float * min_float;
}

В float_negative_overflow, min_float содержит самое отрицательное число, которое имеет тип float может представлять. Потому что операция -min_float * min_float задает число, которое более отрицательно, чем это число, тип float не может представлять его. Проверка Overflow приводит к красной ошибке.

#include <stdio.h>

struct
{
  unsigned int dayOfWeek : 2;
} Week;

void main()
{
  unsigned int two = 2, three = 3, four = 4;
  Week.dayOfWeek = two;
  Week.dayOfWeek = three;
  Week.dayOfWeek = four;
}

В этом примере dayOfWeek занимает 2 бита. Это может иметь значения в [0,3] потому что это беззнаковое целое число. Когда вы присваиваете значение 4 dayOfWeekпроверка Overflow красная.

Чтобы обнаружить переполнения целых и беззнаковых целых чисел, на панели Configuration, в разделе Check Behavior, выберите forbid или warn-with-wrap-around для Overflow mode for signed integer и Overflow mode for unsigned integer.

Результаты в forbid режим:

double func(void) {
    double x=1.0/0.0;
    return x;
}

Результаты в warn-first режим:

double func(void) {
    double x=1.0/0.0;
    return x;
}

Результаты в forbid режим:

void func(double arg1, double arg2) {
    double ratio1=arg1/arg2;
    double ratio2=arg1/arg2;
}

Результаты в warn-first режим:

void func(double arg1, double arg2) {
    double ratio1=arg1/arg2;
    double ratio2=arg1/arg2;
}