unreachable code: don't warn about empty statements
[smatch.git] / validation / multi_typedef.c
blobd9ffd0f7175f0f2227674d23ce6aba9fd7671130
1 typedef int T, *P;
2 static void f(void)
4 unsigned P = 0;
5 unsigned x = P;
7 static void g(void)
9 int P = 0;
10 int x = P;
13 * check-name: typedefs with many declarators
14 * check-description: we didn't recognize P above as a typedef