fill_db_untrusted: follow untrusted data down the call tree
[smatch.git] / validation / struct-ns1.c
blob096bb5d904cb7b621c957032916efedb0b7a557e
1 // This actually isn't allowed in C99, but sparse and gcc will take it:
2 enum Foo;
4 static void
5 f (void)
7 enum Foo *pefoo; // Pointer to incomplete type
8 struct Foo; // Forward declaration
9 struct Foo *psfoo; // Pointer to incomplete type
11 struct Foo { int foo; }; // Local definition.
12 struct Foo foo; // variable declaration.
13 foo.foo = 1;
17 enum Foo { FOO };
19 * check-name: struct namespaces #1