В этом примере указатель на функцию obj_fptr имеет аргумент, который является указателем на трехэлементный массив. Однако он указывает на функцию, чей соответствующий аргумент является указателем на массив с четырьмя элементами. В теле fooчетыре элемента массива считываются и приращиваются. Четвертый элемент не существует и ++ операция считывает бессмысленное значение.

typedef int array_three_elements[3];
typedef void (*fptr)(array_three_elements*);

typedef int array_four_elements[4];
void foo(array_four_elements*);

void main() { 
 array_three_elements arr[3] = {0,0,0};
 array_three_elements *ptr;
 fptr obj_fptr; 
 
 ptr = &arr;
 obj_fptr = &foo;
 
 //Call via function pointer
 obj_fptr(&ptr); 
}

void foo(array_four_elements* x) {
    int i = 0;
    int *current_pos;
    
    for(i = 0; i< 4; i++) {
      current_pos = (*x) + i;
      (*current_pos)++;
    }
}

Без этой опции оранжевый Correctness condition чек появляется при вызове obj_fptr(&ptr) и функции foo не проверяется. Если вы используете эту опцию, тело foo содержит несколько оранжевых чеков. Внимательно проверьте проверки и убедитесь, что несоответствие типов не вызывает проблем.

В этом примере указатель на функцию имеет аргумент, который является указателем на структуру с тремя float представителей. Однако соответствующий аргумент функции является указателем на несвязанную структуру с одним представителем массива. В теле функции strlen функция используется, принимая представителя массива. Вместо этого strlen вызов читает float Представители и могут считывать бессмысленные значения, для образца, значения, сохраненные в заполнении структуры.

#include <string.h>
struct point {
  float x;
  float y;
  float z;
};
struct message {
  char msg[10] ;
};
void foo(struct message*);

void main() {
  struct point pt = {3.14, 2048.0, -1.0} ;
  void (*obj_fptr)(struct point *) ;
  
  obj_fptr = &foo; 
  
  //Call via function pointer
  obj_fptr(&pt);
}

void foo(struct message* x) {
  int y = strlen(x->msg) ;
}

Без этой опции оранжевый Correctness condition чек появляется при вызове obj_fptr(&pt) и функции foo не проверяется. Если вы используете эту опцию, функция содержит оранжевый чек на strlen вызов. Внимательно проверьте проверку и убедитесь, что несоответствие типов не вызывает проблем.