🚀 go-pugleaf

Although I know what some implementations do, I can't determine from
the Working Paper what should happen in this case:

	int n = 0;

	struct X {
		~X() { exit(++n); }
	};

	X a;
	X b;
	int main()
	{
		exit(n);
	}

Does the destructor for "a" get called?  Is the exit status 0, 1, or 2?
On the implementations I have tried, the dtor for "b" (but not "a")
gets called, and the exit status is 1.  I see nothing in the WP that
says that the dtor for "a" must not be called (or must be called, for that
matter).

Any pointers?
---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]