1 // RUN: rm -rf %T/ctudir
2 // RUN: mkdir %T/ctudir
3 // RUN: %clang_cc1 -analyze -analyzer-checker=debug.ExprInspection -analyzer-config experimental-enable-naive-ctu-analysis=true -analyzer-config ctu-dir=%T/ctudir -verify %s
4 // expected-no-diagnostics
5
6 struct S {
7 void (*fp)(void);
8 };
9
main(void)10 int main(void) {
11 struct S s;
12 // This will cause the analyzer to look for a function definition that has
13 // no FunctionDecl. It used to cause a crash in AnyFunctionCall::getRuntimeDefinition.
14 // It would only occur when CTU analysis is enabled.
15 s.fp();
16 }
17