db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / devirtualize0.c
blob7079e79072fe1d6a434ceae7a4399f2618c87f31
1 static inline long f1(long x) { return x + 1;}
3 extern long foo(long a);
4 long foo(long a)
6 typeof(f1) *f = f1;
7 return f(a);
11 * check-name: devirtualize0
12 * check-command: test-linearize -Wno-decl $file
13 * check-known-to-fail
15 * check-output-ignore
16 * check-output-excludes: call\\.