atomic_inc_dec: improve how inc/dec is recorded in the DB
[smatch.git] / validation / linear / call-indirect.c
blob4008556850880e0276186ba144d8a7f8bd18b458
1 int gg(int (*fun)(void)) { return fun(); }
3 int g0(int (*fun)(void)) { return (fun)(); }
4 int g1(int (*fun)(void)) { return (*fun)(); } // C99,C11 6.5.3.2p4
5 int g2(int (*fun)(void)) { return (**fun)(); } // C99,C11 6.5.3.2p4
6 int g3(int (*fun)(void)) { return (***fun)(); } // C99,C11 6.5.3.2p4
8 /*
9 * check-name: indirect calls
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-ignore
13 * check-output-excludes: load
14 * check-output-pattern(5): call\\..* %arg1