1 // RUN: %clang_cc1 -emit-pch -o %t %s
2 // RUN: %clang_analyze_cc1 -error-on-deserialized-decl S1_method -include-pch %t -analyzer-checker=core %s
3 // RUN: %clang_analyze_cc1 -include-pch %t -analyzer-checker=core -verify %s
4 
5 #ifndef HEADER
6 #define HEADER
7 // Header.
8 
9 void S1_method(); // This should not be deserialized.
10 
11 
12 #else
13 // Using the header.
14 
test()15 int test() {
16   int x = 0;
17   return 5/x; //expected-warning {{Division by zero}}
18 }
19 
20 #endif
21