typedef int smallArray[10];
typedef int largeArray[100];


void main(void) {
    largeArray myLargeArray;
    smallArray *smallArrayPtr = (smallArray*) &myLargeArray;
    largeArray *largeArrayPtr = (largeArray*) smallArrayPtr;
}

В этом примере:

typedef void (*callBack) (float data);
typedef struct {
    char funcName[20];
    callBack func;
} funcStruct;

funcStruct myFuncStruct;

void main(void) {
    float val = 0.f;
    myFuncStruct.func(val);
}

В этом примере глобальная переменная myFuncStruct не инициализирован, поэтому указатель функции myFuncStruct.func содержит NULL. Когда указатель myFuncStruct.func отличается, проверка состояния корректности приводит к появлению красной ошибки.

#define MAX_MEMSEG 32764
typedef void (*ptrFunc)(int memseg);
ptrFunc operation = (ptrFunc)(0x003c);

void main(void) {
    for (int i=1; i <= MAX_MEMSEG; i++)
        operation(i);
}

В этом примере указатель функции operation приводится к содержимому ячейки памяти. Polyspace ® не может определить, содержит ли местоположение переменную или код функции и правильно ли введена функция. Следовательно, когда указательoperation используется в вызове функции, проверка состояния корректности - оранжевый.

После оранжевой проверки состояния корректности из-за абсолютного использования адреса программное обеспечение предполагает, что следующие переменные имеют полный диапазон значений, разрешенных их типом:

typedef struct {
  double real;
  double imag;
} complex;

typedef int (*typeFuncPtr) (complex*);

int func(int* x);

void main() {
  typeFuncPtr funcPtr = (typeFuncPtr)&func;
  int arg = 0, result = funcPtr((complex*)&arg);
}

В этом примере указатель функции funcPtr указывает на функцию с типом аргумента complex*. Однако указателю присваивается адрес функции func чей тип аргумента - int*. Из-за несоответствия этого типа проверка состояния корректности имеет оранжевый цвет.

typedef int (*typeFuncPtr) (int, int);

int func(int);

void main() {
    typeFuncPtr funcPtr = (typeFuncPtr)&func;
    int arg1 = 0, arg2 = 0, result = funcPtr(arg1,arg2);
}

В этом примере указатель функции funcPtr указывает на функцию с двумя int аргументы. Однако ей присвоена функция func который имеет один int только аргумент. Из-за этого несоответствия в количестве аргументов проверка состояния Корректность имеет оранжевый цвет.

typedef double (*typeFuncPtr) (int);

int func(int);

void main() {
    typeFuncPtr funcPtr = (typeFuncPtr)&func;
    int arg = 0;
    double result = funcPtr(arg);
}

В этом примере указатель функции funcPtr указывает на функцию с возвращаемым типом double. Однако ей присвоена функция func тип возвращаемого значения int. Из-за этого несоответствия типов возврата проверка состояния Корректность (Correctness) имеет оранжевый цвет.

int glob = 0;
int func();

void main() {
    glob = 5;
    glob = func();
    glob+= 20;
}

В этом примере диапазон 0..10 был указан для глобальной переменной glob.

См. также раздел Ограничение диапазона глобальных переменных.