Synopsis

A field of a local struct is read before it is initialized.

Enabled by default

No

Severity/Certainty

High/Medium

Full description

A field of a local struct is read before it is initialized. An uninitialized field might cause unexpected and unpredictable results. Uninitialized variables are easy to overlook, because they seldom cause problems. This check is identical to MISRAC2004-1.2_b, MISRAC2012-Rule-9.1_d, CERT-EXP33-C_e.

Coding standards

Code examples

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

struct st {
  int x;
  int y;
};

void example(void) {
  int a;
  struct st str;
  a = str.x;
}

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

struct st {
  int x;
  int y;
};

void example(int i) {
  int a;
  struct st str;
  str.x = i;
  a = str.x;
}