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

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

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

   i = 1090654225 << shiftAmount; 
 }

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

#include <float.h>

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

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

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

В этом примере красная проверка переполнения отображается на примере из 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 не может представлять его. Проверка переполнения приводит к появлению красной ошибки.

#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, проверка переполнения красного цвета.

Чтобы обнаружить переполнения для подписанных и неподписанных целых чисел, на панели Конфигурация (Configuration) в разделе Проверить поведение (Check Behavior) выберите forbid или warn-with-wrap-around для режима переполнения для целого числа со знаком и для режима переполнения для целого числа без знака.

Результаты в 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;
}