1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core,debug.ExprInspection -analyzer-store=region -verify %s 2 3 void clang_analyzer_eval(int); 4 void clang_analyzer_warnIfReached(); 5 6 void f(void) { 7 void (*p)(void); 8 p = f; 9 p = &f; 10 p(); 11 (*p)(); 12 } 13 14 void g(void (*fp)(void)); 15 16 void f2() { 17 g(f); 18 } 19 20 void f3(void (*f)(void), void (*g)(void)) { 21 clang_analyzer_eval(!f); // expected-warning{{UNKNOWN}} 22 f(); 23 clang_analyzer_eval(!f); // expected-warning{{FALSE}} 24 25 clang_analyzer_eval(!g); // expected-warning{{UNKNOWN}} 26 (*g)(); 27 clang_analyzer_eval(!g); // expected-warning{{FALSE}} 28 } 29 30 void nullFunctionPointerConstant() { 31 void (*f)(void) = 0; 32 f(); // expected-warning{{Called function pointer is null}} 33 clang_analyzer_warnIfReached(); // no-warning 34 } 35 36 void nullFunctionPointerConstraint(void (*f)(void)) { 37 if (f) 38 return; 39 f(); // expected-warning{{Called function pointer is null}} 40 clang_analyzer_warnIfReached(); // no-warning 41 } 42
