db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / call-complex-pointer.c
blobd1b68fb1612d88da6f0c41b2e98a41bbd887ba06
1 int foo(int p, int (*f0)(int), int (*f1)(int), int arg)
3 return (p ? f0 : f1)(arg);
5 /*
6 * check-name: call-complex-pointer
7 * check-command: test-linearize -Wno-decl $file
8 * check-known-to-fail
10 * check-output-ignore
11 * check-output-excludes: ptrcast\\.
12 * check-output-contains: select\\.