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

В этом примере, операции 2*i результаты в значении ²³¹. 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;
}