goto before construction causes destruction; guaranteed by the C++ standard

goto_and_destructors.cpp

#include <iostream>

class A
{
 public:
  A () { std::cout << "a"; }
  ~A () { std::cout << "A"; }
};

int i = 1;
int main ()
{
 out:
  A a;
  if (i--)
    goto out;
}