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