|
// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -verify %s
|
|
// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
|
|
|
|
void f(void) {
|
|
void (*p)(void);
|
|
p = f;
|
|
p = &f;
|
|
p();
|
|
(*p)();
|
|
}
|
|
|
|
void g(void (*fp)(void));
|
|
|
|
void f2() {
|
|
g(f);
|
|
}
|