1// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.BlockInCriticalSection -verify %s2// expected-no-diagnostics3 4// This should not crash5int (*a)(void);6void b(void) { a(); }7