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