conditions: use set_extra_expr_mod() to change extra states
[smatch.git] / validation / field-overlap.c
bloba6abab254a93633203084bb88821fb00d1267ac0
1 static struct {
2 int x;
3 struct {
4 int z;
5 int w;
6 } y;
7 } a = { .y.z = 1, .y.w = 2, };
9 static struct {int x, y, z;} w[2] = {
10 {.x = 1, .y = 2, .z = 3},
11 {.x = 1, .y = 2, .z = 3}
15 * check-name: field overlap