MISRA C++:2008 Rule 0-1-10

Every defined function shall be called at least once

Description

Rule Definition

Every defined function shall be called at least once.

Rationale

If a function with a definition is not called, it might indicate a serious coding error. For instance, the function call is unreachable or a different function is called unintentionally.

Polyspace Implementation

The checker detects situations where a static function is defined but not called at all in its translation unit.

Additional Message in Report

Every defined function shall be called at least once. The static function funcName is not called.

Troubleshooting

If you expect a rule violation but do not see it, refer to Coding Standard Violations Not Displayed.

Examples

Uncalled Static Function

static void func1() {
}

static void func2() { //Noncompliant
}

void func3();

int main() {
    func1();
    return 0;
}

The static function func2 is defined but not called.

The function func3 is not called either, however, it is only declared and not defined. The absence of a call to func3 does not violate the rule.

Check Information

Group: Language Independent Issues

Category: Required