1 // RUN: %clang_cc1 -analyze -analyzer-checker=core %s
2 // PR12905
3 
4 void C(void);
5 
t(void)6 void t(void) {
7   C();
8 }
9