predicate aware uninitialized analysis

[official-gcc.git] / gcc / testsuite / g++.dg / lookup / scoped6.C

template <typename X>
class Foo {
  int i;
public:
  Foo() {
    X::explode(); // { dg-error "" }
  }
};

class Bar {
  Foo<int> foo_;
public:
  Bar() {}  // { dg-message "instantiated" }
};

template class Foo<int>;