18e078528SAnna Zaks // RUN: %clang_cc1 -emit-pch -o %t %s 2*184c6242SDominic Chen // RUN: %clang_analyze_cc1 -error-on-deserialized-decl S1_method -include-pch %t -analyzer-checker=core %s 3*184c6242SDominic Chen // RUN: %clang_analyze_cc1 -include-pch %t -analyzer-checker=core -verify %s 48e078528SAnna Zaks 58e078528SAnna Zaks #ifndef HEADER 68e078528SAnna Zaks #define HEADER 78e078528SAnna Zaks // Header. 88e078528SAnna Zaks 98e078528SAnna Zaks void S1_method(); // This should not be deserialized. 108e078528SAnna Zaks 118e078528SAnna Zaks 128e078528SAnna Zaks #else 138e078528SAnna Zaks // Using the header. 148e078528SAnna Zaks test()158e078528SAnna Zaksint test() { 168e078528SAnna Zaks int x = 0; 178e078528SAnna Zaks return 5/x; //expected-warning {{Division by zero}} 188e078528SAnna Zaks } 198e078528SAnna Zaks 208e078528SAnna Zaks #endif 21