implied: Preserve ->hard_max for fake history states
[smatch.git] / validation / backend / function-ptr.c
blob35fb678af08eef280871426acedbe768693a892d
1 typedef int (*fn_t)(int x, int y);
3 static int run(fn_t fn, int x, int y)
5 return fn(x, y);
8 /*
9 * check-name: Function pointer code generation
10 * check-command: sparsec -c $file -o tmp.o