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 for 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 for Overflow mode for signed integer и allow for 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;
}