(root)/
gcc-13.2.0/
gcc/
testsuite/
g++.old-deja/
g++.mike/
p5673.C
// { dg-do run  }
// prms-id: 5673

class A {
public:
  operator int () {
    return 7;
  }
  ~A();
};

int foo() {
  return A();
}

int main() {
  return foo() != 7;
}

A::~A() {
}