1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -verify %s
2
f(void)3 void f(void) {
4 void (*p)(void);
5 p = f;
6 p = &f;
7 p();
8 (*p)();
9 }
10
11 void g(void (*fp)(void));
12
f2()13 void f2() {
14 g(f);
15 }
16