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