test/Analysis/func.c

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