text: // RUN: %clang_cc1 -fsyntax-only -Wconditional-uninitialized -fsyntax-only %s -verify
  
  class Foo {
  public:
    Foo();
    ~Foo();
    operator bool();
  };
  
  int bar();
  int baz();
  int init(double *);
  
  // This case flags a false positive under -Wconditional-uninitialized because
  // the destructor in Foo fouls about the minor bit of path-sensitivity in
  // -Wuninitialized.
  double test() {
    double x; // expected-note{{initialize the variable 'x' to silence this warning}}
    if (bar() || baz() || Foo() || init(&x))
      return 1.0;
  
    return x; // expected-warning {{variable 'x' may be uninitialized when used here}}
  }
  