blob: 94ca2694fea5275b29985d299568a4f8c9841afe [file] [log] [blame]
// RUN: clang -analyze -checker-simple -verify %s &&
// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s &&
// RUN: clang -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);
}