debug: introduce __smatch_state(check_name, state_name)
[smatch.git] / validation / struct-ns2.c
blob4dd2c3bf0f79a9801a4e0a9ef1737d1e5e447800
1 static void
2 g (struct Bar { int i; } *x)
4 struct Bar y;
5 y.i = 1;
8 static void
9 h (void)
11 // This is not in scope and should barf loudly.
12 struct Bar y;
13 y.i = 1;
17 * check-name: struct not in scope
18 * check-known-to-fail