type: introduce get_final_type()
[smatch.git] / validation / outer-scope.c
blobf86ffc74d4e9d423b8b2c97fb4fd301c10cca108
1 #ifndef FOO
2 struct st { int len; };
3 #define FOO
4 #else
5 struct st;
6 static int test(struct st *s);
7 static int test(struct st *s)
9 return s->len;
11 #endif
13 * check-name: There is no scope boundary between global and file scope
14 * check-description: Used to mess scopes with -include
15 * check-command: sparse -include $file $file