Проблемы возникают при выполнении преобразования между указателем на функцию и любым другим типом.

При проверке этого правила Polyspace ® учитывает как явные, так и неявные слепки. Однако отливки отNULL или (void*)0 не нарушайте это правило.

Правило запрещает следующие два преобразования:

typedef void (*fp16) (short n);
typedef void (*fp32) (int n);

#include <stdlib.h>                     /* To obtain macro  NULL */

void func(void) {   /* Exception 1 - Can convert a null pointer 
                     * constant into a pointer to a function */
  fp16 fp1 = NULL;                 /* Compliant - exception  */
  fp16 fp2 = (fp16) fp1;           /* Compliant */
  fp32 fp3 = (fp32) fp1;           /* Non-compliant */
  if (fp2 != NULL) {}              /* Compliant - exception  */
  fp16 fp4 = (fp16) 0x8000;        /* Non-compliant - integer to 
                                    * function pointer */}

В этом примере правило нарушается в следующих случаях:

Правило не нарушается при указателях функций fp1 и fp2 отбрасываются в NULL.

Проблема возникает при неявном объявлении функции.

Неявное объявление возникает при вызове функции перед ее объявлением или определением. При явном объявлении функции перед ее вызовом компилятор может сопоставить типы аргументов и возвращаемых значений с типами параметров в объявлении. Если происходит неявное объявление, компилятор делает предположения относительно аргумента и возвращаемых типов. Например, он предполагает возвращаемый тип int. Предположения могут не соответствовать ожиданиям и привести к нежелательным преобразованиям типов.

#include <math.h>

extern double power3 (double val, int exponent);
int getChoice(void);

double func() {
    double res;
    int ch = getChoice();
    if(ch == 0) {
        res = power(2.0, 10);    /* Non-compliant */
    }
    else if( ch==1) {
        res = power2(2.0, 10);   /* Non-compliant */
    }
    else {
        res = power3(2.0, 10);   /* Compliant */
        return res;
    }
}

double power2 (double val, int exponent) {
    return (pow(val, exponent));
}

В этом примере правило нарушается, когда в коде вызывается функция, которая не объявлена. Даже если определение функции существует позже в коде, происходит нарушение правила.

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