Are goto and destructors compatible?

Question

This code leads to undefined behavior:

void some_func() {
  goto undefined;
  {
    T x = T();
    undefined:
  }
}

The constructor is not

Answer 1

Yes, destructors will be called as expected, the same as if you exited the scope early due to an exception.

Standard 6.6/2 (Jump statements):

On exit from scope (however accomplished), destructors are called for all constructed objects with automatic storage duration that are declared in that scope, in the reverse order of their declaration.