Synopsis

(Required) Objects shall be defined at block scope if they are only accessed from within a single function.

Enabled by default

Yes

Severity/Certainty

Low/Medium

Full description

A global object was found that is only referenced from a single function. This check is identical to MISRAC2012-Rule-8.9_b.

This is a link analysis check.

Coding standards

Code examples

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

static int i = 10;
int example(void) {
  return i;
}
void main() {
  printf("example() = %d\n", example());
}

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

int example(void) {
  int i = 10;
  return i;
}
void main() {
  printf("example() = %d\n", example());
}