Средство проверки правил помечает ситуации, когда параметр функции или возвращаемый тип явно не указан. Чтобы включить проверку этого правила, используйте значение c90 для опции C standard version (-c-version).

В некоторых случаях типы можно опустить из стандарта C90. В этих случаях int неявно указан тип. Однако отсутствие явного типа может привести к путанице. Например, в объявлении extern void foo (char c, const k);, тип k является const int, но вы можете ожидать const char.

Возможно, используется неявный тип в:

static foo(int a);  /* Non compliant */
static void bar(void);      /* Compliant */

В этом примере правило нарушено, поскольку возвращаемый тип foo неявно.

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

Неявное объявление возникает при вызове функции перед ее объявлением или определением. При явном объявлении функции перед ее вызовом компилятор может сопоставить типы аргументов и возвращаемых значений с типами параметров в объявлении. Если происходит неявное объявление, компилятор делает предположения относительно аргумента и возвращаемых типов. Например, он предполагает возвращаемый тип 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));
}

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

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