1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -Wconditional-uninitialized -fsyntax-only %s -verify 2*67e74705SXin Li 3*67e74705SXin Li class Foo { 4*67e74705SXin Li public: 5*67e74705SXin Li Foo(); 6*67e74705SXin Li ~Foo(); 7*67e74705SXin Li operator bool(); 8*67e74705SXin Li }; 9*67e74705SXin Li 10*67e74705SXin Li int bar(); 11*67e74705SXin Li int baz(); 12*67e74705SXin Li int init(double *); 13*67e74705SXin Li 14*67e74705SXin Li // This case flags a false positive under -Wconditional-uninitialized because 15*67e74705SXin Li // the destructor in Foo fouls about the minor bit of path-sensitivity in 16*67e74705SXin Li // -Wuninitialized. test()17*67e74705SXin Lidouble test() { 18*67e74705SXin Li double x; // expected-note{{initialize the variable 'x' to silence this warning}} 19*67e74705SXin Li if (bar() || baz() || Foo() || init(&x)) 20*67e74705SXin Li return 1.0; 21*67e74705SXin Li 22*67e74705SXin Li return x; // expected-warning {{variable 'x' may be uninitialized when used here}} 23*67e74705SXin Li } 24