smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git] / validation / inline_self.c
blob14c2b0b2e0004611c26dc9ed407f666805f64218
1 static inline void foo(void)
3 foo();
6 static void baz(void)
8 foo();
12 * check-name: inline_self