func.c revision 033a07e5fca459ed184369cfee7c90d82367a93a 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -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