blob: 2b4e7b0db0762212dd59e8602e035ea56aafc63b [file] [log] [blame]
Daniel Dunbarffd408a2009-03-24 02:24:46 +00001// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -verify %s &&
2// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
Zhongxing Xuaba122c2008-10-22 14:39:20 +00003
4void f(void) {
5 void (*p)(void);
6 p = f;
7 p = &f;
8 p();
9 (*p)();
10}
Zhongxing Xuae96d812008-10-27 09:21:27 +000011
12void g(void (*fp)(void));
13
14void f2() {
15 g(f);
16}