1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.BlockInCriticalSection -verify %s 2 // expected-no-diagnostics 3 4 // This should not crash 5 int (*a)(void); b(void)6 void b(void) { a(); } 7