aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/call-indirect.c
blob: d8797b024444500529844179b71adb88dd0e035f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
int gg(int (*fun)(void)) { return fun(); }

int g0(int (*fun)(void)) { return (fun)(); }
int g1(int (*fun)(void)) { return (*fun)(); }	// C99,C11 6.5.3.2p4
int g2(int (*fun)(void)) { return (**fun)(); }	// C99,C11 6.5.3.2p4
int g3(int (*fun)(void)) { return (***fun)(); }	// C99,C11 6.5.3.2p4

/*
 * check-name: indirect calls
 * check-command: test-linearize -Wno-decl $file
 * check-known-to-fail
 *
 * check-output-ignore
 * check-output-excludes: load
 * check-output-pattern(5): call\..* %arg1
 */