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)
 {
   unsigned int i;

   i = 1090654225 << 1; 
 }

В этом примере ошибка 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()
{
  Week.dayOfWeek = 2;
  Week.dayOfWeek = 3;
  Week.dayOfWeek = 4;
}

В этом примере, 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.

enum tBit {
  ZERO = 0x00,
  ONE = 0x01 ,
  TWO = 0x02
};

struct twoBit
{
  enum tBit myBit:2;
} myBitField;

void main()
{
  myBitField.myBit = ZERO;
  myBitField.myBit = ONE;
  myBitField.myBit = TWO; 
}

В этом примере, будучи enum переменная, myBit реализован через целое число со знаком согласно стандарту ANSI C90. myBit занимает 2 бита. Это может принять значения в [-2,1] потому что это - целое число со знаком. Когда вы присваиваете 2 myBit, проверка Overflow является красной.

Чтобы обнаружить переполнение на одних только целых числах со знаком, на панели Configuration, под Check Behavior, выбирают forbid или warn-with-wrap-around для Overflow mode for signed integer и allow для 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;
}