Synopsis

(Required) Functions shall not call themselves, either directly or indirectly

Enabled by default

Yes

Severity/Certainty

Low/Medium

Full description

There are functions that call themselves indirectly. This check is identical to MISRAC2004-16.2_b, MISRAC++2008-7-5-4_b, MISRAC++2023-8.2.10_b.

This is a link analysis check.

Coding standards

Code examples

The following code example fails the check and will give a warning:

void example1(void);
void callee1(void) {
    example1();
}
void example1(void) {
    callee1();
}

The following code example passes the check and will not give a warning about this issue:

void callee2(void) {
    ;
}
void example2(void) {
    callee2();
}