1 // RUN: rm -rf %t && mkdir %t
2 // RUN: mkdir -p %t/ctudir2
3 // RUN: %clang_cc1  \
4 // RUN:   -emit-pch -o %t/ctudir2/ctu-import.c.ast %S/Inputs/ctu-import.c
5 // RUN: cp %S/Inputs/ctu-import.c.externalDefMap.ast-dump.txt %t/ctudir2/externalDefMap.txt
6 // RUN: %clang_cc1 -analyze \
7 // RUN:   -analyzer-checker=core,debug.ExprInspection \
8 // RUN:   -analyzer-config experimental-enable-naive-ctu-analysis=true \
9 // RUN:   -analyzer-config  display-ctu-progress=true \
10 // RUN:   -analyzer-config ctu-dir=%t/ctudir2 \
11 // RUN:   -verify %s
12 
13 void clang_analyzer_eval(int);
14 
15 int testStaticImplicit(void);
func(void)16 int func(void) {
17   int ret = testStaticImplicit();
18   clang_analyzer_eval(ret == 4); // expected-warning{{TRUE}}
19   return testStaticImplicit();
20 }
21