В этом примере указатель функции 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 звоните. Внимательно проверьте проверку и убедитесь, что несоответствие типов не вызывает проблем.