Synopsis

(Mandatory) The value of an object with automatic storage duration shall not be read before it has been set.

Enabled by default

Yes

Severity/Certainty

High/Medium

Full description

A field of a local struct is read before it is initialized. This check is identical to MISRAC2004-1.2_b, SPC-uninit-struct-field, 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;
}