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 Polyspace^® does not report it, see Diagnose Why Coding Standard Violations Do Not Appear as Expected.

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

Version History

Introduced in R2013b